runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742309-1338766245/watcher-3742309-1338766245 -o /tmp/evaluation-result-3742309-1338766245/solver-3742309-1338766245 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742309-1338766245.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.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14536/stat : 14536 (java) D 14534 14536 14240 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342748870 9515008 182 33554432000 1073741824 1073778376 140736623155088 140736623146120 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/14536/statm: 2323 182 140 9 0 71 0
[startup+0.072556 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=2623916 CPUtime=0.05 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 3965 0 1 0 4 1 0 0 20 0 13 0 342748870 2686889984 5685 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 655979 5685 1715 9 0 646680 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2623916
[startup+0.100368 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 4134 0 1 0 6 1 0 0 20 0 18 0 342748870 3028844544 5853 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 739464 5854 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300311 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=2957856 CPUtime=0.52 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 8469 0 1 0 50 2 0 0 20 0 18 0 342748870 3028844544 11351 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 739464 11351 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2957856
[startup+0.700249 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 9898 0 1 0 141 4 0 0 20 0 19 0 342748870 3097006080 29962 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 29962 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420
[startup+1.50067 s]
/proc/loadavg: 2.01 2.00 2.00 3/193 14565
/proc/meminfo: memFree=26551000/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=2.41 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 10242 0 1 0 236 5 0 0 20 0 19 0 342748870 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 29966 2273 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3079 0 1 0 143 3 0 0 20 0 19 0 342748872 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866175910440 139866030166245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2931 0 0 0 47 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3038 0 0 0 41 1 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 3024420
[startup+3.10071 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 14611
/proc/meminfo: memFree=26436564/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=4.02 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 10245 0 1 0 397 5 0 0 20 0 19 0 342748870 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 30479 2273 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3081 0 1 0 303 3 0 0 20 0 19 0 342748872 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866175910312 139866030261140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2931 0 0 0 47 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3038 0 0 0 42 1 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 3024420
[startup+6.30076 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 14611
/proc/meminfo: memFree=26422416/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=7.29 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 10643 0 1 0 724 5 0 0 20 0 19 0 342748870 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 32448 2273 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3087 0 1 0 621 3 0 0 20 0 19 0 342748872 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866175910368 139866030191095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2931 0 0 0 50 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3430 0 0 0 47 2 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 99 0 0 0 45 34 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.77
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/214 14627
/proc/meminfo: memFree=23319248/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1786.22 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 12845 0 1 0 178413 209 0 0 20 0 19 0 342748870 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 420233 2302 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1774.29 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3251 0 1 0 177392 37 0 0 20 0 19 0 342748872 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866175909168 139866030191129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 229 0 0 0 27 17 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 212 0 0 0 34 16 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 177 0 0 0 23 14 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 290 0 0 0 27 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 294 0 0 0 32 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 167 0 0 0 21 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 166 0 0 0 26 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 161 0 0 0 41 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 239 0 0 0 182 8 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 103 0 0 0 47 36 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.22
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.1 s]
/proc/loadavg: 2.05 2.02 2.00 4/214 14627
/proc/meminfo: memFree=23319372/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 12845 0 1 0 179793 210 0 0 20 0 19 0 342748870 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 420233 2302 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1788.06 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3251 0 1 0 178768 38 0 0 20 0 19 0 342748872 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866175909168 139866030261140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 229 0 0 0 27 17 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 212 0 0 0 34 16 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 177 0 0 0 23 14 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 290 0 0 0 27 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 294 0 0 0 32 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 167 0 0 0 21 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 166 0 0 0 26 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 161 0 0 0 41 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 239 0 0 0 182 8 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 103 0 0 0 47 36 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.1 s]
/proc/loadavg: 2.05 2.02 2.00 4/214 14627
/proc/meminfo: memFree=23319372/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 12845 0 1 0 179793 210 0 0 20 0 19 0 342748870 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 420233 2302 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1788.06 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3251 0 1 0 178768 38 0 0 20 0 19 0 342748872 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866175909168 139866030261140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 229 0 0 0 27 17 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 212 0 0 0 34 16 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 177 0 0 0 23 14 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 290 0 0 0 27 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 294 0 0 0 32 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 167 0 0 0 21 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 166 0 0 0 26 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 161 0 0 0 41 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 239 0 0 0 182 8 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 103 0 0 0 47 36 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14536 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=499346
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=293651
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.12
CPU time (s): 1800.03
CPU user time (s): 1797.93
CPU system time (s): 2.1
CPU usage (%): 100.218
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.5
system time used= 2.29365
maximum resident set size= 1681048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12875
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38110
involuntary context switches= 29311
runsolver used 6.68098 second user time and 16.9424 second system time
The end