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-3689202-1337881391/watcher-3689202-1337881391 -o /tmp/evaluation-result-3689202-1337881391/solver-3689202-1337881391 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689202-1337881391.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.06 3.06 3.18 3/196 28324
/proc/meminfo: memFree=28445940/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28324/stat : 28324 (java) D 28322 28324 25404 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254263436 9515008 182 33554432000 1073741824 1073778376 140733759883392 140733759874424 251044642485 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/28324/statm: 2323 182 140 9 0 71 0
[startup+0.0399891 s]
/proc/loadavg: 3.06 3.06 3.18 3/196 28324
/proc/meminfo: memFree=28445940/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 2926 0 1 0 1 0 0 0 20 0 11 0 254263436 9310650368 3626 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2273108 3626 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432
[startup+0.100197 s]
/proc/loadavg: 3.06 3.06 3.18 3/196 28324
/proc/meminfo: memFree=28445940/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 4138 0 1 0 7 1 0 0 20 0 18 0 254263436 9787813888 5338 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2389603 5338 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300165 s]
/proc/loadavg: 3.06 3.06 3.18 3/196 28324
/proc/meminfo: memFree=28445940/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9558412 CPUtime=0.44 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 5215 0 1 0 43 1 0 0 20 0 18 0 254263436 9787813888 8286 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2389603 8286 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.70018 s]
/proc/loadavg: 3.06 3.06 3.18 3/196 28324
/proc/meminfo: memFree=28445940/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9558412 CPUtime=1.61 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 19384 0 1 0 156 5 0 0 20 0 18 0 254263436 9787813888 29685 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2389603 29685 2240 9 0 2380296 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9558412
[startup+1.50061 s]
/proc/loadavg: 3.06 3.06 3.18 3/214 28342
/proc/meminfo: memFree=28257288/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9824668 CPUtime=3.74 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 24369 0 1 0 364 10 0 0 20 0 22 0 254263436 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2456167 56485 2265 9 0 2446860 0
[pid=28324/tid=28326] ppid=28322 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/28324/task/28326/stat : 28326 (java) S 28322 28324 25404 0 -1 4202560 2527 0 1 0 115 2 0 0 20 0 22 0 254263437 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454499066872 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28327] ppid=28322 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/28324/task/28327/stat : 28327 (java) S 28322 28324 25404 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454343117352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28328] ppid=28322 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/28324/task/28328/stat : 28328 (java) S 28322 28324 25404 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454342064552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28329] ppid=28322 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/28324/task/28329/stat : 28329 (java) S 28322 28324 25404 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454341011752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28330] ppid=28322 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28324/task/28330/stat : 28330 (java) S 28322 28324 25404 0 -1 4202560 129 0 0 0 3 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454339958952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28331] ppid=28322 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/28324/task/28331/stat : 28331 (java) S 28322 28324 25404 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454338907176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28332] ppid=28322 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/28324/task/28332/stat : 28332 (java) S 28322 28324 25404 0 -1 4202560 104 0 0 0 4 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454337854376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28333] ppid=28322 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/28324/task/28333/stat : 28333 (java) S 28322 28324 25404 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454336801576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28334] ppid=28322 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/28324/task/28334/stat : 28334 (java) S 28322 28324 25404 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 254263438 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454335748776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28335] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28335/stat : 28335 (java) S 28322 28324 25404 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 254263439 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454323337704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28336] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28336/stat : 28336 (java) S 28322 28324 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454322283768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28337] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28337/stat : 28337 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454321230856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28338] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28338/stat : 28338 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454320179344 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28339] ppid=28322 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/28324/task/28339/stat : 28339 (java) R 28322 28324 25404 0 -1 4202560 8324 0 0 0 91 2 0 0 20 0 22 0 254263443 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454319114768 140454505882819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28340] ppid=28322 vsize=9824668 CPUtime=0.92 cores=0,2,4,6
/proc/28324/task/28340/stat : 28340 (java) R 28322 28324 25404 0 -1 4202560 11750 0 0 0 90 2 0 0 20 0 22 0 254263443 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454318074248 140454505524742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28341] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28341/stat : 28341 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454317022072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28342] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28342/stat : 28342 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 56485 33554432000 1073741824 1073778376 140734554940976 140454315969480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9824668
[startup+3.1008 s]
/proc/loadavg: 3.06 3.06 3.18 5/218 28346
/proc/meminfo: memFree=28214064/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9824668 CPUtime=7.97 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 27895 0 1 0 780 17 0 0 20 0 22 0 254263436 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2456167 92511 2273 9 0 2446860 0
[pid=28324/tid=28326] ppid=28322 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/28324/task/28326/stat : 28326 (java) S 28322 28324 25404 0 -1 4202560 2527 0 1 0 115 2 0 0 20 0 22 0 254263437 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454499066872 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28327] ppid=28322 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/28324/task/28327/stat : 28327 (java) S 28322 28324 25404 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454343117352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28328] ppid=28322 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/28324/task/28328/stat : 28328 (java) S 28322 28324 25404 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454342064552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28329] ppid=28322 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/28324/task/28329/stat : 28329 (java) S 28322 28324 25404 0 -1 4202560 50 0 0 0 2 0 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454341011752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28330] ppid=28322 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28324/task/28330/stat : 28330 (java) S 28322 28324 25404 0 -1 4202560 139 0 0 0 5 0 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454339958952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28331] ppid=28322 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28324/task/28331/stat : 28331 (java) S 28322 28324 25404 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454338907176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28332] ppid=28322 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28324/task/28332/stat : 28332 (java) S 28322 28324 25404 0 -1 4202560 109 0 0 0 5 0 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454337854376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28333] ppid=28322 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/28324/task/28333/stat : 28333 (java) S 28322 28324 25404 0 -1 4202560 105 0 0 0 2 0 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454336801576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28334] ppid=28322 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28324/task/28334/stat : 28334 (java) S 28322 28324 25404 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 254263438 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454335748776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28335] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28335/stat : 28335 (java) S 28322 28324 25404 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254263439 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454323337704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28336] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28336/stat : 28336 (java) S 28322 28324 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454322283768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28337] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28337/stat : 28337 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454321230856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28338] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28338/stat : 28338 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454320179344 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28339] ppid=28322 vsize=9824668 CPUtime=1.45 cores=0,2,4,6
/proc/28324/task/28339/stat : 28339 (java) S 28322 28324 25404 0 -1 4202560 8348 0 0 0 143 2 0 0 20 0 22 0 254263443 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454319127480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28340] ppid=28322 vsize=9824668 CPUtime=1.35 cores=0,2,4,6
/proc/28324/task/28340/stat : 28340 (java) S 28322 28324 25404 0 -1 4202560 14985 0 0 0 132 3 0 0 20 0 22 0 254263443 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454318074680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28341] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28341/stat : 28341 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454317022072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28342] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28342/stat : 28342 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454315969480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28343] ppid=28322 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/28324/task/28343/stat : 28343 (java) R 28322 28324 25404 0 -1 4202560 20 0 0 0 175 0 0 0 20 0 22 0 254263565 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454314914616 140454371918689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28344] ppid=28322 vsize=9824668 CPUtime=1.75 cores=0,2,4,6
/proc/28324/task/28344/stat : 28344 (java) R 28322 28324 25404 0 -1 4202560 132 0 0 0 173 2 0 0 20 0 22 0 254263565 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454313861480 140454371988653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28345] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28345/stat : 28345 (java) S 28322 28324 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254263573 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454312809384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28346] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28346/stat : 28346 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263575 10060460032 92511 33554432000 1073741824 1073778376 140734554940976 140454311756584 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 9824668
[startup+6.30079 s]
/proc/loadavg: 3.05 3.06 3.18 4/218 28346
/proc/meminfo: memFree=27794724/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9824668 CPUtime=14.84 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 32446 0 1 0 1457 27 0 0 20 0 22 0 254263436 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2456167 169884 2285 9 0 2446860 0
[pid=28324/tid=28326] ppid=28322 vsize=9824668 CPUtime=1.17 cores=0,2,4,6
/proc/28324/task/28326/stat : 28326 (java) S 28322 28324 25404 0 -1 4202560 2527 0 1 0 115 2 0 0 20 0 22 0 254263437 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454499066872 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28327] ppid=28322 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/28324/task/28327/stat : 28327 (java) S 28322 28324 25404 0 -1 4202560 42 0 0 0 8 2 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454343117352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28328] ppid=28322 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/28324/task/28328/stat : 28328 (java) S 28322 28324 25404 0 -1 4202560 36 0 0 0 7 3 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454342064552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28329] ppid=28322 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/28324/task/28329/stat : 28329 (java) S 28322 28324 25404 0 -1 4202560 89 0 0 0 6 3 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454341011752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28330] ppid=28322 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/28324/task/28330/stat : 28330 (java) S 28322 28324 25404 0 -1 4202560 148 0 0 0 9 0 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454339958952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28331] ppid=28322 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/28324/task/28331/stat : 28331 (java) S 28322 28324 25404 0 -1 4202560 81 0 0 0 9 3 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454338907176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28332] ppid=28322 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/28324/task/28332/stat : 28332 (java) S 28322 28324 25404 0 -1 4202560 135 0 0 0 10 2 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454337854376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28333] ppid=28322 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/28324/task/28333/stat : 28333 (java) S 28322 28324 25404 0 -1 4202560 108 0 0 0 5 0 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454336801576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28334] ppid=28322 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/28324/task/28334/stat : 28334 (java) S 28322 28324 25404 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 254263438 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454335748776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28335] ppid=28322 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/28324/task/28335/stat : 28335 (java) S 28322 28324 25404 0 -1 4202560 505 0 0 0 26 0 0 0 20 0 22 0 254263439 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454323337704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28336] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28336/stat : 28336 (java) S 28322 28324 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454322283768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28337] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28337/stat : 28337 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454321230856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28338] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28338/stat : 28338 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454320179344 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28339] ppid=28322 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/28324/task/28339/stat : 28339 (java) S 28322 28324 25404 0 -1 4202560 8354 0 0 0 154 2 0 0 20 0 22 0 254263443 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454319127480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28340] ppid=28322 vsize=9824668 CPUtime=1.79 cores=0,2,4,6
/proc/28324/task/28340/stat : 28340 (java) S 28322 28324 25404 0 -1 4202560 18753 0 0 0 176 3 0 0 20 0 22 0 254263443 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454318074680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28341] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28341/stat : 28341 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454317022072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28342] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28342/stat : 28342 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454315969480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28343] ppid=28322 vsize=9824668 CPUtime=4.55 cores=0,2,4,6
/proc/28324/task/28343/stat : 28343 (java) R 28322 28324 25404 0 -1 4202560 23 0 0 0 455 0 0 0 20 0 22 0 254263565 10060460032 169884 33554432000 1073741824 1073778376 140734554940976 140454314914272 140454372002103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
/proc/28324/statm: 2456167 749890 2286 9 0 2446860 0
[pid=28324/tid=28326] ppid=28322 vsize=9824668 CPUtime=1.22 cores=0,2,4,6
/proc/28324/task/28326/stat : 28326 (java) S 28322 28324 25404 0 -1 4202560 2540 0 1 0 117 5 0 0 20 0 22 0 254263437 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454499066872 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28327] ppid=28322 vsize=9824668 CPUtime=2.03 cores=0,2,4,6
/proc/28324/task/28327/stat : 28327 (java) S 28322 28324 25404 0 -1 4202560 875 0 0 0 195 8 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454343117352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28328] ppid=28322 vsize=9824668 CPUtime=1.93 cores=0,2,4,6
/proc/28324/task/28328/stat : 28328 (java) S 28322 28324 25404 0 -1 4202560 495 0 0 0 185 8 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454342064552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28329] ppid=28322 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/28324/task/28329/stat : 28329 (java) S 28322 28324 25404 0 -1 4202560 641 0 0 0 183 9 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454341011752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28330] ppid=28322 vsize=9824668 CPUtime=2.14 cores=0,2,4,6
/proc/28324/task/28330/stat : 28330 (java) S 28322 28324 25404 0 -1 4202560 733 0 0 0 207 7 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454339958952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28331] ppid=28322 vsize=9824668 CPUtime=1.74 cores=0,2,4,6
/proc/28324/task/28331/stat : 28331 (java) S 28322 28324 25404 0 -1 4202560 466 0 0 0 167 7 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454338907176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28332] ppid=28322 vsize=9824668 CPUtime=2.06 cores=0,2,4,6
/proc/28324/task/28332/stat : 28332 (java) S 28322 28324 25404 0 -1 4202560 806 0 0 0 198 8 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454337854376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28333] ppid=28322 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/28324/task/28333/stat : 28333 (java) S 28322 28324 25404 0 -1 4202560 608 0 0 0 195 7 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454336801576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28334] ppid=28322 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/28324/task/28334/stat : 28334 (java) S 28322 28324 25404 0 -1 4202560 811 0 0 0 182 8 0 0 20 0 22 0 254263438 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454335748776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28335] ppid=28322 vsize=9824668 CPUtime=38.7 cores=0,2,4,6
/proc/28324/task/28335/stat : 28335 (java) S 28322 28324 25404 0 -1 4202560 2018 0 0 0 3854 16 0 0 20 0 22 0 254263439 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454323337704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28336] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28336/stat : 28336 (java) S 28322 28324 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454322283768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28337] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28337/stat : 28337 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454321230856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28338] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28338/stat : 28338 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454320179344 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28339] ppid=28322 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/28324/task/28339/stat : 28339 (java) S 28322 28324 25404 0 -1 4202560 8363 0 0 0 162 2 0 0 20 0 22 0 254263443 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454319127480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28340] ppid=28322 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/28324/task/28340/stat : 28340 (java) S 28322 28324 25404 0 -1 4202560 20379 0 0 0 225 3 0 0 20 0 22 0 254263443 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454318074680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28341] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28341/stat : 28341 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454317022072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28342] ppid=28322 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/28324/task/28342/stat : 28342 (java) S 28322 28324 25404 0 -1 4202560 51 0 0 0 20 13 0 0 20 0 22 0 254263443 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454315969480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28343] ppid=28322 vsize=9824668 CPUtime=835.62 cores=0,2,4,6
/proc/28324/task/28343/stat : 28343 (java) R 28322 28324 25404 0 -1 4202560 53 0 0 0 83548 14 0 0 20 0 22 0 254263565 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454314913296 140454372002441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28344] ppid=28322 vsize=9824668 CPUtime=835.63 cores=0,2,4,6
/proc/28324/task/28344/stat : 28344 (java) R 28322 28324 25404 0 -1 4202560 2141 0 0 0 83517 46 0 0 20 0 22 0 254263565 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454313859616 140454372021935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28345] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28345/stat : 28345 (java) S 28322 28324 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254263573 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454312809384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28346] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28346/stat : 28346 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263575 10060460032 749890 33554432000 1073741824 1073778376 140734554940976 140454311756584 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1735.69
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+914.901 s]
/proc/loadavg: 3.99 3.73 3.39 5/219 28414
/proc/meminfo: memFree=23695416/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9824668 CPUtime=1800.03 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 42364 0 1 0 179854 149 0 0 20 0 22 0 254263436 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2456167 766880 2286 9 0 2446860 0
[pid=28324/tid=28326] ppid=28322 vsize=9824668 CPUtime=1.22 cores=0,2,4,6
/proc/28324/task/28326/stat : 28326 (java) S 28322 28324 25404 0 -1 4202560 2541 0 1 0 117 5 0 0 20 0 22 0 254263437 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454499066872 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28327] ppid=28322 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/28324/task/28327/stat : 28327 (java) S 28322 28324 25404 0 -1 4202560 896 0 0 0 206 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454343117352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28328] ppid=28322 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/28324/task/28328/stat : 28328 (java) S 28322 28324 25404 0 -1 4202560 516 0 0 0 194 8 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454342064552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28329] ppid=28322 vsize=9824668 CPUtime=2.07 cores=0,2,4,6
/proc/28324/task/28329/stat : 28329 (java) S 28322 28324 25404 0 -1 4202560 651 0 0 0 198 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454341011752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28330] ppid=28322 vsize=9824668 CPUtime=2.29 cores=0,2,4,6
/proc/28324/task/28330/stat : 28330 (java) S 28322 28324 25404 0 -1 4202560 751 0 0 0 220 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454339958952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28331] ppid=28322 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/28324/task/28331/stat : 28331 (java) S 28322 28324 25404 0 -1 4202560 498 0 0 0 179 8 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454338907176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28332] ppid=28322 vsize=9824668 CPUtime=2.17 cores=0,2,4,6
/proc/28324/task/28332/stat : 28332 (java) S 28322 28324 25404 0 -1 4202560 830 0 0 0 208 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454337854376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28333] ppid=28322 vsize=9824668 CPUtime=2.12 cores=0,2,4,6
/proc/28324/task/28333/stat : 28333 (java) S 28322 28324 25404 0 -1 4202560 621 0 0 0 204 8 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454336801576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28334] ppid=28322 vsize=9824668 CPUtime=2.03 cores=0,2,4,6
/proc/28324/task/28334/stat : 28334 (java) S 28322 28324 25404 0 -1 4202560 829 0 0 0 193 10 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454335748776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28335] ppid=28322 vsize=9824668 CPUtime=40.04 cores=0,2,4,6
/proc/28324/task/28335/stat : 28335 (java) S 28322 28324 25404 0 -1 4202560 2050 0 0 0 3987 17 0 0 20 0 22 0 254263439 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454323337704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28336] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28336/stat : 28336 (java) S 28322 28324 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454322283768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28337] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28337/stat : 28337 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454321230856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28338] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28338/stat : 28338 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454320179344 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28339] ppid=28322 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/28324/task/28339/stat : 28339 (java) S 28322 28324 25404 0 -1 4202560 8363 0 0 0 162 2 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454319127480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28340] ppid=28322 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/28324/task/28340/stat : 28340 (java) S 28322 28324 25404 0 -1 4202560 20380 0 0 0 225 3 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454318074680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28341] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28341/stat : 28341 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454317022072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28342] ppid=28322 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/28324/task/28342/stat : 28342 (java) S 28322 28324 25404 0 -1 4202560 53 0 0 0 21 14 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454315969480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28343] ppid=28322 vsize=9824668 CPUtime=866.55 cores=0,2,4,6
/proc/28324/task/28343/stat : 28343 (java) R 28322 28324 25404 0 -1 4202560 53 0 0 0 86640 15 0 0 20 0 22 0 254263565 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454314914272 140454371777891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28344] ppid=28322 vsize=9824668 CPUtime=866.57 cores=0,2,4,6
/proc/28324/task/28344/stat : 28344 (java) R 28322 28324 25404 0 -1 4202560 2144 0 0 0 86610 47 0 0 20 0 22 0 254263565 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454313859616 140454371357457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28345] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28345/stat : 28345 (java) S 28322 28324 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254263573 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454312809384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28346] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28346/stat : 28346 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263575 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454311756584 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+914.901 s]
/proc/loadavg: 3.99 3.73 3.39 5/219 28414
/proc/meminfo: memFree=23695416/32873844 swapFree=7612/7612
[pid=28324] ppid=28322 vsize=9824668 CPUtime=1800.03 cores=0,2,4,6
/proc/28324/stat : 28324 (java) S 28322 28324 25404 0 -1 4202496 42364 0 1 0 179854 149 0 0 20 0 22 0 254263436 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140734554932112 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28324/statm: 2456167 766880 2286 9 0 2446860 0
[pid=28324/tid=28326] ppid=28322 vsize=9824668 CPUtime=1.22 cores=0,2,4,6
/proc/28324/task/28326/stat : 28326 (java) S 28322 28324 25404 0 -1 4202560 2541 0 1 0 117 5 0 0 20 0 22 0 254263437 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454499066872 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28327] ppid=28322 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/28324/task/28327/stat : 28327 (java) S 28322 28324 25404 0 -1 4202560 896 0 0 0 206 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454343117352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28328] ppid=28322 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/28324/task/28328/stat : 28328 (java) S 28322 28324 25404 0 -1 4202560 516 0 0 0 194 8 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454342064552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28329] ppid=28322 vsize=9824668 CPUtime=2.07 cores=0,2,4,6
/proc/28324/task/28329/stat : 28329 (java) S 28322 28324 25404 0 -1 4202560 651 0 0 0 198 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454341011752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28330] ppid=28322 vsize=9824668 CPUtime=2.29 cores=0,2,4,6
/proc/28324/task/28330/stat : 28330 (java) S 28322 28324 25404 0 -1 4202560 751 0 0 0 220 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454339958952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28331] ppid=28322 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/28324/task/28331/stat : 28331 (java) S 28322 28324 25404 0 -1 4202560 498 0 0 0 179 8 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454338907176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28332] ppid=28322 vsize=9824668 CPUtime=2.17 cores=0,2,4,6
/proc/28324/task/28332/stat : 28332 (java) S 28322 28324 25404 0 -1 4202560 830 0 0 0 208 9 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454337854376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28333] ppid=28322 vsize=9824668 CPUtime=2.12 cores=0,2,4,6
/proc/28324/task/28333/stat : 28333 (java) S 28322 28324 25404 0 -1 4202560 621 0 0 0 204 8 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454336801576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28324/tid=28334] ppid=28322 vsize=9824668 CPUtime=2.03 cores=0,2,4,6
/proc/28324/task/28334/stat : 28334 (java) S 28322 28324 25404 0 -1 4202560 829 0 0 0 193 10 0 0 20 0 22 0 254263438 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454335748776 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28335] ppid=28322 vsize=9824668 CPUtime=40.04 cores=0,2,4,6
/proc/28324/task/28335/stat : 28335 (java) S 28322 28324 25404 0 -1 4202560 2050 0 0 0 3987 17 0 0 20 0 22 0 254263439 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454323337704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28336] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28336/stat : 28336 (java) S 28322 28324 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454322283768 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28337] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28337/stat : 28337 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263440 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454321230856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28338] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28338/stat : 28338 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454320179344 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28339] ppid=28322 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/28324/task/28339/stat : 28339 (java) S 28322 28324 25404 0 -1 4202560 8363 0 0 0 162 2 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454319127480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28340] ppid=28322 vsize=9824668 CPUtime=2.28 cores=0,2,4,6
/proc/28324/task/28340/stat : 28340 (java) S 28322 28324 25404 0 -1 4202560 20380 0 0 0 225 3 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454318074680 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28341] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28341/stat : 28341 (java) S 28322 28324 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454317022072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28324/tid=28342] ppid=28322 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/28324/task/28342/stat : 28342 (java) S 28322 28324 25404 0 -1 4202560 53 0 0 0 21 14 0 0 20 0 22 0 254263443 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454315969480 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28343] ppid=28322 vsize=9824668 CPUtime=866.55 cores=0,2,4,6
/proc/28324/task/28343/stat : 28343 (java) R 28322 28324 25404 0 -1 4202560 53 0 0 0 86640 15 0 0 20 0 22 0 254263565 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454314914272 140454371777891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28324/tid=28344] ppid=28322 vsize=9824668 CPUtime=866.57 cores=0,2,4,6
/proc/28324/task/28344/stat : 28344 (java) R 28322 28324 25404 0 -1 4202560 2144 0 0 0 86610 47 0 0 20 0 22 0 254263565 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454313859616 140454371357457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28345] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28345/stat : 28345 (java) S 28322 28324 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254263573 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454312809384 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28324/tid=28346] ppid=28322 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/28324/task/28346/stat : 28346 (java) S 28322 28324 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254263575 10060460032 766880 33554432000 1073741824 1073778376 140734554940976 140454311756584 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28324 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=898286
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=903710
# CPU time returned by wait4() is 1795.8
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 914.956
CPU time (s): 1800.03
CPU user time (s): 1798.54
CPU system time (s): 1.49
CPU usage (%): 196.734
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 1.90371
maximum resident set size= 3067636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42394
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25551
involuntary context switches= 34661
runsolver used 3.71143 second user time and 7.8848 second system time
The end