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-3704369-1338097922/watcher-3704369-1338097922 -o /tmp/evaluation-result-3704369-1338097922/solver-3704369-1338097922 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704369-1338097922.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.04 2.03 2.00 3/177 20463
/proc/meminfo: memFree=25198052/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=10248 CPUtime=0 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) R 20461 20463 18256 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 275920747 10493952 241 33554432000 4194304 5965102 140734980762544 140734087513864 5179915 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 2562 242 168 433 0 316 0
[startup+0.0818689 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20463
/proc/meminfo: memFree=25198052/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=13864 CPUtime=0.07 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) R 20461 20463 18256 0 -1 4202496 1435 0 0 0 7 0 0 0 20 0 1 0 275920747 14196736 1387 33554432000 4194304 5965102 140734980762544 140734087513864 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 3466 1387 444 433 0 1220 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13864
[startup+0.100306 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20463
/proc/meminfo: memFree=25198052/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=14788 CPUtime=0.09 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) R 20461 20463 18256 0 -1 4202496 1746 0 0 0 9 0 0 0 20 0 1 0 275920747 15142912 1665 33554432000 4194304 5965102 140734980762544 140734087513864 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 3697 1665 514 433 0 1451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14788
[startup+0.300263 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20463
/proc/meminfo: memFree=25198052/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=23576 CPUtime=0.28 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) R 20461 20463 18256 0 -1 4202496 4678 0 0 0 28 0 0 0 20 0 1 0 275920747 24141824 4532 33554432000 4194304 5965102 140734980762544 140734980760488 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 5894 4533 1245 433 0 3648 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23576
[startup+0.700315 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20463
/proc/meminfo: memFree=25198052/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=105556 CPUtime=0.69 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 14891 0 0 0 67 2 0 0 20 0 2 0 275920747 108089344 12460 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 26389 12460 188 433 0 25953 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105556
[startup+1.50032 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20465
/proc/meminfo: memFree=25148220/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=105556 CPUtime=1.49 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 15252 0 0 0 146 3 0 0 20 0 2 0 275920747 108089344 12821 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 26389 12821 190 433 0 25953 0
[pid=20463/tid=20465] ppid=20461 vsize=105556 CPUtime=0.98 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 7169 0 0 0 96 2 0 0 20 0 2 0 275920798 108089344 12821 33554432000 4194304 5965102 140734980762544 139777153173544 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105556
[startup+3.10034 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20465
/proc/meminfo: memFree=25145856/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=105556 CPUtime=3.09 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 15804 0 0 0 306 3 0 0 20 0 2 0 275920747 108089344 13373 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 26389 13373 190 433 0 25953 0
[pid=20463/tid=20465] ppid=20461 vsize=105556 CPUtime=2.58 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 7722 0 0 0 256 2 0 0 20 0 2 0 275920798 108089344 13374 33554432000 4194304 5965102 140734980762544 139777153173304 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105556
[startup+6.30035 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20465
/proc/meminfo: memFree=25140400/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=105556 CPUtime=6.29 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 16648 0 0 0 626 3 0 0 20 0 2 0 275920747 108089344 14217 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 26389 14217 190 433 0 25953 0
[pid=20463/tid=20465] ppid=20461 vsize=105556 CPUtime=5.77 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 8565 0 0 0 575 2 0 0 20 0 2 0 275920798 108089344 14217 33554432000 4194304 5965102 140734980762544 139777153173304 4400992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105556
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20465
/proc/meminfo: memFree=25128984/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=105556 CPUtime=12.69 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 18552 0 0 0 1265 4 0 0 20 0 2 0 275920747 108089344 16121 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 26389 16121 190 433 0 25953 0
[pid=20463/tid=20465] ppid=20461 vsize=105556 CPUtime=12.15 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 10469 0 0 0 1212 3 0 0 20 0 2 0 275920798 108089344 16121 33554432000 4194304 5965102 140734980762544 139777153173544 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105556
[startup+25.5004 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20465
/proc/meminfo: memFree=25109392/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=105556 CPUtime=25.49 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 21611 0 0 0 2543 6 0 0 20 0 2 0 275920747 108089344 19180 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 26389 19180 190 433 0 25953 0
[pid=20463/tid=20465] ppid=20461 vsize=105556 CPUtime=24.92 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 13528 0 0 0 2487 5 0 0 20 0 2 0 275920798 108089344 19180 33554432000 4194304 5965102 140734980762544 139777153173496 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105556
[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 20465
/proc/meminfo: memFree=25074700/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=171092 CPUtime=51.08 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 27314 0 0 0 5098 10 0 0 20 0 2 0 275920747 175198208 24883 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 42773 24883 190 433 0 42337 0
[pid=20463/tid=20465] ppid=20461 vsize=171092 CPUtime=50.45 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 19231 0 0 0 5036 9 0 0 20 0 2 0 275920798 175198208 24883 33554432000 4194304 5965102 140734980762544 139777153173432 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 171092
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20465
/proc/meminfo: memFree=25003820/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=102.28 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 37655 0 0 0 10211 17 0 0 20 0 2 0 275920747 177688576 35735 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 35735 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=101.52 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 29572 0 0 0 10135 17 0 0 20 0 2 0 275920798 177688576 35735 33554432000 4194304 5965102 140734980762544 139777153173496 4401827 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 173524
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24969748/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=162.26 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 38632 0 0 0 16208 18 0 0 20 0 2 0 275920747 177688576 36712 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 36712 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=161.36 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 30549 0 0 0 16117 19 0 0 20 0 2 0 275920798 177688576 36712 33554432000 4194304 5965102 140734980762544 139777153173304 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 173524
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24961796/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=179.06 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 38775 0 0 0 17888 18 0 0 20 0 2 0 275920747 177688576 36855 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 36855 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=178.11 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 30692 0 0 0 17792 19 0 0 20 0 2 0 275920798 177688576 36855 33554432000 4194304 5965102 140734980762544 139777153173304 4382641 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 179.06
Current children cumulated vsize (KiB) 173524
[startup+191.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24954448/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=191.86 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 39224 0 0 0 19167 19 0 0 20 0 2 0 275920747 177688576 37304 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 37304 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=190.88 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 31141 0 0 0 19068 20 0 0 20 0 2 0 275920798 177688576 37304 33554432000 4194304 5965102 140734980762544 139777153173544 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 191.86
Current children cumulated vsize (KiB) 173524
[startup+198.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24948744/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=198.25 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 39824 0 0 0 19806 19 0 0 20 0 2 0 275920747 177688576 37904 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 37904 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=197.26 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 31741 0 0 0 19706 20 0 0 20 0 2 0 275920798 177688576 37904 33554432000 4194304 5965102 140734980762544 139777153173304 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 198.25
Current children cumulated vsize (KiB) 173524
[startup+199.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24947628/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=199.85 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 39840 0 0 0 19966 19 0 0 20 0 2 0 275920747 177688576 37920 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 37920 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=198.86 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 31757 0 0 0 19865 21 0 0 20 0 2 0 275920798 177688576 37920 33554432000 4194304 5965102 140734980762544 139777153173304 4401835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 199.85
Current children cumulated vsize (KiB) 173524
[startup+200.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24946620/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=200.65 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 39905 0 0 0 20046 19 0 0 20 0 2 0 275920747 177688576 37985 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 37985 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=199.66 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 31822 0 0 0 19945 21 0 0 20 0 2 0 275920798 177688576 37985 33554432000 4194304 5965102 140734980762544 139777153173496 4383326 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 200.65
Current children cumulated vsize (KiB) 173524
[startup+201.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24946620/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=201.05 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 39934 0 0 0 20086 19 0 0 20 0 2 0 275920747 177688576 38014 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 38014 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=200.06 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 31851 0 0 0 19985 21 0 0 20 0 2 0 275920798 177688576 38014 33554432000 4194304 5965102 140734980762544 139777153173496 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 201.05
Current children cumulated vsize (KiB) 173524
[startup+201.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 20466
/proc/meminfo: memFree=24945628/32873844 swapFree=6856/6856
[pid=20463] ppid=20461 vsize=173524 CPUtime=201.26 cores=1,3,5,7
/proc/20463/stat : 20463 (pwbo2.0) S 20461 20463 18256 0 -1 4202496 39949 0 0 0 20107 19 0 0 20 0 2 0 275920747 177688576 38029 33554432000 4194304 5965102 140734980762544 140734980762064 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20463/statm: 43381 38029 190 433 0 42945 0
[pid=20463/tid=20465] ppid=20461 vsize=173524 CPUtime=200.26 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (pwbo2.0) R 20461 20463 18256 0 -1 4202560 31866 0 0 0 20005 21 0 0 20 0 2 0 275920798 177688576 38029 33554432000 4194304 5965102 140734980762544 139777153173512 4222308 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 201.26
Current children cumulated vsize (KiB) 173524
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20463 and gives
# childrusage.ru_utime.tv_sec=200
# childrusage.ru_utime.tv_usec=557510
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=243962
# CPU time returned by wait4() is 200.801
# while last known CPU time is 201.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 201.325
CPU time (s): 201.26
CPU user time (s): 201.07
CPU system time (s): 0.19
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 173524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.558
system time used= 0.243962
maximum resident set size= 152144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39956
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= 4
involuntary context switches= 211
runsolver used 0.39194 second user time and 0.947855 second system time
The end