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 (13266 MiB free)
memory of node 1: 16384 MiB (13889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299990-1532837643/watcher-4299990-1532837643 -o /tmp/evaluation-result-4299990-1532837643/solver-4299990-1532837643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532809720-10552 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4299990-1532837643.xml --timelimit 2520
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=13956, runsolver pid=13953
[startup+0.100058 s]*
/proc/loadavg: 1.56 1.29 1.31 3/221 13971
/proc/meminfo: memFree=27791744/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10658972 memory=27992 CPUtime=0.13 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 5383 0 0 0 12 1 0 0 20 0 15 0 101327524 10914787328 6998 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2664743 6998 2855 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10658972 memory=-8269626465541459066 CPUtime=0.09 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) S 13953 13956 10521 0 -1 1077944384 3234 0 0 0 9 0 0 0 20 0 15 0 101327524 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041624801296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10658972 memory=139948182226560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327525 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10658972 memory=139948182226560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327526 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101327527 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) R 13953 13956 10521 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 101327529 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041176004976 140041620585090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) R 13953 13956 10521 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 15 0 101327529 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041174952176 140041602102234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10658972 memory=139948182226560 CPUtime=0.02 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) S 13953 13956 10521 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 101327529 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10658972 memory=139948182226560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327530 10914787328 6998 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27992 KiB
[startup+0.210866 s]*
/proc/loadavg: 1.56 1.29 1.31 4/221 13971
/proc/meminfo: memFree=27779376/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10661132 memory=41292 CPUtime=0.32 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 7886 0 0 0 31 1 0 0 20 0 15 0 101327524 10916999168 10323 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2665283 10323 2997 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10661132 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 5014 0 0 0 19 1 0 0 20 0 15 0 101327524 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041624806256 140041604654430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=288370324333938304 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=139948182226560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327526 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10661132 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) S 13953 13956 10521 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 101327529 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041176004976 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10661132 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) S 13953 13956 10521 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 101327529 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041174952176 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10661132 memory=139948182226560 CPUtime=0.07 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) S 13953 13956 10521 0 -1 1077944384 777 0 0 0 7 0 0 0 20 0 15 0 101327529 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10661132 memory=139948182226560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327530 10916999168 10323 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 41292 KiB
[startup+0.310363 s]*
/proc/loadavg: 1.56 1.29 1.31 4/221 13971
/proc/meminfo: memFree=27775220/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10661132 memory=45356 CPUtime=0.54 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 8568 0 0 0 52 2 0 0 20 0 15 0 101327524 10916999168 11339 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2665283 11339 3035 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10661132 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 5468 0 0 0 28 1 0 0 20 0 15 0 101327524 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041624806496 140723995170754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=4294980952 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=288370324333938304 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=139948182226560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327526 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10661132 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) R 13953 13956 10521 0 -1 4202560 494 0 0 0 5 0 0 0 20 0 15 0 101327529 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041176004976 140041604960992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10661132 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) R 13953 13956 10521 0 -1 4202560 372 0 0 0 4 0 0 0 20 0 15 0 101327529 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041174952176 140041599651408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10661132 memory=139948182226560 CPUtime=0.13 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) R 13953 13956 10521 0 -1 1077944384 866 0 0 0 13 0 0 0 20 0 15 0 101327529 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10661132 memory=139948182226560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327530 10916999168 11339 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 45356 KiB
[startup+0.700812 s]
/proc/loadavg: 1.56 1.29 1.31 5/221 13971
/proc/meminfo: memFree=27745332/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10661132 memory=101748 CPUtime=1.64 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 14449 0 0 0 161 3 0 0 20 0 15 0 101327524 10916999168 25437 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2665283 25437 3093 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10661132 memory=199918648052202 CPUtime=0.68 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 5519 0 0 0 66 2 0 0 20 0 15 0 101327524 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041624789328 140723995170754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=599343 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101327526 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10661132 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10661132 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10661132 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) S 13953 13956 10521 0 -1 1077944384 3234 0 0 0 42 0 0 0 20 0 15 0 101327529 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041176004976 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10661132 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) S 13953 13956 10521 0 -1 1077944384 3155 0 0 0 36 0 0 0 20 0 15 0 101327529 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041174952176 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10661132 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) S 13953 13956 10521 0 -1 1077944384 1173 0 0 0 16 0 0 0 20 0 15 0 101327529 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10661132 memory=18280 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101327530 10916999168 25437 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 101748 KiB
[startup+1.50083 s]
/proc/loadavg: 1.56 1.29 1.31 4/221 13971
/proc/meminfo: memFree=27674836/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10661132 memory=192656 CPUtime=2.98 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 18222 0 0 0 291 7 0 0 20 0 15 0 101327524 10916999168 48164 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2665283 48164 3099 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10661132 memory=13884 CPUtime=1.47 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 5592 0 0 0 142 5 0 0 20 0 15 0 101327524 10916999168 48164 33554432000 4194304 4196468 140723995133328 140041624786464 140723995170754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 48164 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 48164 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 48164 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 101327525 10916999168 48164 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 101327526 10916999168 48164 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
################
# More data... #
################
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 21175 0 0 0 232945 3929 0 0 20 0 15 0 101327524 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041624792768 140723995170754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=375540 CPUtime=5.56 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 6948 0 0 0 514 42 0 0 20 0 15 0 101327525 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=375540 CPUtime=5.55 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 4411 0 0 0 516 39 0 0 20 0 15 0 101327525 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=377588 CPUtime=5.56 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 5487 0 0 0 517 39 0 0 20 0 15 0 101327525 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=377588 CPUtime=5.54 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 6357 0 0 0 514 40 0 0 20 0 15 0 101327525 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=1200 CPUtime=5.55 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 7536 0 0 0 515 40 0 0 20 0 15 0 101327526 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10661132 memory=377588 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10661132 memory=375540 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10661132 memory=375540 CPUtime=0.58 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) S 13953 13956 10521 0 -1 1077944384 3446 0 0 0 57 1 0 0 20 0 15 0 101327529 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041176004976 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10661132 memory=375540 CPUtime=0.75 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) S 13953 13956 10521 0 -1 1077944384 6505 0 0 0 75 0 0 0 20 0 15 0 101327529 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041174952176 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10661132 memory=1236 CPUtime=0.18 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) S 13953 13956 10521 0 -1 1077944384 1274 0 0 0 18 0 0 0 20 0 15 0 101327529 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10661132 memory=16700 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10661132 memory=279896040543824 CPUtime=1.11 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 827 0 0 0 52 59 0 0 20 0 15 0 101327530 10916999168 94397 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 2399.21 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 377588 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.37 1.35 3/219 14128
/proc/meminfo: memFree=27336480/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10661132 memory=381684 CPUtime=2459.72 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 66772 0 0 0 241732 4240 0 0 20 0 15 0 101327524 10916999168 95421 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2665283 95421 3127 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10661132 memory=381684 CPUtime=2428.36 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 21560 0 0 0 238810 4026 0 0 20 0 15 0 101327524 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041624791984 140723995170754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=381684 CPUtime=5.73 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 7155 0 0 0 531 42 0 0 20 0 15 0 101327525 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=381684 CPUtime=5.74 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 4786 0 0 0 534 40 0 0 20 0 15 0 101327525 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=381684 CPUtime=5.75 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 5609 0 0 0 535 40 0 0 20 0 15 0 101327525 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=381684 CPUtime=5.71 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 6513 0 0 0 531 40 0 0 20 0 15 0 101327525 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=381684 CPUtime=5.69 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 7712 0 0 0 528 41 0 0 20 0 15 0 101327526 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10661132 memory=379636 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10661132 memory=381684 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10661132 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10661132 memory=6791534058613427641 CPUtime=0.58 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) S 13953 13956 10521 0 -1 1077944384 3448 0 0 0 57 1 0 0 20 0 15 0 101327529 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041176004976 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10661132 memory=2396 CPUtime=0.76 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) S 13953 13956 10521 0 -1 1077944384 6507 0 0 0 75 1 0 0 20 0 15 0 101327529 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041174952176 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10661132 memory=381684 CPUtime=0.18 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) S 13953 13956 10521 0 -1 1077944384 1276 0 0 0 18 0 0 0 20 0 15 0 101327529 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10661132 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10661132 memory=379636 CPUtime=1.13 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 845 0 0 0 53 60 0 0 20 0 15 0 101327530 10916999168 95421 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 2459.72 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 381684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.11 s]
/proc/loadavg: 1.26 1.36 1.34 3/218 14130
/proc/meminfo: memFree=27328820/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10661132 memory=385780 CPUtime=2520.04 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 68256 0 0 0 247654 4350 0 0 20 0 15 0 101327524 10916999168 96445 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2665283 96445 3127 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10661132 memory=385780 CPUtime=2487.79 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 21943 0 0 0 244649 4130 0 0 20 0 15 0 101327524 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041624788528 140723995170754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=4052 CPUtime=5.92 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 7319 0 0 0 549 43 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.92 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 4913 0 0 0 551 41 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.93 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 5852 0 0 0 552 41 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.9 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 6880 0 0 0 548 42 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.82 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 7888 0 0 0 540 42 0 0 20 0 15 0 101327526 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10661132 memory=383732 CPUtime=0.58 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) S 13953 13956 10521 0 -1 1077944384 3450 0 0 0 57 1 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041176004976 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10661132 memory=385780 CPUtime=0.76 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) S 13953 13956 10521 0 -1 1077944384 6509 0 0 0 75 1 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041174952176 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10661132 memory=385780 CPUtime=0.18 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) S 13953 13956 10521 0 -1 1077944384 1278 0 0 0 18 0 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10661132 memory=4096 CPUtime=1.17 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 863 0 0 0 55 62 0 0 20 0 15 0 101327530 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 385780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.13 s]
# the end of solver process 13956 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2476.57 s, system=43.5067 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.11 s]
/proc/loadavg: 1.26 1.36 1.34 3/218 14130
/proc/meminfo: memFree=27328820/32770624 swapFree=67108744/67108860
[pid=13956] ppid=13953 vsize=10661132 memory=385780 CPUtime=2520.04 cores=0,2,4,6
/proc/13956/stat : 13956 (java) S 13953 13956 10521 0 -1 1077944320 68256 0 0 0 247654 4350 0 0 20 0 15 0 101327524 10916999168 96445 33554432000 4194304 4196468 140723995133328 140723995115872 140041620573943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
/proc/13956/statm: 2665283 96445 3127 1 0 2627263 0
[pid=13956/tid=13958] ppid=13953 vsize=10661132 memory=385780 CPUtime=2487.79 cores=0,2,4,6
/proc/13956/task/13958/stat : 13958 (java) R 13953 13956 10521 0 -1 4202560 21943 0 0 0 244649 4130 0 0 20 0 15 0 101327524 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041624788528 140723995170754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13959] ppid=13953 vsize=10661132 memory=4052 CPUtime=5.92 cores=0,2,4,6
/proc/13956/task/13959/stat : 13959 (java) S 13953 13956 10521 0 -1 1077944384 7319 0 0 0 549 43 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041573194384 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13960] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.92 cores=0,2,4,6
/proc/13956/task/13960/stat : 13960 (java) S 13953 13956 10521 0 -1 1077944384 4913 0 0 0 551 41 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041572141584 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13961] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.93 cores=0,2,4,6
/proc/13956/task/13961/stat : 13961 (java) S 13953 13956 10521 0 -1 1077944384 5852 0 0 0 552 41 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041571088784 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13962] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.9 cores=0,2,4,6
/proc/13956/task/13962/stat : 13962 (java) S 13953 13956 10521 0 -1 1077944384 6880 0 0 0 548 42 0 0 20 0 15 0 101327525 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041224116496 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13963] ppid=13953 vsize=10661132 memory=385780 CPUtime=5.82 cores=0,2,4,6
/proc/13956/task/13963/stat : 13963 (java) S 13953 13956 10521 0 -1 1077944384 7888 0 0 0 540 42 0 0 20 0 15 0 101327526 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041180216176 140041620585090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13964] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13964/stat : 13964 (java) S 13953 13956 10521 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041179162144 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13965] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13965/stat : 13965 (java) S 13953 13956 10521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101327527 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041178109296 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13966] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13966/stat : 13966 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041177057616 140041620592539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13967] ppid=13953 vsize=10661132 memory=383732 CPUtime=0.58 cores=0,2,4,6
/proc/13956/task/13967/stat : 13967 (java) S 13953 13956 10521 0 -1 1077944384 3450 0 0 0 57 1 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041176004976 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13968] ppid=13953 vsize=10661132 memory=385780 CPUtime=0.76 cores=0,2,4,6
/proc/13956/task/13968/stat : 13968 (java) S 13953 13956 10521 0 -1 1077944384 6509 0 0 0 75 1 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041174952176 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13969] ppid=13953 vsize=10661132 memory=385780 CPUtime=0.18 cores=0,2,4,6
/proc/13956/task/13969/stat : 13969 (java) S 13953 13956 10521 0 -1 1077944384 1278 0 0 0 18 0 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041173899376 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13970] ppid=13953 vsize=10661132 memory=385780 CPUtime=0 cores=0,2,4,6
/proc/13956/task/13970/stat : 13970 (java) S 13953 13956 10521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101327529 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041172846816 140041620584149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
[pid=13956/tid=13971] ppid=13953 vsize=10661132 memory=4096 CPUtime=1.17 cores=0,2,4,6
/proc/13956/task/13971/stat : 13971 (java) S 13953 13956 10521 0 -1 1077944384 863 0 0 0 55 62 0 0 20 0 15 0 101327530 10916999168 96445 33554432000 4194304 4196468 140723995133328 140041171795120 140041620585090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15360000 140723995141240 140723995141385 140723995141385 140723995144143 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 385780 KiB
Child status: 143
Real time (s): 2502.13
CPU time (s): 2520.08
CPU user time (s): 2476.57
CPU system time (s): 43.5067
CPU usage (%): 100.717
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 385780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2476.57
system time used= 43.5067
maximum resident set size= 386288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219678
involuntary context switches= 7071
# summary of solver processes directly reported to runsolver:
# pid: 13956
# total CPU time (s): 2520.08
# total CPU user time (s): 2476.57
# total CPU system time (s): 43.5067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7269 second user time and 23.4777 second system time
The end