runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4118047-1467218896/watcher-4118047-1467218896 -o /tmp/evaluation-result-4118047-1467218896/solver-4118047-1467218896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118047-1467218896.opb
pid=10395
running on 8 cores: 4-7,12-15
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.64 3.20 2.91 4/284 10398
/proc/meminfo: memFree=27172712/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=9292 CPUtime=0 cores=4-7,12-15
/proc/10398/stat : 10398 (java) D 10395 10398 6721 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 2842370 9515008 182 33554432000 1073741824 1073778376 140734471920304 140734471911336 216808636085 0 0 4096 0 18446744072100756772 0 0 17 12 0 0 0 0 0
/proc/10398/statm: 2323 182 140 9 0 71 0
[startup+0.100726 s]
/proc/loadavg: 3.64 3.20 2.91 4/284 10398
/proc/meminfo: memFree=27172712/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=9896436 CPUtime=0.08 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 4099 0 1 0 6 2 0 0 20 0 23 0 2842370 10133950464 4719 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2474109 4719 2046 9 0 2464786 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9896436
[startup+0.200268 s]
/proc/loadavg: 3.64 3.20 2.91 4/284 10398
/proc/meminfo: memFree=27172712/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10029564 CPUtime=0.2 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 4657 0 1 0 18 2 0 0 20 0 25 0 2842370 10270273536 7303 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2507391 7303 2174 9 0 2498068 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10029564
[startup+0.30027 s]
/proc/loadavg: 3.64 3.20 2.91 4/284 10398
/proc/meminfo: memFree=27172712/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10162692 CPUtime=0.2 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 4698 0 1 0 18 2 0 0 20 0 24 0 2842370 10406596608 7334 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2540673 7334 2190 9 0 2531350 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10162692
[startup+0.700202 s]
/proc/loadavg: 3.64 3.20 2.91 4/284 10398
/proc/meminfo: memFree=27172712/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10162692 CPUtime=0.2 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 4698 0 1 0 18 2 0 0 20 0 24 0 2842370 10406596608 7334 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2540673 7334 2190 9 0 2531350 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10162692
[startup+1.50092 s]
/proc/loadavg: 3.64 3.20 2.91 3/308 10428
/proc/meminfo: memFree=27147756/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10162692 CPUtime=0.26 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 4793 0 1 0 23 3 0 0 20 0 24 0 2842370 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2540673 9428 2212 9 0 2531350 0
[pid=10398/tid=10400] ppid=10395 vsize=10162692 CPUtime=0.16 cores=4-7,12-15
/proc/10398/task/10400/stat : 10400 (java) S 10395 10398 6721 0 -1 4202560 2499 0 1 0 14 2 0 0 20 0 24 0 2842372 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983253967736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10401] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10401/stat : 10401 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983097948456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10402] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10402/stat : 10402 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983096895656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10403] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10403/stat : 10403 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983095843368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10404] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10404/stat : 10404 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983094790568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10405] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10405/stat : 10405 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983093738280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10406] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10406/stat : 10406 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983092685480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10407] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10407/stat : 10407 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983091633192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10408] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10408/stat : 10408 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983090580392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10409] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10409/stat : 10409 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983089527080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10410] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10410/stat : 10410 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983088474280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10411] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10411/stat : 10411 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983087421992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10412] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10412/stat : 10412 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983086369192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10413] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10413/stat : 10413 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983085316904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10414] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10414/stat : 10414 (java) S 10395 10398 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 2842375 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983067642472 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10415] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10415/stat : 10415 (java) S 10395 10398 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 2842375 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983066589048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10416] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10416/stat : 10416 (java) S 10395 10398 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 2842375 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983065536136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10417] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10417/stat : 10417 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842378 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983064484112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10418] ppid=10395 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/10398/task/10418/stat : 10418 (java) S 10395 10398 6721 0 -1 4202560 397 0 0 0 2 0 0 0 20 0 24 0 2842378 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983063431224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10419] ppid=10395 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/10398/task/10419/stat : 10419 (java) S 10395 10398 6721 0 -1 4202560 538 0 0 0 2 0 0 0 20 0 24 0 2842378 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983062378936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10420] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10420/stat : 10420 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842378 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983061326328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10421] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10421/stat : 10421 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842378 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983060274248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10425] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10425/stat : 10425 (java) S 10395 10398 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 2842391 10406596608 9428 33554432000 1073741824 1073778376 140733389768832 139983056061352 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10162692
[startup+3.10095 s]
/proc/loadavg: 3.83 3.25 2.93 7/311 10434
/proc/meminfo: memFree=27085396/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10162692 CPUtime=4.29 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 27100 0 1 0 416 13 0 0 20 0 24 0 2842370 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2540673 45751 2279 9 0 2531350 0
[pid=10398/tid=10400] ppid=10395 vsize=10162692 CPUtime=0.17 cores=4-7,12-15
/proc/10398/task/10400/stat : 10400 (java) S 10395 10398 6721 0 -1 4202560 2499 0 1 0 15 2 0 0 20 0 24 0 2842372 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983253967736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10401] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10401/stat : 10401 (java) S 10395 10398 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983097948456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10402] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10402/stat : 10402 (java) S 10395 10398 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983096895656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10403] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10403/stat : 10403 (java) S 10395 10398 6721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983095843368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10404] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10404/stat : 10404 (java) S 10395 10398 6721 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983094790568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10405] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10405/stat : 10405 (java) S 10395 10398 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983093738280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10406] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10406/stat : 10406 (java) S 10395 10398 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983092685480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10407] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10407/stat : 10407 (java) S 10395 10398 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983091633192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10408] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10408/stat : 10408 (java) S 10395 10398 6721 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983090580392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10409] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10409/stat : 10409 (java) S 10395 10398 6721 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983089527080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10410] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10410/stat : 10410 (java) S 10395 10398 6721 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983088474280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10411] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10411/stat : 10411 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983087421992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10412] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10412/stat : 10412 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983086369192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10413] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10413/stat : 10413 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2842373 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983085316904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10414] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10414/stat : 10414 (java) S 10395 10398 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 2842375 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983067642472 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10415] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10415/stat : 10415 (java) S 10395 10398 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 2842375 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983066589048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10416] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10416/stat : 10416 (java) S 10395 10398 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 2842375 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983065536136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10417] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10417/stat : 10417 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842378 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983064484112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10418] ppid=10395 vsize=10162692 CPUtime=1 cores=4-7,12-15
/proc/10398/task/10418/stat : 10418 (java) S 10395 10398 6721 0 -1 4202560 12091 0 0 0 98 2 0 0 20 0 24 0 2842378 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983063431224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10419] ppid=10395 vsize=10162692 CPUtime=0.99 cores=4-7,12-15
/proc/10398/task/10419/stat : 10419 (java) S 10395 10398 6721 0 -1 4202560 11019 0 0 0 98 1 0 0 20 0 24 0 2842378 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983062378936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10420] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10420/stat : 10420 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842378 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983061326328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10421] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10421/stat : 10421 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2842378 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983060274248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10434] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10434/stat : 10434 (java) S 10395 10398 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 2842541 10406596608 45751 33554432000 1073741824 1073778376 140733389768832 139983057113896 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10162692
[startup+6.30121 s]
/proc/loadavg: 3.83 3.25 2.93 5/311 10443
/proc/meminfo: memFree=26954520/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10162692 CPUtime=9.24 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 27684 0 1 0 874 50 0 0 20 0 27 0 2842370 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2540673 87120 2280 9 0 2531350 0
[pid=10398/tid=10400] ppid=10395 vsize=10162692 CPUtime=0.17 cores=4-7,12-15
/proc/10398/task/10400/stat : 10400 (java) S 10395 10398 6721 0 -1 4202560 2500 0 1 0 15 2 0 0 20 0 27 0 2842372 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983253967736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10401] ppid=10395 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/10398/task/10401/stat : 10401 (java) S 10395 10398 6721 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983097948456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10402] ppid=10395 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/10398/task/10402/stat : 10402 (java) S 10395 10398 6721 0 -1 4202560 31 0 0 0 2 3 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983096895656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10403] ppid=10395 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/10398/task/10403/stat : 10403 (java) S 10395 10398 6721 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983095843368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10404] ppid=10395 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/10398/task/10404/stat : 10404 (java) S 10395 10398 6721 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983094790568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10405] ppid=10395 vsize=10162692 CPUtime=0.08 cores=4-7,12-15
/proc/10398/task/10405/stat : 10405 (java) S 10395 10398 6721 0 -1 4202560 39 0 0 0 4 4 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983093738280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10406] ppid=10395 vsize=10162692 CPUtime=0.05 cores=4-7,12-15
/proc/10398/task/10406/stat : 10406 (java) S 10395 10398 6721 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983092685480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10407] ppid=10395 vsize=10162692 CPUtime=0.07 cores=4-7,12-15
/proc/10398/task/10407/stat : 10407 (java) S 10395 10398 6721 0 -1 4202560 45 0 0 0 3 4 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983091633192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10408] ppid=10395 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/10398/task/10408/stat : 10408 (java) S 10395 10398 6721 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 27 0 2842373 10406596608 87120 33554432000 1073741824 1073778376 140733389768832 139983090580392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10409] ppid=10395 vsize=10162692 CPUtime=0.06 cores=4-7,12-15
################
# More data... #
################
/proc/10398/task/10414/stat : 10414 (java) S 10395 10398 6721 0 -1 4202560 1550 0 0 0 63 2 0 0 20 0 27 0 2842375 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983067642472 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10415] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10415/stat : 10415 (java) S 10395 10398 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2842375 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983066589048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10416] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10416/stat : 10416 (java) S 10395 10398 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2842375 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983065536136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10417] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10417/stat : 10417 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2842378 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983064484112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10418] ppid=10395 vsize=10162692 CPUtime=1.1 cores=4-7,12-15
/proc/10398/task/10418/stat : 10418 (java) S 10395 10398 6721 0 -1 4202560 12111 0 0 0 108 2 0 0 20 0 27 0 2842378 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983063431224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10419] ppid=10395 vsize=10162692 CPUtime=1.14 cores=4-7,12-15
/proc/10398/task/10419/stat : 10419 (java) S 10395 10398 6721 0 -1 4202560 11040 0 0 0 113 1 0 0 20 0 27 0 2842378 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983062378936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10420] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10420/stat : 10420 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2842378 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983061326328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10421] ppid=10395 vsize=10162692 CPUtime=0.38 cores=4-7,12-15
/proc/10398/task/10421/stat : 10421 (java) S 10395 10398 6721 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 27 0 2842378 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983060274248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10443] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10443/stat : 10443 (java) S 10395 10398 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2842842 10406596608 794550 33554432000 1073741824 1073778376 140733389768832 139983056061608 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1765.08
Current children cumulated vsize (KiB) 10162692
#
############
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.901 s]
/proc/loadavg: 3.92 4.09 3.63 5/311 11074
/proc/meminfo: memFree=23700504/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10162692 CPUtime=1796.06 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 38910 0 1 0 179142 464 0 0 20 0 27 0 2842370 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2540673 630005 2288 9 0 2531350 0
[pid=10398/tid=10400] ppid=10395 vsize=10162692 CPUtime=0.24 cores=4-7,12-15
/proc/10398/task/10400/stat : 10400 (java) S 10395 10398 6721 0 -1 4202560 2503 0 1 0 20 4 0 0 20 0 27 0 2842372 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983253967736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10401] ppid=10395 vsize=10162692 CPUtime=0.72 cores=4-7,12-15
/proc/10398/task/10401/stat : 10401 (java) S 10395 10398 6721 0 -1 4202560 342 0 0 0 44 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983097948456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10402] ppid=10395 vsize=10162692 CPUtime=0.59 cores=4-7,12-15
/proc/10398/task/10402/stat : 10402 (java) S 10395 10398 6721 0 -1 4202560 600 0 0 0 34 25 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983096895656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10403] ppid=10395 vsize=10162692 CPUtime=0.64 cores=4-7,12-15
/proc/10398/task/10403/stat : 10403 (java) S 10395 10398 6721 0 -1 4202560 374 0 0 0 38 26 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983095843368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10404] ppid=10395 vsize=10162692 CPUtime=0.61 cores=4-7,12-15
/proc/10398/task/10404/stat : 10404 (java) S 10395 10398 6721 0 -1 4202560 421 0 0 0 35 26 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983094790568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10405] ppid=10395 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/10398/task/10405/stat : 10405 (java) S 10395 10398 6721 0 -1 4202560 481 0 0 0 42 29 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983093738280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10406] ppid=10395 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/10398/task/10406/stat : 10406 (java) S 10395 10398 6721 0 -1 4202560 429 0 0 0 45 26 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983092685480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10407] ppid=10395 vsize=10162692 CPUtime=0.53 cores=4-7,12-15
/proc/10398/task/10407/stat : 10407 (java) S 10395 10398 6721 0 -1 4202560 275 0 0 0 30 23 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983091633192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10408] ppid=10395 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/10398/task/10408/stat : 10408 (java) S 10395 10398 6721 0 -1 4202560 460 0 0 0 42 29 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983090580392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10409] ppid=10395 vsize=10162692 CPUtime=0.69 cores=4-7,12-15
/proc/10398/task/10409/stat : 10409 (java) S 10395 10398 6721 0 -1 4202560 383 0 0 0 41 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983089527080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10410] ppid=10395 vsize=10162692 CPUtime=0.67 cores=4-7,12-15
/proc/10398/task/10410/stat : 10410 (java) S 10395 10398 6721 0 -1 4202560 557 0 0 0 39 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983088474280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10411] ppid=10395 vsize=10162692 CPUtime=0.56 cores=4-7,12-15
/proc/10398/task/10411/stat : 10411 (java) S 10395 10398 6721 0 -1 4202560 551 0 0 0 34 22 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983087421992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10412] ppid=10395 vsize=10162692 CPUtime=0.75 cores=4-7,12-15
/proc/10398/task/10412/stat : 10412 (java) S 10395 10398 6721 0 -1 4202560 540 0 0 0 47 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983086369192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10413] ppid=10395 vsize=10162692 CPUtime=0.65 cores=4-7,12-15
/proc/10398/task/10413/stat : 10413 (java) S 10395 10398 6721 0 -1 4202560 539 0 0 0 37 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983085316904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10414] ppid=10395 vsize=10162692 CPUtime=0.66 cores=4-7,12-15
/proc/10398/task/10414/stat : 10414 (java) S 10395 10398 6721 0 -1 4202560 1552 0 0 0 63 3 0 0 20 0 27 0 2842375 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983067642472 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10415] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10415/stat : 10415 (java) S 10395 10398 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2842375 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983066589048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10416] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10416/stat : 10416 (java) S 10395 10398 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 2842375 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983065536136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10417] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10417/stat : 10417 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983064484112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10418] ppid=10395 vsize=10162692 CPUtime=1.24 cores=4-7,12-15
/proc/10398/task/10418/stat : 10418 (java) S 10395 10398 6721 0 -1 4202560 13832 0 0 0 122 2 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983063431224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10419] ppid=10395 vsize=10162692 CPUtime=1.16 cores=4-7,12-15
/proc/10398/task/10419/stat : 10419 (java) S 10395 10398 6721 0 -1 4202560 11040 0 0 0 115 1 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983062378936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10420] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10420/stat : 10420 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983061326328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10421] ppid=10395 vsize=10162692 CPUtime=0.38 cores=4-7,12-15
/proc/10398/task/10421/stat : 10421 (java) S 10395 10398 6721 0 -1 4202560 53 0 0 0 18 20 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983060274248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10443] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10443/stat : 10443 (java) S 10395 10398 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2842842 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983056061608 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=11072] ppid=10395 vsize=10162692 CPUtime=13.47 cores=4-7,12-15
/proc/10398/task/11072/stat : 11072 (java) R 10395 10398 6721 0 -1 4202560 4 0 0 0 1347 0 0 0 20 0 27 0 2931299 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983057114304 139983126035207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=11073] ppid=10395 vsize=10162692 CPUtime=13.47 cores=4-7,12-15
/proc/10398/task/11073/stat : 11073 (java) R 10395 10398 6721 0 -1 4202560 6 0 0 0 1347 0 0 0 20 0 27 0 2931299 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983059218440 139983125962500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=11074] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/11074/stat : 11074 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 2931299 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983058166696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 10162692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10398 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+902.901 s]
/proc/loadavg: 3.92 4.09 3.63 5/311 11074
/proc/meminfo: memFree=23700504/32872528 swapFree=8828/8828
[pid=10398] ppid=10395 vsize=10162692 CPUtime=1796.06 cores=4-7,12-15
/proc/10398/stat : 10398 (java) S 10395 10398 6721 0 -1 4202496 38910 0 1 0 179142 464 0 0 20 0 27 0 2842370 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 140733389759968 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/10398/statm: 2540673 630005 2288 9 0 2531350 0
[pid=10398/tid=10400] ppid=10395 vsize=10162692 CPUtime=0.24 cores=4-7,12-15
/proc/10398/task/10400/stat : 10400 (java) S 10395 10398 6721 0 -1 4202560 2503 0 1 0 20 4 0 0 20 0 27 0 2842372 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983253967736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10401] ppid=10395 vsize=10162692 CPUtime=0.72 cores=4-7,12-15
/proc/10398/task/10401/stat : 10401 (java) S 10395 10398 6721 0 -1 4202560 342 0 0 0 44 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983097948456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10402] ppid=10395 vsize=10162692 CPUtime=0.59 cores=4-7,12-15
/proc/10398/task/10402/stat : 10402 (java) S 10395 10398 6721 0 -1 4202560 600 0 0 0 34 25 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983096895656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10403] ppid=10395 vsize=10162692 CPUtime=0.64 cores=4-7,12-15
/proc/10398/task/10403/stat : 10403 (java) S 10395 10398 6721 0 -1 4202560 374 0 0 0 38 26 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983095843368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10404] ppid=10395 vsize=10162692 CPUtime=0.61 cores=4-7,12-15
/proc/10398/task/10404/stat : 10404 (java) S 10395 10398 6721 0 -1 4202560 421 0 0 0 35 26 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983094790568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=10405] ppid=10395 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/10398/task/10405/stat : 10405 (java) S 10395 10398 6721 0 -1 4202560 481 0 0 0 42 29 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983093738280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10406] ppid=10395 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/10398/task/10406/stat : 10406 (java) S 10395 10398 6721 0 -1 4202560 429 0 0 0 45 26 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983092685480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10407] ppid=10395 vsize=10162692 CPUtime=0.53 cores=4-7,12-15
/proc/10398/task/10407/stat : 10407 (java) S 10395 10398 6721 0 -1 4202560 275 0 0 0 30 23 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983091633192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10408] ppid=10395 vsize=10162692 CPUtime=0.71 cores=4-7,12-15
/proc/10398/task/10408/stat : 10408 (java) S 10395 10398 6721 0 -1 4202560 460 0 0 0 42 29 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983090580392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10409] ppid=10395 vsize=10162692 CPUtime=0.69 cores=4-7,12-15
/proc/10398/task/10409/stat : 10409 (java) S 10395 10398 6721 0 -1 4202560 383 0 0 0 41 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983089527080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10410] ppid=10395 vsize=10162692 CPUtime=0.67 cores=4-7,12-15
/proc/10398/task/10410/stat : 10410 (java) S 10395 10398 6721 0 -1 4202560 557 0 0 0 39 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983088474280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10411] ppid=10395 vsize=10162692 CPUtime=0.56 cores=4-7,12-15
/proc/10398/task/10411/stat : 10411 (java) S 10395 10398 6721 0 -1 4202560 551 0 0 0 34 22 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983087421992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10412] ppid=10395 vsize=10162692 CPUtime=0.75 cores=4-7,12-15
/proc/10398/task/10412/stat : 10412 (java) S 10395 10398 6721 0 -1 4202560 540 0 0 0 47 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983086369192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10413] ppid=10395 vsize=10162692 CPUtime=0.65 cores=4-7,12-15
/proc/10398/task/10413/stat : 10413 (java) S 10395 10398 6721 0 -1 4202560 539 0 0 0 37 28 0 0 20 0 27 0 2842373 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983085316904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10398/tid=10414] ppid=10395 vsize=10162692 CPUtime=0.66 cores=4-7,12-15
/proc/10398/task/10414/stat : 10414 (java) S 10395 10398 6721 0 -1 4202560 1552 0 0 0 63 3 0 0 20 0 27 0 2842375 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983067642472 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10415] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10415/stat : 10415 (java) S 10395 10398 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2842375 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983066589048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10416] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10416/stat : 10416 (java) S 10395 10398 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 2842375 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983065536136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10398/tid=10417] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10417/stat : 10417 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983064484112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10398/tid=10418] ppid=10395 vsize=10162692 CPUtime=1.24 cores=4-7,12-15
/proc/10398/task/10418/stat : 10418 (java) S 10395 10398 6721 0 -1 4202560 13832 0 0 0 122 2 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983063431224 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=10419] ppid=10395 vsize=10162692 CPUtime=1.16 cores=4-7,12-15
/proc/10398/task/10419/stat : 10419 (java) S 10395 10398 6721 0 -1 4202560 11040 0 0 0 115 1 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983062378936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=10420] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10420/stat : 10420 (java) S 10395 10398 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983061326328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10398/tid=10421] ppid=10395 vsize=10162692 CPUtime=0.38 cores=4-7,12-15
/proc/10398/task/10421/stat : 10421 (java) S 10395 10398 6721 0 -1 4202560 53 0 0 0 18 20 0 0 20 0 27 0 2842378 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983060274248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10398/tid=10443] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/10443/stat : 10443 (java) S 10395 10398 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2842842 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983056061608 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10398/tid=11072] ppid=10395 vsize=10162692 CPUtime=13.47 cores=4-7,12-15
/proc/10398/task/11072/stat : 11072 (java) R 10395 10398 6721 0 -1 4202560 4 0 0 0 1347 0 0 0 20 0 27 0 2931299 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983057114304 139983126035207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10398/tid=11073] ppid=10395 vsize=10162692 CPUtime=13.47 cores=4-7,12-15
/proc/10398/task/11073/stat : 11073 (java) R 10395 10398 6721 0 -1 4202560 6 0 0 0 1347 0 0 0 20 0 27 0 2931299 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983059218440 139983125962500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10398/tid=11074] ppid=10395 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10398/task/11074/stat : 11074 (java) S 10395 10398 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 2931299 10406596608 630005 33554432000 1073741824 1073778376 140733389768832 139983058166696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 10162692
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3.94995
# lost CPU user time (s): 4.22998
# lost CPU system time (s): -0.28
Real time (s): 902.944
CPU time (s): 1800.18
CPU user time (s): 1795.56
CPU system time (s): 4.62125
CPU usage (%): 199.368
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.33
system time used= 4.90125
maximum resident set size= 3178556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38966
page faults= 1
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22755
involuntary context switches= 5671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0345 second user time and 7.68583 second system time
The end