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-3454259-1307191788/watcher-3454259-1307191788 -o /tmp/evaluation-result-3454259-1307191788/solver-3454259-1307191788 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454259-1307191788.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: 2.69 3.50 3.66 3/516 19408
/proc/meminfo: memFree=21522292/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 6004 0 1 0 0 0 0 0 18 0 2 0 830775505 10694979584 5708 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2611079 5721 917 9 0 2602235 0
[pid=19408/tid=19410] ppid=19406 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) R 19406 19408 15618 0 -1 4202560 8182 0 1 0 0 1 0 0 19 0 2 0 830775506 10694979584 8998 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.041229 s]
/proc/loadavg: 2.69 3.50 3.66 3/516 19408
/proc/meminfo: memFree=21522292/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 11248 0 1 0 2 1 0 0 18 0 13 0 830775505 10718699520 10946 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2616870 10948 1672 9 0 2607618 0
[pid=19408/tid=19410] ppid=19406 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) R 19406 19408 15618 0 -1 4202560 10103 0 1 0 1 1 0 0 25 0 13 0 830775506 10718699520 10948 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 47924497797125 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.1012 s]
/proc/loadavg: 2.69 3.50 3.66 3/516 19408
/proc/meminfo: memFree=21522292/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10540164 CPUtime=0.1 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 13097 0 1 0 9 1 0 0 18 0 18 0 830775505 10793127936 12786 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2635041 12788 2092 9 0 2625775 0
[pid=19408/tid=19410] ppid=19406 vsize=10540164 CPUtime=0.08 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) R 19406 19408 15618 0 -1 4202560 11180 0 1 0 7 1 0 0 18 0 18 0 830775506 10793127936 12788 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 47924497797125 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540164
[startup+0.301239 s]
/proc/loadavg: 2.69 3.50 3.66 3/516 19408
/proc/meminfo: memFree=21522292/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10544460 CPUtime=0.53 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 18734 0 1 0 51 2 0 0 18 0 18 0 830775505 10797527040 17376 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2636115 17377 2203 9 0 2626849 0
[pid=19408/tid=19410] ppid=19406 vsize=10544460 CPUtime=0.28 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) R 19406 19408 15618 0 -1 4202560 14215 0 1 0 27 1 0 0 18 0 18 0 830775506 10797527040 17379 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912505571688 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10544460
[startup+0.701026 s]
/proc/loadavg: 2.69 3.50 3.66 3/516 19408
/proc/meminfo: memFree=21522292/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10555324 CPUtime=1.62 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 38311 0 1 0 157 5 0 0 18 0 22 0 830775505 10808651776 34104 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2638831 34104 2228 9 0 2629565 0
[pid=19408/tid=19410] ppid=19406 vsize=10555324 CPUtime=0.54 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) S 19406 19408 15618 0 -1 4202560 25980 0 1 0 51 3 0 0 19 0 22 0 830775506 10808651776 34104 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10555324
[startup+1.50092 s]
/proc/loadavg: 2.69 3.50 3.66 6/560 19452
/proc/meminfo: memFree=21211884/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10554008 CPUtime=4.01 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 74581 0 1 0 393 8 0 0 18 0 22 0 830775505 10807304192 68144 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2638502 68145 2240 9 0 2629236 0
[pid=19408/tid=19410] ppid=19406 vsize=10554008 CPUtime=0.54 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) S 19406 19408 15618 0 -1 4202560 25980 0 1 0 51 3 0 0 15 0 22 0 830775506 10807304192 68145 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19421] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19421/stat : 19421 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830775507 10807304192 68145 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19422] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19422/stat : 19422 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830775507 10807304192 68146 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19423] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19423/stat : 19423 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830775507 10807304192 68147 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19424] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19424/stat : 19424 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830775507 10807304192 68147 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19425] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19425/stat : 19425 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830775507 10807304192 68147 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19426] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19426/stat : 19426 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830775507 10807304192 68148 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19427] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19427/stat : 19427 (java) S 19406 19408 15618 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 830775507 10807304192 68148 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19428] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19428/stat : 19428 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830775507 10807304192 68148 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19430] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19430/stat : 19430 (java) S 19406 19408 15618 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 830775508 10807304192 68149 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 0 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19433] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19433/stat : 19433 (java) S 19406 19408 15618 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 830775509 10807304192 68149 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19434] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19434/stat : 19434 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830775509 10807304192 68150 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19440] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19440/stat : 19440 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10807304192 68150 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512515505 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19441] ppid=19406 vsize=10554008 CPUtime=0.83 cores=1,3,5,7
/proc/19408/task/19441/stat : 19441 (java) S 19406 19408 15618 0 -1 4202560 8643 0 0 0 83 0 0 0 25 0 22 0 830775511 10807304192 68151 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19442] ppid=19406 vsize=10554008 CPUtime=0.87 cores=1,3,5,7
/proc/19408/task/19442/stat : 19442 (java) S 19406 19408 15618 0 -1 4202560 3973 0 0 0 87 0 0 0 15 0 22 0 830775511 10807304192 68151 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19443] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19443/stat : 19443 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10807304192 68152 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19444] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19444/stat : 19444 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830775511 10807304192 68152 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19449] ppid=19406 vsize=10554008 CPUtime=0.94 cores=1,3,5,7
/proc/19408/task/19449/stat : 19449 (java) R 19406 19408 15618 0 -1 4202560 456 0 0 0 94 0 0 0 23 0 22 0 830775560 10807304192 68152 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912506043913 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19408/tid=19450] ppid=19406 vsize=10554008 CPUtime=0.79 cores=1,3,5,7
/proc/19408/task/19450/stat : 19450 (java) R 19406 19408 15618 0 -1 4202560 34370 0 0 0 77 2 0 0 18 0 22 0 830775560 10807304192 68153 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912505783962 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19408/tid=19451] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19451/stat : 19451 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830775566 10807304192 68153 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19452] ppid=19406 vsize=10554008 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19452/stat : 19452 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830775570 10807304192 68154 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 10554008
[startup+3.1016 s]
/proc/loadavg: 2.79 3.51 3.66 8/560 19452
/proc/meminfo: memFree=20749624/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10555384 CPUtime=8 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 154528 0 1 0 784 16 0 0 18 0 22 0 830775505 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2638846 143077 2266 9 0 2629580 0
[pid=19408/tid=19410] ppid=19406 vsize=10555384 CPUtime=0.54 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) S 19406 19408 15618 0 -1 4202560 25980 0 1 0 51 3 0 0 15 0 22 0 830775506 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19421] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19421/stat : 19421 (java) S 19406 19408 15618 0 -1 4202560 1041 0 0 0 1 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19422] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19422/stat : 19422 (java) S 19406 19408 15618 0 -1 4202560 586 0 0 0 0 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19423] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19423/stat : 19423 (java) S 19406 19408 15618 0 -1 4202560 375 0 0 0 0 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19424] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19424/stat : 19424 (java) S 19406 19408 15618 0 -1 4202560 1099 0 0 0 1 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19425] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19425/stat : 19425 (java) S 19406 19408 15618 0 -1 4202560 122 0 0 0 0 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19426] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19426/stat : 19426 (java) S 19406 19408 15618 0 -1 4202560 1131 0 0 0 1 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19427] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19427/stat : 19427 (java) S 19406 19408 15618 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19428] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19428/stat : 19428 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830775507 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19430] ppid=19406 vsize=10555384 CPUtime=0.04 cores=1,3,5,7
/proc/19408/task/19430/stat : 19430 (java) S 19406 19408 15618 0 -1 4202560 4335 0 0 0 4 0 0 0 15 0 22 0 830775508 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 0 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19433] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19433/stat : 19433 (java) S 19406 19408 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830775509 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19434] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19434/stat : 19434 (java) S 19406 19408 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830775509 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19440] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19440/stat : 19440 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512515505 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19441] ppid=19406 vsize=10555384 CPUtime=1.01 cores=1,3,5,7
/proc/19408/task/19441/stat : 19441 (java) S 19406 19408 15618 0 -1 4202560 8980 0 0 0 101 0 0 0 15 0 22 0 830775511 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19442] ppid=19406 vsize=10555384 CPUtime=1.51 cores=1,3,5,7
/proc/19408/task/19442/stat : 19442 (java) S 19406 19408 15618 0 -1 4202560 10074 0 0 0 150 1 0 0 15 0 22 0 830775511 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19443] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19443/stat : 19443 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19444] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19444/stat : 19444 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830775511 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19449] ppid=19406 vsize=10555384 CPUtime=2.47 cores=1,3,5,7
/proc/19408/task/19449/stat : 19449 (java) R 19406 19408 15618 0 -1 4202560 771 0 0 0 247 0 0 0 25 0 22 0 830775560 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912505975487 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19408/tid=19450] ppid=19406 vsize=10555384 CPUtime=2.32 cores=1,3,5,7
/proc/19408/task/19450/stat : 19450 (java) R 19406 19408 15618 0 -1 4202560 98874 0 0 0 223 9 0 0 19 0 22 0 830775560 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912505881127 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19408/tid=19451] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19451/stat : 19451 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830775566 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19452] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19452/stat : 19452 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830775570 10808713216 143077 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 10555384
[startup+6.30098 s]
/proc/loadavg: 2.79 3.51 3.66 6/560 19452
/proc/meminfo: memFree=20167164/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10555384 CPUtime=14.41 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 161138 0 1 0 1424 17 0 0 18 0 22 0 830775505 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2638846 149683 2266 9 0 2629580 0
[pid=19408/tid=19410] ppid=19406 vsize=10555384 CPUtime=0.54 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) S 19406 19408 15618 0 -1 4202560 25980 0 1 0 51 3 0 0 15 0 22 0 830775506 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19421] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19421/stat : 19421 (java) S 19406 19408 15618 0 -1 4202560 1045 0 0 0 1 0 0 0 17 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19422] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19422/stat : 19422 (java) S 19406 19408 15618 0 -1 4202560 595 0 0 0 1 0 0 0 18 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19423] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19423/stat : 19423 (java) S 19406 19408 15618 0 -1 4202560 814 0 0 0 1 0 0 0 15 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19424] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19424/stat : 19424 (java) S 19406 19408 15618 0 -1 4202560 1100 0 0 0 1 0 0 0 15 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19425] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19425/stat : 19425 (java) S 19406 19408 15618 0 -1 4202560 511 0 0 0 0 0 0 0 15 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19426] ppid=19406 vsize=10555384 CPUtime=0.01 cores=1,3,5,7
/proc/19408/task/19426/stat : 19426 (java) S 19406 19408 15618 0 -1 4202560 1413 0 0 0 1 0 0 0 15 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19427] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19427/stat : 19427 (java) S 19406 19408 15618 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19428] ppid=19406 vsize=10555384 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19428/stat : 19428 (java) S 19406 19408 15618 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 22 0 830775507 10808713216 149683 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=19408/tid=19450] ppid=19406 vsize=10626548 CPUtime=677.54 cores=1,3,5,7
/proc/19408/task/19450/stat : 19450 (java) R 19406 19408 15618 0 -1 4202560 163337 0 0 0 67737 17 0 0 16 0 22 0 830775560 10881585152 303227 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912505881269 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19408/tid=19451] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19451/stat : 19451 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830775566 10881585152 303227 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19452] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19452/stat : 19452 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830775570 10881585152 303227 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1509.59
Current children cumulated vsize (KiB) 10626548
[startup+882.301 s]
/proc/loadavg: 3.90 3.86 3.77 4/560 19499
/proc/meminfo: memFree=16487460/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10626548 CPUtime=1617.39 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 323404 0 1 0 161697 42 0 0 18 0 22 0 830775505 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2656637 306106 2267 9 0 2647371 0
[pid=19408/tid=19410] ppid=19406 vsize=10626548 CPUtime=0.54 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) S 19406 19408 15618 0 -1 4202560 26201 0 1 0 51 3 0 0 15 0 22 0 830775506 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19421] ppid=19406 vsize=10626548 CPUtime=1.07 cores=1,3,5,7
/proc/19408/task/19421/stat : 19421 (java) S 19406 19408 15618 0 -1 4202560 1220 0 0 0 107 0 0 0 15 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19422] ppid=19406 vsize=10626548 CPUtime=1.18 cores=1,3,5,7
/proc/19408/task/19422/stat : 19422 (java) S 19406 19408 15618 0 -1 4202560 866 0 0 0 118 0 0 0 15 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19423] ppid=19406 vsize=10626548 CPUtime=1.16 cores=1,3,5,7
/proc/19408/task/19423/stat : 19423 (java) S 19406 19408 15618 0 -1 4202560 991 0 0 0 116 0 0 0 15 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19424] ppid=19406 vsize=10626548 CPUtime=1.22 cores=1,3,5,7
/proc/19408/task/19424/stat : 19424 (java) S 19406 19408 15618 0 -1 4202560 1235 0 0 0 122 0 0 0 16 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19425] ppid=19406 vsize=10626548 CPUtime=1.25 cores=1,3,5,7
/proc/19408/task/19425/stat : 19425 (java) S 19406 19408 15618 0 -1 4202560 616 0 0 0 125 0 0 0 15 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19426] ppid=19406 vsize=10626548 CPUtime=1.28 cores=1,3,5,7
/proc/19408/task/19426/stat : 19426 (java) S 19406 19408 15618 0 -1 4202560 1677 0 0 0 128 0 0 0 16 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19427] ppid=19406 vsize=10626548 CPUtime=1.06 cores=1,3,5,7
/proc/19408/task/19427/stat : 19427 (java) S 19406 19408 15618 0 -1 4202560 171 0 0 0 106 0 0 0 15 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19428] ppid=19406 vsize=10626548 CPUtime=1.25 cores=1,3,5,7
/proc/19408/task/19428/stat : 19428 (java) S 19406 19408 15618 0 -1 4202560 691 0 0 0 125 0 0 0 16 0 22 0 830775507 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19430] ppid=19406 vsize=10626548 CPUtime=153.69 cores=1,3,5,7
/proc/19408/task/19430/stat : 19430 (java) R 19406 19408 15618 0 -1 4202560 98655 0 0 0 15355 14 0 0 16 0 22 0 830775508 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 47924501387332 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=19408/tid=19433] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19433/stat : 19433 (java) S 19406 19408 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830775509 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19434] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19434/stat : 19434 (java) S 19406 19408 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830775509 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19440] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19440/stat : 19440 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512515505 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19441] ppid=19406 vsize=10626548 CPUtime=1.51 cores=1,3,5,7
/proc/19408/task/19441/stat : 19441 (java) S 19406 19408 15618 0 -1 4202560 11193 0 0 0 150 1 0 0 15 0 22 0 830775511 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19442] ppid=19406 vsize=10626548 CPUtime=2.33 cores=1,3,5,7
/proc/19408/task/19442/stat : 19442 (java) S 19406 19408 15618 0 -1 4202560 14466 0 0 0 231 2 0 0 15 0 22 0 830775511 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19443] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19443/stat : 19443 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19444] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19444/stat : 19444 (java) S 19406 19408 15618 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830775511 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19449] ppid=19406 vsize=10626548 CPUtime=724.91 cores=1,3,5,7
/proc/19408/task/19449/stat : 19449 (java) S 19406 19408 15618 0 -1 4202560 877 0 0 0 72491 0 0 0 18 0 22 0 830775560 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19450] ppid=19406 vsize=10626548 CPUtime=724.83 cores=1,3,5,7
/proc/19408/task/19450/stat : 19450 (java) S 19406 19408 15618 0 -1 4202560 163337 0 0 0 72466 17 0 0 18 0 22 0 830775560 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19451] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19451/stat : 19451 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830775566 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19452] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19452/stat : 19452 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830775570 10881585152 306106 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1617.39
Current children cumulated vsize (KiB) 10626548
[startup+942.302 s]
/proc/loadavg: 3.77 3.82 3.76 4/560 19591
/proc/meminfo: memFree=18757804/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10626548 CPUtime=1723.05 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 325957 0 1 0 172262 43 0 0 18 0 22 0 830775505 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2656637 308633 2267 9 0 2647371 0
[pid=19408/tid=19410] ppid=19406 vsize=10626548 CPUtime=0.54 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) S 19406 19408 15618 0 -1 4202560 26221 0 1 0 51 3 0 0 15 0 22 0 830775506 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19421] ppid=19406 vsize=10626548 CPUtime=1.18 cores=1,3,5,7
/proc/19408/task/19421/stat : 19421 (java) S 19406 19408 15618 0 -1 4202560 1232 0 0 0 118 0 0 0 15 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19422] ppid=19406 vsize=10626548 CPUtime=1.29 cores=1,3,5,7
/proc/19408/task/19422/stat : 19422 (java) S 19406 19408 15618 0 -1 4202560 878 0 0 0 129 0 0 0 16 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19423] ppid=19406 vsize=10626548 CPUtime=1.25 cores=1,3,5,7
/proc/19408/task/19423/stat : 19423 (java) S 19406 19408 15618 0 -1 4202560 1002 0 0 0 125 0 0 0 16 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19424] ppid=19406 vsize=10626548 CPUtime=1.31 cores=1,3,5,7
/proc/19408/task/19424/stat : 19424 (java) S 19406 19408 15618 0 -1 4202560 1245 0 0 0 131 0 0 0 16 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19425] ppid=19406 vsize=10626548 CPUtime=1.31 cores=1,3,5,7
/proc/19408/task/19425/stat : 19425 (java) S 19406 19408 15618 0 -1 4202560 625 0 0 0 131 0 0 0 15 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19426] ppid=19406 vsize=10626548 CPUtime=1.33 cores=1,3,5,7
/proc/19408/task/19426/stat : 19426 (java) S 19406 19408 15618 0 -1 4202560 1680 0 0 0 133 0 0 0 15 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19427] ppid=19406 vsize=10626548 CPUtime=1.18 cores=1,3,5,7
/proc/19408/task/19427/stat : 19427 (java) S 19406 19408 15618 0 -1 4202560 176 0 0 0 118 0 0 0 16 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19428] ppid=19406 vsize=10626548 CPUtime=1.35 cores=1,3,5,7
/proc/19408/task/19428/stat : 19428 (java) S 19406 19408 15618 0 -1 4202560 691 0 0 0 135 0 0 0 15 0 22 0 830775507 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19430] ppid=19406 vsize=10626548 CPUtime=168.36 cores=1,3,5,7
/proc/19408/task/19430/stat : 19430 (java) S 19406 19408 15618 0 -1 4202560 101122 0 0 0 16821 15 0 0 16 0 22 0 830775508 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 0 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19433] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19433/stat : 19433 (java) S 19406 19408 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830775509 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19434] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19434/stat : 19434 (java) S 19406 19408 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830775509 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19440] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19440/stat : 19440 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512515505 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19441] ppid=19406 vsize=10626548 CPUtime=1.51 cores=1,3,5,7
/proc/19408/task/19441/stat : 19441 (java) S 19406 19408 15618 0 -1 4202560 11193 0 0 0 150 1 0 0 15 0 22 0 830775511 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19442] ppid=19406 vsize=10626548 CPUtime=2.42 cores=1,3,5,7
/proc/19408/task/19442/stat : 19442 (java) S 19406 19408 15618 0 -1 4202560 14467 0 0 0 240 2 0 0 15 0 22 0 830775511 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19443] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19443/stat : 19443 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19444] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19444/stat : 19444 (java) S 19406 19408 15618 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830775511 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19449] ppid=19406 vsize=10626548 CPUtime=770 cores=1,3,5,7
/proc/19408/task/19449/stat : 19449 (java) R 19406 19408 15618 0 -1 4202560 877 0 0 0 76999 1 0 0 16 0 22 0 830775560 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912506070441 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19408/tid=19450] ppid=19406 vsize=10626548 CPUtime=769.91 cores=1,3,5,7
/proc/19408/task/19450/stat : 19450 (java) R 19406 19408 15618 0 -1 4202560 163338 0 0 0 76974 17 0 0 15 0 22 0 830775560 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912505880447 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19408/tid=19451] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19451/stat : 19451 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830775566 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19452] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19452/stat : 19452 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830775570 10881585152 308633 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1723.05
Current children cumulated vsize (KiB) 10626548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+986.402 s]
/proc/loadavg: 3.60 3.78 3.75 4/556 19643
/proc/meminfo: memFree=17966448/32950928 swapFree=34259960/67111528
[pid=19408] ppid=19406 vsize=10626548 CPUtime=1800.08 cores=1,3,5,7
/proc/19408/stat : 19408 (java) S 19406 19408 15618 0 -1 4202496 327811 0 1 0 179964 44 0 0 18 0 22 0 830775505 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19408/statm: 2656637 310464 2267 9 0 2647371 0
[pid=19408/tid=19410] ppid=19406 vsize=10626548 CPUtime=0.54 cores=1,3,5,7
/proc/19408/task/19410/stat : 19410 (java) S 19406 19408 15618 0 -1 4202560 26236 0 1 0 51 3 0 0 15 0 22 0 830775506 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19421] ppid=19406 vsize=10626548 CPUtime=1.27 cores=1,3,5,7
/proc/19408/task/19421/stat : 19421 (java) S 19406 19408 15618 0 -1 4202560 1240 0 0 0 127 0 0 0 15 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19422] ppid=19406 vsize=10626548 CPUtime=1.35 cores=1,3,5,7
/proc/19408/task/19422/stat : 19422 (java) S 19406 19408 15618 0 -1 4202560 891 0 0 0 135 0 0 0 15 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19423] ppid=19406 vsize=10626548 CPUtime=1.33 cores=1,3,5,7
/proc/19408/task/19423/stat : 19423 (java) S 19406 19408 15618 0 -1 4202560 1011 0 0 0 133 0 0 0 15 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19424] ppid=19406 vsize=10626548 CPUtime=1.39 cores=1,3,5,7
/proc/19408/task/19424/stat : 19424 (java) S 19406 19408 15618 0 -1 4202560 1250 0 0 0 139 0 0 0 16 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19425] ppid=19406 vsize=10626548 CPUtime=1.42 cores=1,3,5,7
/proc/19408/task/19425/stat : 19425 (java) S 19406 19408 15618 0 -1 4202560 639 0 0 0 142 0 0 0 16 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19426] ppid=19406 vsize=10626548 CPUtime=1.38 cores=1,3,5,7
/proc/19408/task/19426/stat : 19426 (java) S 19406 19408 15618 0 -1 4202560 1683 0 0 0 138 0 0 0 15 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19427] ppid=19406 vsize=10626548 CPUtime=1.22 cores=1,3,5,7
/proc/19408/task/19427/stat : 19427 (java) S 19406 19408 15618 0 -1 4202560 184 0 0 0 122 0 0 0 15 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19428] ppid=19406 vsize=10626548 CPUtime=1.42 cores=1,3,5,7
/proc/19408/task/19428/stat : 19428 (java) S 19406 19408 15618 0 -1 4202560 709 0 0 0 142 0 0 0 15 0 22 0 830775507 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19430] ppid=19406 vsize=10626548 CPUtime=179.72 cores=1,3,5,7
/proc/19408/task/19430/stat : 19430 (java) S 19406 19408 15618 0 -1 4202560 102879 0 0 0 17957 15 0 0 16 0 22 0 830775508 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 0 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19433] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19433/stat : 19433 (java) S 19406 19408 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830775509 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19434] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19434/stat : 19434 (java) S 19406 19408 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830775509 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19440] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19440/stat : 19440 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512515505 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19441] ppid=19406 vsize=10626548 CPUtime=1.51 cores=1,3,5,7
/proc/19408/task/19441/stat : 19441 (java) S 19406 19408 15618 0 -1 4202560 11193 0 0 0 150 1 0 0 15 0 22 0 830775511 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 5 0 0 0
[pid=19408/tid=19442] ppid=19406 vsize=10626548 CPUtime=2.42 cores=1,3,5,7
/proc/19408/task/19442/stat : 19442 (java) S 19406 19408 15618 0 -1 4202560 14467 0 0 0 240 2 0 0 15 0 22 0 830775511 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
[pid=19408/tid=19443] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19443/stat : 19443 (java) S 19406 19408 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830775511 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512507801 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19444] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19444/stat : 19444 (java) S 19406 19408 15618 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 830775511 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 7 0 0 0
[pid=19408/tid=19449] ppid=19406 vsize=10626548 CPUtime=802.55 cores=1,3,5,7
/proc/19408/task/19449/stat : 19449 (java) R 19406 19408 15618 0 -1 4202560 877 0 0 0 80254 1 0 0 16 0 22 0 830775560 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912506013876 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19408/tid=19450] ppid=19406 vsize=10626548 CPUtime=802.46 cores=1,3,5,7
/proc/19408/task/19450/stat : 19450 (java) R 19406 19408 15618 0 -1 4202560 163338 0 0 0 80229 17 0 0 16 0 22 0 830775560 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 46912505881206 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19408/tid=19451] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19451/stat : 19451 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830775566 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 3 0 0 0
[pid=19408/tid=19452] ppid=19406 vsize=10626548 CPUtime=0 cores=1,3,5,7
/proc/19408/task/19452/stat : 19452 (java) S 19406 19408 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830775570 10881585152 310464 33554432000 1073741824 1073778376 140737149042592 18446744073709551615 254512508416 0 4 0 16800975 18446604462103554048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10626548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 986.492
CPU time (s): 1800.2
CPU user time (s): 1799.71
CPU system time (s): 0.495924
CPU usage (%): 182.485
Max. virtual memory (cumulated for all children) (KiB): 10632440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.495924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327843
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= 32766
involuntary context switches= 16811
runsolver used 5.2412 second user time and 12.7971 second system time
The end