runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456860-1307221690/watcher-3456860-1307221690 -o /tmp/evaluation-result-3456860-1307221690/solver-3456860-1307221690 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456860-1307221690.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.06 2.11 2.04 2/454 4598
/proc/meminfo: memFree=16834884/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 1370 0 1 0 0 0 0 0 25 0 2 0 833766828 37810176 1072 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 9231 1072 832 9 0 387 0
[pid=4598/tid=4599] ppid=4596 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 3875 0 1 0 0 0 0 0 25 0 2 0 833766829 10694979584 4691 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0634351 s]
/proc/loadavg: 2.06 2.11 2.04 2/454 4598
/proc/meminfo: memFree=16834884/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10472924 CPUtime=0.04 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 11664 0 1 0 3 1 0 0 25 0 18 0 833766828 10724274176 11360 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2618231 11362 1733 9 0 2608972 0
[pid=4598/tid=4599] ppid=4596 vsize=10472924 CPUtime=0.04 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 10491 0 1 0 3 1 0 0 25 0 18 0 833766829 10724274176 11362 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 47085598979608 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10472924
[startup+0.100427 s]
/proc/loadavg: 2.06 2.11 2.04 2/454 4598
/proc/meminfo: memFree=16834884/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10540028 CPUtime=0.1 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 13023 0 1 0 8 2 0 0 25 0 18 0 833766828 10792988672 12719 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2635007 12721 2093 9 0 2625741 0
[pid=4598/tid=4599] ppid=4596 vsize=10540028 CPUtime=0.08 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 11136 0 1 0 7 1 0 0 18 0 18 0 833766829 10792988672 12723 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912496212864 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540028
[startup+0.305541 s]
/proc/loadavg: 2.06 2.11 2.04 2/454 4598
/proc/meminfo: memFree=16834884/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10551056 CPUtime=0.56 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 20249 0 1 0 54 2 0 0 25 0 19 0 833766828 10804281344 17759 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2637764 17759 2206 9 0 2628498 0
[pid=4598/tid=4599] ppid=4596 vsize=10551056 CPUtime=0.29 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 13250 0 1 0 27 2 0 0 18 0 19 0 833766829 10804281344 17759 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505586420 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10551056
[startup+0.700353 s]
/proc/loadavg: 2.06 2.11 2.04 2/454 4598
/proc/meminfo: memFree=16834884/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10554148 CPUtime=1.64 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 45542 0 1 0 159 5 0 0 25 0 19 0 833766828 10807447552 40718 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2638537 40723 2222 9 0 2629271 0
[pid=4598/tid=4599] ppid=4596 vsize=10554148 CPUtime=0.68 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 33429 0 1 0 64 4 0 0 18 0 19 0 833766829 10807447552 40725 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505586416 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10554148
[startup+1.50114 s]
/proc/loadavg: 2.06 2.11 2.04 3/473 4617
/proc/meminfo: memFree=16575016/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10554148 CPUtime=2.52 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 114825 0 1 0 239 13 0 0 25 0 19 0 833766828 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2638537 110000 2225 9 0 2629271 0
[pid=4598/tid=4599] ppid=4596 vsize=10554148 CPUtime=1.48 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 102691 0 1 0 136 12 0 0 18 0 19 0 833766829 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505608607 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 3845 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 0 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833766832 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833766832 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389125041 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=10554148 CPUtime=0.44 cores=0,2,4,6
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 3845 0 -1 4202560 5155 0 0 0 44 0 0 0 15 0 19 0 833766835 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=10554148 CPUtime=0.58 cores=0,2,4,6
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 3845 0 -1 4202560 5818 0 0 0 58 0 0 0 15 0 19 0 833766835 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833766835 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833766846 10807447552 110000 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 10554148
[startup+3.10093 s]
/proc/loadavg: 2.06 2.11 2.04 3/473 4617
/proc/meminfo: memFree=16217152/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10554148 CPUtime=4.12 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 229385 0 1 0 385 27 0 0 25 0 19 0 833766828 10807447552 224560 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2638537 224563 2225 9 0 2629271 0
[pid=4598/tid=4599] ppid=4596 vsize=10554148 CPUtime=3.08 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 217255 0 1 0 282 26 0 0 21 0 19 0 833766829 10807447552 224564 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505586404 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224567 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224568 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224570 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224572 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224573 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224575 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224577 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 224578 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 3845 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833766832 10807447552 224580 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 0 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833766832 10807447552 224581 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833766832 10807447552 224583 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 224584 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389125041 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=10554148 CPUtime=0.44 cores=0,2,4,6
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 3845 0 -1 4202560 5155 0 0 0 44 0 0 0 15 0 19 0 833766835 10807447552 224585 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=10554148 CPUtime=0.58 cores=0,2,4,6
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 3845 0 -1 4202560 5818 0 0 0 58 0 0 0 15 0 19 0 833766835 10807447552 224587 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 224588 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833766835 10807447552 224589 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833766846 10807447552 224590 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 10554148
[startup+6.30128 s]
/proc/loadavg: 2.06 2.10 2.04 3/473 4618
/proc/meminfo: memFree=15260864/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10554148 CPUtime=7.34 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 457968 0 1 0 679 55 0 0 25 0 19 0 833766828 10807447552 453134 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2638537 453135 2227 9 0 2629271 0
[pid=4598/tid=4599] ppid=4596 vsize=10554148 CPUtime=6.28 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 445833 0 1 0 574 54 0 0 25 0 19 0 833766829 10807447552 453135 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505556076 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453136 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453137 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453137 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453137 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453138 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453138 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453139 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766831 10807447552 453139 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 3845 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833766832 10807447552 453140 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 0 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833766832 10807447552 453140 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833766832 10807447552 453141 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 453142 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389125041 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=10554148 CPUtime=0.45 cores=0,2,4,6
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 3845 0 -1 4202560 5155 0 0 0 45 0 0 0 16 0 19 0 833766835 10807447552 453142 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=10554148 CPUtime=0.59 cores=0,2,4,6
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 3845 0 -1 4202560 5819 0 0 0 59 0 0 0 15 0 19 0 833766835 10807447552 453143 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 3845 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389125041 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=10554148 CPUtime=0.64 cores=0,2,4,6
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 3845 0 -1 4202560 5209 0 0 0 64 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=10554148 CPUtime=0.65 cores=0,2,4,6
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 3845 0 -1 4202560 5848 0 0 0 65 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 3845 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833766846 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1664.43
Current children cumulated vsize (KiB) 10554148
[startup+1722.3 s]
/proc/loadavg: 2.12 2.15 2.09 3/473 4849
/proc/meminfo: memFree=12961096/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10554148 CPUtime=1724.43 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 953345 0 1 0 172315 128 0 0 25 0 19 0 833766828 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2638537 943641 2243 9 0 2629271 0
[pid=4598/tid=4599] ppid=4596 vsize=10554148 CPUtime=1721.88 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 779794 0 1 0 172093 95 0 0 25 0 19 0 833766829 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505559157 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=10554148 CPUtime=0.17 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 3845 0 -1 4202560 28373 0 0 0 12 5 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=10554148 CPUtime=0.13 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 3845 0 -1 4202560 17074 0 0 0 9 4 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=10554148 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 3845 0 -1 4202560 10651 0 0 0 8 2 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=10554148 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 3845 0 -1 4202560 16025 0 0 0 8 2 0 0 15 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=10554148 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 3845 0 -1 4202560 29623 0 0 0 14 5 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=10554148 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 3845 0 -1 4202560 26446 0 0 0 15 4 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=10554148 CPUtime=0.14 cores=0,2,4,6
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 3845 0 -1 4202560 18145 0 0 0 11 3 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=10554148 CPUtime=0.11 cores=0,2,4,6
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 3845 0 -1 4202560 14869 0 0 0 9 2 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 3845 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 0 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 3845 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389125041 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=10554148 CPUtime=0.64 cores=0,2,4,6
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 3845 0 -1 4202560 5209 0 0 0 64 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=10554148 CPUtime=0.65 cores=0,2,4,6
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 3845 0 -1 4202560 5848 0 0 0 65 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 3845 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833766846 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.43
Current children cumulated vsize (KiB) 10554148
[startup+1782.3 s]
/proc/loadavg: 2.04 2.12 2.08 3/473 4851
/proc/meminfo: memFree=12959960/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10554148 CPUtime=1784.43 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 953349 0 1 0 178315 128 0 0 25 0 19 0 833766828 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2638537 943641 2243 9 0 2629271 0
[pid=4598/tid=4599] ppid=4596 vsize=10554148 CPUtime=1781.88 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 779794 0 1 0 178093 95 0 0 25 0 19 0 833766829 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505559197 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=10554148 CPUtime=0.17 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 3845 0 -1 4202560 28373 0 0 0 12 5 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=10554148 CPUtime=0.13 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 3845 0 -1 4202560 17074 0 0 0 9 4 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=10554148 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 3845 0 -1 4202560 10651 0 0 0 8 2 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=10554148 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 3845 0 -1 4202560 16025 0 0 0 8 2 0 0 15 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=10554148 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 3845 0 -1 4202560 29623 0 0 0 14 5 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=10554148 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 3845 0 -1 4202560 26446 0 0 0 15 4 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=10554148 CPUtime=0.14 cores=0,2,4,6
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 3845 0 -1 4202560 18145 0 0 0 11 3 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=10554148 CPUtime=0.11 cores=0,2,4,6
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 3845 0 -1 4202560 14869 0 0 0 9 2 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 3845 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 0 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 3845 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389125041 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=10554148 CPUtime=0.64 cores=0,2,4,6
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 3845 0 -1 4202560 5209 0 0 0 64 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=10554148 CPUtime=0.65 cores=0,2,4,6
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 3845 0 -1 4202560 5848 0 0 0 65 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 3845 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833766846 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (KiB) 10554148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.03 2.11 2.08 3/473 4851
/proc/meminfo: memFree=12960448/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=10554148 CPUtime=1800.04 cores=0,2,4,6
/proc/4598/stat : 4598 (java) S 4596 4598 3845 0 -1 4202496 953349 0 1 0 179876 128 0 0 25 0 19 0 833766828 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 2638537 943641 2243 9 0 2629271 0
[pid=4598/tid=4599] ppid=4596 vsize=10554148 CPUtime=1797.5 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4202560 779794 0 1 0 179655 95 0 0 25 0 19 0 833766829 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 46912505640397 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=10554148 CPUtime=0.17 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 3845 0 -1 4202560 28373 0 0 0 12 5 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=10554148 CPUtime=0.13 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 3845 0 -1 4202560 17074 0 0 0 9 4 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=10554148 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 3845 0 -1 4202560 10651 0 0 0 8 2 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=10554148 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 3845 0 -1 4202560 16025 0 0 0 8 2 0 0 15 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=10554148 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 3845 0 -1 4202560 29623 0 0 0 14 5 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=10554148 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 3845 0 -1 4202560 26446 0 0 0 15 4 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 6 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=10554148 CPUtime=0.14 cores=0,2,4,6
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 3845 0 -1 4202560 18145 0 0 0 11 3 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=10554148 CPUtime=0.11 cores=0,2,4,6
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 3845 0 -1 4202560 14869 0 0 0 9 2 0 0 16 0 19 0 833766831 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 3845 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 0 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 3845 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833766832 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389125041 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=10554148 CPUtime=0.64 cores=0,2,4,6
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 3845 0 -1 4202560 5209 0 0 0 64 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=10554148 CPUtime=0.65 cores=0,2,4,6
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 3845 0 -1 4202560 5848 0 0 0 65 0 0 0 16 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 4 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117337 0 4 0 16800975 18446604452959214656 0 0 -1 2 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 3845 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833766835 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=10554148 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833766846 10807447552 943641 33554432000 1073741824 1073778376 140734540313744 18446744073709551615 255389117952 0 4 0 16800975 18446604452959214656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10554148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.02 s]
/proc/loadavg: 2.03 2.11 2.08 3/473 4851
/proc/meminfo: memFree=12960448/32951124 swapFree=60787360/67111528
[pid=4598] ppid=4596 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/4598/stat : 4598 (java) Z 4596 4598 3845 0 -1 4203548 953378 0 1 0 179878 137 0 0 17 0 2 0 833766828 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4598/statm: 0 0 0 0 0 0 0
[pid=4598/tid=4599] ppid=4596 vsize=0 CPUtime=1797.6 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (java) R 4596 4598 3845 0 -1 4203588 779794 0 1 0 179656 104 0 0 25 0 2 0 833766829 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.08
CPU time (s): 1800.22
CPU user time (s): 1798.79
CPU system time (s): 1.42978
CPU usage (%): 100.119
Max. virtual memory (cumulated for all children) (KiB): 10554148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953378
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= 37291
involuntary context switches= 10882
runsolver used 8.41272 second user time and 17.1554 second system time
The end