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-3727541-1338660823/watcher-3727541-1338660823 -o /tmp/evaluation-result-3727541-1338660823/solver-3727541-1338660823 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727541-1338660823.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.04 2.02 2.00 3/177 10179
/proc/meminfo: memFree=28086752/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/10179/stat : 10179 (runsolver) D 10177 10179 7878 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 332209195 12095488 51 33554432000 4194304 5436572 140734916435872 140734916432168 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/10179/statm: 2953 51 31 304 0 2645 0
[startup+0.057621 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10179
/proc/meminfo: memFree=28086752/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=83564 CPUtime=0.04 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 916 0 0 0 4 0 0 0 20 0 2 0 332209195 85569536 864 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 20891 864 192 433 0 20455 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83564
[startup+0.100153 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10179
/proc/meminfo: memFree=28086752/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=83564 CPUtime=0.09 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 1026 0 0 0 9 0 0 0 20 0 2 0 332209195 85569536 974 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 20891 974 192 433 0 20455 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83564
[startup+0.300111 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10179
/proc/meminfo: memFree=28086752/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=83564 CPUtime=0.29 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 1407 0 0 0 29 0 0 0 20 0 2 0 332209195 85569536 1355 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 20891 1355 192 433 0 20455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83564
[startup+0.700109 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10179
/proc/meminfo: memFree=28086752/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=83708 CPUtime=0.69 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 1892 0 0 0 69 0 0 0 20 0 2 0 332209195 85716992 1840 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 20927 1840 192 433 0 20491 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83708
[startup+1.5002 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 10181
/proc/meminfo: memFree=28078644/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=83564 CPUtime=1.48 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 2048 0 0 0 148 0 0 0 20 0 2 0 332209195 85569536 1970 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 20891 1970 192 433 0 20455 0
[pid=10179/tid=10181] ppid=10177 vsize=83564 CPUtime=1.47 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 1348 0 0 0 147 0 0 0 20 0 2 0 332209196 85569536 1970 33554432000 4194304 5964350 140735090401248 140606973922232 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83564
[startup+3.1002 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 10181
/proc/meminfo: memFree=28077528/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=83780 CPUtime=3.08 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 3147 0 0 0 308 0 0 0 20 0 2 0 332209195 85790720 3069 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 20945 3069 192 433 0 20509 0
[pid=10179/tid=10181] ppid=10177 vsize=83780 CPUtime=3.07 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 2447 0 0 0 307 0 0 0 20 0 2 0 332209196 85790720 3069 33554432000 4194304 5964350 140735090401248 140606973921080 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83780
[startup+6.30021 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 10181
/proc/meminfo: memFree=28068472/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=83780 CPUtime=6.28 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 4884 0 0 0 627 1 0 0 20 0 2 0 332209195 85790720 4806 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 20945 4806 192 433 0 20509 0
[pid=10179/tid=10181] ppid=10177 vsize=83780 CPUtime=6.26 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 4185 0 0 0 625 1 0 0 20 0 2 0 332209196 85790720 4807 33554432000 4194304 5964350 140735090401248 140606973921080 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83780
[startup+12.7002 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 10181
/proc/meminfo: memFree=28057224/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=84048 CPUtime=12.68 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 7372 0 0 0 1266 2 0 0 20 0 2 0 332209195 86065152 7294 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 21012 7294 192 433 0 20576 0
[pid=10179/tid=10181] ppid=10177 vsize=84048 CPUtime=12.64 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 6672 0 0 0 1262 2 0 0 20 0 2 0 332209196 86065152 7294 33554432000 4194304 5964350 140735090401248 140606973921080 4400011 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84048
[startup+25.5002 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 10181
/proc/meminfo: memFree=28044384/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=84048 CPUtime=25.48 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 10016 0 0 0 2545 3 0 0 20 0 2 0 332209195 86065152 9938 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 21012 9938 192 433 0 20576 0
[pid=10179/tid=10181] ppid=10177 vsize=84048 CPUtime=25.4 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 9316 0 0 0 2537 3 0 0 20 0 2 0 332209196 86065152 9938 33554432000 4194304 5964350 140735090401248 140606973921080 4399832 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84048
[startup+51.1002 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27991280/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=86556 CPUtime=51.07 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 16005 0 0 0 5102 5 0 0 20 0 2 0 332209195 88633344 15916 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 21639 15916 192 433 0 21203 0
[pid=10179/tid=10181] ppid=10177 vsize=86556 CPUtime=50.93 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 15305 0 0 0 5088 5 0 0 20 0 2 0 332209196 88633344 15916 33554432000 4194304 5964350 140735090401248 140606973921320 4400023 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86556
[startup+102.306 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 10181
/proc/meminfo: memFree=27942412/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=156520 CPUtime=102.26 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 26398 0 0 0 10217 9 0 0 20 0 2 0 332209195 160276480 26279 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 39130 26279 192 433 0 38694 0
[pid=10179/tid=10181] ppid=10177 vsize=156520 CPUtime=102 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 25698 0 0 0 10190 10 0 0 20 0 2 0 332209196 160276480 26279 33554432000 4194304 5964350 140735090401248 140606973921080 4399835 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 156520
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27894148/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=158784 CPUtime=127.84 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 31929 0 0 0 12771 13 0 0 20 0 2 0 332209195 162594816 31874 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 39696 31874 192 433 0 39260 0
[pid=10179/tid=10181] ppid=10177 vsize=158784 CPUtime=127.52 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 31229 0 0 0 12738 14 0 0 20 0 2 0 332209196 162594816 31874 33554432000 4194304 5964350 140735090401248 140606973921320 4379216 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 158784
[startup+140.7 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27886196/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=158784 CPUtime=140.64 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 31969 0 0 0 14051 13 0 0 20 0 2 0 332209195 162594816 31953 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 39696 31953 192 433 0 39260 0
[pid=10179/tid=10181] ppid=10177 vsize=158784 CPUtime=140.29 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 31269 0 0 0 14014 15 0 0 20 0 2 0 332209196 162594816 31953 33554432000 4194304 5964350 140735090401248 140606973921080 4409168 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (KiB) 158784
[startup+147.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27883576/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=159108 CPUtime=147.03 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 32315 0 0 0 14690 13 0 0 20 0 2 0 332209195 162926592 32296 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 39777 32296 192 433 0 39341 0
[pid=10179/tid=10181] ppid=10177 vsize=159108 CPUtime=146.66 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 31615 0 0 0 14651 15 0 0 20 0 2 0 332209196 162926592 32296 33554432000 4194304 5964350 140735090401248 140606973921272 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 147.03
Current children cumulated vsize (KiB) 159108
[startup+153.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27871052/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=159644 CPUtime=153.42 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 34536 0 0 0 15328 14 0 0 20 0 2 0 332209195 163475456 34510 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 39911 34510 192 433 0 39475 0
[pid=10179/tid=10181] ppid=10177 vsize=159644 CPUtime=153.03 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 33836 0 0 0 15287 16 0 0 20 0 2 0 332209196 163475456 34510 33554432000 4194304 5964350 140735090401248 140606973921272 4400715 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 153.42
Current children cumulated vsize (KiB) 159644
[startup+155.106 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27863968/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=225448 CPUtime=155.02 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 36070 0 0 0 15488 14 0 0 20 0 2 0 332209195 230858752 36044 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 56362 36044 192 433 0 55926 0
[pid=10179/tid=10181] ppid=10177 vsize=225448 CPUtime=154.63 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 35370 0 0 0 15447 16 0 0 20 0 2 0 332209196 230858752 36044 33554432000 4194304 5964350 140735090401248 140606973921272 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 155.02
Current children cumulated vsize (KiB) 225448
[startup+156.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27852684/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=225448 CPUtime=156.62 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 38627 0 0 0 15647 15 0 0 20 0 2 0 332209195 230858752 38601 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 56362 38601 192 433 0 55926 0
[pid=10179/tid=10181] ppid=10177 vsize=225448 CPUtime=156.22 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 37927 0 0 0 15605 17 0 0 20 0 2 0 332209196 230858752 38601 33554432000 4194304 5964350 140735090401248 140606973921336 4397887 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 156.62
Current children cumulated vsize (KiB) 225448
[startup+157.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27852684/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=225448 CPUtime=157.02 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 38627 0 0 0 15687 15 0 0 20 0 2 0 332209195 230858752 38601 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 56362 38601 192 433 0 55926 0
[pid=10179/tid=10181] ppid=10177 vsize=225448 CPUtime=156.62 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 37927 0 0 0 15645 17 0 0 20 0 2 0 332209196 230858752 38601 33554432000 4194304 5964350 140735090401248 140606973921624 4398312 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 157.02
Current children cumulated vsize (KiB) 225448
[startup+157.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 10181
/proc/meminfo: memFree=27851444/32873648 swapFree=6864/6864
[pid=10179] ppid=10177 vsize=225448 CPUtime=157.42 cores=0,2,4,6
/proc/10179/stat : 10179 (wbo1.72) S 10177 10179 7878 0 -1 4202496 38633 0 0 0 15727 15 0 0 20 0 2 0 332209195 230858752 38607 33554432000 4194304 5964350 140735090401248 140735090400768 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10179/statm: 56362 38607 192 433 0 55926 0
[pid=10179/tid=10181] ppid=10177 vsize=225448 CPUtime=157.02 cores=0,2,4,6
/proc/10179/task/10181/stat : 10181 (wbo1.72) R 10177 10179 7878 0 -1 4202560 37933 0 0 0 15685 17 0 0 20 0 2 0 332209196 230858752 38607 33554432000 4194304 5964350 140735090401248 140606973921624 5122320 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 157.42
Current children cumulated vsize (KiB) 225448
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10179 and gives
# childrusage.ru_utime.tv_sec=156
# childrusage.ru_utime.tv_usec=927143
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=185971
# CPU time returned by wait4() is 157.113
# while last known CPU time is 157.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 157.577
CPU time (s): 157.42
CPU user time (s): 157.27
CPU system time (s): 0.15
CPU usage (%): 99.9002
Max. virtual memory (cumulated for all children) (KiB): 225448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.927
system time used= 0.185971
maximum resident set size= 154428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38636
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= 42
involuntary context switches= 334
runsolver used 0.367944 second user time and 0.827874 second system time
The end