runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454177-1307189038/watcher-3454177-1307189038 -o /tmp/evaluation-result-3454177-1307189038/solver-3454177-1307189038 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454177-1307189038.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.68 2.75 2.09 4/490 16404
/proc/meminfo: memFree=23578332/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 1168 0 0 0 0 0 0 0 25 0 2 0 909134233 26714112 896 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 6793 896 682 9 0 381 0
[pid=16404/tid=16405] ppid=16402 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) R 16402 16404 13385 0 -1 4202560 5815 0 1 0 0 0 0 0 25 0 2 0 909134234 10694979584 6631 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0340129 s]
/proc/loadavg: 3.68 2.75 2.09 4/490 16404
/proc/meminfo: memFree=23578332/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 10976 0 1 0 2 0 0 0 25 0 11 0 909134233 10716594176 10674 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2616356 10675 1605 9 0 2607104 0
[pid=16404/tid=16405] ppid=16402 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) R 16402 16404 13385 0 -1 4202560 9852 0 1 0 2 0 0 0 25 0 11 0 909134234 10716594176 10676 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 47082511316504 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.101001 s]
/proc/loadavg: 3.68 2.75 2.09 4/490 16404
/proc/meminfo: memFree=23578332/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10539856 CPUtime=0.11 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 13069 0 1 0 10 1 0 0 25 0 18 0 909134233 10792812544 12765 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2634964 12765 2092 9 0 2625698 0
[pid=16404/tid=16405] ppid=16402 vsize=10539856 CPUtime=0.08 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) R 16402 16404 13385 0 -1 4202560 11166 0 1 0 8 0 0 0 18 0 18 0 909134234 10792812544 12767 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 47082508283811 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539856
[startup+0.300964 s]
/proc/loadavg: 3.68 2.75 2.09 4/490 16404
/proc/meminfo: memFree=23578332/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10541724 CPUtime=0.49 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 15997 0 1 0 48 1 0 0 25 0 18 0 909134233 10794725376 15534 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2635431 15535 2200 9 0 2626165 0
[pid=16404/tid=16405] ppid=16402 vsize=10541724 CPUtime=0.29 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) R 16402 16404 13385 0 -1 4202560 13195 0 1 0 28 1 0 0 18 0 18 0 909134234 10794725376 15536 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505558159 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541724
[startup+0.700891 s]
/proc/loadavg: 3.68 2.75 2.09 4/490 16404
/proc/meminfo: memFree=23578332/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10614924 CPUtime=1.82 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 29490 0 1 0 179 3 0 0 25 0 22 0 909134233 10869682176 27343 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2653731 27346 2238 9 0 2644465 0
[pid=16404/tid=16405] ppid=16402 vsize=10614924 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) S 16402 16404 13385 0 -1 4202560 15874 0 1 0 36 1 0 0 19 0 22 0 909134234 10869682176 27348 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10614924
[startup+1.50074 s]
/proc/loadavg: 3.68 2.75 2.09 5/512 16426
/proc/meminfo: memFree=23403264/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10614924 CPUtime=3.54 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 77626 0 1 0 346 8 0 0 25 0 22 0 909134233 10869682176 74105 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2653731 74108 2242 9 0 2644465 0
[pid=16404/tid=16405] ppid=16402 vsize=10614924 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) S 16402 16404 13385 0 -1 4202560 15874 0 1 0 36 1 0 0 15 0 22 0 909134234 10869682176 74110 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74112 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74112 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74112 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74112 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74112 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74118 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16413] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16413/stat : 16413 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74121 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16414] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16414/stat : 16414 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134236 10869682176 74123 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16415] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16415/stat : 16415 (java) S 16402 16404 13385 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 909134237 10869682176 74125 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 0 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16416] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16416/stat : 16416 (java) S 16402 16404 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909134237 10869682176 74127 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16417] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16417/stat : 16417 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909134237 10869682176 74128 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16418] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16418/stat : 16418 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134239 10869682176 74128 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469889457 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16419] ppid=16402 vsize=10614924 CPUtime=0.42 cores=1,3,5,7
/proc/16404/task/16419/stat : 16419 (java) S 16402 16404 13385 0 -1 4202560 2468 0 0 0 42 0 0 0 18 0 22 0 909134239 10869682176 74128 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16420] ppid=16402 vsize=10614924 CPUtime=0.49 cores=1,3,5,7
/proc/16404/task/16420/stat : 16420 (java) S 16402 16404 13385 0 -1 4202560 3892 0 0 0 49 0 0 0 15 0 22 0 909134239 10869682176 74128 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16421] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16421/stat : 16421 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909134239 10869682176 74128 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16422] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16422/stat : 16422 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909134239 10869682176 74128 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16423] ppid=16402 vsize=10614924 CPUtime=1.11 cores=1,3,5,7
/proc/16404/task/16423/stat : 16423 (java) R 16402 16404 13385 0 -1 4202560 254 0 0 0 111 0 0 0 18 0 22 0 909134272 10869682176 74133 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505739311 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16404/tid=16424] ppid=16402 vsize=10614924 CPUtime=1.1 cores=1,3,5,7
/proc/16404/task/16424/stat : 16424 (java) R 16402 16404 13385 0 -1 4202560 53999 0 0 0 105 5 0 0 18 0 22 0 909134272 10869682176 74135 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505850362 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16404/tid=16425] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16425/stat : 16425 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909134274 10869682176 74138 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16426] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16426/stat : 16426 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909134274 10869682176 74140 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10614924
[startup+3.10144 s]
/proc/loadavg: 3.68 2.75 2.09 5/512 16426
/proc/meminfo: memFree=23167416/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10614924 CPUtime=6.8 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 138917 0 1 0 665 15 0 0 25 0 22 0 909134233 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2653731 135166 2266 9 0 2644465 0
[pid=16404/tid=16405] ppid=16402 vsize=10614924 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) S 16402 16404 13385 0 -1 4202560 15874 0 1 0 36 1 0 0 15 0 22 0 909134234 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 13385 0 -1 4202560 525 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16413] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16413/stat : 16413 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16414] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16414/stat : 16414 (java) S 16402 16404 13385 0 -1 4202560 480 0 0 0 0 0 0 0 18 0 22 0 909134236 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16415] ppid=16402 vsize=10614924 CPUtime=0.01 cores=1,3,5,7
/proc/16404/task/16415/stat : 16415 (java) S 16402 16404 13385 0 -1 4202560 999 0 0 0 1 0 0 0 15 0 22 0 909134237 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 0 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16416] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16416/stat : 16416 (java) S 16402 16404 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909134237 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16417] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16417/stat : 16417 (java) S 16402 16404 13385 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909134237 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16418] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16418/stat : 16418 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134239 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469889457 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16419] ppid=16402 vsize=10614924 CPUtime=0.45 cores=1,3,5,7
/proc/16404/task/16419/stat : 16419 (java) S 16402 16404 13385 0 -1 4202560 2473 0 0 0 45 0 0 0 16 0 22 0 909134239 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16420] ppid=16402 vsize=10614924 CPUtime=0.54 cores=1,3,5,7
/proc/16404/task/16420/stat : 16420 (java) S 16402 16404 13385 0 -1 4202560 4130 0 0 0 54 0 0 0 16 0 22 0 909134239 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16421] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16421/stat : 16421 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909134239 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16422] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16422/stat : 16422 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909134239 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16423] ppid=16402 vsize=10614924 CPUtime=2.68 cores=1,3,5,7
/proc/16404/task/16423/stat : 16423 (java) R 16402 16404 13385 0 -1 4202560 398 0 0 0 268 0 0 0 20 0 22 0 909134272 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505866161 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16404/tid=16424] ppid=16402 vsize=10614924 CPUtime=2.68 cores=1,3,5,7
/proc/16404/task/16424/stat : 16424 (java) R 16402 16404 13385 0 -1 4202560 112874 0 0 0 256 12 0 0 20 0 22 0 909134272 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505723871 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16404/tid=16425] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16425/stat : 16425 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909134274 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16426] ppid=16402 vsize=10614924 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16426/stat : 16426 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909134274 10869682176 135166 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 10614924
[startup+6.30085 s]
/proc/loadavg: 3.78 2.79 2.11 5/512 16426
/proc/meminfo: memFree=23020544/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10628428 CPUtime=13.56 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 147792 0 1 0 1340 16 0 0 25 0 22 0 909134233 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2657107 141980 2266 9 0 2647841 0
[pid=16404/tid=16405] ppid=16402 vsize=10628428 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) S 16402 16404 13385 0 -1 4202560 15874 0 1 0 36 1 0 0 15 0 22 0 909134234 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 13385 0 -1 4202560 135 0 0 0 0 0 0 0 16 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 13385 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 13385 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 13385 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 13385 0 -1 4202560 525 0 0 0 0 0 0 0 15 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16413] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16413/stat : 16413 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16414] ppid=16402 vsize=10628428 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16414/stat : 16414 (java) S 16402 16404 13385 0 -1 4202560 480 0 0 0 0 0 0 0 15 0 22 0 909134236 10883510272 141980 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=16404/tid=16424] ppid=16402 vsize=10620112 CPUtime=790.98 cores=1,3,5,7
/proc/16404/task/16424/stat : 16424 (java) R 16402 16404 13385 0 -1 4202560 387225 0 0 0 79056 42 0 0 25 0 22 0 909134272 10874994688 446553 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505786824 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16404/tid=16425] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16425/stat : 16425 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909134274 10874994688 446553 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16426] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16426/stat : 16426 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909134274 10874994688 446553 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1616.52
Current children cumulated vsize (KiB) 10620112
[startup+882.301 s]
/proc/loadavg: 3.93 3.85 3.19 5/512 16519
/proc/meminfo: memFree=20195612/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10620112 CPUtime=1732.88 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 458227 0 1 0 173233 55 0 0 25 0 22 0 909134233 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2655028 448345 2267 9 0 2645762 0
[pid=16404/tid=16405] ppid=16402 vsize=10620112 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) S 16402 16404 13385 0 -1 4202560 15915 0 1 0 36 1 0 0 15 0 22 0 909134234 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=10620112 CPUtime=0.31 cores=1,3,5,7
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 13385 0 -1 4202560 211 0 0 0 31 0 0 0 16 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=10620112 CPUtime=0.34 cores=1,3,5,7
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 13385 0 -1 4202560 218 0 0 0 34 0 0 0 16 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=10620112 CPUtime=0.36 cores=1,3,5,7
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 13385 0 -1 4202560 262 0 0 0 36 0 0 0 15 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=10620112 CPUtime=0.31 cores=1,3,5,7
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 13385 0 -1 4202560 247 0 0 0 31 0 0 0 15 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=10620112 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 13385 0 -1 4202560 105 0 0 0 37 0 0 0 15 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=10620112 CPUtime=0.33 cores=1,3,5,7
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 13385 0 -1 4202560 542 0 0 0 33 0 0 0 15 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16413] ppid=16402 vsize=10620112 CPUtime=0.35 cores=1,3,5,7
/proc/16404/task/16413/stat : 16413 (java) S 16402 16404 13385 0 -1 4202560 80 0 0 0 35 0 0 0 15 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16414] ppid=16402 vsize=10620112 CPUtime=0.36 cores=1,3,5,7
/proc/16404/task/16414/stat : 16414 (java) S 16402 16404 13385 0 -1 4202560 502 0 0 0 36 0 0 0 16 0 22 0 909134236 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16415] ppid=16402 vsize=10620112 CPUtime=33.7 cores=1,3,5,7
/proc/16404/task/16415/stat : 16415 (java) S 16402 16404 13385 0 -1 4202560 36401 0 0 0 3365 5 0 0 15 0 22 0 909134237 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 0 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16416] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16416/stat : 16416 (java) S 16402 16404 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909134237 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16417] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16417/stat : 16417 (java) S 16402 16404 13385 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909134237 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16418] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16418/stat : 16418 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134239 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469889457 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16419] ppid=16402 vsize=10620112 CPUtime=0.69 cores=1,3,5,7
/proc/16404/task/16419/stat : 16419 (java) S 16402 16404 13385 0 -1 4202560 5950 0 0 0 69 0 0 0 15 0 22 0 909134239 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16420] ppid=16402 vsize=10620112 CPUtime=0.89 cores=1,3,5,7
/proc/16404/task/16420/stat : 16420 (java) S 16402 16404 13385 0 -1 4202560 8803 0 0 0 88 1 0 0 15 0 22 0 909134239 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16421] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16421/stat : 16421 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909134239 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16422] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16422/stat : 16422 (java) S 16402 16404 13385 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909134239 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16423] ppid=16402 vsize=10620112 CPUtime=847.19 cores=1,3,5,7
/proc/16404/task/16423/stat : 16423 (java) R 16402 16404 13385 0 -1 4202560 556 0 0 0 84719 0 0 0 17 0 22 0 909134272 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505753256 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16404/tid=16424] ppid=16402 vsize=10620112 CPUtime=847.17 cores=1,3,5,7
/proc/16404/task/16424/stat : 16424 (java) R 16402 16404 13385 0 -1 4202560 387228 0 0 0 84675 42 0 0 25 0 22 0 909134272 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505753251 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16404/tid=16425] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16425/stat : 16425 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909134274 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16426] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16426/stat : 16426 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909134274 10874994688 448345 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1732.88
Current children cumulated vsize (KiB) 10620112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.901 s]
/proc/loadavg: 4.02 3.88 3.22 5/512 16520
/proc/meminfo: memFree=19892912/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10620112 CPUtime=1800.1 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 459341 0 1 0 179955 55 0 0 25 0 22 0 909134233 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2655028 449446 2267 9 0 2645762 0
[pid=16404/tid=16405] ppid=16402 vsize=10620112 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) S 16402 16404 13385 0 -1 4202560 15919 0 1 0 36 1 0 0 15 0 22 0 909134234 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=10620112 CPUtime=0.33 cores=1,3,5,7
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 13385 0 -1 4202560 211 0 0 0 33 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=10620112 CPUtime=0.36 cores=1,3,5,7
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 13385 0 -1 4202560 218 0 0 0 36 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=10620112 CPUtime=0.39 cores=1,3,5,7
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 13385 0 -1 4202560 262 0 0 0 39 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=10620112 CPUtime=0.33 cores=1,3,5,7
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 13385 0 -1 4202560 248 0 0 0 33 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=10620112 CPUtime=0.38 cores=1,3,5,7
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 13385 0 -1 4202560 105 0 0 0 38 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=10620112 CPUtime=0.34 cores=1,3,5,7
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 13385 0 -1 4202560 542 0 0 0 34 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16413] ppid=16402 vsize=10620112 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16413/stat : 16413 (java) S 16402 16404 13385 0 -1 4202560 80 0 0 0 37 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16414] ppid=16402 vsize=10620112 CPUtime=0.38 cores=1,3,5,7
/proc/16404/task/16414/stat : 16414 (java) S 16402 16404 13385 0 -1 4202560 502 0 0 0 38 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16415] ppid=16402 vsize=10620112 CPUtime=35.72 cores=1,3,5,7
/proc/16404/task/16415/stat : 16415 (java) S 16402 16404 13385 0 -1 4202560 37503 0 0 0 3567 5 0 0 15 0 22 0 909134237 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 0 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16416] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16416/stat : 16416 (java) S 16402 16404 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909134237 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16417] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16417/stat : 16417 (java) S 16402 16404 13385 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909134237 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16418] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16418/stat : 16418 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469889457 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16419] ppid=16402 vsize=10620112 CPUtime=0.69 cores=1,3,5,7
/proc/16404/task/16419/stat : 16419 (java) S 16402 16404 13385 0 -1 4202560 5950 0 0 0 69 0 0 0 15 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16420] ppid=16402 vsize=10620112 CPUtime=0.89 cores=1,3,5,7
/proc/16404/task/16420/stat : 16420 (java) S 16402 16404 13385 0 -1 4202560 8803 0 0 0 88 1 0 0 15 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16421] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16421/stat : 16421 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16422] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16422/stat : 16422 (java) S 16402 16404 13385 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16423] ppid=16402 vsize=10620112 CPUtime=879.73 cores=1,3,5,7
/proc/16404/task/16423/stat : 16423 (java) R 16402 16404 13385 0 -1 4202560 560 0 0 0 87973 0 0 0 25 0 22 0 909134272 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505753251 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16404/tid=16424] ppid=16402 vsize=10620112 CPUtime=879.72 cores=1,3,5,7
/proc/16404/task/16424/stat : 16424 (java) R 16402 16404 13385 0 -1 4202560 387229 0 0 0 87930 42 0 0 25 0 22 0 909134272 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16404/tid=16425] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16425/stat : 16425 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909134274 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16426] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16426/stat : 16426 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909134274 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10620112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+916.901 s]
/proc/loadavg: 4.02 3.88 3.22 5/512 16520
/proc/meminfo: memFree=19892912/32951124 swapFree=56297244/67111528
[pid=16404] ppid=16402 vsize=10620112 CPUtime=1800.1 cores=1,3,5,7
/proc/16404/stat : 16404 (java) S 16402 16404 13385 0 -1 4202496 459341 0 1 0 179955 55 0 0 25 0 22 0 909134233 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16404/statm: 2655028 449446 2267 9 0 2645762 0
[pid=16404/tid=16405] ppid=16402 vsize=10620112 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16405/stat : 16405 (java) S 16402 16404 13385 0 -1 4202560 15919 0 1 0 36 1 0 0 15 0 22 0 909134234 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=10620112 CPUtime=0.33 cores=1,3,5,7
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 13385 0 -1 4202560 211 0 0 0 33 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=10620112 CPUtime=0.36 cores=1,3,5,7
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 13385 0 -1 4202560 218 0 0 0 36 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=10620112 CPUtime=0.39 cores=1,3,5,7
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 13385 0 -1 4202560 262 0 0 0 39 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=10620112 CPUtime=0.33 cores=1,3,5,7
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 13385 0 -1 4202560 248 0 0 0 33 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=10620112 CPUtime=0.38 cores=1,3,5,7
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 13385 0 -1 4202560 105 0 0 0 38 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=10620112 CPUtime=0.34 cores=1,3,5,7
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 13385 0 -1 4202560 542 0 0 0 34 0 0 0 16 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16413] ppid=16402 vsize=10620112 CPUtime=0.37 cores=1,3,5,7
/proc/16404/task/16413/stat : 16413 (java) S 16402 16404 13385 0 -1 4202560 80 0 0 0 37 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16414] ppid=16402 vsize=10620112 CPUtime=0.38 cores=1,3,5,7
/proc/16404/task/16414/stat : 16414 (java) S 16402 16404 13385 0 -1 4202560 502 0 0 0 38 0 0 0 15 0 22 0 909134236 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16415] ppid=16402 vsize=10620112 CPUtime=35.72 cores=1,3,5,7
/proc/16404/task/16415/stat : 16415 (java) S 16402 16404 13385 0 -1 4202560 37503 0 0 0 3567 5 0 0 15 0 22 0 909134237 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 0 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16416] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16416/stat : 16416 (java) S 16402 16404 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909134237 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16417] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16417/stat : 16417 (java) S 16402 16404 13385 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909134237 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16418] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16418/stat : 16418 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469889457 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16419] ppid=16402 vsize=10620112 CPUtime=0.69 cores=1,3,5,7
/proc/16404/task/16419/stat : 16419 (java) S 16402 16404 13385 0 -1 4202560 5950 0 0 0 69 0 0 0 15 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 7 0 0 0
[pid=16404/tid=16420] ppid=16402 vsize=10620112 CPUtime=0.89 cores=1,3,5,7
/proc/16404/task/16420/stat : 16420 (java) S 16402 16404 13385 0 -1 4202560 8803 0 0 0 88 1 0 0 15 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 5 0 0 0
[pid=16404/tid=16421] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16421/stat : 16421 (java) S 16402 16404 13385 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469881753 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16422] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16422/stat : 16422 (java) S 16402 16404 13385 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909134239 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
[pid=16404/tid=16423] ppid=16402 vsize=10620112 CPUtime=879.73 cores=1,3,5,7
/proc/16404/task/16423/stat : 16423 (java) R 16402 16404 13385 0 -1 4202560 560 0 0 0 87973 0 0 0 25 0 22 0 909134272 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505753251 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16404/tid=16424] ppid=16402 vsize=10620112 CPUtime=879.72 cores=1,3,5,7
/proc/16404/task/16424/stat : 16424 (java) R 16402 16404 13385 0 -1 4202560 387229 0 0 0 87930 42 0 0 25 0 22 0 909134272 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16404/tid=16425] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16425/stat : 16425 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909134274 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 3 0 0 0
[pid=16404/tid=16426] ppid=16402 vsize=10620112 CPUtime=0 cores=1,3,5,7
/proc/16404/task/16426/stat : 16426 (java) S 16402 16404 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909134274 10874994688 449446 33554432000 1073741824 1073778376 140735369367328 18446744073709551615 252469882368 0 4 0 16800975 18446604467492637632 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10620112
Child status: 143
Real time (s): 917.007
CPU time (s): 1800.26
CPU user time (s): 1799.64
CPU system time (s): 0.625904
CPU usage (%): 196.319
Max. virtual memory (cumulated for all children) (KiB): 10628428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.625904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459369
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28587
involuntary context switches= 21075
runsolver used 4.28535 second user time and 10.5054 second system time
The end