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-3458233-1307158404/watcher-3458233-1307158404 -o /tmp/evaluation-result-3458233-1307158404/solver-3458233-1307158404 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458233-1307158404.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.21 2.08 1.98 3/487 12292
/proc/meminfo: memFree=24067860/32951124 swapFree=56297244/67111528
[pid=12292] ppid=12290 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/12292/stat : 12292 (java) S 12290 12292 8699 0 -1 4202496 1248 0 0 0 0 0 0 0 25 0 2 0 906070885 32362496 968 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12292/statm: 7901 973 744 9 0 386 0
[pid=12292/tid=12293] ppid=12290 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12293/stat : 12293 (java) R 12290 12292 8699 0 -1 4202560 6593 0 1 0 0 0 0 0 25 0 2 0 906070885 13850947584 7409 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0461911 s]
/proc/loadavg: 2.21 2.08 1.98 3/487 12292
/proc/meminfo: memFree=24067860/32951124 swapFree=56297244/67111528
[pid=12292] ppid=12290 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/12292/stat : 12292 (java) S 12290 12292 8699 0 -1 4202496 13776 0 1 0 2 1 0 0 25 0 13 0 906070885 13874667520 13474 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12292/statm: 3387370 13475 1673 9 0 3378118 0
[pid=12292/tid=12293] ppid=12290 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/12292/task/12293/stat : 12293 (java) R 12290 12292 8699 0 -1 4202560 12632 0 1 0 2 1 0 0 25 0 13 0 906070885 13874667520 13476 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 47766010918931 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.101181 s]
/proc/loadavg: 2.21 2.08 1.98 3/487 12292
/proc/meminfo: memFree=24067860/32951124 swapFree=56297244/67111528
[pid=12292] ppid=12290 vsize=13622252 CPUtime=0.11 cores=0,2,4,6
/proc/12292/stat : 12292 (java) S 12290 12292 8699 0 -1 4202496 15609 0 1 0 9 2 0 0 25 0 18 0 906070885 13949186048 15283 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12292/statm: 3405563 15283 2093 9 0 3396297 0
[pid=12292/tid=12293] ppid=12290 vsize=13622252 CPUtime=0.09 cores=0,2,4,6
/proc/12292/task/12293/stat : 12293 (java) R 12290 12292 8699 0 -1 4202560 13675 0 1 0 7 2 0 0 18 0 18 0 906070885 13949186048 15283 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 47766008549283 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622252
[startup+0.301131 s]
/proc/loadavg: 2.21 2.08 1.98 3/487 12292
/proc/meminfo: memFree=24067860/32951124 swapFree=56297244/67111528
[pid=12292] ppid=12290 vsize=13625812 CPUtime=0.53 cores=0,2,4,6
/proc/12292/stat : 12292 (java) S 12290 12292 8699 0 -1 4202496 18340 0 1 0 50 3 0 0 25 0 19 0 906070885 13952831488 17293 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12292/statm: 3406453 17293 2207 9 0 3397187 0
[pid=12292/tid=12293] ppid=12290 vsize=13625812 CPUtime=0.29 cores=0,2,4,6
/proc/12292/task/12293/stat : 12293 (java) R 12290 12292 8699 0 -1 4202560 14309 0 1 0 27 2 0 0 19 0 19 0 906070885 13952831488 17293 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 46912505519111 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) 13625812
[startup+0.701087 s]
/proc/loadavg: 2.21 2.08 1.98 3/487 12292
/proc/meminfo: memFree=24067860/32951124 swapFree=56297244/67111528
[pid=12292] ppid=12290 vsize=13626004 CPUtime=1 cores=0,2,4,6
/proc/12292/stat : 12292 (java) S 12290 12292 8699 0 -1 4202496 19475 0 1 0 97 3 0 0 25 0 19 0 906070885 13953028096 18302 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12292/statm: 3406501 18302 2247 9 0 3397235 0
[pid=12292/tid=12293] ppid=12290 vsize=13626004 CPUtime=0.67 cores=0,2,4,6
/proc/12292/task/12293/stat : 12293 (java) R 12290 12292 8699 0 -1 4202560 14597 0 1 0 65 2 0 0 19 0 19 0 906070885 13953028096 18302 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 47766012447952 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13626004
[startup+1.50587 s]
/proc/loadavg: 2.21 2.08 1.98 4/506 12311
/proc/meminfo: memFree=23981108/32951124 swapFree=56297244/67111528
[pid=12292] ppid=12290 vsize=13644008 CPUtime=2.56 cores=0,2,4,6
/proc/12292/stat : 12292 (java) S 12290 12292 8699 0 -1 4202496 31508 0 1 0 252 4 0 0 25 0 19 0 906070885 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12292/statm: 3411002 25642 2249 9 0 3401736 0
[pid=12292/tid=12293] ppid=12290 vsize=13644008 CPUtime=1.43 cores=0,2,4,6
/proc/12292/task/12293/stat : 12293 (java) R 12290 12292 8699 0 -1 4202560 14605 0 1 0 141 2 0 0 18 0 19 0 906070885 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 46912505567872 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12292/tid=12295] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12295/stat : 12295 (java) S 12290 12292 8699 0 -1 4202560 228 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12296] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12296/stat : 12296 (java) S 12290 12292 8699 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12297] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12297/stat : 12297 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12298] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12298/stat : 12298 (java) S 12290 12292 8699 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12299] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12299/stat : 12299 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
[pid=12292/tid=12300] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12300/stat : 12300 (java) S 12290 12292 8699 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12301] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12301/stat : 12301 (java) S 12290 12292 8699 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
[pid=12292/tid=12302] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12302/stat : 12302 (java) S 12290 12292 8699 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 19 0 906070887 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
[pid=12292/tid=12303] ppid=12290 vsize=13644008 CPUtime=0.05 cores=0,2,4,6
/proc/12292/task/12303/stat : 12303 (java) S 12290 12292 8699 0 -1 4202560 701 0 0 0 5 0 0 0 16 0 19 0 906070888 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469882368 0 0 0 16800975 18446604445248958528 0 0 -1 4 0 0 0
[pid=12292/tid=12304] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12304/stat : 12304 (java) S 12290 12292 8699 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906070889 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12305] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12305/stat : 12305 (java) S 12290 12292 8699 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 906070889 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12306] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12306/stat : 12306 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906070891 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469889457 0 4 0 16800975 18446604445248958528 0 0 -1 4 0 0 0
[pid=12292/tid=12307] ppid=12290 vsize=13644008 CPUtime=0.29 cores=0,2,4,6
/proc/12292/task/12307/stat : 12307 (java) R 12290 12292 8699 0 -1 4202560 5412 0 0 0 29 0 0 0 16 0 19 0 906070891 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 47766007084496 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12292/tid=12308] ppid=12290 vsize=13644008 CPUtime=0.75 cores=0,2,4,6
/proc/12292/task/12308/stat : 12308 (java) S 12290 12292 8699 0 -1 4202560 8985 0 0 0 75 0 0 0 15 0 19 0 906070891 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12309] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12309/stat : 12309 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906070891 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 4 0 0 0
[pid=12292/tid=12310] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12310/stat : 12310 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906070891 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469882368 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12311] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12311/stat : 12311 (java) S 12290 12292 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906070901 13971464192 25642 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469882368 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 13644008
Solver just ended. Dumping a history of the last processes samples
[startup+1.70087 s]
/proc/loadavg: 2.21 2.08 1.98 4/506 12311
/proc/meminfo: memFree=23981108/32951124 swapFree=56297244/67111528
[pid=12292] ppid=12290 vsize=13644008 CPUtime=2.96 cores=0,2,4,6
/proc/12292/stat : 12292 (java) S 12290 12292 8699 0 -1 4202496 32045 0 1 0 292 4 0 0 25 0 19 0 906070885 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12292/statm: 3411002 26038 2249 9 0 3401736 0
[pid=12292/tid=12293] ppid=12290 vsize=13644008 CPUtime=1.61 cores=0,2,4,6
/proc/12292/task/12293/stat : 12293 (java) R 12290 12292 8699 0 -1 4202560 14606 0 1 0 159 2 0 0 18 0 19 0 906070885 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 46912505526199 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12292/tid=12295] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12295/stat : 12295 (java) S 12290 12292 8699 0 -1 4202560 228 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12296] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12296/stat : 12296 (java) S 12290 12292 8699 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12297] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12297/stat : 12297 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12298] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12298/stat : 12298 (java) S 12290 12292 8699 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12299] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12299/stat : 12299 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
[pid=12292/tid=12300] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12300/stat : 12300 (java) S 12290 12292 8699 0 -1 4202560 105 0 0 0 0 0 0 0 16 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12301] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12301/stat : 12301 (java) S 12290 12292 8699 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
[pid=12292/tid=12302] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12302/stat : 12302 (java) S 12290 12292 8699 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 906070887 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
[pid=12292/tid=12303] ppid=12290 vsize=13644008 CPUtime=0.06 cores=0,2,4,6
/proc/12292/task/12303/stat : 12303 (java) S 12290 12292 8699 0 -1 4202560 721 0 0 0 6 0 0 0 16 0 19 0 906070888 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469882368 0 0 0 16800975 18446604445248958528 0 0 -1 4 0 0 0
[pid=12292/tid=12304] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12304/stat : 12304 (java) S 12290 12292 8699 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906070889 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12305] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12305/stat : 12305 (java) S 12290 12292 8699 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 906070889 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12306] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12306/stat : 12306 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906070891 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469889457 0 4 0 16800975 18446604445248958528 0 0 -1 4 0 0 0
[pid=12292/tid=12307] ppid=12290 vsize=13644008 CPUtime=0.49 cores=0,2,4,6
/proc/12292/task/12307/stat : 12307 (java) R 12290 12292 8699 0 -1 4202560 5926 0 0 0 48 1 0 0 16 0 19 0 906070891 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 47766009370182 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12292/tid=12308] ppid=12290 vsize=13644008 CPUtime=0.76 cores=0,2,4,6
/proc/12292/task/12308/stat : 12308 (java) S 12290 12292 8699 0 -1 4202560 8985 0 0 0 76 0 0 0 16 0 19 0 906070891 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12309] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12309/stat : 12309 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906070891 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469881753 0 4 0 16800975 18446604445248958528 0 0 -1 4 0 0 0
[pid=12292/tid=12310] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12310/stat : 12310 (java) S 12290 12292 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906070891 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469882368 0 4 0 16800975 18446604445248958528 0 0 -1 2 0 0 0
[pid=12292/tid=12311] ppid=12290 vsize=13644008 CPUtime=0 cores=0,2,4,6
/proc/12292/task/12311/stat : 12311 (java) S 12290 12292 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906070901 13971464192 26038 33554432000 1073741824 1073778376 140733883163008 18446744073709551615 252469882368 0 4 0 16800975 18446604445248958528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 13644008
Child status: 30
Real time (s): 1.74396
CPU time (s): 3.02254
CPU user time (s): 2.97055
CPU system time (s): 0.051992
CPU usage (%): 173.315
Max. virtual memory (cumulated for all children) (KiB): 13647812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.97055
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32474
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= 346
involuntary context switches= 98
runsolver used 0.008998 second user time and 0.025996 second system time
The end