runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3726974-1338651374/watcher-3726974-1338651374 -o /tmp/evaluation-result-3726974-1338651374/solver-3726974-1338651374 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3726974-1338651374.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.22 1.08 1.35 3/179 3928
/proc/meminfo: memFree=29256232/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) R 3926 3928 2201 0 -1 4202496 315 0 0 0 0 0 0 0 20 0 1 0 331262228 3309568 267 33554432000 4194304 5964350 140735551015648 140735551013528 4352338 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 808 267 169 433 0 351 0
[startup+0.10056 s]
/proc/loadavg: 1.22 1.08 1.35 3/179 3928
/proc/meminfo: memFree=29256232/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=83840 CPUtime=0.09 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 1132 0 0 0 9 0 0 0 20 0 2 0 331262228 85852160 1063 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 20960 1063 184 433 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83840
[startup+0.200164 s]
/proc/loadavg: 1.22 1.08 1.35 3/179 3928
/proc/meminfo: memFree=29256232/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=83840 CPUtime=0.19 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 1346 0 0 0 19 0 0 0 20 0 2 0 331262228 85852160 1277 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 20960 1277 184 433 0 20524 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83840
[startup+0.300141 s]
/proc/loadavg: 1.22 1.08 1.35 3/179 3928
/proc/meminfo: memFree=29256232/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=83840 CPUtime=0.29 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 1526 0 0 0 29 0 0 0 20 0 2 0 331262228 85852160 1457 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 20960 1457 184 433 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83840
[startup+0.700119 s]
/proc/loadavg: 1.22 1.08 1.35 3/179 3928
/proc/meminfo: memFree=29256232/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=83984 CPUtime=0.69 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 1902 0 0 0 69 0 0 0 20 0 2 0 331262228 85999616 1833 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 20996 1833 184 433 0 20560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83984
[startup+1.50024 s]
/proc/loadavg: 1.28 1.09 1.36 3/181 3969
/proc/meminfo: memFree=29256920/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=83984 CPUtime=1.49 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 2509 0 0 0 149 0 0 0 20 0 2 0 331262228 85999616 2440 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 20996 2440 184 433 0 20560 0
[pid=3928/tid=3930] ppid=3926 vsize=83984 CPUtime=1.47 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 1720 0 0 0 147 0 0 0 20 0 2 0 331262229 85999616 2440 33554432000 4194304 5964350 140735551015648 139930744342520 4391600 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83984
[startup+3.10022 s]
/proc/loadavg: 1.28 1.09 1.36 3/181 3969
/proc/meminfo: memFree=29251084/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=84056 CPUtime=3.08 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 3504 0 0 0 308 0 0 0 20 0 2 0 331262228 86073344 3435 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 21014 3435 184 433 0 20578 0
[pid=3928/tid=3930] ppid=3926 vsize=84056 CPUtime=3.07 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 2715 0 0 0 307 0 0 0 20 0 2 0 331262229 86073344 3435 33554432000 4194304 5964350 140735551015648 139930744342520 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84056
[startup+6.30022 s]
/proc/loadavg: 1.34 1.11 1.36 3/181 4008
/proc/meminfo: memFree=29241024/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=84164 CPUtime=6.29 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 4823 0 0 0 628 1 0 0 20 0 2 0 331262228 86183936 4754 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 21041 4754 184 433 0 20605 0
[pid=3928/tid=3930] ppid=3926 vsize=84164 CPUtime=6.26 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 4034 0 0 0 625 1 0 0 20 0 2 0 331262229 86183936 4754 33554432000 4194304 5964350 140735551015648 139930744342520 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84164
[startup+12.7002 s]
/proc/loadavg: 1.39 1.12 1.36 3/181 4008
/proc/meminfo: memFree=29223568/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=84324 CPUtime=12.68 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 6619 0 0 0 1267 1 0 0 20 0 2 0 331262228 86347776 6550 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 21081 6550 184 433 0 20645 0
[pid=3928/tid=3930] ppid=3926 vsize=84324 CPUtime=12.64 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 5830 0 0 0 1263 1 0 0 20 0 2 0 331262229 86347776 6550 33554432000 4194304 5964350 140735551015648 139930744342328 4400352 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84324
[startup+25.5004 s]
/proc/loadavg: 1.53 1.16 1.37 3/181 4008
/proc/meminfo: memFree=29201072/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=84324 CPUtime=25.47 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 9588 0 0 0 2545 2 0 0 20 0 2 0 331262228 86347776 9530 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 21081 9530 184 433 0 20645 0
[pid=3928/tid=3930] ppid=3926 vsize=84324 CPUtime=25.4 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 8799 0 0 0 2538 2 0 0 20 0 2 0 331262229 86347776 9530 33554432000 4194304 5964350 140735551015648 139930744342568 4399858 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 84324
[startup+51.1004 s]
/proc/loadavg: 1.69 1.23 1.39 3/181 4008
/proc/meminfo: memFree=29158516/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=85140 CPUtime=51.06 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 14679 0 0 0 5101 5 0 0 20 0 2 0 331262228 87183360 14983 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 21285 14983 184 433 0 20849 0
[pid=3928/tid=3930] ppid=3926 vsize=85140 CPUtime=50.92 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 13890 0 0 0 5087 5 0 0 20 0 2 0 331262229 87183360 14983 33554432000 4194304 5964350 140735551015648 139930744342328 4400552 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85140
[startup+102.3 s]
/proc/loadavg: 1.86 1.35 1.42 3/181 4008
/proc/meminfo: memFree=29099364/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=153124 CPUtime=102.25 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 21559 0 0 0 10217 8 0 0 20 0 2 0 331262228 156798976 21863 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 38281 21863 184 433 0 37845 0
[pid=3928/tid=3930] ppid=3926 vsize=153124 CPUtime=101.99 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 20770 0 0 0 10190 9 0 0 20 0 2 0 331262229 156798976 21863 33554432000 4194304 5964350 140735551015648 139930744342568 4399852 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 153124
[startup+162.3 s]
/proc/loadavg: 1.95 1.46 1.45 3/181 4125
/proc/meminfo: memFree=29115404/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=156256 CPUtime=162.22 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 30279 0 0 0 16206 16 0 0 20 0 2 0 331262228 160006144 30642 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 39064 30642 184 433 0 38628 0
[pid=3928/tid=3930] ppid=3926 vsize=156256 CPUtime=161.81 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 29490 0 0 0 16163 18 0 0 20 0 2 0 331262229 160006144 30642 33554432000 4194304 5964350 140735551015648 139930744342328 4399962 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 156256
[startup+222.307 s]
/proc/loadavg: 1.98 1.56 1.48 3/181 4125
/proc/meminfo: memFree=28998756/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=223016 CPUtime=222.21 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 37716 0 0 0 22199 22 0 0 20 0 2 0 331262228 228368384 38090 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 55754 38090 184 433 0 55318 0
[pid=3928/tid=3930] ppid=3926 vsize=223016 CPUtime=221.64 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 36927 0 0 0 22139 25 0 0 20 0 2 0 331262229 228368384 38090 33554432000 4194304 5964350 140735551015648 139930744342568 4399866 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 223016
Solver just ended. Dumping a history of the last processes samples
[startup+224 s]
/proc/loadavg: 1.98 1.56 1.48 3/181 4125
/proc/meminfo: memFree=28997764/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=223160 CPUtime=223.9 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 38019 0 0 0 22368 22 0 0 20 0 2 0 331262228 228515840 38393 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 55790 38393 184 433 0 55354 0
[pid=3928/tid=3930] ppid=3926 vsize=223160 CPUtime=223.33 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 37230 0 0 0 22308 25 0 0 20 0 2 0 331262229 228515840 38393 33554432000 4194304 5964350 140735551015648 139930744342568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 223.9
Current children cumulated vsize (KiB) 223160
[startup+227.2 s]
/proc/loadavg: 1.98 1.57 1.48 3/181 4125
/proc/meminfo: memFree=28995516/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=223232 CPUtime=227.1 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 38563 0 0 0 22687 23 0 0 20 0 2 0 331262228 228589568 38937 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 55808 38937 184 433 0 55372 0
[pid=3928/tid=3930] ppid=3926 vsize=223232 CPUtime=226.52 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 37774 0 0 0 22626 26 0 0 20 0 2 0 331262229 228589568 38937 33554432000 4194304 5964350 140735551015648 139930744342520 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 227.1
Current children cumulated vsize (KiB) 223232
[startup+230.4 s]
/proc/loadavg: 1.98 1.57 1.48 3/182 4128
/proc/meminfo: memFree=28987664/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=224328 CPUtime=230.3 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 39060 0 0 0 23006 24 0 0 20 0 2 0 331262228 229711872 39434 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 56082 39434 184 433 0 55646 0
[pid=3928/tid=3930] ppid=3926 vsize=224328 CPUtime=229.72 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 38271 0 0 0 22945 27 0 0 20 0 2 0 331262229 229711872 39434 33554432000 4194304 5964350 140735551015648 139930744342536 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 230.3
Current children cumulated vsize (KiB) 224328
[startup+231.2 s]
/proc/loadavg: 1.98 1.57 1.49 3/182 4128
/proc/meminfo: memFree=28983944/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=224328 CPUtime=231.1 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 39168 0 0 0 23086 24 0 0 20 0 2 0 331262228 229711872 39542 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 56082 39542 184 433 0 55646 0
[pid=3928/tid=3930] ppid=3926 vsize=224328 CPUtime=230.51 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 38379 0 0 0 23024 27 0 0 20 0 2 0 331262229 229711872 39542 33554432000 4194304 5964350 140735551015648 139930744342520 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 231.1
Current children cumulated vsize (KiB) 224328
[startup+231.6 s]
/proc/loadavg: 1.98 1.57 1.49 3/182 4128
/proc/meminfo: memFree=28983944/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=224328 CPUtime=231.5 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 39229 0 0 0 23126 24 0 0 20 0 2 0 331262228 229711872 39603 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 56082 39603 184 433 0 55646 0
[pid=3928/tid=3930] ppid=3926 vsize=224328 CPUtime=230.91 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 38440 0 0 0 23064 27 0 0 20 0 2 0 331262229 229711872 39603 33554432000 4194304 5964350 140735551015648 139930744342568 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 231.5
Current children cumulated vsize (KiB) 224328
[startup+232 s]
/proc/loadavg: 1.98 1.57 1.49 3/182 4128
/proc/meminfo: memFree=28983944/32873844 swapFree=7620/7620
[pid=3928] ppid=3926 vsize=224328 CPUtime=231.9 cores=1,3,5,7
/proc/3928/stat : 3928 (wbo1.72) S 3926 3928 2201 0 -1 4202496 39300 0 0 0 23166 24 0 0 20 0 2 0 331262228 229711872 39674 33554432000 4194304 5964350 140735551015648 140735551015168 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3928/statm: 56082 39674 184 433 0 55646 0
[pid=3928/tid=3930] ppid=3926 vsize=224328 CPUtime=231.31 cores=1,3,5,7
/proc/3928/task/3930/stat : 3930 (wbo1.72) R 3926 3928 2201 0 -1 4202560 38511 0 0 0 23104 27 0 0 20 0 2 0 331262229 229711872 39674 33554432000 4194304 5964350 140735551015648 139930744342568 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 231.9
Current children cumulated vsize (KiB) 224328
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3928 and gives
# childrusage.ru_utime.tv_sec=231
# childrusage.ru_utime.tv_usec=92868
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=284956
# CPU time returned by wait4() is 231.378
# while last known CPU time is 231.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 232.039
CPU time (s): 231.9
CPU user time (s): 231.66
CPU system time (s): 0.24
CPU usage (%): 99.9401
Max. virtual memory (cumulated for all children) (KiB): 224328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.093
system time used= 0.284956
maximum resident set size= 158740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 759
runsolver used 0.354946 second user time and 1.16482 second system time
The end