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-3462365-1307184424/watcher-3462365-1307184424 -o /tmp/evaluation-result-3462365-1307184424/solver-3462365-1307184424 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462365-1307184424.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.00 2.03 2.00 2/527 20618
/proc/meminfo: memFree=24899208/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=13048 CPUtime=0.01 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 822 0 0 0 1 0 0 0 25 0 1 0 908673026 13361152 777 33554432000 134512640 137138936 4291176960 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 3262 778 194 642 0 2570 0
[startup+0.025303 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20618
/proc/meminfo: memFree=24899208/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=14312 CPUtime=0.02 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 1134 0 0 0 2 0 0 0 25 0 1 0 908673026 14655488 1089 33554432000 134512640 137138936 4291176960 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 3578 1091 207 642 0 2886 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14312
[startup+0.100304 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20618
/proc/meminfo: memFree=24899208/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=17892 CPUtime=0.09 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 2083 0 0 0 9 0 0 0 25 0 1 0 908673026 18321408 1990 33554432000 134512640 137138936 4291176960 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 4473 1990 185 642 0 3829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17892
[startup+0.300256 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20618
/proc/meminfo: memFree=24899208/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=17892 CPUtime=0.29 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 2084 0 0 0 29 0 0 0 25 0 1 0 908673026 18321408 1991 33554432000 134512640 137138936 4291176960 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 4473 1991 185 642 0 3829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17892
[startup+0.700198 s]
/proc/loadavg: 2.00 2.03 2.00 2/527 20618
/proc/meminfo: memFree=24899208/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=17892 CPUtime=0.69 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 2084 0 0 0 69 0 0 0 25 0 1 0 908673026 18321408 1991 33554432000 134512640 137138936 4291176960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 4473 1991 185 642 0 3829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17892
[startup+1.50106 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20619
/proc/meminfo: memFree=24890924/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=17892 CPUtime=1.49 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 2084 0 0 0 149 0 0 0 25 0 1 0 908673026 18321408 1991 33554432000 134512640 137138936 4291176960 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 4473 1991 185 642 0 3829 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17892
[startup+3.10077 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20619
/proc/meminfo: memFree=24889560/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=17892 CPUtime=3.09 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 2084 0 0 0 309 0 0 0 25 0 1 0 908673026 18321408 1991 33554432000 134512640 137138936 4291176960 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 4473 1991 185 642 0 3829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17892
[startup+6.30021 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20619
/proc/meminfo: memFree=24884808/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=24432 CPUtime=6.29 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 4196 0 0 0 625 4 0 0 25 0 1 0 908673026 25018368 3670 33554432000 134512640 137138936 4291176960 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 6108 3670 192 642 0 5464 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24432
[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20619
/proc/meminfo: memFree=24858540/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=50136 CPUtime=12.69 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 10616 0 0 0 1257 12 0 0 25 0 1 0 908673026 51339264 10090 33554432000 134512640 137138936 4291176960 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 12534 10090 192 642 0 11890 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50136
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20619
/proc/meminfo: memFree=24806092/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=101668 CPUtime=25.49 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 23502 0 0 0 2530 19 0 0 25 0 1 0 908673026 104108032 22976 33554432000 134512640 137138936 4291176960 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 25417 22976 192 642 0 24773 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101668
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20620
/proc/meminfo: memFree=24710560/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=197548 CPUtime=51.1 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 47459 0 0 0 5082 28 0 0 25 0 1 0 908673026 202289152 46933 33554432000 134512640 137138936 4291176960 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 49387 46933 192 642 0 48743 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 197548
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20622
/proc/meminfo: memFree=24541416/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=364676 CPUtime=102.31 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 89256 0 0 0 10191 40 0 0 25 0 1 0 908673026 373428224 88730 33554432000 134512640 137138936 4291176960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 91169 88730 192 642 0 90525 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 364676
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20623
/proc/meminfo: memFree=24368264/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=537480 CPUtime=162.29 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 132462 0 0 0 16177 52 0 0 25 0 1 0 908673026 550379520 131936 33554432000 134512640 137138936 4291176960 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 134370 131936 192 642 0 133726 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 537480
[startup+222.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/528 20625
/proc/meminfo: memFree=24270276/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=634752 CPUtime=222.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 156762 0 0 0 22167 63 0 0 25 0 1 0 908673026 649986048 156236 33554432000 134512640 137138936 4291176960 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 158688 156236 192 642 0 158044 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 634752
[startup+282.301 s]
/proc/loadavg: 2.27 2.10 2.03 3/528 20626
/proc/meminfo: memFree=24185168/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=721728 CPUtime=282.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 178522 0 0 0 28158 72 0 0 25 0 1 0 908673026 739049472 177996 33554432000 134512640 137138936 4291176960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 180432 177996 192 642 0 179788 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 721728
[startup+342.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/528 20628
/proc/meminfo: memFree=24119812/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=785688 CPUtime=342.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 194510 0 0 0 34152 78 0 0 25 0 1 0 908673026 804544512 193984 33554432000 134512640 137138936 4291176960 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 196422 193984 192 642 0 195778 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 785688
[startup+402.301 s]
/proc/loadavg: 2.03 2.06 2.02 3/528 20629
/proc/meminfo: memFree=24050944/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=856188 CPUtime=402.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 212140 0 0 0 40142 88 0 0 25 0 1 0 908673026 876736512 211614 33554432000 134512640 137138936 4291176960 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 214047 211614 192 642 0 213403 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 856188
[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/528 20631
/proc/meminfo: memFree=23944272/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=961924 CPUtime=462.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 238564 0 0 0 46136 94 0 0 25 0 1 0 908673026 985010176 238038 33554432000 134512640 137138936 4291176960 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 240481 238038 192 642 0 239837 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 961924
[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/528 20633
/proc/meminfo: memFree=23865476/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=522.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 52129 101 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1039260
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20661
/proc/meminfo: memFree=23832900/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=582.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 58127 103 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1039260
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20663
/proc/meminfo: memFree=23832664/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=642.32 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 64127 105 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1039260
[startup+702.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20664
/proc/meminfo: memFree=23832504/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=702.31 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 70121 110 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 134599251 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1039260
Solver just ended. Dumping a history of the last processes samples
[startup+703.901 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20665
/proc/meminfo: memFree=23832876/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=703.92 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 70282 110 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 703.92
Current children cumulated vsize (KiB) 1039260
[startup+716.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20665
/proc/meminfo: memFree=23831004/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=716.71 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 71560 111 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 716.71
Current children cumulated vsize (KiB) 1039260
[startup+723.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20665
/proc/meminfo: memFree=23831996/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=723.1 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 72199 111 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 723.1
Current children cumulated vsize (KiB) 1039260
[startup+724.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20665
/proc/meminfo: memFree=23831620/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=724.7 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 72359 111 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 724.7
Current children cumulated vsize (KiB) 1039260
[startup+726.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20665
/proc/meminfo: memFree=23831620/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=726.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 72519 111 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 726.3
Current children cumulated vsize (KiB) 1039260
[startup+727.12 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20665
/proc/meminfo: memFree=23831620/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=727.12 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 72601 111 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 134551152 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 727.12
Current children cumulated vsize (KiB) 1039260
[startup+727.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20665
/proc/meminfo: memFree=23831620/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=1039260 CPUtime=727.3 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202496 258055 0 0 0 72619 111 0 0 25 0 1 0 908673026 1064202240 257369 33554432000 134512640 137138936 4291176960 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20618/statm: 259815 257369 192 642 0 259171 0
Current children cumulated CPU time (s) 727.3
Current children cumulated vsize (KiB) 1039260
[startup+727.401 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20665
/proc/meminfo: memFree=23831620/32951124 swapFree=56241860/67111528
[pid=20618] ppid=20616 vsize=0 CPUtime=727.41 cores=1,3,5,7
/proc/20618/stat : 20618 (bsolo) R 20616 20618 18760 0 -1 4202500 258056 0 0 0 72628 113 0 0 25 0 1 0 908673026 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/20618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 727.41
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 727.437
CPU time (s): 727.451
CPU user time (s): 726.285
CPU system time (s): 1.16682
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1039900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 726.285
system time used= 1.16682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258056
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= 797
runsolver used 3.63045 second user time and 8.94764 second system time
The end