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-3478903-1307443381/watcher-3478903-1307443381 -o /tmp/evaluation-result-3478903-1307443381/solver-3478903-1307443381 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3478903-1307443381.opb
running on 4 cores: 1,3,5,7
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.09 2.08 2.02 2/553 9923
/proc/meminfo: memFree=21192348/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9923/stat : 9923 (java) R 9921 9923 9329 0 -1 4202496 1074 0 0 0 0 0 0 0 21 0 1 0 836754478 23580672 818 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 47923442031776 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9923/statm: 5757 836 628 9 0 124 0
[pid=9923/tid=9924] ppid=9921 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 5675 0 1 0 0 0 0 0 22 0 2 0 836754478 10694979584 6492 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0972309 s]
/proc/loadavg: 2.09 2.08 2.02 2/553 9923
/proc/meminfo: memFree=21192348/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10539712 CPUtime=0.09 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 12988 0 1 0 8 1 0 0 21 0 18 0 836754478 10792665088 12684 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2634928 12684 2093 9 0 2625662 0
[pid=9923/tid=9924] ppid=9921 vsize=10539712 CPUtime=0.07 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 11066 0 1 0 6 1 0 0 18 0 18 0 836754478 10792665088 12684 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 47923446445247 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539712
[startup+0.100227 s]
/proc/loadavg: 2.09 2.08 2.02 2/553 9923
/proc/meminfo: memFree=21192348/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10539712 CPUtime=0.09 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 13020 0 1 0 8 1 0 0 21 0 18 0 836754478 10792665088 12716 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2634928 12716 2093 9 0 2625662 0
[pid=9923/tid=9924] ppid=9921 vsize=10539712 CPUtime=0.08 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 11098 0 1 0 7 1 0 0 18 0 18 0 836754478 10792665088 12716 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212039315985 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539712
[startup+0.300195 s]
/proc/loadavg: 2.09 2.08 2.02 2/553 9923
/proc/meminfo: memFree=21192348/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10540892 CPUtime=0.48 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 16033 0 1 0 46 2 0 0 21 0 18 0 836754478 10793873408 15410 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2635223 15411 2201 9 0 2625957 0
[pid=9923/tid=9924] ppid=9921 vsize=10540892 CPUtime=0.28 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 13189 0 1 0 26 2 0 0 18 0 18 0 836754478 10793873408 15411 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505542701 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540892
[startup+0.701157 s]
/proc/loadavg: 2.09 2.08 2.02 2/553 9923
/proc/meminfo: memFree=21192348/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10543536 CPUtime=1.1 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 51288 0 1 0 103 7 0 0 21 0 18 0 836754478 10796580864 49829 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2635884 49834 2213 9 0 2626618 0
[pid=9923/tid=9924] ppid=9921 vsize=10543536 CPUtime=0.68 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 46335 0 1 0 62 6 0 0 18 0 18 0 836754478 10796580864 49836 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505628411 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10543536
[startup+1.50101 s]
/proc/loadavg: 2.09 2.08 2.02 3/571 9941
/proc/meminfo: memFree=20870060/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10543872 CPUtime=1.93 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 135855 0 1 0 176 17 0 0 21 0 18 0 836754478 10796924928 134395 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2635968 134400 2214 9 0 2626702 0
[pid=9923/tid=9924] ppid=9921 vsize=10543872 CPUtime=1.48 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 130840 0 1 0 132 16 0 0 19 0 18 0 836754478 10796924928 134402 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505612783 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9926/stat : 9926 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 836754480 10796924928 134405 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9927/stat : 9927 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 836754480 10796924928 134407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9928/stat : 9928 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 134410 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9929/stat : 9929 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 134412 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9930/stat : 9930 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 134415 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9931/stat : 9931 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 134418 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9932/stat : 9932 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 134420 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9933/stat : 9933 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 134423 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9934/stat : 9934 (java) S 9921 9923 9329 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 836754481 10796924928 134425 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9935/stat : 9935 (java) S 9921 9923 9329 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 836754482 10796924928 134428 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9936/stat : 9936 (java) S 9921 9923 9329 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 836754482 10796924928 134431 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9937/stat : 9937 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754484 10796924928 134433 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=10543872 CPUtime=0.19 cores=1,3,5,7
/proc/9923/task/9938/stat : 9938 (java) S 9921 9923 9329 0 -1 4202560 2033 0 0 0 19 0 0 0 20 0 18 0 836754484 10796924928 134436 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=10543872 CPUtime=0.23 cores=1,3,5,7
/proc/9923/task/9939/stat : 9939 (java) S 9921 9923 9329 0 -1 4202560 1837 0 0 0 23 0 0 0 15 0 18 0 836754484 10796924928 134439 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9940] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9940/stat : 9940 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754484 10796924928 134441 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9941] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9941/stat : 9941 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 836754484 10796924928 134444 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10543872
[startup+3.10074 s]
/proc/loadavg: 2.09 2.08 2.02 3/571 9941
/proc/meminfo: memFree=20406176/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10543872 CPUtime=3.54 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 301807 0 1 0 319 35 0 0 21 0 18 0 836754478 10796924928 300347 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2635968 300352 2214 9 0 2626702 0
[pid=9923/tid=9924] ppid=9921 vsize=10543872 CPUtime=3.08 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 296791 0 1 0 273 35 0 0 25 0 18 0 836754478 10796924928 300354 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505651537 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9926/stat : 9926 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 836754480 10796924928 300357 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9927/stat : 9927 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 836754480 10796924928 300359 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9928/stat : 9928 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 300362 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9929/stat : 9929 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 300364 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9930/stat : 9930 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 300367 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9931/stat : 9931 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 300369 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9932/stat : 9932 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 300372 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9933/stat : 9933 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754480 10796924928 300374 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9934/stat : 9934 (java) S 9921 9923 9329 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 836754481 10796924928 300377 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9935/stat : 9935 (java) S 9921 9923 9329 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 836754482 10796924928 300379 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9936/stat : 9936 (java) S 9921 9923 9329 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 836754482 10796924928 300382 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9937/stat : 9937 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754484 10796924928 300384 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=10543872 CPUtime=0.19 cores=1,3,5,7
/proc/9923/task/9938/stat : 9938 (java) S 9921 9923 9329 0 -1 4202560 2033 0 0 0 19 0 0 0 20 0 18 0 836754484 10796924928 300386 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=10543872 CPUtime=0.25 cores=1,3,5,7
/proc/9923/task/9939/stat : 9939 (java) S 9921 9923 9329 0 -1 4202560 1838 0 0 0 25 0 0 0 15 0 18 0 836754484 10796924928 300389 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9940] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9940/stat : 9940 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836754484 10796924928 300391 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9941] ppid=9921 vsize=10543872 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9941/stat : 9941 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 836754484 10796924928 300394 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10543872
[startup+6.30117 s]
/proc/loadavg: 2.08 2.08 2.02 3/572 9943
/proc/meminfo: memFree=19298220/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10543776 CPUtime=7.09 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 534189 0 1 0 646 63 0 0 21 0 19 0 836754478 10796826624 531724 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2635944 531726 2229 9 0 2626678 0
[pid=9923/tid=9924] ppid=9921 vsize=10543776 CPUtime=6.28 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 528595 0 1 0 566 62 0 0 19 0 19 0 836754478 10796826624 531728 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505875700 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9926/stat : 9926 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 836754480 10796826624 531729 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9927/stat : 9927 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 836754480 10796826624 531731 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9928/stat : 9928 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754480 10796826624 531732 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9929/stat : 9929 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754480 10796826624 531734 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9930/stat : 9930 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754480 10796826624 531735 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9931/stat : 9931 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754480 10796826624 531737 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9932/stat : 9932 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754480 10796826624 531738 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9933/stat : 9933 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754480 10796826624 531739 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9934/stat : 9934 (java) S 9921 9923 9329 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 836754481 10796826624 531740 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9935/stat : 9935 (java) S 9921 9923 9329 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 836754482 10796826624 531741 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9936/stat : 9936 (java) S 9921 9923 9329 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836754482 10796826624 531743 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9937/stat : 9937 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10796826624 531744 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=10543776 CPUtime=0.38 cores=1,3,5,7
/proc/9923/task/9938/stat : 9938 (java) S 9921 9923 9329 0 -1 4202560 2229 0 0 0 38 0 0 0 16 0 19 0 836754484 10796826624 531745 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=10543776 CPUtime=0.4 cores=1,3,5,7
/proc/9923/task/9939/stat : 9939 (java) S 9921 9923 9329 0 -1 4202560 2205 0 0 0 40 0 0 0 15 0 19 0 836754484 10796826624 531746 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9940] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9940/stat : 9940 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10796826624 531747 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9941] ppid=9921 vsize=10543776 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9941/stat : 9941 (java) S 9921 9923 9329 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 836754484 10796826624 531748 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/9923/task/9936/stat : 9936 (java) S 9921 9923 9329 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 836754482 10799243264 899012 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9937/stat : 9937 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899012 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=10546136 CPUtime=1 cores=1,3,5,7
/proc/9923/task/9938/stat : 9938 (java) S 9921 9923 9329 0 -1 4202560 11202 0 0 0 99 1 0 0 15 0 19 0 836754484 10799243264 899012 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=10546136 CPUtime=0.74 cores=1,3,5,7
/proc/9923/task/9939/stat : 9939 (java) S 9921 9923 9329 0 -1 4202560 4734 0 0 0 74 0 0 0 15 0 19 0 836754484 10799243264 899012 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9940] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9940/stat : 9940 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899012 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9941] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9941/stat : 9941 (java) S 9921 9923 9329 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 836754484 10799243264 899012 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9942] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9942/stat : 9942 (java) S 9921 9923 9329 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 836754913 10799243264 899012 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1666.06
Current children cumulated vsize (KiB) 10546136
[startup+1722.3 s]
/proc/loadavg: 2.13 2.07 2.07 3/572 10069
/proc/meminfo: memFree=16534516/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10546136 CPUtime=1726.07 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 911859 0 1 0 172502 105 0 0 21 0 19 0 836754478 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2636534 899100 2264 9 0 2627268 0
[pid=9923/tid=9924] ppid=9921 vsize=10546136 CPUtime=1721.13 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 795609 0 1 0 172022 91 0 0 25 0 19 0 836754478 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505875517 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=10546136 CPUtime=0.52 cores=1,3,5,7
/proc/9923/task/9926/stat : 9926 (java) S 9921 9923 9329 0 -1 4202560 23901 0 0 0 50 2 0 0 16 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=10546136 CPUtime=0.23 cores=1,3,5,7
/proc/9923/task/9927/stat : 9927 (java) S 9921 9923 9329 0 -1 4202560 7104 0 0 0 23 0 0 0 15 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=10546136 CPUtime=0.33 cores=1,3,5,7
/proc/9923/task/9928/stat : 9928 (java) S 9921 9923 9329 0 -1 4202560 7877 0 0 0 32 1 0 0 16 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=10546136 CPUtime=0.24 cores=1,3,5,7
/proc/9923/task/9929/stat : 9929 (java) S 9921 9923 9329 0 -1 4202560 7237 0 0 0 24 0 0 0 16 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=10546136 CPUtime=0.38 cores=1,3,5,7
/proc/9923/task/9930/stat : 9930 (java) S 9921 9923 9329 0 -1 4202560 11831 0 0 0 37 1 0 0 15 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=10546136 CPUtime=0.4 cores=1,3,5,7
/proc/9923/task/9931/stat : 9931 (java) S 9921 9923 9329 0 -1 4202560 13139 0 0 0 40 0 0 0 15 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=10546136 CPUtime=0.38 cores=1,3,5,7
/proc/9923/task/9932/stat : 9932 (java) S 9921 9923 9329 0 -1 4202560 12369 0 0 0 37 1 0 0 16 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=10546136 CPUtime=0.37 cores=1,3,5,7
/proc/9923/task/9933/stat : 9933 (java) S 9921 9923 9329 0 -1 4202560 14975 0 0 0 36 1 0 0 15 0 19 0 836754480 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=10546136 CPUtime=0.21 cores=1,3,5,7
/proc/9923/task/9934/stat : 9934 (java) S 9921 9923 9329 0 -1 4202560 629 0 0 0 21 0 0 0 15 0 19 0 836754481 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9935/stat : 9935 (java) S 9921 9923 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836754482 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9936/stat : 9936 (java) S 9921 9923 9329 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 836754482 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9937/stat : 9937 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=10546136 CPUtime=1 cores=1,3,5,7
/proc/9923/task/9938/stat : 9938 (java) S 9921 9923 9329 0 -1 4202560 11202 0 0 0 99 1 0 0 15 0 19 0 836754484 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=10546136 CPUtime=0.74 cores=1,3,5,7
/proc/9923/task/9939/stat : 9939 (java) S 9921 9923 9329 0 -1 4202560 4734 0 0 0 74 0 0 0 15 0 19 0 836754484 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9940] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9940/stat : 9940 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9941] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9941/stat : 9941 (java) S 9921 9923 9329 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 836754484 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9942] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9942/stat : 9942 (java) S 9921 9923 9329 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 836754913 10799243264 899100 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.07
Current children cumulated vsize (KiB) 10546136
[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.07 3/572 10071
/proc/meminfo: memFree=16532272/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10546136 CPUtime=1786.12 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 912176 0 1 0 178507 105 0 0 21 0 19 0 836754478 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2636534 899407 2264 9 0 2627268 0
[pid=9923/tid=9924] ppid=9921 vsize=10546136 CPUtime=1781.1 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 795611 0 1 0 178019 91 0 0 25 0 19 0 836754478 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505843408 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=10546136 CPUtime=0.53 cores=1,3,5,7
/proc/9923/task/9926/stat : 9926 (java) S 9921 9923 9329 0 -1 4202560 23917 0 0 0 51 2 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=10546136 CPUtime=0.23 cores=1,3,5,7
/proc/9923/task/9927/stat : 9927 (java) S 9921 9923 9329 0 -1 4202560 7104 0 0 0 23 0 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=10546136 CPUtime=0.34 cores=1,3,5,7
/proc/9923/task/9928/stat : 9928 (java) S 9921 9923 9329 0 -1 4202560 7888 0 0 0 33 1 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=10546136 CPUtime=0.26 cores=1,3,5,7
/proc/9923/task/9929/stat : 9929 (java) S 9921 9923 9329 0 -1 4202560 7283 0 0 0 26 0 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=10546136 CPUtime=0.4 cores=1,3,5,7
/proc/9923/task/9930/stat : 9930 (java) S 9921 9923 9329 0 -1 4202560 12014 0 0 0 39 1 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=10546136 CPUtime=0.4 cores=1,3,5,7
/proc/9923/task/9931/stat : 9931 (java) S 9921 9923 9329 0 -1 4202560 13139 0 0 0 40 0 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=10546136 CPUtime=0.39 cores=1,3,5,7
/proc/9923/task/9932/stat : 9932 (java) S 9921 9923 9329 0 -1 4202560 12403 0 0 0 38 1 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=10546136 CPUtime=0.38 cores=1,3,5,7
/proc/9923/task/9933/stat : 9933 (java) S 9921 9923 9329 0 -1 4202560 14992 0 0 0 37 1 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=10546136 CPUtime=0.21 cores=1,3,5,7
/proc/9923/task/9934/stat : 9934 (java) S 9921 9923 9329 0 -1 4202560 633 0 0 0 21 0 0 0 15 0 19 0 836754481 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9935/stat : 9935 (java) S 9921 9923 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836754482 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9936/stat : 9936 (java) S 9921 9923 9329 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 836754482 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9937/stat : 9937 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=10546136 CPUtime=1 cores=1,3,5,7
/proc/9923/task/9938/stat : 9938 (java) S 9921 9923 9329 0 -1 4202560 11202 0 0 0 99 1 0 0 15 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=10546136 CPUtime=0.74 cores=1,3,5,7
/proc/9923/task/9939/stat : 9939 (java) S 9921 9923 9329 0 -1 4202560 4734 0 0 0 74 0 0 0 15 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9940] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9940/stat : 9940 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9941] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9941/stat : 9941 (java) S 9921 9923 9329 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9942] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9942/stat : 9942 (java) S 9921 9923 9329 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 836754913 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.12
Current children cumulated vsize (KiB) 10546136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.08 2.07 2.07 4/572 10071
/proc/meminfo: memFree=16531156/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=10546136 CPUtime=1800.05 cores=1,3,5,7
/proc/9923/stat : 9923 (java) S 9921 9923 9329 0 -1 4202496 912176 0 1 0 179900 105 0 0 21 0 19 0 836754478 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 2636534 899407 2264 9 0 2627268 0
[pid=9923/tid=9924] ppid=9921 vsize=10546136 CPUtime=1795.04 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4202560 795611 0 1 0 179413 91 0 0 25 0 19 0 836754478 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 46912505843435 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9923/tid=9926] ppid=9921 vsize=10546136 CPUtime=0.53 cores=1,3,5,7
/proc/9923/task/9926/stat : 9926 (java) S 9921 9923 9329 0 -1 4202560 23917 0 0 0 51 2 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9927] ppid=9921 vsize=10546136 CPUtime=0.23 cores=1,3,5,7
/proc/9923/task/9927/stat : 9927 (java) S 9921 9923 9329 0 -1 4202560 7104 0 0 0 23 0 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9928] ppid=9921 vsize=10546136 CPUtime=0.34 cores=1,3,5,7
/proc/9923/task/9928/stat : 9928 (java) S 9921 9923 9329 0 -1 4202560 7888 0 0 0 33 1 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9929] ppid=9921 vsize=10546136 CPUtime=0.26 cores=1,3,5,7
/proc/9923/task/9929/stat : 9929 (java) S 9921 9923 9329 0 -1 4202560 7283 0 0 0 26 0 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9930] ppid=9921 vsize=10546136 CPUtime=0.4 cores=1,3,5,7
/proc/9923/task/9930/stat : 9930 (java) S 9921 9923 9329 0 -1 4202560 12014 0 0 0 39 1 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9931] ppid=9921 vsize=10546136 CPUtime=0.4 cores=1,3,5,7
/proc/9923/task/9931/stat : 9931 (java) S 9921 9923 9329 0 -1 4202560 13139 0 0 0 40 0 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9932] ppid=9921 vsize=10546136 CPUtime=0.39 cores=1,3,5,7
/proc/9923/task/9932/stat : 9932 (java) S 9921 9923 9329 0 -1 4202560 12403 0 0 0 38 1 0 0 16 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9933] ppid=9921 vsize=10546136 CPUtime=0.38 cores=1,3,5,7
/proc/9923/task/9933/stat : 9933 (java) S 9921 9923 9329 0 -1 4202560 14992 0 0 0 37 1 0 0 15 0 19 0 836754480 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9934] ppid=9921 vsize=10546136 CPUtime=0.21 cores=1,3,5,7
/proc/9923/task/9934/stat : 9934 (java) S 9921 9923 9329 0 -1 4202560 633 0 0 0 21 0 0 0 15 0 19 0 836754481 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 0 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9935] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9935/stat : 9935 (java) S 9921 9923 9329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836754482 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9936] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9936/stat : 9936 (java) S 9921 9923 9329 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 836754482 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9937] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9937/stat : 9937 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051478961 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9938] ppid=9921 vsize=10546136 CPUtime=1 cores=1,3,5,7
/proc/9923/task/9938/stat : 9938 (java) S 9921 9923 9329 0 -1 4202560 11202 0 0 0 99 1 0 0 15 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 5 0 0 0
[pid=9923/tid=9939] ppid=9921 vsize=10546136 CPUtime=0.74 cores=1,3,5,7
/proc/9923/task/9939/stat : 9939 (java) S 9921 9923 9329 0 -1 4202560 4734 0 0 0 74 0 0 0 15 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 7 0 0 0
[pid=9923/tid=9940] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9940/stat : 9940 (java) S 9921 9923 9329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471257 0 4 0 16800975 18446604471035290880 0 0 -1 3 0 0 0
[pid=9923/tid=9941] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9941/stat : 9941 (java) S 9921 9923 9329 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 836754484 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
[pid=9923/tid=9942] ppid=9921 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/9923/task/9942/stat : 9942 (java) S 9921 9923 9329 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 836754913 10799243264 899407 33554432000 1073741824 1073778376 140733318437520 18446744073709551615 212051471872 0 4 0 16800975 18446604471035290880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10546136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.35 s]
/proc/loadavg: 2.08 2.07 2.07 4/572 10071
/proc/meminfo: memFree=16531156/32951124 swapFree=46970528/67111528
[pid=9923] ppid=9921 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/9923/stat : 9923 (java) Z 9921 9923 9329 0 -1 4203548 912209 0 1 0 179903 113 0 0 17 0 2 0 836754478 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9923/statm: 0 0 0 0 0 0 0
[pid=9923/tid=9924] ppid=9921 vsize=0 CPUtime=1795.13 cores=1,3,5,7
/proc/9923/task/9924/stat : 9924 (java) R 9921 9923 9329 0 -1 4203588 795611 0 1 0 179415 98 0 0 25 0 2 0 836754478 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.39
CPU time (s): 1800.22
CPU user time (s): 1799.04
CPU system time (s): 1.17982
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 10549288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.17982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 912209
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= 37941
involuntary context switches= 39390
runsolver used 9.65653 second user time and 21.7387 second system time
The end