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-3728061-1338651905/watcher-3728061-1338651905 -o /tmp/evaluation-result-3728061-1338651905/solver-3728061-1338651905 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3728061-1338651905.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: 1.00 1.15 1.54 4/176 11461
/proc/meminfo: memFree=27293620/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=83820 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 866 0 0 0 0 0 0 0 20 0 2 0 331316247 85831680 813 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 20955 813 195 433 0 20519 0
[pid=11461/tid=11463] ppid=11459 vsize=83820 CPUtime=0 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 2 0 331316248 85831680 813 33554432000 4194304 5964350 140733963692608 140734473096360 4389487 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0377159 s]
/proc/loadavg: 1.00 1.15 1.54 4/176 11461
/proc/meminfo: memFree=27293620/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=83820 CPUtime=0.03 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 997 0 0 0 3 0 0 0 20 0 2 0 331316247 85831680 944 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 20955 944 197 433 0 20519 0
[pid=11461/tid=11463] ppid=11459 vsize=83820 CPUtime=0.02 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 248 0 0 0 2 0 0 0 20 0 2 0 331316248 85831680 945 33554432000 4194304 5964350 140733963692608 140734473096360 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83820
[startup+0.100239 s]
/proc/loadavg: 1.00 1.15 1.54 4/176 11461
/proc/meminfo: memFree=27293620/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=83820 CPUtime=0.09 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 1170 0 0 0 9 0 0 0 20 0 2 0 331316247 85831680 1117 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 20955 1117 197 433 0 20519 0
[pid=11461/tid=11463] ppid=11459 vsize=83820 CPUtime=0.08 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 421 0 0 0 8 0 0 0 20 0 2 0 331316248 85831680 1117 33554432000 4194304 5964350 140733963692608 140734473096360 4388992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83820
[startup+0.300194 s]
/proc/loadavg: 1.00 1.15 1.54 4/176 11461
/proc/meminfo: memFree=27293620/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=83820 CPUtime=0.29 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 1554 0 0 0 29 0 0 0 20 0 2 0 331316247 85831680 1501 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 20955 1501 197 433 0 20519 0
[pid=11461/tid=11463] ppid=11459 vsize=83820 CPUtime=0.28 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 805 0 0 0 28 0 0 0 20 0 2 0 331316248 85831680 1501 33554432000 4194304 5964350 140733963692608 139852807718424 4381951 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83820
[startup+0.700211 s]
/proc/loadavg: 1.00 1.15 1.54 4/176 11461
/proc/meminfo: memFree=27293620/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=83820 CPUtime=0.69 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 2148 0 0 0 69 0 0 0 20 0 2 0 331316247 85831680 2095 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 20955 2095 197 433 0 20519 0
[pid=11461/tid=11463] ppid=11459 vsize=83820 CPUtime=0.68 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 1399 0 0 0 68 0 0 0 20 0 2 0 331316248 85831680 2095 33554432000 4194304 5964350 140733963692608 139852807718424 4220678 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83820
[startup+1.50021 s]
/proc/loadavg: 1.00 1.15 1.53 3/179 11515
/proc/meminfo: memFree=27273704/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=83964 CPUtime=1.49 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 2565 0 0 0 149 0 0 0 20 0 2 0 331316247 85979136 2512 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 20991 2512 197 433 0 20555 0
[pid=11461/tid=11463] ppid=11459 vsize=83964 CPUtime=1.48 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 1816 0 0 0 148 0 0 0 20 0 2 0 331316248 85979136 2512 33554432000 4194304 5964350 140733963692608 139852807718712 4391651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83964
[startup+3.10021 s]
/proc/loadavg: 1.00 1.15 1.53 3/179 11515
/proc/meminfo: memFree=27267428/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=84036 CPUtime=3.09 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 3359 0 0 0 308 1 0 0 20 0 2 0 331316247 86052864 3311 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21009 3311 197 433 0 20573 0
[pid=11461/tid=11463] ppid=11459 vsize=84036 CPUtime=3.07 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 2610 0 0 0 307 0 0 0 20 0 2 0 331316248 86052864 3311 33554432000 4194304 5964350 140733963692608 139852807718712 4381360 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84036
[startup+6.30016 s]
/proc/loadavg: 1.08 1.16 1.54 3/179 11515
/proc/meminfo: memFree=27251252/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=84144 CPUtime=6.29 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 5312 0 0 0 627 2 0 0 20 0 2 0 331316247 86163456 5264 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21036 5264 197 433 0 20600 0
[pid=11461/tid=11463] ppid=11459 vsize=84144 CPUtime=6.26 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 4563 0 0 0 625 1 0 0 20 0 2 0 331316248 86163456 5264 33554432000 4194304 5964350 140733963692608 139852807718424 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84144
[startup+12.7001 s]
/proc/loadavg: 1.15 1.17 1.54 3/179 11515
/proc/meminfo: memFree=27228796/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=84448 CPUtime=12.69 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 7276 0 0 0 1267 2 0 0 20 0 2 0 331316247 86474752 7472 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21112 7472 197 433 0 20676 0
[pid=11461/tid=11463] ppid=11459 vsize=84448 CPUtime=12.65 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 6527 0 0 0 1263 2 0 0 20 0 2 0 331316248 86474752 7472 33554432000 4194304 5964350 140733963692608 139852807718712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84448
[startup+25.5003 s]
/proc/loadavg: 1.34 1.21 1.55 3/179 11515
/proc/meminfo: memFree=27202748/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=85672 CPUtime=25.48 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 10255 0 0 0 2545 3 0 0 20 0 2 0 331316247 87728128 10447 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21418 10447 197 433 0 20982 0
[pid=11461/tid=11463] ppid=11459 vsize=85672 CPUtime=25.41 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 9506 0 0 0 2538 3 0 0 20 0 2 0 331316248 87728128 10447 33554432000 4194304 5964350 140733963692608 139852807718424 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85672
Solver just ended. Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 1.34 1.21 1.55 3/179 11515
/proc/meminfo: memFree=27202748/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=85672 CPUtime=25.58 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 10290 0 0 0 2555 3 0 0 20 0 2 0 331316247 87728128 10482 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21418 10482 197 433 0 20982 0
[pid=11461/tid=11463] ppid=11459 vsize=85672 CPUtime=25.51 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 9541 0 0 0 2548 3 0 0 20 0 2 0 331316248 87728128 10482 33554432000 4194304 5964350 140733963692608 139852807718424 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 85672
[startup+32.0064 s]
/proc/loadavg: 1.39 1.23 1.55 3/179 11515
/proc/meminfo: memFree=27185092/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=86488 CPUtime=31.99 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 12250 0 0 0 3195 4 0 0 20 0 2 0 331316247 88563712 12442 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21622 12442 197 433 0 21186 0
[pid=11461/tid=11463] ppid=11459 vsize=86488 CPUtime=31.9 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 11501 0 0 0 3186 4 0 0 20 0 2 0 331316248 88563712 12442 33554432000 4194304 5964350 140733963692608 139852807718904 4409622 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 86488
[startup+38.4002 s]
/proc/loadavg: 1.44 1.24 1.55 3/179 11515
/proc/meminfo: memFree=27180132/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=86488 CPUtime=38.38 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 12317 0 0 0 3834 4 0 0 20 0 2 0 331316247 88563712 12509 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21622 12509 197 433 0 21186 0
[pid=11461/tid=11463] ppid=11459 vsize=86488 CPUtime=38.28 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 11568 0 0 0 3824 4 0 0 20 0 2 0 331316248 88563712 12509 33554432000 4194304 5964350 140733963692608 139852807718712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 86488
[startup+40.0003 s]
/proc/loadavg: 1.44 1.24 1.55 3/179 11515
/proc/meminfo: memFree=27179512/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=86488 CPUtime=39.98 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 12323 0 0 0 3994 4 0 0 20 0 2 0 331316247 88563712 12515 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21622 12515 197 433 0 21186 0
[pid=11461/tid=11463] ppid=11459 vsize=86488 CPUtime=39.88 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 11574 0 0 0 3984 4 0 0 20 0 2 0 331316248 88563712 12515 33554432000 4194304 5964350 140733963692608 139852807718712 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (KiB) 86488
[startup+41.6003 s]
/proc/loadavg: 1.49 1.25 1.55 3/179 11515
/proc/meminfo: memFree=27179140/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=86488 CPUtime=41.58 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 12323 0 0 0 4154 4 0 0 20 0 2 0 331316247 88563712 12515 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21622 12515 197 433 0 21186 0
[pid=11461/tid=11463] ppid=11459 vsize=86488 CPUtime=41.47 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 11574 0 0 0 4143 4 0 0 20 0 2 0 331316248 88563712 12515 33554432000 4194304 5964350 140733963692608 139852807718712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 41.58
Current children cumulated vsize (KiB) 86488
[startup+42.4002 s]
/proc/loadavg: 1.49 1.25 1.55 3/179 11515
/proc/meminfo: memFree=27178272/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=86488 CPUtime=42.38 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 12323 0 0 0 4234 4 0 0 20 0 2 0 331316247 88563712 12515 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21622 12515 197 433 0 21186 0
[pid=11461/tid=11463] ppid=11459 vsize=86488 CPUtime=42.27 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 11574 0 0 0 4223 4 0 0 20 0 2 0 331316248 88563712 12515 33554432000 4194304 5964350 140733963692608 139852807718712 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 42.38
Current children cumulated vsize (KiB) 86488
[startup+42.6003 s]
/proc/loadavg: 1.49 1.25 1.55 3/179 11515
/proc/meminfo: memFree=27178272/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=86488 CPUtime=42.58 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 12323 0 0 0 4254 4 0 0 20 0 2 0 331316247 88563712 12515 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21622 12515 197 433 0 21186 0
[pid=11461/tid=11463] ppid=11459 vsize=86488 CPUtime=42.47 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 11574 0 0 0 4243 4 0 0 20 0 2 0 331316248 88563712 12515 33554432000 4194304 5964350 140733963692608 139852807718712 4400548 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 42.58
Current children cumulated vsize (KiB) 86488
[startup+42.7003 s]
/proc/loadavg: 1.49 1.25 1.55 3/179 11515
/proc/meminfo: memFree=27178272/32873660 swapFree=7120/7120
[pid=11461] ppid=11459 vsize=86488 CPUtime=42.68 cores=0,2,4,6
/proc/11461/stat : 11461 (wbo1.72) S 11459 11461 9917 0 -1 4202496 12323 0 0 0 4264 4 0 0 20 0 2 0 331316247 88563712 12515 33554432000 4194304 5964350 140733963692608 140733963692128 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11461/statm: 21622 12515 197 433 0 21186 0
[pid=11461/tid=11463] ppid=11459 vsize=86488 CPUtime=42.57 cores=0,2,4,6
/proc/11461/task/11463/stat : 11463 (wbo1.72) R 11459 11461 9917 0 -1 4202560 11574 0 0 0 4253 4 0 0 20 0 2 0 331316248 88563712 12515 33554432000 4194304 5964350 140733963692608 139852807718712 5122298 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 42.68
Current children cumulated vsize (KiB) 86488
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11461 and gives
# childrusage.ru_utime.tv_sec=42
# childrusage.ru_utime.tv_usec=565529
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=53991
# CPU time returned by wait4() is 42.6195
# while last known CPU time is 42.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 42.7361
CPU time (s): 42.68
CPU user time (s): 42.64
CPU system time (s): 0.04
CPU usage (%): 99.8686
Max. virtual memory (cumulated for all children) (KiB): 86488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.5655
system time used= 0.053991
maximum resident set size= 50060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12326
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= 5
involuntary context switches= 45
runsolver used 0.047992 second user time and 0.188971 second system time
The end