runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3313429-1304185316/watcher-3313429-1304185316 -o /tmp/evaluation-result-3313429-1304185316/solver-3313429-1304185316 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313429-1304185316.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.66 7.79 7.92 2/174 11458
/proc/meminfo: memFree=30546940/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/11458/stat : 11458 (java) R 11456 11458 11426 0 -1 4202496 940 0 0 0 0 0 0 0 25 0 1 0 530132346 23580672 426 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222916814613 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11458/statm: 5757 438 338 9 0 124 0
[startup+0.00977002 s]
/proc/loadavg: 6.66 7.79 7.92 2/174 11458
/proc/meminfo: memFree=30546940/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 1500 0 0 0 0 0 0 0 25 0 2 0 530132346 31268864 960 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 7634 960 740 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30536
[startup+0.100729 s]
/proc/loadavg: 6.66 7.79 7.92 2/174 11458
/proc/meminfo: memFree=30546940/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15676656 CPUtime=0.1 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 5537 0 1 0 9 1 0 0 25 0 18 0 530132346 16052895744 4947 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3919164 4947 2116 9 0 3909883 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676656
[startup+0.300695 s]
/proc/loadavg: 6.66 7.79 7.92 2/174 11458
/proc/meminfo: memFree=30546940/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15681792 CPUtime=0.5 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 15015 0 1 0 47 3 0 0 25 0 18 0 530132346 16058155008 13224 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3920448 13230 2207 9 0 3911167 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15681792
[startup+0.700672 s]
/proc/loadavg: 6.66 7.79 7.92 2/174 11458
/proc/meminfo: memFree=30546940/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15681792 CPUtime=0.91 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 41764 0 1 0 84 7 0 0 25 0 18 0 530132346 16058155008 39969 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3920448 39969 2223 9 0 3911167 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15681792
[startup+1.50156 s]
/proc/loadavg: 6.28 7.69 7.89 4/216 11503
/proc/meminfo: memFree=30203932/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15689564 CPUtime=2.62 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 56857 0 1 0 253 9 0 0 25 0 22 0 530132346 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3922391 49145 2265 9 0 3913110 0
[pid=11458/tid=11460] ppid=11456 vsize=15689564 CPUtime=1.47 cores=1,3,5,7
/proc/11458/task/11460/stat : 11460 (java) R 11456 11458 11426 0 -1 4202560 35621 0 1 0 141 6 0 0 25 0 22 0 530132347 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505215757 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 11426 0 -1 4202560 688 0 0 0 0 0 0 0 15 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 11426 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 11426 0 -1 4202560 569 0 0 0 0 0 0 0 16 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 11426 0 -1 4202560 792 0 0 0 0 0 0 0 16 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 11426 0 -1 4202560 354 0 0 0 0 0 0 0 16 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 11426 0 -1 4202560 457 0 0 0 0 0 0 0 16 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 11426 0 -1 4202560 442 0 0 0 0 0 0 0 16 0 22 0 530132348 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 11426 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 530132349 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 0 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 11426 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530132349 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 11426 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530132349 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 530132351 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933600689 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=15689564 CPUtime=0.8 cores=1,3,5,7
/proc/11458/task/11473/stat : 11473 (java) R 11456 11458 11426 0 -1 4202560 13413 0 0 0 79 1 0 0 20 0 22 0 530132351 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 47522845845123 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=15689564 CPUtime=0.3 cores=1,3,5,7
/proc/11458/task/11474/stat : 11474 (java) R 11456 11458 11426 0 -1 4202560 3016 0 0 0 30 0 0 0 16 0 22 0 530132351 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222921469648 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530132351 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530132351 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11500] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11500/stat : 11500 (java) S 11456 11458 11426 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 530132419 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11501] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11501/stat : 11501 (java) S 11456 11458 11426 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 530132419 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11502] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11502/stat : 11502 (java) S 11456 11458 11426 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 530132419 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11503] ppid=11456 vsize=15689564 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11503/stat : 11503 (java) S 11456 11458 11426 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530132419 16066113536 49145 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 15689564
[startup+3.10901 s]
/proc/loadavg: 6.28 7.69 7.89 4/216 11503
/proc/meminfo: memFree=30064692/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15692068 CPUtime=5.79 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 64334 0 1 0 569 10 0 0 25 0 22 0 530132346 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3923017 55638 2275 9 0 3913736 0
[pid=11458/tid=11460] ppid=11456 vsize=15692068 CPUtime=2.15 cores=1,3,5,7
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 11426 0 -1 4202560 35667 0 1 0 209 6 0 0 25 0 22 0 530132347 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 11426 0 -1 4202560 715 0 0 0 0 0 0 0 15 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 11426 0 -1 4202560 925 0 0 0 0 0 0 0 16 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 11426 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 11426 0 -1 4202560 569 0 0 0 0 0 0 0 16 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 11426 0 -1 4202560 2860 0 0 0 0 0 0 0 16 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 11426 0 -1 4202560 2030 0 0 0 0 0 0 0 16 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 11426 0 -1 4202560 457 0 0 0 0 0 0 0 16 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=15692068 CPUtime=0.01 cores=1,3,5,7
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 11426 0 -1 4202560 1857 0 0 0 1 0 0 0 16 0 22 0 530132348 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 11426 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 0 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 11426 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 11426 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 530132351 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933600689 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=15692068 CPUtime=1.32 cores=1,3,5,7
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 11426 0 -1 4202560 13525 0 0 0 131 1 0 0 15 0 22 0 530132351 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=15692068 CPUtime=0.77 cores=1,3,5,7
/proc/11458/task/11474/stat : 11474 (java) R 11456 11458 11426 0 -1 4202560 4208 0 0 0 77 0 0 0 15 0 22 0 530132351 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530132351 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11476/stat : 11476 (java) R 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530132351 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11458/tid=11500] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11500/stat : 11500 (java) R 11456 11458 11426 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 530132419 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11458/tid=11501] ppid=11456 vsize=15692068 CPUtime=0.56 cores=1,3,5,7
/proc/11458/task/11501/stat : 11501 (java) R 11456 11458 11426 0 -1 4202560 13 0 0 0 56 0 0 0 15 0 22 0 530132419 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912506240795 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11458/tid=11502] ppid=11456 vsize=15692068 CPUtime=0.65 cores=1,3,5,7
/proc/11458/task/11502/stat : 11502 (java) R 11456 11458 11426 0 -1 4202560 7 0 0 0 65 0 0 0 15 0 22 0 530132419 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912506161637 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11458/tid=11503] ppid=11456 vsize=15692068 CPUtime=0.24 cores=1,3,5,7
/proc/11458/task/11503/stat : 11503 (java) R 11456 11458 11426 0 -1 4202560 19 0 0 0 24 0 0 0 16 0 22 0 530132419 16068677632 55638 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505910447 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 15692068
[startup+6.31079 s]
/proc/loadavg: 6.18 7.65 7.87 6/220 11507
/proc/meminfo: memFree=29529384/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15692068 CPUtime=17.72 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 144729 0 1 0 1750 22 0 0 25 0 22 0 530132346 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3923017 134781 2275 9 0 3913736 0
[pid=11458/tid=11460] ppid=11456 vsize=15692068 CPUtime=2.15 cores=1,3,5,7
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 11426 0 -1 4202560 35667 0 1 0 209 6 0 0 25 0 22 0 530132347 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=15692068 CPUtime=0.02 cores=1,3,5,7
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 11426 0 -1 4202560 6597 0 0 0 2 0 0 0 15 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=15692068 CPUtime=0.02 cores=1,3,5,7
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 11426 0 -1 4202560 5700 0 0 0 2 0 0 0 15 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=15692068 CPUtime=0.05 cores=1,3,5,7
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 11426 0 -1 4202560 10433 0 0 0 4 1 0 0 16 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=15692068 CPUtime=0.03 cores=1,3,5,7
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 11426 0 -1 4202560 8144 0 0 0 2 1 0 0 16 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=15692068 CPUtime=0.04 cores=1,3,5,7
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 11426 0 -1 4202560 10743 0 0 0 3 1 0 0 15 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=15692068 CPUtime=0.04 cores=1,3,5,7
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 11426 0 -1 4202560 11003 0 0 0 3 1 0 0 16 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=15692068 CPUtime=0.03 cores=1,3,5,7
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 11426 0 -1 4202560 10107 0 0 0 2 1 0 0 16 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=15692068 CPUtime=0.01 cores=1,3,5,7
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 11426 0 -1 4202560 4519 0 0 0 1 0 0 0 15 0 22 0 530132348 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 11426 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 0 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 11426 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 11426 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 530132351 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933600689 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=15692068 CPUtime=1.33 cores=1,3,5,7
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 11426 0 -1 4202560 13525 0 0 0 132 1 0 0 15 0 22 0 530132351 16068677632 134781 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=11458/tid=11501] ppid=11456 vsize=15692068 CPUtime=1046.82 cores=1,3,5,7
/proc/11458/task/11501/stat : 11501 (java) R 11456 11458 11426 0 -1 4202560 268409 0 0 0 104654 28 0 0 25 0 22 0 530132419 16068677632 247818 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505925137 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11458/tid=11502] ppid=11456 vsize=15692068 CPUtime=1048.12 cores=1,3,5,7
/proc/11458/task/11502/stat : 11502 (java) R 11456 11458 11426 0 -1 4202560 237316 0 0 0 104784 28 0 0 25 0 22 0 530132419 16068677632 247818 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505910420 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11458/tid=11503] ppid=11456 vsize=15692068 CPUtime=1046.67 cores=1,3,5,7
/proc/11458/task/11503/stat : 11503 (java) R 11456 11458 11426 0 -1 4202560 229022 0 0 0 104641 26 0 0 25 0 22 0 530132419 16068677632 247818 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505910410 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4226.67
Current children cumulated vsize (KiB) 15692068
[startup+1122.3 s]
/proc/loadavg: 8.20 8.10 7.99 9/220 11537
/proc/meminfo: memFree=24958276/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15692068 CPUtime=4465.82 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 2767107 0 1 0 446135 447 0 0 25 0 22 0 530132346 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3923017 240018 2293 9 0 3913736 0
[pid=11458/tid=11460] ppid=11456 vsize=15692068 CPUtime=2.15 cores=1,3,5,7
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 11426 0 -1 4202560 35667 0 1 0 209 6 0 0 25 0 22 0 530132347 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=15692068 CPUtime=3.89 cores=1,3,5,7
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 11426 0 -1 4202560 199756 0 0 0 358 31 0 0 15 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=15692068 CPUtime=3.99 cores=1,3,5,7
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 11426 0 -1 4202560 196805 0 0 0 367 32 0 0 15 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=15692068 CPUtime=4.18 cores=1,3,5,7
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 11426 0 -1 4202560 220764 0 0 0 382 36 0 0 15 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=15692068 CPUtime=4 cores=1,3,5,7
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 11426 0 -1 4202560 201481 0 0 0 366 34 0 0 15 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=15692068 CPUtime=4.22 cores=1,3,5,7
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 11426 0 -1 4202560 206564 0 0 0 389 33 0 0 15 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=15692068 CPUtime=3.96 cores=1,3,5,7
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 11426 0 -1 4202560 206934 0 0 0 362 34 0 0 16 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=15692068 CPUtime=4.2 cores=1,3,5,7
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 11426 0 -1 4202560 224778 0 0 0 385 35 0 0 15 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=15692068 CPUtime=3.95 cores=1,3,5,7
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 11426 0 -1 4202560 218754 0 0 0 360 35 0 0 16 0 22 0 530132348 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=15692068 CPUtime=2.11 cores=1,3,5,7
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 11426 0 -1 4202560 6957 0 0 0 167 44 0 0 16 0 22 0 530132349 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 0 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 11426 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 11426 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 530132351 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933600689 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=15692068 CPUtime=1.84 cores=1,3,5,7
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 11426 0 -1 4202560 13574 0 0 0 183 1 0 0 15 0 22 0 530132351 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=15692068 CPUtime=0.99 cores=1,3,5,7
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 11426 0 -1 4202560 4227 0 0 0 99 0 0 0 15 0 22 0 530132351 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530132351 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 11426 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 530132351 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11500] ppid=11456 vsize=15692068 CPUtime=1106.76 cores=1,3,5,7
/proc/11458/task/11500/stat : 11500 (java) R 11456 11458 11426 0 -1 4202560 262676 0 0 0 110644 32 0 0 25 0 22 0 530132419 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11458/tid=11501] ppid=11456 vsize=15692068 CPUtime=1106.1 cores=1,3,5,7
/proc/11458/task/11501/stat : 11501 (java) R 11456 11458 11426 0 -1 4202560 282983 0 0 0 110580 30 0 0 25 0 22 0 530132419 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 47522848815151 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11458/tid=11502] ppid=11456 vsize=15692068 CPUtime=1107.51 cores=1,3,5,7
/proc/11458/task/11502/stat : 11502 (java) R 11456 11458 11426 0 -1 4202560 246020 0 0 0 110722 29 0 0 25 0 22 0 530132419 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505910537 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11458/tid=11503] ppid=11456 vsize=15692068 CPUtime=1105.82 cores=1,3,5,7
/proc/11458/task/11503/stat : 11503 (java) R 11456 11458 11426 0 -1 4202560 237716 0 0 0 110555 27 0 0 25 0 22 0 530132419 16068677632 240018 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505960825 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4465.82
Current children cumulated vsize (KiB) 15692068
[startup+1182.3 s]
/proc/loadavg: 8.13 8.10 8.00 9/220 11548
/proc/meminfo: memFree=24735244/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15692068 CPUtime=4704.97 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 2913938 0 1 0 470025 472 0 0 25 0 22 0 530132346 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3923017 266811 2293 9 0 3913736 0
[pid=11458/tid=11460] ppid=11456 vsize=15692068 CPUtime=2.15 cores=1,3,5,7
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 11426 0 -1 4202560 35667 0 1 0 209 6 0 0 25 0 22 0 530132347 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=15692068 CPUtime=4.14 cores=1,3,5,7
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 11426 0 -1 4202560 213233 0 0 0 381 33 0 0 16 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=15692068 CPUtime=4.19 cores=1,3,5,7
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 11426 0 -1 4202560 209528 0 0 0 384 35 0 0 15 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=15692068 CPUtime=4.42 cores=1,3,5,7
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 11426 0 -1 4202560 232932 0 0 0 404 38 0 0 15 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=15692068 CPUtime=4.22 cores=1,3,5,7
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 11426 0 -1 4202560 210942 0 0 0 386 36 0 0 16 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=15692068 CPUtime=4.45 cores=1,3,5,7
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 11426 0 -1 4202560 219047 0 0 0 411 34 0 0 16 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=15692068 CPUtime=4.2 cores=1,3,5,7
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 11426 0 -1 4202560 221077 0 0 0 384 36 0 0 16 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=15692068 CPUtime=4.39 cores=1,3,5,7
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 11426 0 -1 4202560 234439 0 0 0 403 36 0 0 15 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=15692068 CPUtime=4.18 cores=1,3,5,7
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 11426 0 -1 4202560 231600 0 0 0 380 38 0 0 15 0 22 0 530132348 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=15692068 CPUtime=2.22 cores=1,3,5,7
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 11426 0 -1 4202560 7348 0 0 0 175 47 0 0 15 0 22 0 530132349 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 0 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 11426 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 11426 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 530132351 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933600689 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=15692068 CPUtime=1.84 cores=1,3,5,7
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 11426 0 -1 4202560 13574 0 0 0 183 1 0 0 15 0 22 0 530132351 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=15692068 CPUtime=0.99 cores=1,3,5,7
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 11426 0 -1 4202560 4227 0 0 0 99 0 0 0 15 0 22 0 530132351 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530132351 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 11426 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 530132351 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11500] ppid=11456 vsize=15692068 CPUtime=1166.15 cores=1,3,5,7
/proc/11458/task/11500/stat : 11500 (java) R 11456 11458 11426 0 -1 4202560 274328 0 0 0 116580 35 0 0 25 0 22 0 530132419 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505910457 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11458/tid=11501] ppid=11456 vsize=15692068 CPUtime=1165.49 cores=1,3,5,7
/proc/11458/task/11501/stat : 11501 (java) R 11456 11458 11426 0 -1 4202560 298505 0 0 0 116517 32 0 0 25 0 22 0 530132419 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912506365148 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11458/tid=11502] ppid=11456 vsize=15692068 CPUtime=1166.91 cores=1,3,5,7
/proc/11458/task/11502/stat : 11502 (java) R 11456 11458 11426 0 -1 4202560 256615 0 0 0 116660 31 0 0 25 0 22 0 530132419 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505959708 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11458/tid=11503] ppid=11456 vsize=15692068 CPUtime=1164.89 cores=1,3,5,7
/proc/11458/task/11503/stat : 11503 (java) R 11456 11458 11426 0 -1 4202560 249423 0 0 0 116462 27 0 0 25 0 22 0 530132419 16068677632 266811 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912506570668 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4704.97
Current children cumulated vsize (KiB) 15692068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1206.2 s]
/proc/loadavg: 8.09 8.09 8.00 9/220 11548
/proc/meminfo: memFree=24707716/32951124 swapFree=67110188/67111528
[pid=11458] ppid=11456 vsize=15692068 CPUtime=4800.33 cores=1,3,5,7
/proc/11458/stat : 11458 (java) S 11456 11458 11426 0 -1 4202496 2972376 0 1 0 479553 480 0 0 25 0 22 0 530132346 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11458/statm: 3923017 273512 2293 9 0 3913736 0
[pid=11458/tid=11460] ppid=11456 vsize=15692068 CPUtime=2.15 cores=1,3,5,7
/proc/11458/task/11460/stat : 11460 (java) S 11456 11458 11426 0 -1 4202560 35667 0 1 0 209 6 0 0 25 0 22 0 530132347 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=15692068 CPUtime=4.24 cores=1,3,5,7
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 11426 0 -1 4202560 218606 0 0 0 390 34 0 0 15 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=15692068 CPUtime=4.26 cores=1,3,5,7
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 11426 0 -1 4202560 213365 0 0 0 391 35 0 0 16 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=15692068 CPUtime=4.51 cores=1,3,5,7
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 11426 0 -1 4202560 237696 0 0 0 412 39 0 0 16 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=15692068 CPUtime=4.33 cores=1,3,5,7
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 11426 0 -1 4202560 214130 0 0 0 397 36 0 0 15 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=15692068 CPUtime=4.56 cores=1,3,5,7
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 11426 0 -1 4202560 223452 0 0 0 421 35 0 0 16 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=15692068 CPUtime=4.27 cores=1,3,5,7
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 11426 0 -1 4202560 225009 0 0 0 391 36 0 0 16 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=15692068 CPUtime=4.46 cores=1,3,5,7
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 11426 0 -1 4202560 237283 0 0 0 409 37 0 0 16 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=15692068 CPUtime=4.27 cores=1,3,5,7
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 11426 0 -1 4202560 237896 0 0 0 389 38 0 0 15 0 22 0 530132348 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=15692068 CPUtime=2.22 cores=1,3,5,7
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 11426 0 -1 4202560 7488 0 0 0 175 47 0 0 15 0 22 0 530132349 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 0 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 11426 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 11426 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530132349 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 530132351 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933600689 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=15692068 CPUtime=1.84 cores=1,3,5,7
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 11426 0 -1 4202560 13574 0 0 0 183 1 0 0 15 0 22 0 530132351 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 3 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=15692068 CPUtime=0.99 cores=1,3,5,7
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 11426 0 -1 4202560 4227 0 0 0 99 0 0 0 15 0 22 0 530132351 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 7 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 11426 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530132351 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933592985 0 4 0 16800975 18446604471163242496 0 0 -1 5 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=15692068 CPUtime=0 cores=1,3,5,7
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 11426 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530132351 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 222933593600 0 4 0 16800975 18446604471163242496 0 0 -1 1 0 0 0
[pid=11458/tid=11500] ppid=11456 vsize=15692068 CPUtime=1189.84 cores=1,3,5,7
/proc/11458/task/11500/stat : 11500 (java) R 11456 11458 11426 0 -1 4202560 279829 0 0 0 118949 35 0 0 25 0 22 0 530132419 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912506371739 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11458/tid=11501] ppid=11456 vsize=15692068 CPUtime=1189.18 cores=1,3,5,7
/proc/11458/task/11501/stat : 11501 (java) R 11456 11458 11426 0 -1 4202560 305160 0 0 0 118886 32 0 0 25 0 22 0 530132419 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912506445765 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11458/tid=11502] ppid=11456 vsize=15692068 CPUtime=1190.59 cores=1,3,5,7
/proc/11458/task/11502/stat : 11502 (java) R 11456 11458 11426 0 -1 4202560 262743 0 0 0 119028 31 0 0 25 0 22 0 530132419 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912505960222 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11458/tid=11503] ppid=11456 vsize=15692068 CPUtime=1188.44 cores=1,3,5,7
/proc/11458/task/11503/stat : 11503 (java) R 11456 11458 11426 0 -1 4202560 254796 0 0 0 118816 28 0 0 25 0 22 0 530132419 16068677632 273512 33554432000 1073741824 1073778376 140733944624768 18446744073709551615 46912506309521 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 15692068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1206.26
CPU time (s): 4800.41
CPU user time (s): 4795.56
CPU system time (s): 4.84726
CPU usage (%): 397.959
Max. virtual memory (cumulated for all children) (KiB): 15692068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.56
system time used= 4.84726
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2972403
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69988
involuntary context switches= 71933
runsolver used 2.09568 second user time and 4.55931 second system time
The end