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-3458113-1307158086/watcher-3458113-1307158086 -o /tmp/evaluation-result-3458113-1307158086/solver-3458113-1307158086 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458113-1307158086.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.07 2.04 1.96 2/447 32079
/proc/meminfo: memFree=28969408/32951124 swapFree=43324008/67111528
[pid=32079] ppid=32077 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/32079/stat : 32079 (java) S 32077 32079 28402 0 -1 4202496 3445 0 1 0 0 0 0 0 25 0 2 0 827409036 13833195520 3148 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/32079/statm: 3377245 3160 906 9 0 3368401 0
[pid=32079/tid=32080] ppid=32077 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32080/stat : 32080 (java) R 32077 32079 28402 0 -1 4202560 2389 0 1 0 0 0 0 0 25 0 2 0 827409037 13833195520 3205 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0994171 s]
/proc/loadavg: 2.07 2.04 1.96 2/447 32079
/proc/meminfo: memFree=28969408/32951124 swapFree=43324008/67111528
[pid=32079] ppid=32077 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/32079/stat : 32079 (java) S 32077 32079 28402 0 -1 4202496 14447 0 1 0 5 1 0 0 25 0 18 0 827409036 13880410112 14144 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32079/statm: 3388772 14144 1755 9 0 3379506 0
[pid=32079/tid=32080] ppid=32077 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/32079/task/32080/stat : 32080 (java) R 32077 32079 28402 0 -1 4202560 13274 0 1 0 5 1 0 0 25 0 18 0 827409037 13880410112 14144 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458771915 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) 13555088
[startup+0.100417 s]
/proc/loadavg: 2.07 2.04 1.96 2/447 32079
/proc/meminfo: memFree=28969408/32951124 swapFree=43324008/67111528
[pid=32079] ppid=32077 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/32079/stat : 32079 (java) S 32077 32079 28402 0 -1 4202496 14457 0 1 0 5 1 0 0 25 0 18 0 827409036 13880410112 14154 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32079/statm: 3388772 14155 1755 9 0 3379506 0
[pid=32079/tid=32080] ppid=32077 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/32079/task/32080/stat : 32080 (java) R 32077 32079 28402 0 -1 4202560 13285 0 1 0 5 1 0 0 25 0 18 0 827409037 13880410112 14155 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 47450578307923 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) 13555088
[startup+0.300347 s]
/proc/loadavg: 2.07 2.04 1.96 2/447 32079
/proc/meminfo: memFree=28969408/32951124 swapFree=43324008/67111528
[pid=32079] ppid=32077 vsize=13625888 CPUtime=0.51 cores=1,3,5,7
/proc/32079/stat : 32079 (java) S 32077 32079 28402 0 -1 4202496 18502 0 1 0 48 3 0 0 25 0 19 0 827409036 13952909312 17255 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32079/statm: 3406472 17255 2204 9 0 3397206 0
[pid=32079/tid=32080] ppid=32077 vsize=13625888 CPUtime=0.26 cores=1,3,5,7
/proc/32079/task/32080/stat : 32080 (java) R 32077 32079 28402 0 -1 4202560 14230 0 1 0 25 1 0 0 25 0 19 0 827409037 13952909312 17255 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 46912505576075 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13625888
[startup+0.700305 s]
/proc/loadavg: 2.07 2.04 1.96 2/447 32079
/proc/meminfo: memFree=28969408/32951124 swapFree=43324008/67111528
[pid=32079] ppid=32077 vsize=13626052 CPUtime=1 cores=1,3,5,7
/proc/32079/stat : 32079 (java) S 32077 32079 28402 0 -1 4202496 19693 0 1 0 97 3 0 0 25 0 19 0 827409036 13953077248 18419 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32079/statm: 3406513 18419 2241 9 0 3397247 0
[pid=32079/tid=32080] ppid=32077 vsize=13626052 CPUtime=0.64 cores=1,3,5,7
/proc/32079/task/32080/stat : 32080 (java) R 32077 32079 28402 0 -1 4202560 14610 0 1 0 63 1 0 0 25 0 19 0 827409037 13953077248 18419 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 46912505530541 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13626052
[startup+1.50116 s]
/proc/loadavg: 2.14 2.06 1.96 3/466 32098
/proc/meminfo: memFree=28901396/32951124 swapFree=43324008/67111528
[pid=32079] ppid=32077 vsize=13626052 CPUtime=1.83 cores=1,3,5,7
/proc/32079/stat : 32079 (java) S 32077 32079 28402 0 -1 4202496 20426 0 1 0 180 3 0 0 25 0 19 0 827409036 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32079/statm: 3406513 19150 2243 9 0 3397247 0
[pid=32079/tid=32080] ppid=32077 vsize=13626052 CPUtime=1.42 cores=1,3,5,7
/proc/32079/task/32080/stat : 32080 (java) R 32077 32079 28402 0 -1 4202560 14620 0 1 0 140 2 0 0 25 0 19 0 827409037 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 46912505531140 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32079/tid=32082] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32082/stat : 32082 (java) S 32077 32079 28402 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 3 0 0 0
[pid=32079/tid=32083] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32083/stat : 32083 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32084] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32084/stat : 32084 (java) S 32077 32079 28402 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32085] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32085/stat : 32085 (java) S 32077 32079 28402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32086] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32086/stat : 32086 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 5 0 0 0
[pid=32079/tid=32087] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32087/stat : 32087 (java) S 32077 32079 28402 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32088] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32088/stat : 32088 (java) S 32077 32079 28402 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 5 0 0 0
[pid=32079/tid=32089] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32089/stat : 32089 (java) S 32077 32079 28402 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32090] ppid=32077 vsize=13626052 CPUtime=0.03 cores=1,3,5,7
/proc/32079/task/32090/stat : 32090 (java) S 32077 32079 28402 0 -1 4202560 723 0 0 0 3 0 0 0 16 0 19 0 827409040 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761728 0 0 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32091] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32091/stat : 32091 (java) S 32077 32079 28402 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 827409041 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32092] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32092/stat : 32092 (java) S 32077 32079 28402 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 827409041 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32093] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32093/stat : 32093 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409045 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458768817 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32094] ppid=32077 vsize=13626052 CPUtime=0.16 cores=1,3,5,7
/proc/32079/task/32094/stat : 32094 (java) S 32077 32079 28402 0 -1 4202560 1436 0 0 0 16 0 0 0 15 0 19 0 827409045 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32095] ppid=32077 vsize=13626052 CPUtime=0.18 cores=1,3,5,7
/proc/32079/task/32095/stat : 32095 (java) S 32077 32079 28402 0 -1 4202560 1784 0 0 0 18 0 0 0 15 0 19 0 827409045 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 5 0 0 0
[pid=32079/tid=32096] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32096/stat : 32096 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409045 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32097] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32097/stat : 32097 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409045 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761728 0 4 0 16800975 18446604457219871104 0 0 -1 3 0 0 0
[pid=32079/tid=32098] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32098/stat : 32098 (java) S 32077 32079 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409056 13953077248 19150 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761728 0 4 0 16800975 18446604457219871104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13626052
Solver just ended. Dumping a history of the last processes samples
[startup+1.90109 s]
/proc/loadavg: 2.14 2.06 1.96 3/466 32098
/proc/meminfo: memFree=28901396/32951124 swapFree=43324008/67111528
[pid=32079] ppid=32077 vsize=13626052 CPUtime=2.24 cores=1,3,5,7
/proc/32079/stat : 32079 (java) S 32077 32079 28402 0 -1 4202496 20656 0 1 0 221 3 0 0 25 0 19 0 827409036 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32079/statm: 3406513 19379 2244 9 0 3397247 0
[pid=32079/tid=32080] ppid=32077 vsize=13626052 CPUtime=1.8 cores=1,3,5,7
/proc/32079/task/32080/stat : 32080 (java) R 32077 32079 28402 0 -1 4202560 14621 0 1 0 178 2 0 0 25 0 19 0 827409037 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 46912505366588 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32079/tid=32082] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32082/stat : 32082 (java) S 32077 32079 28402 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 3 0 0 0
[pid=32079/tid=32083] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32083/stat : 32083 (java) S 32077 32079 28402 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32084] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32084/stat : 32084 (java) S 32077 32079 28402 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32085] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32085/stat : 32085 (java) S 32077 32079 28402 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32086] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32086/stat : 32086 (java) S 32077 32079 28402 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 3 0 0 0
[pid=32079/tid=32087] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32087/stat : 32087 (java) S 32077 32079 28402 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32088] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32088/stat : 32088 (java) S 32077 32079 28402 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 5 0 0 0
[pid=32079/tid=32089] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32089/stat : 32089 (java) S 32077 32079 28402 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 827409039 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32090] ppid=32077 vsize=13626052 CPUtime=0.05 cores=1,3,5,7
/proc/32079/task/32090/stat : 32090 (java) S 32077 32079 28402 0 -1 4202560 792 0 0 0 5 0 0 0 16 0 19 0 827409040 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761728 0 0 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32091] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32091/stat : 32091 (java) S 32077 32079 28402 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 827409041 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32092] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32092/stat : 32092 (java) S 32077 32079 28402 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 827409041 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32093] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32093/stat : 32093 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409045 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458768817 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32094] ppid=32077 vsize=13626052 CPUtime=0.16 cores=1,3,5,7
/proc/32079/task/32094/stat : 32094 (java) S 32077 32079 28402 0 -1 4202560 1436 0 0 0 16 0 0 0 15 0 19 0 827409045 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 7 0 0 0
[pid=32079/tid=32095] ppid=32077 vsize=13626052 CPUtime=0.19 cores=1,3,5,7
/proc/32079/task/32095/stat : 32095 (java) S 32077 32079 28402 0 -1 4202560 1790 0 0 0 19 0 0 0 15 0 19 0 827409045 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 5 0 0 0
[pid=32079/tid=32096] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32096/stat : 32096 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827409045 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761113 0 4 0 16800975 18446604457219871104 0 0 -1 1 0 0 0
[pid=32079/tid=32097] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32097/stat : 32097 (java) S 32077 32079 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827409045 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761728 0 4 0 16800975 18446604457219871104 0 0 -1 3 0 0 0
[pid=32079/tid=32098] ppid=32077 vsize=13626052 CPUtime=0 cores=1,3,5,7
/proc/32079/task/32098/stat : 32098 (java) S 32077 32079 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827409056 13953077248 19379 33554432000 1073741824 1073778376 140733612796768 18446744073709551615 244458761728 0 4 0 16800975 18446604457219871104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 13626052
Child status: 30
Real time (s): 1.95522
CPU time (s): 2.31065
CPU user time (s): 2.26866
CPU system time (s): 0.041993
CPU usage (%): 118.179
Max. virtual memory (cumulated for all children) (KiB): 13626052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.26865
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20804
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= 386
involuntary context switches= 87
runsolver used 0.008998 second user time and 0.025996 second system time
The end