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-3459596-1307151300/watcher-3459596-1307151300 -o /tmp/evaluation-result-3459596-1307151300/solver-3459596-1307151300 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459596-1307151300.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.00 2.03 2.00 2/524 16388
/proc/meminfo: memFree=24940352/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 3137 0 1 0 0 0 0 0 17 0 2 0 905360652 13833195520 2838 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3377245 2852 906 9 0 3368401 0
[pid=16388/tid=16389] ppid=16386 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 6108 0 1 0 0 0 0 0 18 0 2 0 905360652 13850947584 6924 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0853889 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 16388
/proc/meminfo: memFree=24940352/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 14494 0 1 0 6 1 0 0 17 0 18 0 905360652 13880410112 14190 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3388772 14192 1755 9 0 3379506 0
[pid=16388/tid=16389] ppid=16386 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 13321 0 1 0 6 1 0 0 25 0 18 0 905360652 13880410112 14192 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 47695124744211 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100338 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 16388
/proc/meminfo: memFree=24940352/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13622184 CPUtime=0.1 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 15468 0 1 0 9 1 0 0 17 0 18 0 905360652 13949116416 15159 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3405546 15159 2093 9 0 3396280 0
[pid=16388/tid=16389] ppid=16386 vsize=13622184 CPUtime=0.08 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 13545 0 1 0 7 1 0 0 25 0 18 0 905360652 13949116416 15159 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216747005387 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) 13622184
[startup+0.300307 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 16388
/proc/meminfo: memFree=24940352/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13632232 CPUtime=0.62 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 21790 0 1 0 60 2 0 0 17 0 19 0 905360652 13959405568 19834 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3408058 19834 2208 9 0 3398792 0
[pid=16388/tid=16389] ppid=16386 vsize=13632232 CPUtime=0.28 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 14707 0 1 0 27 1 0 0 25 0 19 0 905360652 13959405568 19834 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 46912505217117 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13632232
[startup+0.700274 s]
/proc/loadavg: 2.00 2.03 2.00 2/524 16388
/proc/meminfo: memFree=24940352/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13632232 CPUtime=1.42 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 24101 0 1 0 140 2 0 0 17 0 19 0 905360652 13959405568 20648 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3408058 20648 2222 9 0 3398792 0
[pid=16388/tid=16389] ppid=16386 vsize=13632232 CPUtime=0.68 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 14868 0 1 0 67 1 0 0 25 0 19 0 905360652 13959405568 20648 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 46912505583598 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 13632232
[startup+1.50113 s]
/proc/loadavg: 2.16 2.06 2.01 5/563 16431
/proc/meminfo: memFree=24650192/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13632232 CPUtime=2.44 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 25126 0 1 0 242 2 0 0 17 0 19 0 905360652 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3408058 21666 2251 9 0 3398792 0
[pid=16388/tid=16389] ppid=16386 vsize=13632232 CPUtime=1.45 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) S 16386 16388 11644 0 -1 4202560 15026 0 1 0 144 1 0 0 25 0 19 0 905360652 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16391] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16391/stat : 16391 (java) S 16386 16388 11644 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16392] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16392/stat : 16392 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16393] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16393/stat : 16393 (java) S 16386 16388 11644 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16394] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16394/stat : 16394 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16395] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16395/stat : 16395 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16396] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16396/stat : 16396 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16397] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16397/stat : 16397 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16398] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16398/stat : 16398 (java) S 16386 16388 11644 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16399] ppid=16386 vsize=13632232 CPUtime=0.01 cores=1,3,5,7
/proc/16388/task/16399/stat : 16399 (java) R 16386 16388 11644 0 -1 4202560 321 0 0 0 1 0 0 0 15 0 19 0 905360655 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 47695125932419 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=16388/tid=16400] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16400/stat : 16400 (java) S 16386 16388 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905360656 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16401] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16401/stat : 16401 (java) S 16386 16388 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905360656 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16402] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16402/stat : 16402 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216747002289 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16403] ppid=16386 vsize=13632232 CPUtime=0.46 cores=1,3,5,7
/proc/16388/task/16403/stat : 16403 (java) S 16386 16388 11644 0 -1 4202560 3864 0 0 0 46 0 0 0 19 0 19 0 905360658 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 5 0 0 0
[pid=16388/tid=16404] ppid=16386 vsize=13632232 CPUtime=0.48 cores=1,3,5,7
/proc/16388/task/16404/stat : 16404 (java) S 16386 16388 11644 0 -1 4202560 4248 0 0 0 48 0 0 0 20 0 19 0 905360658 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16405] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16405/stat : 16405 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16406] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16406/stat : 16406 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360658 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16414] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16414/stat : 16414 (java) S 16386 16388 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905360676 13959405568 21666 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 13632232
[startup+3.10086 s]
/proc/loadavg: 2.16 2.06 2.01 6/564 16477
/proc/meminfo: memFree=24788740/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13632232 CPUtime=4.16 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 25362 0 1 0 414 2 0 0 17 0 19 0 905360652 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3408058 21900 2252 9 0 3398792 0
[pid=16388/tid=16389] ppid=16386 vsize=13632232 CPUtime=3.01 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 15036 0 1 0 300 1 0 0 25 0 19 0 905360652 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 46912505733133 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16388/tid=16391] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16391/stat : 16391 (java) S 16386 16388 11644 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16392] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16392/stat : 16392 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16393] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16393/stat : 16393 (java) S 16386 16388 11644 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16394] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16394/stat : 16394 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16395] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16395/stat : 16395 (java) S 16386 16388 11644 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16396] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16396/stat : 16396 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16397] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16397/stat : 16397 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16398] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16398/stat : 16398 (java) S 16386 16388 11644 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905360654 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16399] ppid=16386 vsize=13632232 CPUtime=0.05 cores=1,3,5,7
/proc/16388/task/16399/stat : 16399 (java) S 16386 16388 11644 0 -1 4202560 521 0 0 0 5 0 0 0 16 0 19 0 905360655 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 0 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16400] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16400/stat : 16400 (java) S 16386 16388 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905360656 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16401] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16401/stat : 16401 (java) S 16386 16388 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905360656 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16402] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16402/stat : 16402 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216747002289 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16403] ppid=16386 vsize=13632232 CPUtime=0.52 cores=1,3,5,7
/proc/16388/task/16403/stat : 16403 (java) S 16386 16388 11644 0 -1 4202560 3870 0 0 0 52 0 0 0 15 0 19 0 905360658 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 5 0 0 0
[pid=16388/tid=16404] ppid=16386 vsize=13632232 CPUtime=0.53 cores=1,3,5,7
/proc/16388/task/16404/stat : 16404 (java) S 16386 16388 11644 0 -1 4202560 4260 0 0 0 53 0 0 0 15 0 19 0 905360658 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16405] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16405/stat : 16405 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16406] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16406/stat : 16406 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360658 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16414] ppid=16386 vsize=13632232 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16414/stat : 16414 (java) S 16386 16388 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905360676 13959405568 21900 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13632232
Solver just ended. Dumping a history of the last processes samples
[startup+3.90071 s]
/proc/loadavg: 2.16 2.06 2.01 3/564 16477
/proc/meminfo: memFree=24781176/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13634844 CPUtime=5.05 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 26854 0 1 0 503 2 0 0 17 0 19 0 905360652 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3408711 22585 2252 9 0 3399445 0
[pid=16388/tid=16389] ppid=16386 vsize=13634844 CPUtime=3.78 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) S 16386 16388 11644 0 -1 4202560 15038 0 1 0 377 1 0 0 25 0 19 0 905360652 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16391] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16391/stat : 16391 (java) S 16386 16388 11644 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16392] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16392/stat : 16392 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16393] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16393/stat : 16393 (java) S 16386 16388 11644 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16394] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16394/stat : 16394 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16395] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16395/stat : 16395 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16396] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16396/stat : 16396 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16397] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16397/stat : 16397 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16398] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16398/stat : 16398 (java) S 16386 16388 11644 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905360654 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16399] ppid=16386 vsize=13634844 CPUtime=0.07 cores=1,3,5,7
/proc/16388/task/16399/stat : 16399 (java) R 16386 16388 11644 0 -1 4202560 536 0 0 0 7 0 0 0 15 0 19 0 905360655 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216734872649 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=16388/tid=16400] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16400/stat : 16400 (java) S 16386 16388 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905360656 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16401] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16401/stat : 16401 (java) S 16386 16388 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905360656 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16402] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16402/stat : 16402 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216747002289 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16403] ppid=16386 vsize=13634844 CPUtime=0.59 cores=1,3,5,7
/proc/16388/task/16403/stat : 16403 (java) S 16386 16388 11644 0 -1 4202560 5344 0 0 0 59 0 0 0 15 0 19 0 905360658 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 5 0 0 0
[pid=16388/tid=16404] ppid=16386 vsize=13634844 CPUtime=0.56 cores=1,3,5,7
/proc/16388/task/16404/stat : 16404 (java) S 16386 16388 11644 0 -1 4202560 4260 0 0 0 56 0 0 0 15 0 19 0 905360658 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16405] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16405/stat : 16405 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16406] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16406/stat : 16406 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360658 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16414] ppid=16386 vsize=13634844 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16414/stat : 16414 (java) S 16386 16388 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905360676 13962080256 22585 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 13634844
[startup+4.30065 s]
/proc/loadavg: 2.16 2.06 2.01 3/564 16477
/proc/meminfo: memFree=24768040/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13645120 CPUtime=5.77 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 29566 0 1 0 575 2 0 0 17 0 19 0 905360652 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3411280 24837 2252 9 0 3402014 0
[pid=16388/tid=16389] ppid=16386 vsize=13645120 CPUtime=4.19 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 15038 0 1 0 418 1 0 0 25 0 19 0 905360652 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 46912505666400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16388/tid=16391] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16391/stat : 16391 (java) S 16386 16388 11644 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16392] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16392/stat : 16392 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16393] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16393/stat : 16393 (java) S 16386 16388 11644 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16394] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16394/stat : 16394 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16395] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16395/stat : 16395 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16396] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16396/stat : 16396 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16397] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16397/stat : 16397 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16398] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16398/stat : 16398 (java) S 16386 16388 11644 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16399] ppid=16386 vsize=13645120 CPUtime=0.08 cores=1,3,5,7
/proc/16388/task/16399/stat : 16399 (java) S 16386 16388 11644 0 -1 4202560 608 0 0 0 8 0 0 0 16 0 19 0 905360655 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 0 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16400] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16400/stat : 16400 (java) S 16386 16388 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905360656 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16401] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16401/stat : 16401 (java) S 16386 16388 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905360656 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16402] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16402/stat : 16402 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216747002289 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16403] ppid=16386 vsize=13645120 CPUtime=0.89 cores=1,3,5,7
/proc/16388/task/16403/stat : 16403 (java) S 16386 16388 11644 0 -1 4202560 7984 0 0 0 89 0 0 0 16 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 5 0 0 0
[pid=16388/tid=16404] ppid=16386 vsize=13645120 CPUtime=0.56 cores=1,3,5,7
/proc/16388/task/16404/stat : 16404 (java) S 16386 16388 11644 0 -1 4202560 4260 0 0 0 56 0 0 0 15 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16405] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16405/stat : 16405 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16406] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16406/stat : 16406 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16414] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16414/stat : 16414 (java) S 16386 16388 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905360676 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13645120
[startup+4.42063 s]
/proc/loadavg: 2.16 2.06 2.01 3/564 16477
/proc/meminfo: memFree=24768040/32951124 swapFree=56241860/67111528
[pid=16388] ppid=16386 vsize=13645120 CPUtime=5.87 cores=1,3,5,7
/proc/16388/stat : 16388 (java) S 16386 16388 11644 0 -1 4202496 29566 0 1 0 585 2 0 0 17 0 19 0 905360652 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16388/statm: 3411280 24837 2252 9 0 3402014 0
[pid=16388/tid=16389] ppid=16386 vsize=13645120 CPUtime=4.29 cores=1,3,5,7
/proc/16388/task/16389/stat : 16389 (java) R 16386 16388 11644 0 -1 4202560 15038 0 1 0 428 1 0 0 25 0 19 0 905360652 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 46912505583546 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16388/tid=16391] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16391/stat : 16391 (java) S 16386 16388 11644 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16392] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16392/stat : 16392 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16393] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16393/stat : 16393 (java) S 16386 16388 11644 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16394] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16394/stat : 16394 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16395] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16395/stat : 16395 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16396] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16396/stat : 16396 (java) S 16386 16388 11644 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16397] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16397/stat : 16397 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16398] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16398/stat : 16398 (java) S 16386 16388 11644 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905360654 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16399] ppid=16386 vsize=13645120 CPUtime=0.08 cores=1,3,5,7
/proc/16388/task/16399/stat : 16399 (java) S 16386 16388 11644 0 -1 4202560 608 0 0 0 8 0 0 0 16 0 19 0 905360655 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 0 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16400] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16400/stat : 16400 (java) S 16386 16388 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905360656 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16401] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16401/stat : 16401 (java) S 16386 16388 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905360656 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16402] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16402/stat : 16402 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216747002289 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16403] ppid=16386 vsize=13645120 CPUtime=0.89 cores=1,3,5,7
/proc/16388/task/16403/stat : 16403 (java) S 16386 16388 11644 0 -1 4202560 7984 0 0 0 89 0 0 0 16 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 5 0 0 0
[pid=16388/tid=16404] ppid=16386 vsize=13645120 CPUtime=0.56 cores=1,3,5,7
/proc/16388/task/16404/stat : 16404 (java) S 16386 16388 11644 0 -1 4202560 4260 0 0 0 56 0 0 0 15 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16405] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16405/stat : 16405 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746994585 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
[pid=16388/tid=16406] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16406/stat : 16406 (java) S 16386 16388 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905360658 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 7 0 0 0
[pid=16388/tid=16414] ppid=16386 vsize=13645120 CPUtime=0 cores=1,3,5,7
/proc/16388/task/16414/stat : 16414 (java) S 16386 16388 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905360676 13972602880 24837 33554432000 1073741824 1073778376 140736843470768 18446744073709551615 216746995200 0 4 0 16800975 18446604469877517312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 13645120
Child status: 30
Real time (s): 4.49148
CPU time (s): 5.96109
CPU user time (s): 5.9281
CPU system time (s): 0.032994
CPU usage (%): 132.72
Max. virtual memory (cumulated for all children) (KiB): 13645120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9281
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29611
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= 532
involuntary context switches= 317
runsolver used 0.029995 second user time and 0.070989 second system time
The end