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-3458214-1307158386/watcher-3458214-1307158386 -o /tmp/evaluation-result-3458214-1307158386/solver-3458214-1307158386 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458214-1307158386.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 2/495 27444
/proc/meminfo: memFree=21322780/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 6014 0 1 0 0 0 0 0 25 0 2 0 808253936 13850947584 5715 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3381579 5728 917 9 0 3372735 0
[pid=27444/tid=27445] ppid=27442 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 6838 0 1 0 0 0 0 0 25 0 2 0 808253937 13850947584 7654 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.086063 s]
/proc/loadavg: 2.03 2.03 2.00 2/495 27444
/proc/meminfo: memFree=21322780/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13686320 CPUtime=0.08 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 14689 0 1 0 6 2 0 0 25 0 18 0 808253936 14014791680 14385 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3421580 14385 1836 9 0 3412314 0
[pid=27444/tid=27445] ppid=27442 vsize=13686320 CPUtime=0.07 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 13419 0 1 0 6 1 0 0 25 0 18 0 808253937 14014791680 14385 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254261659783 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13686320
[startup+0.105874 s]
/proc/loadavg: 2.03 2.03 2.00 2/495 27444
/proc/meminfo: memFree=21322780/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13622036 CPUtime=0.1 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 15632 0 1 0 8 2 0 0 25 0 18 0 808253936 13948964864 15328 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3405509 15328 2092 9 0 3396243 0
[pid=27444/tid=27445] ppid=27442 vsize=13622036 CPUtime=0.09 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 13737 0 1 0 7 2 0 0 25 0 18 0 808253937 13948964864 15328 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912496215060 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622036
[startup+0.300882 s]
/proc/loadavg: 2.03 2.03 2.00 2/495 27444
/proc/meminfo: memFree=21322780/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13626032 CPUtime=0.53 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 18268 0 1 0 50 3 0 0 25 0 19 0 808253936 13953056768 17315 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3406508 17315 2212 9 0 3397242 0
[pid=27444/tid=27445] ppid=27442 vsize=13626032 CPUtime=0.28 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 14322 0 1 0 26 2 0 0 25 0 19 0 808253937 13953056768 17315 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505542747 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13626032
[startup+0.700807 s]
/proc/loadavg: 2.03 2.03 2.00 2/495 27444
/proc/meminfo: memFree=21322780/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13626032 CPUtime=1.02 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 19554 0 1 0 99 3 0 0 25 0 19 0 808253936 13953056768 18490 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3406508 18490 2247 9 0 3397242 0
[pid=27444/tid=27445] ppid=27442 vsize=13626032 CPUtime=0.67 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 14721 0 1 0 65 2 0 0 25 0 19 0 808253937 13953056768 18490 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505543000 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13626032
[startup+1.50066 s]
/proc/loadavg: 2.03 2.03 2.00 3/514 27463
/proc/meminfo: memFree=21254320/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13626032 CPUtime=1.85 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 20289 0 1 0 182 3 0 0 25 0 19 0 808253936 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3406508 19222 2247 9 0 3397242 0
[pid=27444/tid=27445] ppid=27442 vsize=13626032 CPUtime=1.44 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 14722 0 1 0 142 2 0 0 25 0 19 0 808253937 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505562304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27444/tid=27447] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27447/stat : 27447 (java) S 27442 27444 23895 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27448] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27448/stat : 27448 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27449] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27449/stat : 27449 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27450] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27450/stat : 27450 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 4 0 0 0
[pid=27444/tid=27451] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27451/stat : 27451 (java) S 27442 27444 23895 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27452] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27452/stat : 27452 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27453] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27453/stat : 27453 (java) S 27442 27444 23895 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27454] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27454/stat : 27454 (java) S 27442 27444 23895 0 -1 4202560 378 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27455] ppid=27442 vsize=13626032 CPUtime=0.03 cores=0,2,4,6
/proc/27444/task/27455/stat : 27455 (java) S 27442 27444 23895 0 -1 4202560 733 0 0 0 3 0 0 0 15 0 19 0 808253940 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 0 0 16800975 18446604447974410432 0 0 -1 4 0 0 0
[pid=27444/tid=27456] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27456/stat : 27456 (java) S 27442 27444 23895 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 808253940 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27457] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27457/stat : 27457 (java) S 27442 27444 23895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 808253940 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27458] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27458/stat : 27458 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273440177 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27459] ppid=27442 vsize=13626032 CPUtime=0.19 cores=0,2,4,6
/proc/27444/task/27459/stat : 27459 (java) S 27442 27444 23895 0 -1 4202560 1869 0 0 0 19 0 0 0 16 0 19 0 808253942 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27460] ppid=27442 vsize=13626032 CPUtime=0.16 cores=0,2,4,6
/proc/27444/task/27460/stat : 27460 (java) S 27442 27444 23895 0 -1 4202560 1072 0 0 0 16 0 0 0 15 0 19 0 808253942 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27461] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27461/stat : 27461 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27462] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27462/stat : 27462 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253942 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27463] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27463/stat : 27463 (java) S 27442 27444 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808253954 13953056768 19222 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13626032
[startup+3.10138 s]
/proc/loadavg: 2.03 2.03 2.00 3/514 27463
/proc/meminfo: memFree=21252076/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13626032 CPUtime=3.49 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 20687 0 1 0 345 4 0 0 25 0 19 0 808253936 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3406508 19616 2248 9 0 3397242 0
[pid=27444/tid=27445] ppid=27442 vsize=13626032 CPUtime=2.96 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 14736 0 1 0 294 2 0 0 25 0 19 0 808253937 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505630101 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27444/tid=27447] ppid=27442 vsize=13626032 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27447/stat : 27447 (java) S 27442 27444 23895 0 -1 4202560 219 0 0 0 1 0 0 0 15 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27448] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27448/stat : 27448 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27449] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27449/stat : 27449 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27450] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27450/stat : 27450 (java) S 27442 27444 23895 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27451] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27451/stat : 27451 (java) S 27442 27444 23895 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27452] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27452/stat : 27452 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27453] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27453/stat : 27453 (java) S 27442 27444 23895 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27454] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27454/stat : 27454 (java) S 27442 27444 23895 0 -1 4202560 380 0 0 0 0 0 0 0 16 0 19 0 808253939 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27455] ppid=27442 vsize=13626032 CPUtime=0.09 cores=0,2,4,6
/proc/27444/task/27455/stat : 27455 (java) S 27442 27444 23895 0 -1 4202560 1025 0 0 0 9 0 0 0 16 0 19 0 808253940 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 0 0 16800975 18446604447974410432 0 0 -1 4 0 0 0
[pid=27444/tid=27456] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27456/stat : 27456 (java) S 27442 27444 23895 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 808253940 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27457] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27457/stat : 27457 (java) S 27442 27444 23895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 808253940 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27458] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27458/stat : 27458 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273440177 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27459] ppid=27442 vsize=13626032 CPUtime=0.19 cores=0,2,4,6
/proc/27444/task/27459/stat : 27459 (java) S 27442 27444 23895 0 -1 4202560 1869 0 0 0 19 0 0 0 15 0 19 0 808253942 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27460] ppid=27442 vsize=13626032 CPUtime=0.18 cores=0,2,4,6
/proc/27444/task/27460/stat : 27460 (java) S 27442 27444 23895 0 -1 4202560 1082 0 0 0 18 0 0 0 15 0 19 0 808253942 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27461] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27461/stat : 27461 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27462] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27462/stat : 27462 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253942 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27463] ppid=27442 vsize=13626032 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27463/stat : 27463 (java) S 27442 27444 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808253954 13953056768 19616 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13626032
[startup+6.30082 s]
/proc/loadavg: 2.10 2.05 2.01 3/514 27463
/proc/meminfo: memFree=21229508/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13648324 CPUtime=7.33 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 29903 0 1 0 727 6 0 0 25 0 19 0 808253936 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3412081 25003 2248 9 0 3402815 0
[pid=27444/tid=27445] ppid=27442 vsize=13648324 CPUtime=6 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 14747 0 1 0 598 2 0 0 25 0 19 0 808253937 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505563352 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27444/tid=27447] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27447/stat : 27447 (java) S 27442 27444 23895 0 -1 4202560 219 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27448] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27448/stat : 27448 (java) S 27442 27444 23895 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27449] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27449/stat : 27449 (java) S 27442 27444 23895 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27450] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27450/stat : 27450 (java) S 27442 27444 23895 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27451] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27451/stat : 27451 (java) S 27442 27444 23895 0 -1 4202560 9 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27452] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27452/stat : 27452 (java) S 27442 27444 23895 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27453] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27453/stat : 27453 (java) S 27442 27444 23895 0 -1 4202560 204 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27454] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27454/stat : 27454 (java) S 27442 27444 23895 0 -1 4202560 380 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27455] ppid=27442 vsize=13648324 CPUtime=0.21 cores=0,2,4,6
/proc/27444/task/27455/stat : 27455 (java) S 27442 27444 23895 0 -1 4202560 1342 0 0 0 21 0 0 0 16 0 19 0 808253940 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 0 0 16800975 18446604447974410432 0 0 -1 4 0 0 0
[pid=27444/tid=27456] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27456/stat : 27456 (java) S 27442 27444 23895 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27457] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27457/stat : 27457 (java) S 27442 27444 23895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27458] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27458/stat : 27458 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273440177 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27459] ppid=27442 vsize=13648324 CPUtime=0.23 cores=0,2,4,6
/proc/27444/task/27459/stat : 27459 (java) S 27442 27444 23895 0 -1 4202560 1875 0 0 0 23 0 0 0 15 0 19 0 808253942 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27460] ppid=27442 vsize=13648324 CPUtime=0.76 cores=0,2,4,6
/proc/27444/task/27460/stat : 27460 (java) S 27442 27444 23895 0 -1 4202560 9827 0 0 0 75 1 0 0 15 0 19 0 808253942 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27461] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27461/stat : 27461 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27462] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27462/stat : 27462 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253942 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27463] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27463/stat : 27463 (java) S 27442 27444 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808253954 13975883776 25003 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 13648324
[startup+12.7007 s]
/proc/loadavg: 2.09 2.05 2.01 3/514 27463
/proc/meminfo: memFree=21225044/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13648324 CPUtime=13.75 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 30690 0 1 0 1369 6 0 0 25 0 19 0 808253936 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3412081 25779 2248 9 0 3402815 0
[pid=27444/tid=27445] ppid=27442 vsize=13648324 CPUtime=12.2 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 15265 0 1 0 1218 2 0 0 25 0 19 0 808253937 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505562736 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27444/tid=27447] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27447/stat : 27447 (java) S 27442 27444 23895 0 -1 4202560 219 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27448] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27448/stat : 27448 (java) S 27442 27444 23895 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27449] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27449/stat : 27449 (java) S 27442 27444 23895 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27450] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27450/stat : 27450 (java) S 27442 27444 23895 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27451] ppid=27442 vsize=13648324 CPUtime=0.02 cores=0,2,4,6
/proc/27444/task/27451/stat : 27451 (java) S 27442 27444 23895 0 -1 4202560 14 0 0 0 2 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27452] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27452/stat : 27452 (java) S 27442 27444 23895 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27453] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27453/stat : 27453 (java) S 27442 27444 23895 0 -1 4202560 208 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27454] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27454/stat : 27454 (java) S 27442 27444 23895 0 -1 4202560 383 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27455] ppid=27442 vsize=13648324 CPUtime=0.4 cores=0,2,4,6
/proc/27444/task/27455/stat : 27455 (java) S 27442 27444 23895 0 -1 4202560 1595 0 0 0 40 0 0 0 16 0 19 0 808253940 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 0 0 16800975 18446604447974410432 0 0 -1 4 0 0 0
[pid=27444/tid=27456] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27456/stat : 27456 (java) S 27442 27444 23895 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27457] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27457/stat : 27457 (java) S 27442 27444 23895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27458] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27458/stat : 27458 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273440177 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27459] ppid=27442 vsize=13648324 CPUtime=0.23 cores=0,2,4,6
/proc/27444/task/27459/stat : 27459 (java) S 27442 27444 23895 0 -1 4202560 1875 0 0 0 23 0 0 0 15 0 19 0 808253942 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27460] ppid=27442 vsize=13648324 CPUtime=0.77 cores=0,2,4,6
/proc/27444/task/27460/stat : 27460 (java) S 27442 27444 23895 0 -1 4202560 9827 0 0 0 76 1 0 0 15 0 19 0 808253942 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27461] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27461/stat : 27461 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27462] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27462/stat : 27462 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253942 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27463] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27463/stat : 27463 (java) S 27442 27444 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808253954 13975883776 25779 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.75
Current children cumulated vsize (KiB) 13648324
Solver just ended. Dumping a history of the last processes samples
[startup+13.5015 s]
/proc/loadavg: 2.09 2.05 2.01 3/514 27463
/proc/meminfo: memFree=21225416/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13648324 CPUtime=14.55 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 30740 0 1 0 1449 6 0 0 25 0 19 0 808253936 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3412081 25828 2248 9 0 3402815 0
[pid=27444/tid=27445] ppid=27442 vsize=13648324 CPUtime=12.98 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 15266 0 1 0 1296 2 0 0 25 0 19 0 808253937 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505526464 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27444/tid=27447] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27447/stat : 27447 (java) S 27442 27444 23895 0 -1 4202560 219 0 0 0 1 0 0 0 16 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27448] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27448/stat : 27448 (java) S 27442 27444 23895 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27449] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27449/stat : 27449 (java) S 27442 27444 23895 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27450] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27450/stat : 27450 (java) S 27442 27444 23895 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27451] ppid=27442 vsize=13648324 CPUtime=0.02 cores=0,2,4,6
/proc/27444/task/27451/stat : 27451 (java) S 27442 27444 23895 0 -1 4202560 14 0 0 0 2 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27452] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27452/stat : 27452 (java) S 27442 27444 23895 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27453] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27453/stat : 27453 (java) S 27442 27444 23895 0 -1 4202560 208 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27454] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27454/stat : 27454 (java) S 27442 27444 23895 0 -1 4202560 383 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27455] ppid=27442 vsize=13648324 CPUtime=0.41 cores=0,2,4,6
/proc/27444/task/27455/stat : 27455 (java) S 27442 27444 23895 0 -1 4202560 1644 0 0 0 41 0 0 0 16 0 19 0 808253940 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 0 0 16800975 18446604447974410432 0 0 -1 4 0 0 0
[pid=27444/tid=27456] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27456/stat : 27456 (java) S 27442 27444 23895 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27457] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27457/stat : 27457 (java) S 27442 27444 23895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27458] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27458/stat : 27458 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273440177 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27459] ppid=27442 vsize=13648324 CPUtime=0.23 cores=0,2,4,6
/proc/27444/task/27459/stat : 27459 (java) S 27442 27444 23895 0 -1 4202560 1875 0 0 0 23 0 0 0 15 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27460] ppid=27442 vsize=13648324 CPUtime=0.77 cores=0,2,4,6
/proc/27444/task/27460/stat : 27460 (java) S 27442 27444 23895 0 -1 4202560 9827 0 0 0 76 1 0 0 15 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27461] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27461/stat : 27461 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27462] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27462/stat : 27462 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27463] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27463/stat : 27463 (java) S 27442 27444 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808253954 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14.55
Current children cumulated vsize (KiB) 13648324
[startup+13.7015 s]
/proc/loadavg: 2.09 2.05 2.01 3/514 27463
/proc/meminfo: memFree=21225416/32951124 swapFree=67057928/67111528
[pid=27444] ppid=27442 vsize=13648324 CPUtime=14.75 cores=0,2,4,6
/proc/27444/stat : 27444 (java) S 27442 27444 23895 0 -1 4202496 30740 0 1 0 1469 6 0 0 25 0 19 0 808253936 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27444/statm: 3412081 25828 2248 9 0 3402815 0
[pid=27444/tid=27445] ppid=27442 vsize=13648324 CPUtime=13.18 cores=0,2,4,6
/proc/27444/task/27445/stat : 27445 (java) R 27442 27444 23895 0 -1 4202560 15266 0 1 0 1316 2 0 0 25 0 19 0 808253937 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 46912505593287 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27444/tid=27447] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27447/stat : 27447 (java) S 27442 27444 23895 0 -1 4202560 219 0 0 0 1 0 0 0 16 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27448] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27448/stat : 27448 (java) S 27442 27444 23895 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27449] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27449/stat : 27449 (java) S 27442 27444 23895 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27450] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27450/stat : 27450 (java) S 27442 27444 23895 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27451] ppid=27442 vsize=13648324 CPUtime=0.02 cores=0,2,4,6
/proc/27444/task/27451/stat : 27451 (java) S 27442 27444 23895 0 -1 4202560 14 0 0 0 2 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27452] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27452/stat : 27452 (java) S 27442 27444 23895 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27453] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27453/stat : 27453 (java) S 27442 27444 23895 0 -1 4202560 208 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27454] ppid=27442 vsize=13648324 CPUtime=0.01 cores=0,2,4,6
/proc/27444/task/27454/stat : 27454 (java) S 27442 27444 23895 0 -1 4202560 383 0 0 0 1 0 0 0 15 0 19 0 808253939 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27455] ppid=27442 vsize=13648324 CPUtime=0.41 cores=0,2,4,6
/proc/27444/task/27455/stat : 27455 (java) S 27442 27444 23895 0 -1 4202560 1644 0 0 0 41 0 0 0 16 0 19 0 808253940 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 0 0 16800975 18446604447974410432 0 0 -1 4 0 0 0
[pid=27444/tid=27456] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27456/stat : 27456 (java) S 27442 27444 23895 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27457] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27457/stat : 27457 (java) S 27442 27444 23895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 808253940 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27458] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27458/stat : 27458 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273440177 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27459] ppid=27442 vsize=13648324 CPUtime=0.23 cores=0,2,4,6
/proc/27444/task/27459/stat : 27459 (java) S 27442 27444 23895 0 -1 4202560 1875 0 0 0 23 0 0 0 15 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27460] ppid=27442 vsize=13648324 CPUtime=0.77 cores=0,2,4,6
/proc/27444/task/27460/stat : 27460 (java) S 27442 27444 23895 0 -1 4202560 9827 0 0 0 76 1 0 0 15 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27461] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27461/stat : 27461 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273432473 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
[pid=27444/tid=27462] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27462/stat : 27462 (java) S 27442 27444 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808253942 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 2 0 0 0
[pid=27444/tid=27463] ppid=27442 vsize=13648324 CPUtime=0 cores=0,2,4,6
/proc/27444/task/27463/stat : 27463 (java) S 27442 27444 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808253954 13975883776 25828 33554432000 1073741824 1073778376 140736775911232 18446744073709551615 254273433088 0 4 0 16800975 18446604447974410432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14.75
Current children cumulated vsize (KiB) 13648324
Child status: 30
Real time (s): 13.7337
CPU time (s): 14.7948
CPU user time (s): 14.7268
CPU system time (s): 0.067989
CPU usage (%): 107.726
Max. virtual memory (cumulated for all children) (KiB): 13686320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.7268
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30760
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= 1284
involuntary context switches= 693
runsolver used 0.079987 second user time and 0.146977 second system time
The end