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-3736940-1338752492/watcher-3736940-1338752492 -o /tmp/evaluation-result-3736940-1338752492/solver-3736940-1338752492 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736940-1338752492.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: 3.84 3.63 3.56 4/195 5293
/proc/meminfo: memFree=26931560/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5293/stat : 5293 (java6) D 5291 5293 4574 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341375136 9515008 182 33554432000 1073741824 1073778376 140734196136944 140734196127976 273448517301 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/5293/statm: 2323 182 140 9 0 71 0
[startup+0.011453 s]
/proc/loadavg: 3.84 3.63 3.56 4/195 5293
/proc/meminfo: memFree=26931560/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 341375136 94019584 917 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 22954 917 697 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 91816
[startup+0.100202 s]
/proc/loadavg: 3.84 3.63 3.56 4/195 5293
/proc/meminfo: memFree=26931560/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 4693 0 1 0 8 1 0 0 20 0 18 0 341375136 2764726272 6398 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 674982 6398 2100 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300244 s]
/proc/loadavg: 3.84 3.63 3.56 4/195 5293
/proc/meminfo: memFree=26931560/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2699928 CPUtime=0.44 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 5657 0 1 0 43 1 0 0 20 0 18 0 341375136 2764726272 8495 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 674982 8495 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2699928
[startup+0.700266 s]
/proc/loadavg: 3.84 3.63 3.56 4/195 5293
/proc/meminfo: memFree=26931560/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2699928 CPUtime=1.21 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 13681 0 1 0 117 4 0 0 20 0 18 0 341375136 2764726272 15254 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 674982 15254 2233 9 0 665676 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2699928
[startup+1.50068 s]
/proc/loadavg: 3.84 3.63 3.56 4/213 5311
/proc/meminfo: memFree=26875752/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2699928 CPUtime=2.16 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 13781 0 1 0 212 4 0 0 20 0 18 0 341375136 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 674982 18419 2237 9 0 665676 0
[pid=5293/tid=5295] ppid=5291 vsize=2699928 CPUtime=1.47 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (java) R 5291 5293 4574 0 -1 4202560 2797 0 1 0 145 2 0 0 20 0 18 0 341375137 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471917031896 140471754459637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471901313448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5297] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5297/stat : 5297 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471900260904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5298] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5298/stat : 5298 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471899207848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5299] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5299/stat : 5299 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471898155304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5300] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5300/stat : 5300 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471897103272 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5301] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5301/stat : 5301 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471896050728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5302] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5302/stat : 5302 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471894997672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5303] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5303/stat : 5303 (java) S 5291 5293 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471893945128 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5304] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5304/stat : 5304 (java) S 5291 5293 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471881533800 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5305] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5305/stat : 5305 (java) S 5291 5293 4574 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471880480120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5306] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5306/stat : 5306 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471879426952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5307] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5307/stat : 5307 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471878375696 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5308] ppid=5291 vsize=2699928 CPUtime=0.2 cores=1,3,5,7
/proc/5293/task/5308/stat : 5308 (java) S 5291 5293 4574 0 -1 4202560 2589 0 0 0 20 0 0 0 20 0 18 0 341375143 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471877323576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5309] ppid=5291 vsize=2699928 CPUtime=0.45 cores=1,3,5,7
/proc/5293/task/5309/stat : 5309 (java) S 5291 5293 4574 0 -1 4202560 7209 0 0 0 43 2 0 0 20 0 18 0 341375143 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471876271032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5310] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5310/stat : 5310 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471875218168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5311] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5311/stat : 5311 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 18419 33554432000 1073741824 1073778376 140733952120736 140471874165832 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 2699928
[startup+3.10065 s]
/proc/loadavg: 3.77 3.62 3.56 10/213 5311
/proc/meminfo: memFree=26862844/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2699928 CPUtime=3.84 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 13789 0 1 0 380 4 0 0 20 0 18 0 341375136 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 674982 20981 2238 9 0 665676 0
[pid=5293/tid=5295] ppid=5291 vsize=2699928 CPUtime=3.06 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (java) R 5291 5293 4574 0 -1 4202560 2803 0 1 0 304 2 0 0 20 0 18 0 341375137 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471917029752 140471754459307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471901313448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5297] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5297/stat : 5297 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471900260904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5298] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5298/stat : 5298 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471899207848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5299] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5299/stat : 5299 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471898155304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5300] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5300/stat : 5300 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471897103272 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5301] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5301/stat : 5301 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471896050728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5302] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5302/stat : 5302 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471894997672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5303] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5303/stat : 5303 (java) S 5291 5293 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471893945128 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5304] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5304/stat : 5304 (java) S 5291 5293 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471881533800 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5305] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5305/stat : 5305 (java) S 5291 5293 4574 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471880480120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5306] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5306/stat : 5306 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471879426952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5307] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5307/stat : 5307 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471878375696 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5308] ppid=5291 vsize=2699928 CPUtime=0.25 cores=1,3,5,7
/proc/5293/task/5308/stat : 5308 (java) S 5291 5293 4574 0 -1 4202560 2591 0 0 0 25 0 0 0 20 0 18 0 341375143 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471877323576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5309] ppid=5291 vsize=2699928 CPUtime=0.49 cores=1,3,5,7
/proc/5293/task/5309/stat : 5309 (java) S 5291 5293 4574 0 -1 4202560 7209 0 0 0 47 2 0 0 20 0 18 0 341375143 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471876271032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5310] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5310/stat : 5310 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471875218168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5311] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5311/stat : 5311 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 20981 33554432000 1073741824 1073778376 140733952120736 140471874165832 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 2699928
[startup+6.30074 s]
/proc/loadavg: 3.77 3.62 3.56 4/213 5311
/proc/meminfo: memFree=26847956/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2699928 CPUtime=7.05 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 13798 0 1 0 700 5 0 0 20 0 18 0 341375136 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 674982 23962 2239 9 0 665676 0
[pid=5293/tid=5295] ppid=5291 vsize=2699928 CPUtime=6.27 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (java) R 5291 5293 4574 0 -1 4202560 2811 0 1 0 624 3 0 0 20 0 18 0 341375137 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471917023264 140471754459552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471901313448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5297] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5297/stat : 5297 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471900260904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5298] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5298/stat : 5298 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471899207848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5299] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5299/stat : 5299 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471898155304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5300] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5300/stat : 5300 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471897103272 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5301] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5301/stat : 5301 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471896050728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5302] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5302/stat : 5302 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471894997672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5303] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5303/stat : 5303 (java) S 5291 5293 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341375139 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471893945128 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5304] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5304/stat : 5304 (java) S 5291 5293 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471881533800 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5305] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5305/stat : 5305 (java) S 5291 5293 4574 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471880480120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5306] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5306/stat : 5306 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341375140 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471879426952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5307] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5307/stat : 5307 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471878375696 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5308] ppid=5291 vsize=2699928 CPUtime=0.25 cores=1,3,5,7
/proc/5293/task/5308/stat : 5308 (java) S 5291 5293 4574 0 -1 4202560 2591 0 0 0 25 0 0 0 20 0 18 0 341375143 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471877323576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5309] ppid=5291 vsize=2699928 CPUtime=0.5 cores=1,3,5,7
/proc/5293/task/5309/stat : 5309 (java) S 5291 5293 4574 0 -1 4202560 7209 0 0 0 48 2 0 0 20 0 18 0 341375143 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471876271032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5310] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5310/stat : 5310 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471875218168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5311] ppid=5291 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5311/stat : 5311 (java) S 5291 5293 4574 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341375143 2764726272 23962 33554432000 1073741824 1073778376 140733952120736 140471874165832 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 2699928
[startup+12.7007 s]
/proc/loadavg: 3.65 3.60 3.55 4/213 5311
/proc/meminfo: memFree=26830844/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2699928 CPUtime=13.44 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 13804 0 1 0 1339 5 0 0 20 0 18 0 341375136 2764726272 27034 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 674982 27034 2239 9 0 665676 0
[pid=5293/tid=5295] ppid=5291 vsize=2699928 CPUtime=12.66 cores=1,3,5,7
################
# More data... #
################
[pid=5293/tid=5322] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5322/stat : 5322 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341423571 3037372416 253218 33554432000 1073741824 1073778376 140733952120736 140471751918504 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5337] ppid=5291 vsize=2966184 CPUtime=401.32 cores=1,3,5,7
/proc/5293/task/5337/stat : 5337 (java) R 5291 5293 4574 0 -1 4202560 269 0 0 0 40123 9 0 0 20 0 22 0 341439214 3037372416 253218 33554432000 1073741824 1073778376 140733952120736 140471754021552 140471755054360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5338] ppid=5291 vsize=2966184 CPUtime=401.28 cores=1,3,5,7
/proc/5293/task/5338/stat : 5338 (java) R 5291 5293 4574 0 -1 4202560 177 0 0 0 40120 8 0 0 20 0 22 0 341439214 3037372416 253218 33554432000 1073741824 1073778376 140733952120736 140471873109312 140471754881439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1645.62
Current children cumulated vsize (KiB) 2966184
[startup+1122.3 s]
/proc/loadavg: 3.76 3.89 3.65 5/218 5504
/proc/meminfo: memFree=25345416/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2966184 CPUtime=1766.24 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 22724 0 1 0 176394 230 0 0 20 0 22 0 341375136 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 741546 264994 2287 9 0 732240 0
[pid=5293/tid=5295] ppid=5291 vsize=2966184 CPUtime=484.49 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (java) S 5291 5293 4574 0 -1 4202560 2940 0 1 0 48435 14 0 0 20 0 22 0 341375137 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471917032600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5296] ppid=5291 vsize=2966184 CPUtime=7.77 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (java) S 5291 5293 4574 0 -1 4202560 432 0 0 0 759 18 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471901313448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5297] ppid=5291 vsize=2966184 CPUtime=7.93 cores=1,3,5,7
/proc/5293/task/5297/stat : 5297 (java) S 5291 5293 4574 0 -1 4202560 393 0 0 0 778 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471900260904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5298] ppid=5291 vsize=2966184 CPUtime=7.88 cores=1,3,5,7
/proc/5293/task/5298/stat : 5298 (java) S 5291 5293 4574 0 -1 4202560 409 0 0 0 773 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471899207848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5299] ppid=5291 vsize=2966184 CPUtime=8.17 cores=1,3,5,7
/proc/5293/task/5299/stat : 5299 (java) S 5291 5293 4574 0 -1 4202560 381 0 0 0 806 11 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471898155304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5300] ppid=5291 vsize=2966184 CPUtime=7.94 cores=1,3,5,7
/proc/5293/task/5300/stat : 5300 (java) S 5291 5293 4574 0 -1 4202560 397 0 0 0 779 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471897103272 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5301] ppid=5291 vsize=2966184 CPUtime=8.21 cores=1,3,5,7
/proc/5293/task/5301/stat : 5301 (java) S 5291 5293 4574 0 -1 4202560 402 0 0 0 808 13 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471896050728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5302] ppid=5291 vsize=2966184 CPUtime=7.9 cores=1,3,5,7
/proc/5293/task/5302/stat : 5302 (java) S 5291 5293 4574 0 -1 4202560 376 0 0 0 780 10 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471894997672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5303] ppid=5291 vsize=2966184 CPUtime=7.9 cores=1,3,5,7
/proc/5293/task/5303/stat : 5303 (java) S 5291 5293 4574 0 -1 4202560 370 0 0 0 777 13 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471893945128 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5304] ppid=5291 vsize=2966184 CPUtime=17.07 cores=1,3,5,7
/proc/5293/task/5304/stat : 5304 (java) S 5291 5293 4574 0 -1 4202560 76 0 0 0 1660 47 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471881533800 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5305] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5305/stat : 5305 (java) S 5291 5293 4574 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471880480120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5306] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5306/stat : 5306 (java) S 5291 5293 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471879426952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5307] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5307/stat : 5307 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471878375696 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5308] ppid=5291 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/5293/task/5308/stat : 5308 (java) S 5291 5293 4574 0 -1 4202560 4423 0 0 0 95 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471877323576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5309] ppid=5291 vsize=2966184 CPUtime=1.79 cores=1,3,5,7
/proc/5293/task/5309/stat : 5309 (java) S 5291 5293 4574 0 -1 4202560 9967 0 0 0 176 3 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471876271032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5310] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5310/stat : 5310 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471875218168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5311] ppid=5291 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/5293/task/5311/stat : 5311 (java) S 5291 5293 4574 0 -1 4202560 66 0 0 0 30 31 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471874165832 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5321] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5321/stat : 5321 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341423571 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471752971048 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5322] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5322/stat : 5322 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341423571 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471751918504 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5337] ppid=5291 vsize=2966184 CPUtime=457.62 cores=1,3,5,7
/proc/5293/task/5337/stat : 5337 (java) R 5291 5293 4574 0 -1 4202560 311 0 0 0 45753 9 0 0 20 0 22 0 341439214 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471754022664 140471754882499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5338] ppid=5291 vsize=2966184 CPUtime=457.59 cores=1,3,5,7
/proc/5293/task/5338/stat : 5338 (java) R 5291 5293 4574 0 -1 4202560 198 0 0 0 45751 8 0 0 20 0 22 0 341439214 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471873108704 140471754926819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1766.24
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1138.9 s]
/proc/loadavg: 3.81 3.90 3.66 5/218 5504
/proc/meminfo: memFree=25334928/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2966184 CPUtime=1800.2 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 22744 0 1 0 179787 233 0 0 20 0 22 0 341375136 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 741546 264994 2287 9 0 732240 0
[pid=5293/tid=5295] ppid=5291 vsize=2966184 CPUtime=484.49 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (java) S 5291 5293 4574 0 -1 4202560 2940 0 1 0 48435 14 0 0 20 0 22 0 341375137 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471917032600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5291 vsize=2966184 CPUtime=7.96 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (java) S 5291 5293 4574 0 -1 4202560 432 0 0 0 778 18 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471901313448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5297] ppid=5291 vsize=2966184 CPUtime=8.1 cores=1,3,5,7
/proc/5293/task/5297/stat : 5297 (java) S 5291 5293 4574 0 -1 4202560 393 0 0 0 795 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471900260904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5298] ppid=5291 vsize=2966184 CPUtime=8.12 cores=1,3,5,7
/proc/5293/task/5298/stat : 5298 (java) S 5291 5293 4574 0 -1 4202560 409 0 0 0 797 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471899207848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5299] ppid=5291 vsize=2966184 CPUtime=8.45 cores=1,3,5,7
/proc/5293/task/5299/stat : 5299 (java) S 5291 5293 4574 0 -1 4202560 381 0 0 0 833 12 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471898155304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5300] ppid=5291 vsize=2966184 CPUtime=8.12 cores=1,3,5,7
/proc/5293/task/5300/stat : 5300 (java) S 5291 5293 4574 0 -1 4202560 397 0 0 0 797 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471897103272 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5301] ppid=5291 vsize=2966184 CPUtime=8.44 cores=1,3,5,7
/proc/5293/task/5301/stat : 5301 (java) S 5291 5293 4574 0 -1 4202560 402 0 0 0 831 13 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471896050728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5302] ppid=5291 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/5293/task/5302/stat : 5302 (java) S 5291 5293 4574 0 -1 4202560 376 0 0 0 804 10 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471894997672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5303] ppid=5291 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/5293/task/5303/stat : 5303 (java) S 5291 5293 4574 0 -1 4202560 370 0 0 0 801 13 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471893945128 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5304] ppid=5291 vsize=2966184 CPUtime=17.09 cores=1,3,5,7
/proc/5293/task/5304/stat : 5304 (java) S 5291 5293 4574 0 -1 4202560 76 0 0 0 1660 49 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471881533800 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5305] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5305/stat : 5305 (java) S 5291 5293 4574 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471880480120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5306] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5306/stat : 5306 (java) S 5291 5293 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471879426952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5307] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5307/stat : 5307 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471878375696 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5308] ppid=5291 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/5293/task/5308/stat : 5308 (java) S 5291 5293 4574 0 -1 4202560 4423 0 0 0 95 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471877323576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5309] ppid=5291 vsize=2966184 CPUtime=1.79 cores=1,3,5,7
/proc/5293/task/5309/stat : 5309 (java) S 5291 5293 4574 0 -1 4202560 9967 0 0 0 176 3 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471876271032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5310] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5310/stat : 5310 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471875218168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5311] ppid=5291 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/5293/task/5311/stat : 5311 (java) S 5291 5293 4574 0 -1 4202560 66 0 0 0 30 31 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471874165832 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5321] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5321/stat : 5321 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341423571 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471752971048 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5322] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5322/stat : 5322 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341423571 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471751918504 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5337] ppid=5291 vsize=2966184 CPUtime=473.72 cores=1,3,5,7
/proc/5293/task/5337/stat : 5337 (java) R 5291 5293 4574 0 -1 4202560 322 0 0 0 47362 10 0 0 20 0 22 0 341439214 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471754022544 140471754866368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5338] ppid=5291 vsize=2966184 CPUtime=473.68 cores=1,3,5,7
/proc/5293/task/5338/stat : 5338 (java) R 5291 5293 4574 0 -1 4202560 207 0 0 0 47359 9 0 0 20 0 22 0 341439214 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471873108384 140471754926827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1138.9 s]
/proc/loadavg: 3.81 3.90 3.66 5/218 5504
/proc/meminfo: memFree=25334928/32873852 swapFree=6856/6856
[pid=5293] ppid=5291 vsize=2966184 CPUtime=1800.2 cores=1,3,5,7
/proc/5293/stat : 5293 (java) S 5291 5293 4574 0 -1 4202496 22744 0 1 0 179787 233 0 0 20 0 22 0 341375136 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140733952111872 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5293/statm: 741546 264994 2287 9 0 732240 0
[pid=5293/tid=5295] ppid=5291 vsize=2966184 CPUtime=484.49 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (java) S 5291 5293 4574 0 -1 4202560 2940 0 1 0 48435 14 0 0 20 0 22 0 341375137 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471917032600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5296] ppid=5291 vsize=2966184 CPUtime=7.96 cores=1,3,5,7
/proc/5293/task/5296/stat : 5296 (java) S 5291 5293 4574 0 -1 4202560 432 0 0 0 778 18 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471901313448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5297] ppid=5291 vsize=2966184 CPUtime=8.1 cores=1,3,5,7
/proc/5293/task/5297/stat : 5297 (java) S 5291 5293 4574 0 -1 4202560 393 0 0 0 795 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471900260904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5298] ppid=5291 vsize=2966184 CPUtime=8.12 cores=1,3,5,7
/proc/5293/task/5298/stat : 5298 (java) S 5291 5293 4574 0 -1 4202560 409 0 0 0 797 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471899207848 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5299] ppid=5291 vsize=2966184 CPUtime=8.45 cores=1,3,5,7
/proc/5293/task/5299/stat : 5299 (java) S 5291 5293 4574 0 -1 4202560 381 0 0 0 833 12 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471898155304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5300] ppid=5291 vsize=2966184 CPUtime=8.12 cores=1,3,5,7
/proc/5293/task/5300/stat : 5300 (java) S 5291 5293 4574 0 -1 4202560 397 0 0 0 797 15 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471897103272 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5301] ppid=5291 vsize=2966184 CPUtime=8.44 cores=1,3,5,7
/proc/5293/task/5301/stat : 5301 (java) S 5291 5293 4574 0 -1 4202560 402 0 0 0 831 13 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471896050728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5302] ppid=5291 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/5293/task/5302/stat : 5302 (java) S 5291 5293 4574 0 -1 4202560 376 0 0 0 804 10 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471894997672 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5303] ppid=5291 vsize=2966184 CPUtime=8.14 cores=1,3,5,7
/proc/5293/task/5303/stat : 5303 (java) S 5291 5293 4574 0 -1 4202560 370 0 0 0 801 13 0 0 20 0 22 0 341375139 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471893945128 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5304] ppid=5291 vsize=2966184 CPUtime=17.09 cores=1,3,5,7
/proc/5293/task/5304/stat : 5304 (java) S 5291 5293 4574 0 -1 4202560 76 0 0 0 1660 49 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471881533800 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5305] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5305/stat : 5305 (java) S 5291 5293 4574 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471880480120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5306] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5306/stat : 5306 (java) S 5291 5293 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341375140 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471879426952 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5307] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5307/stat : 5307 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471878375696 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5308] ppid=5291 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/5293/task/5308/stat : 5308 (java) S 5291 5293 4574 0 -1 4202560 4423 0 0 0 95 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471877323576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5309] ppid=5291 vsize=2966184 CPUtime=1.79 cores=1,3,5,7
/proc/5293/task/5309/stat : 5309 (java) S 5291 5293 4574 0 -1 4202560 9967 0 0 0 176 3 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471876271032 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5293/tid=5310] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5310/stat : 5310 (java) S 5291 5293 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471875218168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5311] ppid=5291 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/5293/task/5311/stat : 5311 (java) S 5291 5293 4574 0 -1 4202560 66 0 0 0 30 31 0 0 20 0 22 0 341375143 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471874165832 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5293/tid=5321] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5321/stat : 5321 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341423571 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471752971048 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5322] ppid=5291 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5293/task/5322/stat : 5322 (java) S 5291 5293 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341423571 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471751918504 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5293/tid=5337] ppid=5291 vsize=2966184 CPUtime=473.72 cores=1,3,5,7
/proc/5293/task/5337/stat : 5337 (java) R 5291 5293 4574 0 -1 4202560 322 0 0 0 47362 10 0 0 20 0 22 0 341439214 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471754022544 140471754866368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5293/tid=5338] ppid=5291 vsize=2966184 CPUtime=473.68 cores=1,3,5,7
/proc/5293/task/5338/stat : 5338 (java) R 5291 5293 4574 0 -1 4202560 207 0 0 0 47359 9 0 0 20 0 22 0 341439214 3037372416 264994 33554432000 1073741824 1073778376 140733952120736 140471873108384 140471754926827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 1138.93
CPU time (s): 1800.72
CPU user time (s): 1798.14
CPU system time (s): 2.58261
CPU usage (%): 158.106
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.14
system time used= 2.58261
maximum resident set size= 1060092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22774
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47281
involuntary context switches= 104118
runsolver used 4.69129 second user time and 10.6024 second system time
The end