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-3453887-1307194383/watcher-3453887-1307194383 -o /tmp/evaluation-result-3453887-1307194383/solver-3453887-1307194383 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453887-1307194383.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.89 3.73 3.65 3/526 15480
/proc/meminfo: memFree=29425156/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 5729 0 1 0 0 0 0 0 25 0 2 0 831040943 10694979584 5432 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2611079 5445 917 9 0 2602235 0
[pid=15480/tid=15481] ppid=15478 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) R 15478 15480 9506 0 -1 4202560 7230 0 1 0 0 0 0 0 25 0 2 0 831040943 10694979584 8046 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0961931 s]
/proc/loadavg: 3.89 3.73 3.65 3/526 15480
/proc/meminfo: memFree=29425156/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10540132 CPUtime=0.1 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 13053 0 1 0 9 1 0 0 25 0 18 0 831040943 10793095168 12727 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2635033 12728 2092 9 0 2625767 0
[pid=15480/tid=15481] ppid=15478 vsize=10540132 CPUtime=0.08 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) R 15478 15480 9506 0 -1 4202560 11118 0 1 0 7 1 0 0 18 0 18 0 831040943 10793095168 12728 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 47467700900611 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) 10540132
[startup+0.101188 s]
/proc/loadavg: 3.89 3.73 3.65 3/526 15480
/proc/meminfo: memFree=29425156/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10540132 CPUtime=0.1 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 13148 0 1 0 9 1 0 0 25 0 18 0 831040943 10793095168 12822 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2635033 12822 2092 9 0 2625767 0
[pid=15480/tid=15481] ppid=15478 vsize=10540132 CPUtime=0.08 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) R 15478 15480 9506 0 -1 4202560 11214 0 1 0 7 1 0 0 18 0 18 0 831040943 10793095168 12824 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 47467700895749 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) 10540132
[startup+0.30111 s]
/proc/loadavg: 3.89 3.73 3.65 3/526 15480
/proc/meminfo: memFree=29425156/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10550512 CPUtime=0.69 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 17946 0 1 0 67 2 0 0 25 0 22 0 831040943 10803724288 16190 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2637628 16191 2201 9 0 2628362 0
[pid=15480/tid=15481] ppid=15478 vsize=10550512 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 19 0 22 0 831040943 10803724288 16191 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10550512
[startup+0.701042 s]
/proc/loadavg: 3.89 3.73 3.65 3/526 15480
/proc/meminfo: memFree=29425156/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10558956 CPUtime=2.29 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 41711 0 1 0 224 5 0 0 25 0 22 0 831040943 10812370944 35431 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2639739 35435 2220 9 0 2630473 0
[pid=15480/tid=15481] ppid=15478 vsize=10558956 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 831040943 10812370944 35435 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10558956
[startup+1.50094 s]
/proc/loadavg: 3.89 3.73 3.65 7/548 15502
/proc/meminfo: memFree=29221884/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10560124 CPUtime=4.71 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 82704 0 1 0 461 10 0 0 25 0 22 0 831040943 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2640031 72246 2250 9 0 2630765 0
[pid=15480/tid=15481] ppid=15478 vsize=10560124 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 831040943 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15483] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15483/stat : 15483 (java) R 15478 15480 9506 0 -1 4202560 268 0 0 0 0 0 0 0 16 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15480/tid=15484] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15484/stat : 15484 (java) S 15478 15480 9506 0 -1 4202560 57 0 0 0 0 0 0 0 16 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15485] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15485/stat : 15485 (java) S 15478 15480 9506 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15486] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15486/stat : 15486 (java) S 15478 15480 9506 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15487] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15487/stat : 15487 (java) S 15478 15480 9506 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15488] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15488/stat : 15488 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15489] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15489/stat : 15489 (java) S 15478 15480 9506 0 -1 4202560 334 0 0 0 0 0 0 0 15 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15490] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15490/stat : 15490 (java) S 15478 15480 9506 0 -1 4202560 319 0 0 0 0 0 0 0 16 0 22 0 831040945 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15491] ppid=15478 vsize=10560124 CPUtime=0.03 cores=1,3,5,7
/proc/15480/task/15491/stat : 15491 (java) R 15478 15480 9506 0 -1 4202560 986 0 0 0 3 0 0 0 15 0 22 0 831040946 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 47467700933192 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=15480/tid=15492] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15492/stat : 15492 (java) S 15478 15480 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831040946 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15493] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15493/stat : 15493 (java) S 15478 15480 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831040946 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15494] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15494/stat : 15494 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646338993 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15495] ppid=15478 vsize=10560124 CPUtime=0.88 cores=1,3,5,7
/proc/15480/task/15495/stat : 15495 (java) S 15478 15480 9506 0 -1 4202560 10246 0 0 0 87 1 0 0 21 0 22 0 831040948 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15496] ppid=15478 vsize=10560124 CPUtime=1.04 cores=1,3,5,7
/proc/15480/task/15496/stat : 15496 (java) S 15478 15480 9506 0 -1 4202560 7807 0 0 0 103 1 0 0 16 0 22 0 831040948 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15497] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15497/stat : 15497 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15498] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15498/stat : 15498 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831040949 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15499] ppid=15478 vsize=10560124 CPUtime=1.28 cores=1,3,5,7
/proc/15480/task/15499/stat : 15499 (java) S 15478 15480 9506 0 -1 4202560 507 0 0 0 128 0 0 0 24 0 22 0 831040960 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15500] ppid=15478 vsize=10560124 CPUtime=1.27 cores=1,3,5,7
/proc/15480/task/15500/stat : 15500 (java) S 15478 15480 9506 0 -1 4202560 48888 0 0 0 121 6 0 0 25 0 22 0 831040960 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15501] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15501/stat : 15501 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831040960 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15502] ppid=15478 vsize=10560124 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15502/stat : 15502 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831040960 10813566976 72246 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 10560124
[startup+3.10165 s]
/proc/loadavg: 3.89 3.73 3.65 5/548 15502
/proc/meminfo: memFree=29043820/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10567136 CPUtime=8.44 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 122384 0 1 0 829 15 0 0 25 0 22 0 831040943 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2641784 109145 2257 9 0 2632518 0
[pid=15480/tid=15481] ppid=15478 vsize=10567136 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 831040943 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15483] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15483/stat : 15483 (java) S 15478 15480 9506 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15484] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15484/stat : 15484 (java) S 15478 15480 9506 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15485] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15485/stat : 15485 (java) S 15478 15480 9506 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15486] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15486/stat : 15486 (java) S 15478 15480 9506 0 -1 4202560 80 0 0 0 0 0 0 0 16 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15487] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15487/stat : 15487 (java) S 15478 15480 9506 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15488] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15488/stat : 15488 (java) S 15478 15480 9506 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15489] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15489/stat : 15489 (java) S 15478 15480 9506 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15490] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15490/stat : 15490 (java) S 15478 15480 9506 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15491] ppid=15478 vsize=10567136 CPUtime=0.11 cores=1,3,5,7
/proc/15480/task/15491/stat : 15491 (java) R 15478 15480 9506 0 -1 4202560 2191 0 0 0 11 0 0 0 15 0 22 0 831040946 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 47467703757967 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=15480/tid=15492] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15492/stat : 15492 (java) S 15478 15480 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831040946 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15493] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15493/stat : 15493 (java) S 15478 15480 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831040946 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15494] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15494/stat : 15494 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646338993 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15495] ppid=15478 vsize=10567136 CPUtime=1.25 cores=1,3,5,7
/proc/15480/task/15495/stat : 15495 (java) S 15478 15480 9506 0 -1 4202560 12493 0 0 0 124 1 0 0 15 0 22 0 831040948 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15496] ppid=15478 vsize=10567136 CPUtime=1.27 cores=1,3,5,7
/proc/15480/task/15496/stat : 15496 (java) S 15478 15480 9506 0 -1 4202560 9747 0 0 0 126 1 0 0 15 0 22 0 831040948 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15497] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15497/stat : 15497 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15498] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15498/stat : 15498 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831040949 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15499] ppid=15478 vsize=10567136 CPUtime=2.78 cores=1,3,5,7
/proc/15480/task/15499/stat : 15499 (java) S 15478 15480 9506 0 -1 4202560 610 0 0 0 278 0 0 0 18 0 22 0 831040960 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15500] ppid=15478 vsize=10567136 CPUtime=2.78 cores=1,3,5,7
/proc/15480/task/15500/stat : 15500 (java) S 15478 15480 9506 0 -1 4202560 82864 0 0 0 268 10 0 0 25 0 22 0 831040960 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15501] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15501/stat : 15501 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831040960 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15502] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15502/stat : 15502 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831040960 10820747264 109145 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.44
Current children cumulated vsize (KiB) 10567136
Solver just ended. Dumping a history of the last processes samples
[startup+4.70136 s]
/proc/loadavg: 3.90 3.73 3.65 5/548 15505
/proc/meminfo: memFree=28856596/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10567136 CPUtime=11.21 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 155778 0 1 0 1103 18 0 0 25 0 22 0 831040943 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2641784 142535 2258 9 0 2632518 0
[pid=15480/tid=15481] ppid=15478 vsize=10567136 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 831040943 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15483] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15483/stat : 15483 (java) S 15478 15480 9506 0 -1 4202560 268 0 0 0 0 0 0 0 16 0 22 0 831040945 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15484] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15484/stat : 15484 (java) S 15478 15480 9506 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 22 0 831040945 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15485] ppid=15478 vsize=10567136 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15485/stat : 15485 (java) S 15478 15480 9506 0 -1 4202560 340 0 0 0 1 0 0 0 16 0 22 0 831040945 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15486] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15486/stat : 15486 (java) S 15478 15480 9506 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15487] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15487/stat : 15487 (java) S 15478 15480 9506 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 22 0 831040945 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15488] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15488/stat : 15488 (java) S 15478 15480 9506 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15489] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15489/stat : 15489 (java) S 15478 15480 9506 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 142535 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/15480/task/15489/stat : 15489 (java) S 15478 15480 9506 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 831040945 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15490] ppid=15478 vsize=10567136 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15490/stat : 15490 (java) S 15478 15480 9506 0 -1 4202560 359 0 0 0 1 0 0 0 15 0 22 0 831040945 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15491] ppid=15478 vsize=10567136 CPUtime=0.23 cores=1,3,5,7
/proc/15480/task/15491/stat : 15491 (java) S 15478 15480 9506 0 -1 4202560 3241 0 0 0 23 0 0 0 16 0 22 0 831040946 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 0 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15492] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15492/stat : 15492 (java) S 15478 15480 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831040946 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15493] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15493/stat : 15493 (java) S 15478 15480 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831040946 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15494] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15494/stat : 15494 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646338993 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15495] ppid=15478 vsize=10567136 CPUtime=1.25 cores=1,3,5,7
/proc/15480/task/15495/stat : 15495 (java) S 15478 15480 9506 0 -1 4202560 12493 0 0 0 124 1 0 0 15 0 22 0 831040948 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15496] ppid=15478 vsize=10567136 CPUtime=1.34 cores=1,3,5,7
/proc/15480/task/15496/stat : 15496 (java) S 15478 15480 9506 0 -1 4202560 9748 0 0 0 133 1 0 0 15 0 22 0 831040948 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15497] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15497/stat : 15497 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15498] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15498/stat : 15498 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831040949 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15501] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15501/stat : 15501 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831040960 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15503] ppid=15478 vsize=10567136 CPUtime=1.71 cores=1,3,5,7
/proc/15480/task/15503/stat : 15503 (java) R 15478 15480 9506 0 -1 4202560 3 0 0 0 171 0 0 0 17 0 22 0 831041312 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 46912505535197 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15480/tid=15504] ppid=15478 vsize=10567136 CPUtime=1.7 cores=1,3,5,7
/proc/15480/task/15504/stat : 15504 (java) R 15478 15480 9506 0 -1 4202560 32272 0 0 0 167 3 0 0 19 0 22 0 831041312 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 46912505638323 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15480/tid=15505] ppid=15478 vsize=10567136 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15505/stat : 15505 (java) S 15478 15480 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831041312 10820747264 142611 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.81
Current children cumulated vsize (KiB) 10567136
[startup+5.90116 s]
/proc/loadavg: 3.90 3.73 3.65 5/548 15505
/proc/meminfo: memFree=28855232/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10562612 CPUtime=13.54 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 156198 0 1 0 1336 18 0 0 25 0 22 0 831040943 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2640653 142239 2258 9 0 2631387 0
[pid=15480/tid=15481] ppid=15478 vsize=10562612 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 831040943 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15483] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15483/stat : 15483 (java) S 15478 15480 9506 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15484] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15484/stat : 15484 (java) S 15478 15480 9506 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15485] ppid=15478 vsize=10562612 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15485/stat : 15485 (java) S 15478 15480 9506 0 -1 4202560 340 0 0 0 1 0 0 0 15 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15486] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15486/stat : 15486 (java) S 15478 15480 9506 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15487] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15487/stat : 15487 (java) S 15478 15480 9506 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15488] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15488/stat : 15488 (java) S 15478 15480 9506 0 -1 4202560 125 0 0 0 0 0 0 0 16 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15489] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15489/stat : 15489 (java) S 15478 15480 9506 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15490] ppid=15478 vsize=10562612 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15490/stat : 15490 (java) S 15478 15480 9506 0 -1 4202560 359 0 0 0 1 0 0 0 15 0 22 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15491] ppid=15478 vsize=10562612 CPUtime=0.27 cores=1,3,5,7
/proc/15480/task/15491/stat : 15491 (java) S 15478 15480 9506 0 -1 4202560 3583 0 0 0 27 0 0 0 16 0 22 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 0 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15492] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15492/stat : 15492 (java) S 15478 15480 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15493] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15493/stat : 15493 (java) S 15478 15480 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15494] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15494/stat : 15494 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646338993 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15495] ppid=15478 vsize=10562612 CPUtime=1.25 cores=1,3,5,7
/proc/15480/task/15495/stat : 15495 (java) S 15478 15480 9506 0 -1 4202560 12493 0 0 0 124 1 0 0 15 0 22 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15496] ppid=15478 vsize=10562612 CPUtime=1.34 cores=1,3,5,7
/proc/15480/task/15496/stat : 15496 (java) S 15478 15480 9506 0 -1 4202560 9748 0 0 0 133 1 0 0 15 0 22 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15497] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15497/stat : 15497 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15498] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15498/stat : 15498 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831040949 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15501] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15501/stat : 15501 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831040960 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15503] ppid=15478 vsize=10562612 CPUtime=2.05 cores=1,3,5,7
/proc/15480/task/15503/stat : 15503 (java) R 15478 15480 9506 0 -1 4202560 4 0 0 0 205 0 0 0 17 0 22 0 831041312 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 46912505519425 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15480/tid=15504] ppid=15478 vsize=10562612 CPUtime=2.05 cores=1,3,5,7
/proc/15480/task/15504/stat : 15504 (java) R 15478 15480 9506 0 -1 4202560 32272 0 0 0 202 3 0 0 19 0 22 0 831041312 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 46912505584007 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15480/tid=15505] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15505/stat : 15505 (java) S 15478 15480 9506 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831041312 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.54
Current children cumulated vsize (KiB) 10562612
[startup+6.10112 s]
/proc/loadavg: 3.90 3.73 3.65 5/548 15505
/proc/meminfo: memFree=28855232/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10562612 CPUtime=13.9 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 156198 0 1 0 1372 18 0 0 25 0 19 0 831040943 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2640653 142239 2258 9 0 2631387 0
[pid=15480/tid=15481] ppid=15478 vsize=10562612 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 19 0 831040943 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15483] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15483/stat : 15483 (java) S 15478 15480 9506 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15484] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15484/stat : 15484 (java) S 15478 15480 9506 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15485] ppid=15478 vsize=10562612 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15485/stat : 15485 (java) S 15478 15480 9506 0 -1 4202560 340 0 0 0 1 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15486] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15486/stat : 15486 (java) S 15478 15480 9506 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15487] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15487/stat : 15487 (java) S 15478 15480 9506 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15488] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15488/stat : 15488 (java) S 15478 15480 9506 0 -1 4202560 125 0 0 0 0 0 0 0 16 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15489] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15489/stat : 15489 (java) S 15478 15480 9506 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15490] ppid=15478 vsize=10562612 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15490/stat : 15490 (java) S 15478 15480 9506 0 -1 4202560 359 0 0 0 1 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15491] ppid=15478 vsize=10562612 CPUtime=0.27 cores=1,3,5,7
/proc/15480/task/15491/stat : 15491 (java) S 15478 15480 9506 0 -1 4202560 3583 0 0 0 27 0 0 0 16 0 19 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 0 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15492] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15492/stat : 15492 (java) S 15478 15480 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15493] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15493/stat : 15493 (java) S 15478 15480 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15494] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15494/stat : 15494 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646338993 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15495] ppid=15478 vsize=10562612 CPUtime=1.25 cores=1,3,5,7
/proc/15480/task/15495/stat : 15495 (java) S 15478 15480 9506 0 -1 4202560 12493 0 0 0 124 1 0 0 15 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15496] ppid=15478 vsize=10562612 CPUtime=1.34 cores=1,3,5,7
/proc/15480/task/15496/stat : 15496 (java) S 15478 15480 9506 0 -1 4202560 9748 0 0 0 133 1 0 0 15 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15497] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15497/stat : 15497 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15498] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15498/stat : 15498 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831040949 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15501] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15501/stat : 15501 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831040960 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.9
Current children cumulated vsize (KiB) 10562612
[startup+6.20111 s]
/proc/loadavg: 3.90 3.73 3.65 5/548 15505
/proc/meminfo: memFree=28855232/32951124 swapFree=51712236/67111528
[pid=15480] ppid=15478 vsize=10562612 CPUtime=13.9 cores=1,3,5,7
/proc/15480/stat : 15480 (java) S 15478 15480 9506 0 -1 4202496 156198 0 1 0 1372 18 0 0 25 0 19 0 831040943 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15480/statm: 2640653 142239 2258 9 0 2631387 0
[pid=15480/tid=15481] ppid=15478 vsize=10562612 CPUtime=0.15 cores=1,3,5,7
/proc/15480/task/15481/stat : 15481 (java) S 15478 15480 9506 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 19 0 831040943 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15483] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15483/stat : 15483 (java) S 15478 15480 9506 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15484] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15484/stat : 15484 (java) S 15478 15480 9506 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15485] ppid=15478 vsize=10562612 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15485/stat : 15485 (java) S 15478 15480 9506 0 -1 4202560 340 0 0 0 1 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15486] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15486/stat : 15486 (java) S 15478 15480 9506 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15487] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15487/stat : 15487 (java) S 15478 15480 9506 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15488] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15488/stat : 15488 (java) S 15478 15480 9506 0 -1 4202560 125 0 0 0 0 0 0 0 16 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15489] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15489/stat : 15489 (java) S 15478 15480 9506 0 -1 4202560 336 0 0 0 0 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 7 0 0 0
[pid=15480/tid=15490] ppid=15478 vsize=10562612 CPUtime=0.01 cores=1,3,5,7
/proc/15480/task/15490/stat : 15490 (java) S 15478 15480 9506 0 -1 4202560 359 0 0 0 1 0 0 0 15 0 19 0 831040945 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15491] ppid=15478 vsize=10562612 CPUtime=0.27 cores=1,3,5,7
/proc/15480/task/15491/stat : 15491 (java) S 15478 15480 9506 0 -1 4202560 3583 0 0 0 27 0 0 0 16 0 19 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 0 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15492] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15492/stat : 15492 (java) S 15478 15480 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15493] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15493/stat : 15493 (java) S 15478 15480 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831040946 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15494] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15494/stat : 15494 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646338993 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15495] ppid=15478 vsize=10562612 CPUtime=1.25 cores=1,3,5,7
/proc/15480/task/15495/stat : 15495 (java) S 15478 15480 9506 0 -1 4202560 12493 0 0 0 124 1 0 0 15 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15496] ppid=15478 vsize=10562612 CPUtime=1.34 cores=1,3,5,7
/proc/15480/task/15496/stat : 15496 (java) S 15478 15480 9506 0 -1 4202560 9748 0 0 0 133 1 0 0 15 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 5 0 0 0
[pid=15480/tid=15497] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15497/stat : 15497 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831040948 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331289 0 4 0 16800975 18446604469320442944 0 0 -1 3 0 0 0
[pid=15480/tid=15498] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15498/stat : 15498 (java) S 15478 15480 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831040949 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
[pid=15480/tid=15501] ppid=15478 vsize=10562612 CPUtime=0 cores=1,3,5,7
/proc/15480/task/15501/stat : 15501 (java) S 15478 15480 9506 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831040960 10816114688 142239 33554432000 1073741824 1073778376 140734833980224 18446744073709551615 216646331904 0 4 0 16800975 18446604469320442944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.9
Current children cumulated vsize (KiB) 10562612
Child status: 30
Real time (s): 6.28021
CPU time (s): 14.0079
CPU user time (s): 13.7959
CPU system time (s): 0.211967
CPU usage (%): 223.048
Max. virtual memory (cumulated for all children) (KiB): 10570816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7959
system time used= 0.211967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156201
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= 721
involuntary context switches= 324
runsolver used 0.027995 second user time and 0.088986 second system time
The end