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-3455740-1307228438/watcher-3455740-1307228438 -o /tmp/evaluation-result-3455740-1307228438/solver-3455740-1307228438 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455740-1307228438.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: 2.00 2.03 2.00 2/590 6410
/proc/meminfo: memFree=28048548/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 1561 0 1 0 0 0 0 0 25 0 2 0 834442591 10681323520 1264 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2607745 1277 906 9 0 2598901 0
[pid=6410/tid=6411] ppid=6408 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 7621 0 1 0 0 0 0 0 25 0 2 0 834442592 10694979584 8437 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.02262 s]
/proc/loadavg: 2.00 2.03 2.00 2/590 6410
/proc/meminfo: memFree=28048548/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 9333 0 1 0 0 1 0 0 25 0 2 0 834442591 10694979584 9036 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2611079 9050 917 9 0 2602235 0
[pid=6410/tid=6411] ppid=6408 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 8246 0 1 0 0 0 0 0 25 0 2 0 834442592 10694979584 9062 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.119649 s]
/proc/loadavg: 2.00 2.03 2.00 2/590 6410
/proc/meminfo: memFree=28048548/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10541420 CPUtime=0.13 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 13365 0 1 0 12 1 0 0 25 0 18 0 834442591 10794414080 13063 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2635355 13065 2133 9 0 2626089 0
[pid=6410/tid=6411] ppid=6408 vsize=10541420 CPUtime=0.1 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 11358 0 1 0 9 1 0 0 18 0 18 0 834442592 10794414080 13065 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284515787 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10541420
[startup+0.329456 s]
/proc/loadavg: 2.00 2.03 2.00 2/590 6410
/proc/meminfo: memFree=28048548/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10543468 CPUtime=0.57 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 17085 0 1 0 55 2 0 0 25 0 18 0 834442591 10796511232 16259 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2635867 16260 2204 9 0 2626601 0
[pid=6410/tid=6411] ppid=6408 vsize=10543468 CPUtime=0.31 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 13880 0 1 0 30 1 0 0 18 0 18 0 834442592 10796511232 16261 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912505217820 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10543468
[startup+0.700498 s]
/proc/loadavg: 2.00 2.03 2.00 2/590 6410
/proc/meminfo: memFree=28048548/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10548592 CPUtime=1.21 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 51892 0 1 0 113 8 0 0 25 0 19 0 834442591 10801758208 49988 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2637148 49988 2221 9 0 2627882 0
[pid=6410/tid=6411] ppid=6408 vsize=10548592 CPUtime=0.68 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 45814 0 1 0 62 6 0 0 19 0 19 0 834442592 10801758208 49988 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912505220473 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 10548592
[startup+1.50136 s]
/proc/loadavg: 2.16 2.06 2.01 3/609 6429
/proc/meminfo: memFree=27826196/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10557808 CPUtime=3.14 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 90702 0 1 0 301 13 0 0 25 0 19 0 834442591 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2639452 86619 2239 9 0 2630186 0
[pid=6410/tid=6411] ppid=6408 vsize=10557808 CPUtime=1.46 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 77479 0 1 0 135 11 0 0 18 0 19 0 834442592 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912505794137 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=6410/tid=6413] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6413/stat : 6413 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6414] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6414/stat : 6414 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6415] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6415/stat : 6415 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6416] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6416/stat : 6416 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6417] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6417/stat : 6417 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6418] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6418/stat : 6418 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6419] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6419/stat : 6419 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6420] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6420/stat : 6420 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6421] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6421/stat : 6421 (java) S 6408 6410 5129 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 834442594 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 0 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6422] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6422/stat : 6422 (java) S 6408 6410 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834442595 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6423] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6423/stat : 6423 (java) S 6408 6410 5129 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834442595 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6424] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6424/stat : 6424 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284512689 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6425] ppid=6408 vsize=10557808 CPUtime=0.79 cores=0,2,4,6
/proc/6410/task/6425/stat : 6425 (java) S 6408 6410 5129 0 -1 4202560 6167 0 0 0 78 1 0 0 15 0 19 0 834442597 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6426] ppid=6408 vsize=10557808 CPUtime=0.87 cores=0,2,4,6
/proc/6410/task/6426/stat : 6426 (java) S 6408 6410 5129 0 -1 4202560 5895 0 0 0 87 0 0 0 15 0 19 0 834442597 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6427] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6427/stat : 6427 (java) S 6408 6410 5129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6428] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6428/stat : 6428 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834442597 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6429] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6429/stat : 6429 (java) S 6408 6410 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442661 10811195392 86619 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 10557808
[startup+3.10107 s]
/proc/loadavg: 2.16 2.06 2.01 3/609 6429
/proc/meminfo: memFree=27512352/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10557808 CPUtime=4.91 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 221330 0 1 0 463 28 0 0 25 0 19 0 834442591 10811195392 217245 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2639452 217248 2239 9 0 2630186 0
[pid=6410/tid=6411] ppid=6408 vsize=10557808 CPUtime=3.05 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 208096 0 1 0 280 25 0 0 21 0 19 0 834442592 10811195392 217248 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912505865242 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6410/tid=6413] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6413/stat : 6413 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217248 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6414] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6414/stat : 6414 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217249 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6415] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6415/stat : 6415 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217251 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6416] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6416/stat : 6416 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217254 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6417] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6417/stat : 6417 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217255 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6418] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6418/stat : 6418 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217258 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6419] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6419/stat : 6419 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217260 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6420] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6420/stat : 6420 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 217262 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6421] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6421/stat : 6421 (java) S 6408 6410 5129 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 834442594 10811195392 217264 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 0 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6422] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6422/stat : 6422 (java) S 6408 6410 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834442595 10811195392 217265 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6423] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6423/stat : 6423 (java) S 6408 6410 5129 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834442595 10811195392 217267 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6424] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6424/stat : 6424 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 217269 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284512689 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6425] ppid=6408 vsize=10557808 CPUtime=0.84 cores=0,2,4,6
/proc/6410/task/6425/stat : 6425 (java) S 6408 6410 5129 0 -1 4202560 6173 0 0 0 83 1 0 0 15 0 19 0 834442597 10811195392 217271 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6426] ppid=6408 vsize=10557808 CPUtime=0.98 cores=0,2,4,6
/proc/6410/task/6426/stat : 6426 (java) S 6408 6410 5129 0 -1 4202560 5902 0 0 0 98 0 0 0 15 0 19 0 834442597 10811195392 217273 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6427] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6427/stat : 6427 (java) S 6408 6410 5129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 217275 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6428] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6428/stat : 6428 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834442597 10811195392 217277 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6429] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6429/stat : 6429 (java) S 6408 6410 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442661 10811195392 217280 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 10557808
[startup+6.30156 s]
/proc/loadavg: 2.15 2.06 2.01 3/609 6430
/proc/meminfo: memFree=26431940/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10557808 CPUtime=8.14 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 481520 0 1 0 758 56 0 0 25 0 19 0 834442591 10811195392 476802 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2639452 476806 2239 9 0 2630186 0
[pid=6410/tid=6411] ppid=6408 vsize=10557808 CPUtime=6.25 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 468284 0 1 0 571 54 0 0 25 0 19 0 834442592 10811195392 476807 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912505865228 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6410/tid=6413] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6413/stat : 6413 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476810 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6414] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6414/stat : 6414 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476812 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6415] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6415/stat : 6415 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476814 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6416] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6416/stat : 6416 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476816 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6417] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6417/stat : 6417 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476818 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6418] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6418/stat : 6418 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476821 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6419] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6419/stat : 6419 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476823 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6420] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6420/stat : 6420 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442593 10811195392 476825 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6421] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6421/stat : 6421 (java) S 6408 6410 5129 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834442594 10811195392 476827 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 0 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6422] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6422/stat : 6422 (java) S 6408 6410 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834442595 10811195392 476829 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6423] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6423/stat : 6423 (java) S 6408 6410 5129 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834442595 10811195392 476831 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6424] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6424/stat : 6424 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 476833 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284512689 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6425] ppid=6408 vsize=10557808 CPUtime=0.84 cores=0,2,4,6
/proc/6410/task/6425/stat : 6425 (java) S 6408 6410 5129 0 -1 4202560 6173 0 0 0 83 1 0 0 15 0 19 0 834442597 10811195392 476838 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6426] ppid=6408 vsize=10557808 CPUtime=1.02 cores=0,2,4,6
/proc/6410/task/6426/stat : 6426 (java) S 6408 6410 5129 0 -1 4202560 5906 0 0 0 102 0 0 0 15 0 19 0 834442597 10811195392 476839 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/6410/task/6423/stat : 6423 (java) S 6408 6410 5129 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834442595 10811195392 980209 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6424] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6424/stat : 6424 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 980209 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284512689 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6425] ppid=6408 vsize=10557808 CPUtime=0.87 cores=0,2,4,6
/proc/6410/task/6425/stat : 6425 (java) S 6408 6410 5129 0 -1 4202560 6182 0 0 0 86 1 0 0 16 0 19 0 834442597 10811195392 980209 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6426] ppid=6408 vsize=10557808 CPUtime=1.15 cores=0,2,4,6
/proc/6410/task/6426/stat : 6426 (java) S 6408 6410 5129 0 -1 4202560 5927 0 0 0 115 0 0 0 15 0 19 0 834442597 10811195392 980209 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6427] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6427/stat : 6427 (java) S 6408 6410 5129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 980209 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6428] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6428/stat : 6428 (java) S 6408 6410 5129 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 834442597 10811195392 980209 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6429] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6429/stat : 6429 (java) S 6408 6410 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442661 10811195392 980209 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.63
Current children cumulated vsize (KiB) 10557808
[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/609 6535
/proc/meminfo: memFree=23933952/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10557808 CPUtime=1727.83 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 994164 0 1 0 172665 118 0 0 25 0 19 0 834442591 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2639452 984627 2268 9 0 2630186 0
[pid=6410/tid=6411] ppid=6408 vsize=10557808 CPUtime=1720.1 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 817012 0 1 0 171919 91 0 0 25 0 19 0 834442592 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912506209029 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6410/tid=6413] ppid=6408 vsize=10557808 CPUtime=0.76 cores=0,2,4,6
/proc/6410/task/6413/stat : 6413 (java) S 6408 6410 5129 0 -1 4202560 25312 0 0 0 73 3 0 0 16 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6414] ppid=6408 vsize=10557808 CPUtime=0.65 cores=0,2,4,6
/proc/6410/task/6414/stat : 6414 (java) S 6408 6410 5129 0 -1 4202560 21154 0 0 0 62 3 0 0 15 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6415] ppid=6408 vsize=10557808 CPUtime=0.58 cores=0,2,4,6
/proc/6410/task/6415/stat : 6415 (java) S 6408 6410 5129 0 -1 4202560 19573 0 0 0 56 2 0 0 15 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6416] ppid=6408 vsize=10557808 CPUtime=0.64 cores=0,2,4,6
/proc/6410/task/6416/stat : 6416 (java) S 6408 6410 5129 0 -1 4202560 17040 0 0 0 63 1 0 0 15 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6417] ppid=6408 vsize=10557808 CPUtime=0.56 cores=0,2,4,6
/proc/6410/task/6417/stat : 6417 (java) S 6408 6410 5129 0 -1 4202560 13783 0 0 0 55 1 0 0 16 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6418] ppid=6408 vsize=10557808 CPUtime=0.63 cores=0,2,4,6
/proc/6410/task/6418/stat : 6418 (java) S 6408 6410 5129 0 -1 4202560 20512 0 0 0 61 2 0 0 16 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6419] ppid=6408 vsize=10557808 CPUtime=0.58 cores=0,2,4,6
/proc/6410/task/6419/stat : 6419 (java) S 6408 6410 5129 0 -1 4202560 19831 0 0 0 56 2 0 0 15 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6420] ppid=6408 vsize=10557808 CPUtime=0.75 cores=0,2,4,6
/proc/6410/task/6420/stat : 6420 (java) S 6408 6410 5129 0 -1 4202560 24598 0 0 0 72 3 0 0 16 0 19 0 834442593 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6421] ppid=6408 vsize=10557808 CPUtime=0.4 cores=0,2,4,6
/proc/6410/task/6421/stat : 6421 (java) S 6408 6410 5129 0 -1 4202560 1991 0 0 0 40 0 0 0 15 0 19 0 834442594 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 0 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6422] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6422/stat : 6422 (java) S 6408 6410 5129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834442595 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6423] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6423/stat : 6423 (java) S 6408 6410 5129 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834442595 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6424] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6424/stat : 6424 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284512689 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6425] ppid=6408 vsize=10557808 CPUtime=0.87 cores=0,2,4,6
/proc/6410/task/6425/stat : 6425 (java) S 6408 6410 5129 0 -1 4202560 6182 0 0 0 86 1 0 0 16 0 19 0 834442597 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6426] ppid=6408 vsize=10557808 CPUtime=1.15 cores=0,2,4,6
/proc/6410/task/6426/stat : 6426 (java) S 6408 6410 5129 0 -1 4202560 5927 0 0 0 115 0 0 0 15 0 19 0 834442597 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6427] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6427/stat : 6427 (java) S 6408 6410 5129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6428] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6428/stat : 6428 (java) S 6408 6410 5129 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834442597 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6429] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6429/stat : 6429 (java) S 6408 6410 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442661 10811195392 984627 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.83
Current children cumulated vsize (KiB) 10557808
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/609 6537
/proc/meminfo: memFree=23918544/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10557808 CPUtime=1787.94 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 997933 0 1 0 178675 119 0 0 25 0 19 0 834442591 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2639452 988233 2268 9 0 2630186 0
[pid=6410/tid=6411] ppid=6408 vsize=10557808 CPUtime=1780.05 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 817015 0 1 0 177914 91 0 0 25 0 19 0 834442592 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912506209018 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6410/tid=6413] ppid=6408 vsize=10557808 CPUtime=0.78 cores=0,2,4,6
/proc/6410/task/6413/stat : 6413 (java) S 6408 6410 5129 0 -1 4202560 25717 0 0 0 75 3 0 0 16 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6414] ppid=6408 vsize=10557808 CPUtime=0.67 cores=0,2,4,6
/proc/6410/task/6414/stat : 6414 (java) S 6408 6410 5129 0 -1 4202560 21500 0 0 0 64 3 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6415] ppid=6408 vsize=10557808 CPUtime=0.61 cores=0,2,4,6
/proc/6410/task/6415/stat : 6415 (java) S 6408 6410 5129 0 -1 4202560 19782 0 0 0 58 3 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6416] ppid=6408 vsize=10557808 CPUtime=0.66 cores=0,2,4,6
/proc/6410/task/6416/stat : 6416 (java) S 6408 6410 5129 0 -1 4202560 17826 0 0 0 65 1 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6417] ppid=6408 vsize=10557808 CPUtime=0.57 cores=0,2,4,6
/proc/6410/task/6417/stat : 6417 (java) S 6408 6410 5129 0 -1 4202560 13784 0 0 0 56 1 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6418] ppid=6408 vsize=10557808 CPUtime=0.67 cores=0,2,4,6
/proc/6410/task/6418/stat : 6418 (java) S 6408 6410 5129 0 -1 4202560 21404 0 0 0 65 2 0 0 16 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6419] ppid=6408 vsize=10557808 CPUtime=0.6 cores=0,2,4,6
/proc/6410/task/6419/stat : 6419 (java) S 6408 6410 5129 0 -1 4202560 20196 0 0 0 58 2 0 0 16 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6420] ppid=6408 vsize=10557808 CPUtime=0.77 cores=0,2,4,6
/proc/6410/task/6420/stat : 6420 (java) S 6408 6410 5129 0 -1 4202560 25352 0 0 0 74 3 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6421] ppid=6408 vsize=10557808 CPUtime=0.4 cores=0,2,4,6
/proc/6410/task/6421/stat : 6421 (java) S 6408 6410 5129 0 -1 4202560 1995 0 0 0 40 0 0 0 15 0 19 0 834442594 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 0 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6422] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6422/stat : 6422 (java) S 6408 6410 5129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834442595 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6423] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6423/stat : 6423 (java) S 6408 6410 5129 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834442595 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6424] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6424/stat : 6424 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284512689 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6425] ppid=6408 vsize=10557808 CPUtime=0.87 cores=0,2,4,6
/proc/6410/task/6425/stat : 6425 (java) S 6408 6410 5129 0 -1 4202560 6182 0 0 0 86 1 0 0 16 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6426] ppid=6408 vsize=10557808 CPUtime=1.15 cores=0,2,4,6
/proc/6410/task/6426/stat : 6426 (java) S 6408 6410 5129 0 -1 4202560 5927 0 0 0 115 0 0 0 15 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6427] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6427/stat : 6427 (java) S 6408 6410 5129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6428] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6428/stat : 6428 (java) S 6408 6410 5129 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6429] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6429/stat : 6429 (java) S 6408 6410 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442661 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.94
Current children cumulated vsize (KiB) 10557808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.4 s]
/proc/loadavg: 2.04 2.05 2.01 3/609 6537
/proc/meminfo: memFree=23918660/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=10557808 CPUtime=1800.05 cores=0,2,4,6
/proc/6410/stat : 6410 (java) S 6408 6410 5129 0 -1 4202496 997933 0 1 0 179886 119 0 0 25 0 19 0 834442591 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 2639452 988233 2268 9 0 2630186 0
[pid=6410/tid=6411] ppid=6408 vsize=10557808 CPUtime=1792.17 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4202560 817015 0 1 0 179126 91 0 0 25 0 19 0 834442592 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 46912506340986 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6410/tid=6413] ppid=6408 vsize=10557808 CPUtime=0.78 cores=0,2,4,6
/proc/6410/task/6413/stat : 6413 (java) S 6408 6410 5129 0 -1 4202560 25717 0 0 0 75 3 0 0 16 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6414] ppid=6408 vsize=10557808 CPUtime=0.67 cores=0,2,4,6
/proc/6410/task/6414/stat : 6414 (java) S 6408 6410 5129 0 -1 4202560 21500 0 0 0 64 3 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6415] ppid=6408 vsize=10557808 CPUtime=0.61 cores=0,2,4,6
/proc/6410/task/6415/stat : 6415 (java) S 6408 6410 5129 0 -1 4202560 19782 0 0 0 58 3 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6416] ppid=6408 vsize=10557808 CPUtime=0.66 cores=0,2,4,6
/proc/6410/task/6416/stat : 6416 (java) S 6408 6410 5129 0 -1 4202560 17826 0 0 0 65 1 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6417] ppid=6408 vsize=10557808 CPUtime=0.57 cores=0,2,4,6
/proc/6410/task/6417/stat : 6417 (java) S 6408 6410 5129 0 -1 4202560 13784 0 0 0 56 1 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6418] ppid=6408 vsize=10557808 CPUtime=0.67 cores=0,2,4,6
/proc/6410/task/6418/stat : 6418 (java) S 6408 6410 5129 0 -1 4202560 21404 0 0 0 65 2 0 0 16 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6419] ppid=6408 vsize=10557808 CPUtime=0.6 cores=0,2,4,6
/proc/6410/task/6419/stat : 6419 (java) S 6408 6410 5129 0 -1 4202560 20196 0 0 0 58 2 0 0 16 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 4 0 0 0
[pid=6410/tid=6420] ppid=6408 vsize=10557808 CPUtime=0.77 cores=0,2,4,6
/proc/6410/task/6420/stat : 6420 (java) S 6408 6410 5129 0 -1 4202560 25352 0 0 0 74 3 0 0 15 0 19 0 834442593 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6421] ppid=6408 vsize=10557808 CPUtime=0.4 cores=0,2,4,6
/proc/6410/task/6421/stat : 6421 (java) S 6408 6410 5129 0 -1 4202560 1995 0 0 0 40 0 0 0 15 0 19 0 834442594 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 0 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6422] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6422/stat : 6422 (java) S 6408 6410 5129 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834442595 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6423] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6423/stat : 6423 (java) S 6408 6410 5129 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834442595 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6424] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6424/stat : 6424 (java) S 6408 6410 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284512689 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6425] ppid=6408 vsize=10557808 CPUtime=0.87 cores=0,2,4,6
/proc/6410/task/6425/stat : 6425 (java) S 6408 6410 5129 0 -1 4202560 6182 0 0 0 86 1 0 0 16 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 2 0 0 0
[pid=6410/tid=6426] ppid=6408 vsize=10557808 CPUtime=1.15 cores=0,2,4,6
/proc/6410/task/6426/stat : 6426 (java) S 6408 6410 5129 0 -1 4202560 5927 0 0 0 115 0 0 0 15 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6427] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6427/stat : 6427 (java) S 6408 6410 5129 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284504985 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
[pid=6410/tid=6428] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6428/stat : 6428 (java) S 6408 6410 5129 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834442597 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 0 0 0 0
[pid=6410/tid=6429] ppid=6408 vsize=10557808 CPUtime=0 cores=0,2,4,6
/proc/6410/task/6429/stat : 6429 (java) S 6408 6410 5129 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834442661 10811195392 988233 33554432000 1073741824 1073778376 140736337717616 18446744073709551615 268284505600 0 4 0 16800975 18446604450001505152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10557808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.6 s]
/proc/loadavg: 2.04 2.05 2.01 3/609 6537
/proc/meminfo: memFree=23918660/32950928 swapFree=43925852/67111528
[pid=6410] ppid=6408 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/6410/stat : 6410 (java) Z 6408 6410 5129 0 -1 4203548 998875 0 1 0 179899 131 0 0 17 0 2 0 834442591 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6410/statm: 0 0 0 0 0 0 0
[pid=6410/tid=6411] ppid=6408 vsize=0 CPUtime=1792.32 cores=0,2,4,6
/proc/6410/task/6411/stat : 6411 (java) R 6408 6410 5129 0 -1 4203588 817015 0 1 0 179129 103 0 0 25 0 2 0 834442592 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.63
CPU time (s): 1800.34
CPU user time (s): 1799
CPU system time (s): 1.3418
CPU usage (%): 100.318
Max. virtual memory (cumulated for all children) (KiB): 10557808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.3418
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 998875
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= 40319
involuntary context switches= 7371
runsolver used 10.8703 second user time and 23.3195 second system time
The end