runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13329 MiB free)
memory of node 1: 16384 MiB (15443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259733-1502642697/watcher-4259733-1502642697 -o /tmp/evaluation-result-4259733-1502642697/solver-4259733-1502642697 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259733-1502642697.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25838, runsolver pid=25835
[startup+0.100094 s]*
/proc/loadavg: 2.04 1.62 1.90 3/210 25875
/proc/meminfo: memFree=29458624/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/25838/stat : 25838 (bash) S 25835 25838 8289 0 -1 4202496 895 6486 0 0 0 0 0 1 20 0 1 0 112084846 9867264 378 18446744073709551615 4194304 5098028 140725366095664 140725366089672 140043123493888 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 7 0 0 7196144 7232144 34824192 140725366104564 140725366104649 140725366104649 140725366108138 0
/proc/25838/statm: 2409 378 297 221 0 118 0
[pid=25868] ppid=25838 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (bash) S 25838 25838 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112084855 9867264 177 18446744073709551615 4194304 5098028 140725366095664 140725366088344 140043123319420 0 65536 1 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34824192 140725366104564 140725366104649 140725366104649 140725366108138 0
/proc/25868/statm: 2409 177 96 221 0 118 0
[pid=25869] ppid=25868 vsize=9936720 memory=16340 CPUtime=0 cores=1,3,5,7
/proc/25869/stat : 25869 (java) S 25868 25838 8289 0 -1 1077944320 3387 0 0 0 0 0 0 0 20 0 6 0 112084855 10175201280 4085 18446744073709551615 4194304 4196468 140733271342032 140733271324576 140160180023031 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
/proc/25869/statm: 2484180 4085 1914 1 0 2473677 0
[pid=25869/tid=25871] ppid=25868 vsize=9936720 memory=-8023549066454274391 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25871/stat : 25871 (java) R 25868 25838 8289 0 -1 4202560 2105 0 0 0 0 0 0 0 20 0 6 0 112084855 10175201280 4085 18446744073709551615 4194304 4196468 140733271342032 140160184259152 140160172260158 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25872] ppid=25868 vsize=9936720 memory=735272052430568040 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25872/stat : 25872 (java) S 25868 25838 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112084856 10175201280 4085 18446744073709551615 4194304 4196468 140733271342032 140160151865872 140160180033237 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25873] ppid=25868 vsize=9936720 memory=140459705669248 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25873/stat : 25873 (java) S 25868 25838 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112084856 10175201280 4085 18446744073709551615 4194304 4196468 140733271342032 140159790602896 140160180033237 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25874] ppid=25868 vsize=9936720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25874/stat : 25874 (java) S 25868 25838 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112084856 10175201280 4085 18446744073709551615 4194304 4196468 140733271342032 140159789549840 140160180033237 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25875] ppid=25868 vsize=9936720 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25875/stat : 25875 (java) S 25868 25838 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112084856 10175201280 4085 18446744073709551615 4194304 4196468 140733271342032 140159788497296 140160180033237 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25870] ppid=25868 vsize=9872 memory=972 CPUtime=0 cores=1,3,5,7
/proc/25870/stat : 25870 (awk) S 25868 25838 8289 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 112084855 10108928 243 18446744073709551615 4194304 4609284 140733727548528 140733727547704 140586484517888 0 0 1 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 25915392 140733727552128 140733727552158 140733727552158 140733727555563 0
/proc/25870/statm: 2468 243 202 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9965864 KiB
Current children cumulated memory: 19532 KiB
[startup+0.210492 s]*
/proc/loadavg: 2.04 1.62 1.90 2/218 25883
/proc/meminfo: memFree=29448060/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/25838/stat : 25838 (bash) S 25835 25838 8289 0 -1 4202496 895 6486 0 0 0 0 0 1 20 0 1 0 112084846 9867264 378 18446744073709551615 4194304 5098028 140725366095664 140725366089672 140043123493888 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 7 0 0 7196144 7232144 34824192 140725366104564 140725366104649 140725366104649 140725366108138 0
/proc/25838/statm: 2409 378 297 221 0 118 0
[pid=25868] ppid=25838 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/25868/stat : 25868 (bash) S 25838 25838 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112084855 9867264 177 18446744073709551615 4194304 5098028 140725366095664 140725366088344 140043123319420 0 65536 1 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34824192 140725366104564 140725366104649 140725366104649 140725366108138 0
/proc/25868/statm: 2409 177 96 221 0 118 0
[pid=25869] ppid=25868 vsize=10485312 memory=24348 CPUtime=0.05 cores=1,3,5,7
/proc/25869/stat : 25869 (java) S 25868 25838 8289 0 -1 1077944320 4517 0 0 0 4 1 0 0 20 0 14 0 112084855 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140733271324576 140160180023031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
/proc/25869/statm: 2621328 6087 2573 1 0 2610825 0
[pid=25869/tid=25871] ppid=25868 vsize=10485312 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/25869/task/25871/stat : 25871 (java) D 25868 25838 8289 0 -1 4202560 2646 0 0 0 4 0 0 0 20 0 14 0 112084855 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140160184260512 140160180045053 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25872] ppid=25868 vsize=10485312 memory=7964 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25872/stat : 25872 (java) S 25868 25838 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112084856 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140160151865872 140160180033237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25873] ppid=25868 vsize=10485312 memory=140459706643978 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25873/stat : 25873 (java) S 25868 25838 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112084856 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159790602896 140160180033237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25874] ppid=25868 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25874/stat : 25874 (java) S 25868 25838 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112084856 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159789549840 140160180033237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25875] ppid=25868 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25875/stat : 25875 (java) S 25868 25838 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112084856 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159788497296 140160180033237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25876] ppid=25868 vsize=10485312 memory=140459705669248 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25876/stat : 25876 (java) S 25868 25838 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112084857 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159675767536 140160180034178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25877] ppid=25868 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25877/stat : 25877 (java) S 25868 25838 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 112084858 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159674713760 140160180033237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25878] ppid=25868 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25878/stat : 25878 (java) S 25868 25838 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112084858 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159673660656 140160180033237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25879] ppid=25868 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25879/stat : 25879 (java) S 25868 25838 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112084860 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159672609232 140160180041627 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25880] ppid=25868 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25880/stat : 25880 (java) S 25868 25838 8289 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 112084860 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159671556336 140160180034178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25881] ppid=25868 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25881/stat : 25881 (java) S 25868 25838 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112084860 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159670503792 140160180034178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25882] ppid=25868 vsize=10485312 memory=140459705669248 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25882/stat : 25882 (java) S 25868 25838 8289 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 112084860 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159669450736 140160180034178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25869/tid=25883] ppid=25868 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25869/task/25883/stat : 25883 (java) S 25868 25838 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112084861 10736959488 6087 18446744073709551615 4194304 4196468 140733271342032 140159668398432 140160180033237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140733271347800 140733271347814 140733271347814 140733271351247 0
[pid=25870] ppid=25868 vsize=9872 memory=972 CPUtime=0 cores=1,3,5,7
/proc/25870/stat : 25870 (awk) S 25868 25838 8289 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 112084855 10108928 243 18446744073709551615 4194304 4609284 140733727548528 140733727547704 140586484517888 0 0 1 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 25915392 140733727552128 140733727552158 140733727552158 140733727555563 0
/proc/25870/statm: 2468 243 202 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 27540 KiB
[startup+0.310703 s]*
/proc/loadavg: 2.04 1.62 1.90 5/215 25900
/proc/meminfo: memFree=29451008/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=13907308 memory=22024 CPUtime=0.14 cores=1,3,5,7
/proc/25838/stat : 25838 (java) S 25835 25838 8289 0 -1 1077944320 5823 12362 0 0 5 1 5 3 20 0 14 0 112084846 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 140722469409152 139846125182711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
/proc/25838/statm: 3476827 5506 2565 1 0 3466324 0
[pid=25838/tid=25888] ppid=25835 vsize=13907308 memory=8316850467074736180 CPUtime=0.12 cores=1,3,5,7
/proc/25838/task/25888/stat : 25888 (java) D 25835 25838 8289 0 -1 4202560 3093 12362 0 0 4 0 5 3 20 0 14 0 112084871 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139846129420192 139846125204733 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25889] ppid=25835 vsize=13907308 memory=8293 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25889/stat : 25889 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 14 0 112084872 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845724989840 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25890] ppid=25835 vsize=13907308 memory=140459706490595 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25890/stat : 25890 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 14 0 112084872 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845723937040 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25891] ppid=25835 vsize=13907308 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25891/stat : 25891 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 14 0 112084872 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845722884752 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25892] ppid=25835 vsize=13907308 memory=3472328296227680299 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25892/stat : 25892 (java) S 25835 25838 8289 0 -1 1077944384 2 12362 0 0 0 0 5 3 20 0 14 0 112084872 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845721831952 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25893] ppid=25835 vsize=13907308 memory=3471342856026506928 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25893/stat : 25893 (java) S 25835 25838 8289 0 -1 1077944384 2 12362 0 0 0 0 5 3 20 0 14 0 112084873 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845041998448 139846125193858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25894] ppid=25835 vsize=13907308 memory=7929213007529324808 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25894/stat : 25894 (java) S 25835 25838 8289 0 -1 1077944384 33 12362 0 0 0 0 5 3 20 0 14 0 112084874 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845040944416 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25895] ppid=25835 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25895/stat : 25895 (java) S 25835 25838 8289 0 -1 1077944384 21 12362 0 0 0 0 5 3 20 0 14 0 112084874 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845039892080 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25896] ppid=25835 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25896/stat : 25896 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 14 0 112084877 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845038840400 139846125201307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25897] ppid=25835 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25897/stat : 25897 (java) S 25835 25838 8289 0 -1 1077944384 286 12362 0 0 0 0 5 3 20 0 14 0 112084877 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845037787248 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25898] ppid=25835 vsize=13907308 memory=3472323898181169199 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25898/stat : 25898 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 14 0 112084877 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845036734448 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25899] ppid=25835 vsize=13907308 memory=8392726335462967521 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25899/stat : 25899 (java) S 25835 25838 8289 0 -1 1077944384 222 12362 0 0 0 0 5 3 20 0 14 0 112084877 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845035682160 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25900] ppid=25835 vsize=13907308 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25900/stat : 25900 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 14 0 112084877 14241083392 5506 18446744073709551615 4194304 4196468 140722469426608 139845034629600 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 22024 KiB
[startup+0.700724 s]
/proc/loadavg: 2.04 1.62 1.90 3/216 25901
/proc/meminfo: memFree=29423656/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=13974784 memory=56924 CPUtime=0.6 cores=1,3,5,7
/proc/25838/stat : 25838 (java) S 25835 25838 8289 0 -1 1077944320 13762 12362 0 0 48 4 5 3 20 0 15 0 112084846 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 140722469409152 139846125182711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
/proc/25838/statm: 3493696 14231 3073 1 0 3482965 0
[pid=25838/tid=25888] ppid=25835 vsize=13974784 memory=54256 CPUtime=0.47 cores=1,3,5,7
/proc/25838/task/25888/stat : 25888 (java) R 25835 25838 8289 0 -1 4202560 10240 12362 0 0 37 2 5 3 20 0 15 0 112084871 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139846129398544 139846109705921 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25889] ppid=25835 vsize=13974784 memory=687 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25889/stat : 25889 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 15 0 112084872 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845724989840 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25890] ppid=25835 vsize=13974784 memory=3729 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25890/stat : 25890 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 15 0 112084872 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845723937040 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25891] ppid=25835 vsize=13974784 memory=497 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25891/stat : 25891 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 15 0 112084872 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845722884752 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25892] ppid=25835 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25892/stat : 25892 (java) S 25835 25838 8289 0 -1 1077944384 2 12362 0 0 0 0 5 3 20 0 15 0 112084872 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845721831952 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25893] ppid=25835 vsize=13974784 memory=1442 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25893/stat : 25893 (java) S 25835 25838 8289 0 -1 1077944384 5 12362 0 0 0 0 5 3 20 0 15 0 112084873 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845041998448 139846125193858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25894] ppid=25835 vsize=13974784 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25894/stat : 25894 (java) S 25835 25838 8289 0 -1 1077944384 33 12362 0 0 0 0 5 3 20 0 15 0 112084874 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845040944416 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25895] ppid=25835 vsize=13974784 memory=2248 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25895/stat : 25895 (java) S 25835 25838 8289 0 -1 1077944384 21 12362 0 0 0 0 5 3 20 0 15 0 112084874 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845039892080 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25896] ppid=25835 vsize=13974784 memory=4288 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25896/stat : 25896 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 15 0 112084877 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845038840400 139846125201307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25897] ppid=25835 vsize=13974784 memory=2164 CPUtime=0.09 cores=1,3,5,7
/proc/25838/task/25897/stat : 25897 (java) S 25835 25838 8289 0 -1 1077944384 543 12362 0 0 1 0 5 3 20 0 15 0 112084877 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845037787248 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25898] ppid=25835 vsize=13974784 memory=928 CPUtime=0.09 cores=1,3,5,7
/proc/25838/task/25898/stat : 25898 (java) S 25835 25838 8289 0 -1 1077944384 228 12362 0 0 1 0 5 3 20 0 15 0 112084877 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845036734448 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25899] ppid=25835 vsize=13974784 memory=1620 CPUtime=0.14 cores=1,3,5,7
/proc/25838/task/25899/stat : 25899 (java) S 25835 25838 8289 0 -1 1077944384 528 12362 0 0 6 0 5 3 20 0 15 0 112084877 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845035682160 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25900] ppid=25835 vsize=13974784 memory=844 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25900/stat : 25900 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 15 0 112084877 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845034629600 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25901] ppid=25835 vsize=13974784 memory=6153431502485415272 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25901/stat : 25901 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 15 0 112084881 14310178816 14231 18446744073709551615 4194304 4196468 140722469426608 139845033577392 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 56924 KiB
[startup+1.5017 s]
/proc/loadavg: 1.95 1.61 1.90 4/216 25901
/proc/meminfo: memFree=29385724/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=13985408 memory=135476 CPUtime=1.8 cores=1,3,5,7
/proc/25838/stat : 25838 (java) S 25835 25838 8289 0 -1 1077944320 25340 12362 0 0 164 8 5 3 20 0 15 0 112084846 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 140722469409152 139846125182711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
/proc/25838/statm: 3496352 33869 3337 1 0 3485525 0
[pid=25838/tid=25888] ppid=25835 vsize=13985408 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/25838/task/25888/stat : 25888 (java) R 25835 25838 8289 0 -1 4202560 20315 12362 0 0 113 6 5 3 20 0 15 0 112084871 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139846129415408 139845762686886 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25889] ppid=25835 vsize=13985408 memory=-3967418655009478193 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25889/stat : 25889 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 15 0 112084872 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139845724989840 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25890] ppid=25835 vsize=13985408 memory=-2541025662029814883 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25890/stat : 25890 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 15 0 112084872 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139845723937040 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25891] ppid=25835 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25891/stat : 25891 (java) S 25835 25838 8289 0 -1 1077944384 1 12362 0 0 0 0 5 3 20 0 15 0 112084872 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139845722884752 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25892] ppid=25835 vsize=13985408 memory=1297 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25892/stat : 25892 (java) S 25835 25838 8289 0 -1 1077944384 2 12362 0 0 0 0 5 3 20 0 15 0 112084872 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139845721831952 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25893] ppid=25835 vsize=13985408 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25893/stat : 25893 (java) S 25835 25838 8289 0 -1 1077944384 5 12362 0 0 0 0 5 3 20 0 15 0 112084873 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139845041998448 139846125193858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25894] ppid=25835 vsize=13985408 memory=2248 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25894/stat : 25894 (java) S 25835 25838 8289 0 -1 1077944384 33 12362 0 0 0 0 5 3 20 0 15 0 112084874 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139845040944416 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25895] ppid=25835 vsize=13985408 memory=4288 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25895/stat : 25895 (java) S 25835 25838 8289 0 -1 1077944384 21 12362 0 0 0 0 5 3 20 0 15 0 112084874 14321057792 33869 18446744073709551615 4194304 4196468 140722469426608 139845039892080 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
################
# More data... #
################
/proc/25838/task/25891/stat : 25891 (java) S 25835 25838 8289 0 -1 1077944384 4268 12362 0 0 672 85 5 3 20 0 15 0 112084872 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845722884752 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25892] ppid=25835 vsize=14069564 memory=1620 CPUtime=7.66 cores=1,3,5,7
/proc/25838/task/25892/stat : 25892 (java) S 25835 25838 8289 0 -1 1077944384 3200 12362 0 0 675 83 5 3 20 0 15 0 112084872 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845721831952 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25893] ppid=25835 vsize=14069564 memory=844 CPUtime=0.56 cores=1,3,5,7
/proc/25838/task/25893/stat : 25893 (java) S 25835 25838 8289 0 -1 1077944384 5025 12362 0 0 47 1 5 3 20 0 15 0 112084873 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845041998448 139846125193858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25894] ppid=25835 vsize=14069564 memory=18484 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25894/stat : 25894 (java) S 25835 25838 8289 0 -1 1077944384 67 12362 0 0 0 0 5 3 20 0 15 0 112084874 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845040944480 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25895] ppid=25835 vsize=14069564 memory=3912 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25895/stat : 25895 (java) S 25835 25838 8289 0 -1 1077944384 56 12362 0 0 0 0 5 3 20 0 15 0 112084874 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845039892096 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25896] ppid=25835 vsize=14069564 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25896/stat : 25896 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 15 0 112084877 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845038840400 139846125201307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25897] ppid=25835 vsize=14069564 memory=2372 CPUtime=7.72 cores=1,3,5,7
/proc/25838/task/25897/stat : 25897 (java) S 25835 25838 8289 0 -1 1077944384 19109 12362 0 0 760 4 5 3 20 0 15 0 112084877 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845037787248 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25898] ppid=25835 vsize=14069564 memory=6083625678095339618 CPUtime=7.7 cores=1,3,5,7
/proc/25838/task/25898/stat : 25898 (java) S 25835 25838 8289 0 -1 1077944384 16317 12362 0 0 758 4 5 3 20 0 15 0 112084877 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845036734448 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25899] ppid=25835 vsize=14069564 memory=7302420032626184801 CPUtime=2.41 cores=1,3,5,7
/proc/25838/task/25899/stat : 25899 (java) S 25835 25838 8289 0 -1 1077944384 15481 12362 0 0 229 4 5 3 20 0 15 0 112084877 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845035682160 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25900] ppid=25835 vsize=14069564 memory=7302420032626184801 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25900/stat : 25900 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 15 0 112084877 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845034629600 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25901] ppid=25835 vsize=14069564 memory=5859291143976605008 CPUtime=0.14 cores=1,3,5,7
/proc/25838/task/25901/stat : 25901 (java) S 25835 25838 8289 0 -1 1077944384 1731 12362 0 0 2 4 5 3 20 0 15 0 112084881 14407233536 1164658 18446744073709551615 4194304 4196468 140722469426608 139845033577392 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4658632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+214.044 s]
# the end of solver process 25838 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.172 s, system=3.9547 s
Solver just ended.
Dumping a history of the last processes samples
[startup+212.801 s]
/proc/loadavg: 2.36 1.92 1.96 3/215 26033
/proc/meminfo: memFree=25194484/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=14202692 memory=4658812 CPUtime=252.87 cores=1,3,5,7
/proc/25838/stat : 25838 (java) S 25835 25838 8289 0 -1 1077944320 127503 12362 0 0 24890 389 5 3 20 0 17 0 112084846 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 140722469409152 139846125182711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
/proc/25838/statm: 3550673 1164703 3481 1 0 3539287 0
[pid=25838/tid=25888] ppid=25835 vsize=14202692 memory=-8774313645642428999 CPUtime=204.43 cores=1,3,5,7
/proc/25838/task/25888/stat : 25888 (java) R 25835 25838 8289 0 -1 4202560 53803 12362 0 0 20404 31 5 3 20 0 17 0 112084871 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139846129414864 139845772257032 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25889] ppid=25835 vsize=14202692 memory=4168 CPUtime=7.61 cores=1,3,5,7
/proc/25838/task/25889/stat : 25889 (java) S 25835 25838 8289 0 -1 1077944384 2559 12362 0 0 669 84 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845724989840 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25890] ppid=25835 vsize=14202692 memory=54256 CPUtime=7.61 cores=1,3,5,7
/proc/25838/task/25890/stat : 25890 (java) S 25835 25838 8289 0 -1 1077944384 2938 12362 0 0 667 86 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845723937040 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25891] ppid=25835 vsize=14202692 memory=4658632 CPUtime=7.65 cores=1,3,5,7
/proc/25838/task/25891/stat : 25891 (java) S 25835 25838 8289 0 -1 1077944384 4268 12362 0 0 672 85 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845722884752 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25892] ppid=25835 vsize=14202692 memory=1200 CPUtime=7.66 cores=1,3,5,7
/proc/25838/task/25892/stat : 25892 (java) S 25835 25838 8289 0 -1 1077944384 3200 12362 0 0 675 83 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845721831952 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25893] ppid=25835 vsize=14202692 memory=15876 CPUtime=0.56 cores=1,3,5,7
/proc/25838/task/25893/stat : 25893 (java) S 25835 25838 8289 0 -1 1077944384 5069 12362 0 0 47 1 5 3 20 0 17 0 112084873 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845041998448 139846125193858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25894] ppid=25835 vsize=14202692 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25894/stat : 25894 (java) S 25835 25838 8289 0 -1 1077944384 67 12362 0 0 0 0 5 3 20 0 17 0 112084874 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845040944480 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25895] ppid=25835 vsize=14202692 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25895/stat : 25895 (java) S 25835 25838 8289 0 -1 1077944384 56 12362 0 0 0 0 5 3 20 0 17 0 112084874 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845039892096 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25896] ppid=25835 vsize=14202692 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25896/stat : 25896 (java) S 25835 25838 8289 0 -1 1077944384 335 12362 0 0 0 0 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845038840400 139846125201307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25897] ppid=25835 vsize=14202692 memory=4872558044660077418 CPUtime=7.72 cores=1,3,5,7
/proc/25838/task/25897/stat : 25897 (java) S 25835 25838 8289 0 -1 1077944384 19109 12362 0 0 760 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845037787248 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25898] ppid=25835 vsize=14202692 memory=33344 CPUtime=7.7 cores=1,3,5,7
/proc/25838/task/25898/stat : 25898 (java) S 25835 25838 8289 0 -1 1077944384 16317 12362 0 0 758 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845036734448 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25899] ppid=25835 vsize=14202692 memory=1232 CPUtime=2.41 cores=1,3,5,7
/proc/25838/task/25899/stat : 25899 (java) S 25835 25838 8289 0 -1 1077944384 15481 12362 0 0 229 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845035682160 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25900] ppid=25835 vsize=14202692 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25900/stat : 25900 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845034629600 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25901] ppid=25835 vsize=14202692 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/25838/task/25901/stat : 25901 (java) S 25835 25838 8289 0 -1 1077944384 1731 12362 0 0 2 4 5 3 20 0 17 0 112084881 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845033577392 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
Current children cumulated CPU time: 252.87 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4658812 KiB
[startup+213.601 s]
/proc/loadavg: 2.36 1.92 1.96 3/217 26035
/proc/meminfo: memFree=25194452/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=14202692 memory=4658812 CPUtime=253.67 cores=1,3,5,7
/proc/25838/stat : 25838 (java) S 25835 25838 8289 0 -1 1077944320 127509 12362 0 0 24970 389 5 3 20 0 17 0 112084846 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 140722469409152 139846125182711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
/proc/25838/statm: 3550673 1164703 3481 1 0 3539287 0
[pid=25838/tid=25888] ppid=25835 vsize=14202692 memory=54256 CPUtime=205.23 cores=1,3,5,7
/proc/25838/task/25888/stat : 25888 (java) R 25835 25838 8289 0 -1 4202560 53809 12362 0 0 20484 31 5 3 20 0 17 0 112084871 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139846129414864 139845772256970 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25889] ppid=25835 vsize=14202692 memory=1296 CPUtime=7.61 cores=1,3,5,7
/proc/25838/task/25889/stat : 25889 (java) S 25835 25838 8289 0 -1 1077944384 2559 12362 0 0 669 84 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845724989840 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25890] ppid=25835 vsize=14202692 memory=2440 CPUtime=7.61 cores=1,3,5,7
/proc/25838/task/25890/stat : 25890 (java) S 25835 25838 8289 0 -1 1077944384 2938 12362 0 0 667 86 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845723937040 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25891] ppid=25835 vsize=14202692 memory=4658812 CPUtime=7.65 cores=1,3,5,7
/proc/25838/task/25891/stat : 25891 (java) S 25835 25838 8289 0 -1 1077944384 4268 12362 0 0 672 85 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845722884752 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25892] ppid=25835 vsize=14202692 memory=4658632 CPUtime=7.66 cores=1,3,5,7
/proc/25838/task/25892/stat : 25892 (java) S 25835 25838 8289 0 -1 1077944384 3200 12362 0 0 675 83 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845721831952 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25893] ppid=25835 vsize=14202692 memory=3912 CPUtime=0.56 cores=1,3,5,7
/proc/25838/task/25893/stat : 25893 (java) S 25835 25838 8289 0 -1 1077944384 5069 12362 0 0 47 1 5 3 20 0 17 0 112084873 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845041998448 139846125193858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25894] ppid=25835 vsize=14202692 memory=4658812 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25894/stat : 25894 (java) S 25835 25838 8289 0 -1 1077944384 67 12362 0 0 0 0 5 3 20 0 17 0 112084874 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845040944480 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25895] ppid=25835 vsize=14202692 memory=2760 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25895/stat : 25895 (java) S 25835 25838 8289 0 -1 1077944384 56 12362 0 0 0 0 5 3 20 0 17 0 112084874 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845039892096 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25896] ppid=25835 vsize=14202692 memory=1724 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25896/stat : 25896 (java) S 25835 25838 8289 0 -1 1077944384 335 12362 0 0 0 0 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845038840400 139846125201307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25897] ppid=25835 vsize=14202692 memory=792 CPUtime=7.72 cores=1,3,5,7
/proc/25838/task/25897/stat : 25897 (java) S 25835 25838 8289 0 -1 1077944384 19109 12362 0 0 760 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845037787248 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25898] ppid=25835 vsize=14202692 memory=1716 CPUtime=7.7 cores=1,3,5,7
/proc/25838/task/25898/stat : 25898 (java) S 25835 25838 8289 0 -1 1077944384 16317 12362 0 0 758 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845036734448 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25899] ppid=25835 vsize=14202692 memory=1228 CPUtime=2.41 cores=1,3,5,7
/proc/25838/task/25899/stat : 25899 (java) S 25835 25838 8289 0 -1 1077944384 15481 12362 0 0 229 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845035682160 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25900] ppid=25835 vsize=14202692 memory=14356 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25900/stat : 25900 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845034629600 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25901] ppid=25835 vsize=14202692 memory=1008 CPUtime=0.14 cores=1,3,5,7
/proc/25838/task/25901/stat : 25901 (java) S 25835 25838 8289 0 -1 1077944384 1731 12362 0 0 2 4 5 3 20 0 17 0 112084881 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845033577392 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=26034] ppid=25835 vsize=14202692 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/26034/stat : 26034 (java) S 25835 25838 8289 0 -1 1077944384 381 12362 0 0 0 0 5 3 20 0 17 0 112106048 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139844399391216 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=26035] ppid=25835 vsize=14202692 memory=-2026666227646604569 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/26035/stat : 26035 (java) S 25835 25838 8289 0 -1 1077944384 31 12362 0 0 0 0 5 3 20 0 17 0 112106048 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139844398339952 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
Current children cumulated CPU time: 253.67 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4658812 KiB
[startup+214.001 s]*
/proc/loadavg: 2.36 1.92 1.96 3/217 26035
/proc/meminfo: memFree=25194328/32770624 swapFree=67108860/67108860
[pid=25838] ppid=25835 vsize=14202692 memory=4658812 CPUtime=254.08 cores=1,3,5,7
/proc/25838/stat : 25838 (java) S 25835 25838 8289 0 -1 1077944320 127511 12362 0 0 25011 389 5 3 20 0 17 0 112084846 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 140722469409152 139846125182711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
/proc/25838/statm: 3550673 1164703 3481 1 0 3539287 0
[pid=25838/tid=25888] ppid=25835 vsize=14202692 memory=-8774313645642428999 CPUtime=205.64 cores=1,3,5,7
/proc/25838/task/25888/stat : 25888 (java) R 25835 25838 8289 0 -1 4202560 53811 12362 0 0 20525 31 5 3 20 0 17 0 112084871 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139846129414864 139845772257032 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25889] ppid=25835 vsize=14202692 memory=4872558044660077418 CPUtime=7.61 cores=1,3,5,7
/proc/25838/task/25889/stat : 25889 (java) S 25835 25838 8289 0 -1 1077944384 2559 12362 0 0 669 84 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845724989840 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25890] ppid=25835 vsize=14202692 memory=2984 CPUtime=7.61 cores=1,3,5,7
/proc/25838/task/25890/stat : 25890 (java) S 25835 25838 8289 0 -1 1077944384 2938 12362 0 0 667 86 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845723937040 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25891] ppid=25835 vsize=14202692 memory=4658632 CPUtime=7.65 cores=1,3,5,7
/proc/25838/task/25891/stat : 25891 (java) S 25835 25838 8289 0 -1 1077944384 4268 12362 0 0 672 85 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845722884752 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25892] ppid=25835 vsize=14202692 memory=1160 CPUtime=7.66 cores=1,3,5,7
/proc/25838/task/25892/stat : 25892 (java) S 25835 25838 8289 0 -1 1077944384 3200 12362 0 0 675 83 5 3 20 0 17 0 112084872 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845721831952 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25893] ppid=25835 vsize=14202692 memory=2696 CPUtime=0.56 cores=1,3,5,7
/proc/25838/task/25893/stat : 25893 (java) S 25835 25838 8289 0 -1 1077944384 5069 12362 0 0 47 1 5 3 20 0 17 0 112084873 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845041998448 139846125193858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25894] ppid=25835 vsize=14202692 memory=1490752 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25894/stat : 25894 (java) S 25835 25838 8289 0 -1 1077944384 67 12362 0 0 0 0 5 3 20 0 17 0 112084874 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845040944480 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25895] ppid=25835 vsize=14202692 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25895/stat : 25895 (java) S 25835 25838 8289 0 -1 1077944384 56 12362 0 0 0 0 5 3 20 0 17 0 112084874 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845039892096 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25896] ppid=25835 vsize=14202692 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25896/stat : 25896 (java) S 25835 25838 8289 0 -1 1077944384 335 12362 0 0 0 0 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845038840400 139846125201307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25897] ppid=25835 vsize=14202692 memory=928 CPUtime=7.72 cores=1,3,5,7
/proc/25838/task/25897/stat : 25897 (java) S 25835 25838 8289 0 -1 1077944384 19109 12362 0 0 760 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845037787248 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25898] ppid=25835 vsize=14202692 memory=1620 CPUtime=7.7 cores=1,3,5,7
/proc/25838/task/25898/stat : 25898 (java) S 25835 25838 8289 0 -1 1077944384 16317 12362 0 0 758 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845036734448 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25899] ppid=25835 vsize=14202692 memory=844 CPUtime=2.41 cores=1,3,5,7
/proc/25838/task/25899/stat : 25899 (java) S 25835 25838 8289 0 -1 1077944384 15481 12362 0 0 229 4 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845035682160 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25900] ppid=25835 vsize=14202692 memory=18484 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/25900/stat : 25900 (java) S 25835 25838 8289 0 -1 1077944384 3 12362 0 0 0 0 5 3 20 0 17 0 112084877 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845034629600 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=25901] ppid=25835 vsize=14202692 memory=3912 CPUtime=0.14 cores=1,3,5,7
/proc/25838/task/25901/stat : 25901 (java) S 25835 25838 8289 0 -1 1077944384 1731 12362 0 0 2 4 5 3 20 0 17 0 112084881 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139845033577392 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=26034] ppid=25835 vsize=14202692 memory=4068 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/26034/stat : 26034 (java) S 25835 25838 8289 0 -1 1077944384 381 12362 0 0 0 0 5 3 20 0 17 0 112106048 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139844399391216 139846125192917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
[pid=25838/tid=26035] ppid=25835 vsize=14202692 memory=2760 CPUtime=0.08 cores=1,3,5,7
/proc/25838/task/26035/stat : 26035 (java) S 25835 25838 8289 0 -1 1077944384 31 12362 0 0 0 0 5 3 20 0 17 0 112106048 14543556608 1164703 18446744073709551615 4194304 4196468 140722469426608 139844398339952 139846125193858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20590592 140722469435312 140722469438097 140722469438097 140722469441487 0
Current children cumulated CPU time: 254.08 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 4658812 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 214.044
CPU time (s): 254.127
CPU user time (s): 250.172
CPU system time (s): 3.9547
CPU usage (%): 118.726
Max. virtual memory (cumulated for all children) (KiB): 14202692
Max. memory (cumulated for all children) (KiB): 4674412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.172
system time used= 3.9547
maximum resident set size= 4674412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13816
involuntary context switches= 700
# summary of solver processes directly reported to runsolver:
# pid: 25838
# total CPU time (s): 254.127
# total CPU user time (s): 250.172
# total CPU system time (s): 3.9547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18009 second user time and 1.95498 second system time
The end