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-3459138-1307134121/watcher-3459138-1307134121 -o /tmp/evaluation-result-3459138-1307134121/solver-3459138-1307134121 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459138-1307134121.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: 1.94 2.23 2.85 3/545 13454
/proc/meminfo: memFree=24900252/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 3699 0 1 0 0 0 0 0 25 0 2 0 903642771 13850947584 3400 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3381579 3414 917 9 0 3372735 0
[pid=13454/tid=13455] ppid=13452 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 7157 0 1 0 0 0 0 0 25 0 2 0 903642771 13850947584 7973 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0770029 s]
/proc/loadavg: 1.94 2.23 2.85 3/545 13454
/proc/meminfo: memFree=24900252/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13555700 CPUtime=0.06 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 14415 0 1 0 5 1 0 0 25 0 18 0 903642771 13881036800 14111 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3388925 14112 1754 9 0 3379659 0
[pid=13454/tid=13455] ppid=13452 vsize=13555700 CPUtime=0.06 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 13242 0 1 0 5 1 0 0 25 0 18 0 903642771 13881036800 14112 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555700
[startup+0.100995 s]
/proc/loadavg: 1.94 2.23 2.85 3/545 13454
/proc/meminfo: memFree=24900252/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13623284 CPUtime=0.1 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 15539 0 1 0 9 1 0 0 25 0 18 0 903642771 13950242816 15235 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3405821 15235 2092 9 0 3396555 0
[pid=13454/tid=13455] ppid=13452 vsize=13623284 CPUtime=0.08 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 13630 0 1 0 7 1 0 0 25 0 18 0 903642771 13950242816 15236 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216734839841 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13623284
[startup+0.300962 s]
/proc/loadavg: 1.94 2.23 2.85 3/545 13454
/proc/meminfo: memFree=24900252/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13627384 CPUtime=0.55 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 18638 0 1 0 53 2 0 0 25 0 19 0 903642771 13954441216 17439 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3406846 17439 2214 9 0 3397580 0
[pid=13454/tid=13455] ppid=13452 vsize=13627384 CPUtime=0.29 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 14233 0 1 0 27 2 0 0 25 0 19 0 903642771 13954441216 17439 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 46912505549146 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13627384
[startup+0.700856 s]
/proc/loadavg: 1.94 2.23 2.85 3/545 13454
/proc/meminfo: memFree=24900252/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13627384 CPUtime=1.04 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 19635 0 1 0 102 2 0 0 25 0 19 0 903642771 13954441216 18296 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3406846 18296 2246 9 0 3397580 0
[pid=13454/tid=13455] ppid=13452 vsize=13627384 CPUtime=0.67 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13454 11644 0 -1 4202560 14437 0 1 0 65 2 0 0 18 0 19 0 903642771 13954441216 18296 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13627384
[startup+1.50076 s]
/proc/loadavg: 1.94 2.23 2.85 4/564 13473
/proc/meminfo: memFree=24834028/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13627384 CPUtime=1.88 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 20037 0 1 0 185 3 0 0 25 0 19 0 903642771 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3406846 18654 2247 9 0 3397580 0
[pid=13454/tid=13455] ppid=13452 vsize=13627384 CPUtime=1.43 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 14438 0 1 0 141 2 0 0 18 0 19 0 903642771 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 46912505548821 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13454 11644 0 -1 4202560 173 0 0 0 0 0 0 0 16 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13454 11644 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13454 11644 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13454 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13454 11644 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13454 11644 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=13627384 CPUtime=0.05 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13454 11644 0 -1 4202560 397 0 0 0 5 0 0 0 15 0 19 0 903642774 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13454 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=13627384 CPUtime=0.23 cores=1,3,5,7
/proc/13454/task/13469/stat : 13469 (java) S 13452 13454 11644 0 -1 4202560 2171 0 0 0 23 0 0 0 15 0 19 0 903642777 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=13627384 CPUtime=0.14 cores=1,3,5,7
/proc/13454/task/13470/stat : 13470 (java) S 13452 13454 11644 0 -1 4202560 1286 0 0 0 14 0 0 0 16 0 19 0 903642777 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=13454/tid=13471] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13471/stat : 13471 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13472] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13472/stat : 13472 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903642777 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13473] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13473/stat : 13473 (java) S 13452 13454 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903642787 13954441216 18654 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13627384
[startup+3.10148 s]
/proc/loadavg: 1.94 2.23 2.85 3/564 13473
/proc/meminfo: memFree=24831424/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13627384 CPUtime=3.5 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 20273 0 1 0 347 3 0 0 25 0 19 0 903642771 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3406846 18886 2247 9 0 3397580 0
[pid=13454/tid=13455] ppid=13452 vsize=13627384 CPUtime=2.97 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 14442 0 1 0 295 2 0 0 19 0 19 0 903642771 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 46912505583155 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13454 11644 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13454 11644 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13454 11644 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13454 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13454 11644 0 -1 4202560 183 0 0 0 0 0 0 0 16 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13454 11644 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=13627384 CPUtime=0.1 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13454 11644 0 -1 4202560 616 0 0 0 10 0 0 0 16 0 19 0 903642774 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13454 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=13627384 CPUtime=0.23 cores=1,3,5,7
/proc/13454/task/13469/stat : 13469 (java) S 13452 13454 11644 0 -1 4202560 2171 0 0 0 23 0 0 0 15 0 19 0 903642777 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=13627384 CPUtime=0.14 cores=1,3,5,7
/proc/13454/task/13470/stat : 13470 (java) S 13452 13454 11644 0 -1 4202560 1286 0 0 0 14 0 0 0 16 0 19 0 903642777 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=13454/tid=13471] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13471/stat : 13471 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13472] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13472/stat : 13472 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903642777 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13473] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13473/stat : 13473 (java) S 13452 13454 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903642787 13954441216 18886 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 13627384
Solver just ended. Dumping a history of the last processes samples
[startup+3.90134 s]
/proc/loadavg: 1.94 2.22 2.84 3/564 13473
/proc/meminfo: memFree=24830884/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13627384 CPUtime=4.3 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 20294 0 1 0 427 3 0 0 25 0 19 0 903642771 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3406846 18905 2247 9 0 3397580 0
[pid=13454/tid=13455] ppid=13452 vsize=13627384 CPUtime=3.73 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 14444 0 1 0 371 2 0 0 21 0 19 0 903642771 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 46912505556471 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13454 11644 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13454 11644 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13454 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13454 11644 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13454 11644 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=13627384 CPUtime=0.13 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13454 11644 0 -1 4202560 624 0 0 0 13 0 0 0 16 0 19 0 903642774 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13454 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=13627384 CPUtime=0.23 cores=1,3,5,7
/proc/13454/task/13469/stat : 13469 (java) S 13452 13454 11644 0 -1 4202560 2171 0 0 0 23 0 0 0 15 0 19 0 903642777 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=13627384 CPUtime=0.14 cores=1,3,5,7
/proc/13454/task/13470/stat : 13470 (java) S 13452 13454 11644 0 -1 4202560 1286 0 0 0 14 0 0 0 16 0 19 0 903642777 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=13454/tid=13471] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13471/stat : 13471 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13472] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13472/stat : 13472 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903642777 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13473] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13473/stat : 13473 (java) S 13452 13454 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903642787 13954441216 18905 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 13627384
[startup+4.30123 s]
/proc/loadavg: 1.94 2.22 2.84 3/564 13474
/proc/meminfo: memFree=24830884/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13627384 CPUtime=4.71 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 20346 0 1 0 468 3 0 0 25 0 19 0 903642771 13954441216 18954 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3406846 18954 2247 9 0 3397580 0
[pid=13454/tid=13455] ppid=13452 vsize=13627384 CPUtime=4.13 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13454 11644 0 -1 4202560 14447 0 1 0 411 2 0 0 18 0 19 0 903642771 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) R 13452 13454 11644 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216735131959 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) R 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216735131959 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13454 11644 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) R 13452 13454 11644 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13454 11644 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13454 11644 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=13627384 CPUtime=0.14 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13454 11644 0 -1 4202560 672 0 0 0 14 0 0 0 15 0 19 0 903642774 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13454 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=13627384 CPUtime=0.23 cores=1,3,5,7
/proc/13454/task/13469/stat : 13469 (java) S 13452 13454 11644 0 -1 4202560 2171 0 0 0 23 0 0 0 15 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=13627384 CPUtime=0.14 cores=1,3,5,7
/proc/13454/task/13470/stat : 13470 (java) S 13452 13454 11644 0 -1 4202560 1286 0 0 0 14 0 0 0 16 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=13454/tid=13471] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13471/stat : 13471 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13472] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13472/stat : 13472 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13473] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13473/stat : 13473 (java) S 13452 13454 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903642787 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 13627384
[startup+4.50122 s]
/proc/loadavg: 1.94 2.22 2.84 3/564 13474
/proc/meminfo: memFree=24830884/32951124 swapFree=56241860/67111528
[pid=13454] ppid=13452 vsize=13627384 CPUtime=4.9 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13454 11644 0 -1 4202496 20347 0 1 0 487 3 0 0 25 0 19 0 903642771 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13454/statm: 3406846 18955 2247 9 0 3397580 0
[pid=13454/tid=13455] ppid=13452 vsize=13627384 CPUtime=4.29 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) R 13452 13454 11644 0 -1 4202560 14447 0 1 0 427 2 0 0 17 0 19 0 903642771 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 46912505522800 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13454/tid=13457] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13454 11644 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13458] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13459] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13454 11644 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13460] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13454 11644 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13461] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13462] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13454 11644 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13463] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13454 11644 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13464] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13454 11644 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 903642773 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=13454/tid=13465] ppid=13452 vsize=13627384 CPUtime=0.16 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13454 11644 0 -1 4202560 672 0 0 0 16 0 0 0 16 0 19 0 903642774 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13466] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13454 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13467] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13454 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903642775 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13468] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13469] ppid=13452 vsize=13627384 CPUtime=0.23 cores=1,3,5,7
/proc/13454/task/13469/stat : 13469 (java) S 13452 13454 11644 0 -1 4202560 2171 0 0 0 23 0 0 0 15 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13470] ppid=13452 vsize=13627384 CPUtime=0.14 cores=1,3,5,7
/proc/13454/task/13470/stat : 13470 (java) S 13452 13454 11644 0 -1 4202560 1286 0 0 0 14 0 0 0 16 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=13454/tid=13471] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13471/stat : 13471 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=13454/tid=13472] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13472/stat : 13472 (java) S 13452 13454 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903642777 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=13454/tid=13473] ppid=13452 vsize=13627384 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13473/stat : 13473 (java) S 13452 13454 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 903642787 13954441216 18955 33554432000 1073741824 1073778376 140735134241888 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 13627384
Child status: 10
Real time (s): 4.58242
CPU time (s): 4.98224
CPU user time (s): 4.94625
CPU system time (s): 0.035994
CPU usage (%): 108.725
Max. virtual memory (cumulated for all children) (KiB): 13627384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.94625
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20381
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= 581
involuntary context switches= 253
runsolver used 0.033994 second user time and 0.067989 second system time
The end