Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_200_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0004.txt.wcnf *** c c Min unsat cost LB: 1179 ... c Min unsat cost LB: 1420 ... c Min unsat cost LB: 1661 ... c Min unsat cost LB: 1902 ... c Min unsat cost LB: 2143 ... c Min unsat cost LB: 3322 ... c Min unsat cost LB: 3513 ... c Min unsat cost LB: 3563 ... c Min unsat cost LB: 4742 ... c Min unsat cost LB: 5921 ... c Min unsat cost LB: 6112 ... c Min unsat cost LB: 6353 ... c Min unsat cost LB: 7532 ... c Min unsat cost LB: 7582 ... c Min unsat cost LB: 7773 ... c Min unsat cost LB: 7823 ... c Min unsat cost LB: 9002 ... c Min unsat cost LB: 9243 ... c Min unsat cost LB: 9434 ... c Min unsat cost LB: 9575 ... c Min unsat cost LB: 10754 ... c Min unsat cost LB: 11316 ... c Min unsat cost LB: 12495 ... c Min unsat cost LB: 13112 ... c Min unsat cost LB: 13674 ... c Min unsat cost LB: 14236 ... c Min unsat cost LB: 14798 ... c Min unsat cost LB: 15039 ... c Min unsat cost LB: 15094 ... c Min unsat cost LB: 15601 ... c Min unsat cost LB: 15842 ... c Min unsat cost LB: 15897 ... c Min unsat cost LB: 16459 ... c Min unsat cost LB: 16627 ... c Min unsat cost LB: 16762 ... c Min unsat cost LB: 16795 ... c Min unsat cost LB: 17036 ... c Min unsat cost LB: 17204 ... c Min unsat cost LB: 17445 ... c Min unsat cost LB: 17686 ... c Min unsat cost LB: 17854 ... c Min unsat cost LB: 18022 ... c Min unsat cost LB: 18190 ... c Min unsat cost LB: 18263 ... c Min unsat cost LB: 18431 ... c Min unsat cost LB: 18599 ... c Min unsat cost LB: 18767 ... c Min unsat cost LB: 18935 ... c Min unsat cost LB: 19103 ... c Min unsat cost LB: 20282 ... c Min unsat cost LB: 20984 ... c Min unsat cost LB: 21125 ... c Min unsat cost LB: 21293 ... c Min unsat cost LB: 21461 ... c Min unsat cost LB: 22063 ... c Min unsat cost LB: 22231 ... c Min unsat cost LB: 22304 ... c Min unsat cost LB: 22733 ... c Min unsat cost LB: 22901 ... c Min unsat cost LB: 23015 ... c Min unsat cost LB: 23021 ... c Min unsat cost LB: 23040 ... c Min unsat cost LB: 23135 ... c Min unsat cost LB: 23141 ... c Min unsat cost LB: 23255 ... c Min unsat cost LB: 23817 ... c Min unsat cost LB: 23929 ... c Min unsat cost LB: 23931 ... c Min unsat cost LB: 24099 ... c Min unsat cost LB: 24213 ... c Min unsat cost LB: 24343 ... c Min unsat cost LB: 24511 ... c Min unsat cost LB: 24625 ... c Min unsat cost LB: 24793 ... c Min unsat cost LB: 24884 ... c Min unsat cost LB: 24907 ... c Min unsat cost LB: 25037 ... c Min unsat cost LB: 25110 ... c Min unsat cost LB: 25224 ... c Min unsat cost LB: 25230 ... c Min unsat cost LB: 25344 ... c Min unsat cost LB: 25350 ... c Min unsat cost LB: 25464 ... c Min unsat cost LB: 25594 ... c Min unsat cost LB: 25655 ... c Min unsat cost LB: 25693 ... c Min unsat cost LB: 25995 ... c Min unsat cost LB: 26113 ... c Min unsat cost LB: 26119 ... c Min unsat cost LB: 26146 ... c Min unsat cost LB: 26314 ... c Min unsat cost LB: 26853 ... c Min unsat cost LB: 26948 ... c Min unsat cost LB: 26954 ... c Min unsat cost LB: 26960 ... c Min unsat cost LB: 26966 ... c Min unsat cost LB: 26972 ... c Min unsat cost LB: 26978 ... c Min unsat cost LB: 27292 ... c Min unsat cost LB: 27400 ... c Min unsat cost LB: 28924 ... c Min unsat cost LB: 28930 ... c Min unsat cost LB: 28936 ... c Min unsat cost LB: 28942 ... c Min unsat cost LB: 28948 ... c Min unsat cost LB: 29645 ... c Min unsat cost LB: 29651 ... c Min unsat cost LB: 31187 ... c Min unsat cost LB: 32729 ... c Min unsat cost LB: 33732 ... c Min unsat cost LB: 34635 ... c Min unsat cost LB: 34641 ... c Min unsat cost LB: 34809 ... c Min unsat cost LB: 35747 ... c Min unsat cost LB: 36351 ... c Min unsat cost LB: 36519 ... c Min unsat cost LB: 36525 ... c Min unsat cost LB: 36932 ... c Min unsat cost LB: 36938 ... c Min unsat cost LB: 38061 ... c Min unsat cost LB: 38480 ... c Min unsat cost LB: 38503 ... c Min unsat cost LB: 39927 ... c Min unsat cost LB: 39933 ... c Min unsat cost LB: 39939 ... c Min unsat cost LB: 40080 ... c Min unsat cost LB: 41203 ... c Min unsat cost LB: 42745 ... c Min unsat cost LB: 42863 ... c Min unsat cost LB: 42869 ... c Min unsat cost LB: 42875 ... c Min unsat cost LB: 42881 ... c Min unsat cost LB: 44423 ... c Min unsat cost LB: 44568 ... c Min unsat cost LB: 46110 ... c Min unsat cost LB: 47652 ... c Min unsat cost LB: 47953 ... c Min unsat cost LB: 47975 ... c Min unsat cost LB: 49517 ... c Min unsat cost LB: 49523 ... c Min unsat cost LB: 49691 ... c Min unsat cost LB: 51233 ... c Min unsat cost LB: 52775 ... c Min unsat cost LB: 52943 ... c Min unsat cost LB: 52949 ... c Min unsat cost LB: 53117 ... c Min unsat cost LB: 53144 ... c Min unsat cost LB: 53683 ... c Min unsat cost LB: 54170 ... c Min unsat cost LB: 54338 ... c Min unsat cost LB: 54356 ... c Min unsat cost LB: 54597 ... c Min unsat cost LB: 54612 ... c Min unsat cost LB: 54618 ... c Min unsat cost LB: 54838 ... c Min unsat cost LB: 56017 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56358 ... c Min unsat cost LB: 56366 ... c Min unsat cost LB: 56991 ... c Min unsat cost LB: 57508 ... c Min unsat cost LB: 57580 ... c Min unsat cost LB: 57749 ... c Min unsat cost LB: 57786 ... c Min unsat cost LB: 57977 ... c Min unsat cost LB: 57983 ... c Min unsat cost LB: 57989 ... c Min unsat cost LB: 57995 ... c Min unsat cost LB: 58001 ... c Min unsat cost LB: 58007 ... c Min unsat cost LB: 58013 ... c Min unsat cost LB: 59155 ... c Min unsat cost LB: 59161 ... c Min unsat cost LB: 59198 ... c Min unsat cost LB: 59800 ... c Min unsat cost LB: 60114 ... c Min unsat cost LB: 60164 ... c Min unsat cost LB: 60366 ... c Min unsat cost LB: 61096 ... c Min unsat cost LB: 61102 ... c Min unsat cost LB: 61108 ... c Min unsat cost LB: 61114 ... c Min unsat cost LB: 61120 ... c Min unsat cost LB: 61355 ... c Min unsat cost LB: 61361 ... c Min unsat cost LB: 61367 ... c Min unsat cost LB: 61373 ... c Min unsat cost LB: 61587 ... c Min unsat cost LB: 61614 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62249 ... c Min unsat cost LB: 62386 ... c Min unsat cost LB: 62447 ... c Min unsat cost LB: 62561 ... c Min unsat cost LB: 62688 ... c Min unsat cost LB: 62741 ... c Min unsat cost LB: 63718 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63746 ... c Min unsat cost LB: 63860 ... c Min unsat cost LB: 63921 ... c Min unsat cost LB: 64048 ... c Min unsat cost LB: 64283 ... c Min unsat cost LB: 64490 ... c Min unsat cost LB: 64496 ... c Min unsat cost LB: 64728 ... c Min unsat cost LB: 64778 ... c Min unsat cost LB: 64851 ... c Min unsat cost LB: 64860 ... c Min unsat cost LB: 64969 ... c Min unsat cost LB: 65051 ... c Min unsat cost LB: 65210 ... c Min unsat cost LB: 65219 ... c Min unsat cost LB: 65283 ... c Min unsat cost LB: 65387 ... c Min unsat cost LB: 65451 ... c Min unsat cost LB: 65524 ... c Min unsat cost LB: 65642 ... c Min unsat cost LB: 65736 ... c Min unsat cost LB: 65746 ... c Min unsat cost LB: 65772 ... c Min unsat cost LB: 65778 ... c Min unsat cost LB: 65793 ... c Min unsat cost LB: 66000 ... c Min unsat cost LB: 66006 ... c Min unsat cost LB: 66052 ... c Min unsat cost LB: 66188 ... c Min unsat cost LB: 66238 ... c Min unsat cost LB: 66429 ... c Min unsat cost LB: 66479 ... c Min unsat cost LB: 66485 ... c Min unsat cost LB: 66491 ... c Min unsat cost LB: 66497 ... c Min unsat cost LB: 66842 ... c Min unsat cost LB: 66865 ... c Min unsat cost LB: 66900 ... c Min unsat cost LB: 66938 ... c Min unsat cost LB: 67009 ... c Min unsat cost LB: 67068 ... c Min unsat cost LB: 67141 ... c Min unsat cost LB: 67259 ... c Min unsat cost LB: 67270 ... c Min unsat cost LB: 67307 ... c Min unsat cost LB: 67427 ... c Min unsat cost LB: 67475 ... c Min unsat cost LB: 67500 ... c Min unsat cost LB: 67506 ... c Min unsat cost LB: 67674 ... c Min unsat cost LB: 67696 ... c Min unsat cost LB: 67726 ... c Min unsat cost LB: 68068 ... c Min unsat cost LB: 68095 ... c Min unsat cost LB: 68216 ... c Min unsat cost LB: 68357 ... c Min unsat cost LB: 68384 ... c Min unsat cost LB: 68439 ... c Min unsat cost LB: 68503 ... c Min unsat cost LB: 68553 ... c Min unsat cost LB: 68608 ... c Min unsat cost LB: 68726 ... c Min unsat cost LB: 68808 ... c Min unsat cost LB: 68851 ... c Min unsat cost LB: 68881 ... c Min unsat cost LB: 68943 ... c Min unsat cost LB: 68958 ... c Min unsat cost LB: 69023 ... c Min unsat cost LB: 69087 ... c Min unsat cost LB: 70565 ... c Min unsat cost LB: 70629 ... c Min unsat cost LB: 72107 ... c Min unsat cost LB: 72171 ... c Min unsat cost LB: 73481 ... c Min unsat cost LB: 73545 ... c Min unsat cost LB: 75023 ... c Min unsat cost LB: 75087 ... c Min unsat cost LB: 76565 ... c Min unsat cost LB: 76602 ... c Min unsat cost LB: 78054 ... c Min unsat cost LB: 78707 ... c Min unsat cost LB: 78713 ... c Min unsat cost LB: 78734 ... c Min unsat cost LB: 78842 ... c Min unsat cost LB: 78854 ... c Min unsat cost LB: 78866 ... c Min unsat cost LB: 79022 ... c Min unsat cost LB: 79034 ... c Min unsat cost LB: 79190 ... c Min unsat cost LB: 79202 ... c Min unsat cost LB: 79211 ... c Min unsat cost LB: 79222 ... c Min unsat cost LB: 79306 ... c Min unsat cost LB: 79334 ... c Min unsat cost LB: 79357 ... c Min unsat cost LB: 79370 ... c Min unsat cost LB: 79425 ... c Min unsat cost LB: 79457 ... c Min unsat cost LB: 79596 ... c Min unsat cost LB: 79658 ... c Min unsat cost LB: 79788 ... c Min unsat cost LB: 79796 ... c Min unsat cost LB: 79910 ... c Min unsat cost LB: 79956 ... c Min unsat cost LB: 79976 ... c Min unsat cost LB: 80005 ... c Min unsat cost LB: 80052 ... c Min unsat cost LB: 80071 ... c Min unsat cost LB: 80077 ... c Min unsat cost LB: 80124 ... c Min unsat cost LB: 80127 ... c Min unsat cost LB: 80252 ... c Min unsat cost LB: 80364 ... c Min unsat cost LB: 80478 ... c Min unsat cost LB: 80569 ... c Min unsat cost LB: 80571 ... c Min unsat cost LB: 80584 ... c Min unsat cost LB: 80752 ... c Min unsat cost LB: 81021 ... c Min unsat cost LB: 81030 ... c Min unsat cost LB: 81040 ... c Min unsat cost LB: 81123 ... c Min unsat cost LB: 81138 ... c Min unsat cost LB: 81272 ... c Min unsat cost LB: 81285 ... c Min unsat cost LB: 81324 ... c Min unsat cost LB: 81363 ... c Min unsat cost LB: 81371 ... c Min unsat cost LB: 81414 ... c Min unsat cost LB: 81692 ... c Min unsat cost LB: 81701 ... c Min unsat cost LB: 82155 ... c Min unsat cost LB: 82182 ... c Min unsat cost LB: 82317 ... c Min unsat cost LB: 82350 ... c Min unsat cost LB: 82410 ... c Min unsat cost LB: 82506 ... c Min unsat cost LB: 82674 ... c Min unsat cost LB: 82680 ... c Min unsat cost LB: 82686 ... c Min unsat cost LB: 82692 ... c Min unsat cost LB: 82698 ... c Min unsat cost LB: 82704 ... c Min unsat cost LB: 82710 ... c Min unsat cost LB: 82784 ... c Min unsat cost LB: 82842 ... c Min unsat cost LB: 82916 ... c Min unsat cost LB: 82950 ... c Min unsat cost LB: 82956 ... c Min unsat cost LB: 83090 ... c Min unsat cost LB: 83113 ... c Min unsat cost LB: 83304 ... c Min unsat cost LB: 83472 ... c Min unsat cost LB: 83609 ... c Min unsat cost LB: 83621 ... c Min unsat cost LB: 83639 ... c Min unsat cost LB: 83644 ... c Min unsat cost LB: 83649 ... c Min unsat cost LB: 83661 ... c Min unsat cost LB: 83672 ... c Min unsat cost LB: 83693 ... c Min unsat cost LB: 83701 ... c Min unsat cost LB: 83733 ... c Min unsat cost LB: 83748 ... c Min unsat cost LB: 83817 ... c Min unsat cost LB: 83823 ... c Min unsat cost LB: 83854 ... c Min unsat cost LB: 83873 ... c Min unsat cost LB: 83887 ... c Min unsat cost LB: 83893 ... c Min unsat cost LB: 83936 ... c Min unsat cost LB: 84021 ... c Min unsat cost LB: 84139 ... c Min unsat cost LB: 84148 ... c Min unsat cost LB: 84151 ... c Min unsat cost LB: 84181 ... c Min unsat cost LB: 84231 ... c Min unsat cost LB: 84313 ... c Min unsat cost LB: 84446 ... c Min unsat cost LB: 84528 ... c Min unsat cost LB: 85056 ... c Min unsat cost LB: 85101 ... c Min unsat cost LB: 85107 ... c Min unsat cost LB: 85646 ... c Min unsat cost LB: 85707 ... c Min unsat cost LB: 85708 ... c Min unsat cost LB: 85763 ... c Min unsat cost LB: 85825 ... c Min unsat cost LB: 85889 ... c Min unsat cost LB: 86447 ... c Min unsat cost LB: 86565 ... c Min unsat cost LB: 86618 ... c Min unsat cost LB: 86624 ... c Min unsat cost LB: 86820 ... c Min unsat cost LB: 86845 ... c Min unsat cost LB: 86883 ... c Min unsat cost LB: 86909 ... c Min unsat cost LB: 86915 ... c Min unsat cost LB: 87664 ... c Min unsat cost LB: 88319 ... c Min unsat cost LB: 88365 ... c Min unsat cost LB: 88757 ... c Min unsat cost LB: 89838 ... c Min unsat cost LB: 89880 ... c Min unsat cost LB: 89901 ... c Min unsat cost LB: 90031 ... c Min unsat cost LB: 90108 ... c Min unsat cost LB: 90116 ... c Min unsat cost LB: 90234 ... c Min unsat cost LB: 90284 ... c Min unsat cost LB: 90384 ... c Min unsat cost LB: 90629 ... c Min unsat cost LB: 90666 ... c Min unsat cost LB: 91107 ... c Min unsat cost LB: 91178 ... c Min unsat cost LB: 91189 ... c Min unsat cost LB: 91814 ... c Min unsat cost LB: 92115 ... c Min unsat cost LB: 92170 ... c Min unsat cost LB: 92705 ... c Min unsat cost LB: 93642 ... c Min unsat cost LB: 93706 ... c Min unsat cost LB: 93766 ... c Min unsat cost LB: 93789 ... c Min unsat cost LB: 94247 ... c Min unsat cost LB: 94283 ... c Min unsat cost LB: 94289 ... c Min unsat cost LB: 94316 ... c Min unsat cost LB: 94366 ... c Min unsat cost LB: 94522 ... c Min unsat cost LB: 94681 ... c Min unsat cost LB: 94736 ... c Min unsat cost LB: 94795 ... c Min unsat cost LB: 94801 ... c Min unsat cost LB: 94807 ... c Min unsat cost LB: 94813 ... c Min unsat cost LB: 94841 ... c Min unsat cost LB: 94876 ... c Min unsat cost LB: 94927 ... c Min unsat cost LB: 95018 ... c Min unsat cost LB: 95027 ... c Min unsat cost LB: 95040 ... c Min unsat cost LB: 95152 ... c Min unsat cost LB: 95196 ... c Min unsat cost LB: 95255 ... c Min unsat cost LB: 95264 ... c Min unsat cost LB: 95321 ... c Min unsat cost LB: 95323 ... c Min unsat cost LB: 95406 ... c Min unsat cost LB: 95438 ... c Min unsat cost LB: 95448 ... c Min unsat cost LB: 95468 ... c Min unsat cost LB: 95477 ... c Min unsat cost LB: 95511 ... c Min unsat cost LB: 95514 ... c Min unsat cost LB: 95529 ... c Min unsat cost LB: 95532 ... c Min unsat cost LB: 95551 ... c Min unsat cost LB: 95559 ... c Min unsat cost LB: 95579 ... c Min unsat cost LB: 95598 ... c Min unsat cost LB: 95610 ... c Min unsat cost LB: 95766 ... c Min unsat cost LB: 95901 ... c Min unsat cost LB: 95940 ... c Min unsat cost LB: 96057 ... c Min unsat cost LB: 96066 ... c Min unsat cost LB: 96083 ... c Min unsat cost LB: 96121 ... c Min unsat cost LB: 96178 ... c Min unsat cost LB: 96245 ... c Min unsat cost LB: 96260 ... c Min unsat cost LB: 96287 ... c Min unsat cost LB: 96312 ... c Min unsat cost LB: 96333 ... c Min unsat cost LB: 96365 ... c Min unsat cost LB: 96387 ... c Min unsat cost LB: 96392 ... c Min unsat cost LB: 96454 ... c Min unsat cost LB: 96460 ... c Min unsat cost LB: 96475 ... c Min unsat cost LB: 96483 ... c Min unsat cost LB: 96488 ... c Min unsat cost LB: 96513 ... c Min unsat cost LB: 96649 ... c Min unsat cost LB: 96664 ... c Min unsat cost LB: 96681 ... c Min unsat cost LB: 96687 ... c Min unsat cost LB: 96708 ... c Min unsat cost LB: 96709 ... c Min unsat cost LB: 96751 ... c Min unsat cost LB: 96759 ... c Min unsat cost LB: 96831 ... c Min unsat cost LB: 96844 ... c Min unsat cost LB: 96853 ... c Min unsat cost LB: 96862 ... c Min unsat cost LB: 96867 ... c Min unsat cost LB: 96900 ... c Min unsat cost LB: 96922 ... c Min unsat cost LB: 97035 ... c Min unsat cost LB: 97041 ... c Min unsat cost LB: 97044 ... c Min unsat cost LB: 97047 ... c Min unsat cost LB: 97052 ... c Min unsat cost LB: 97053 ... c Min unsat cost LB: 97061 ... c Min unsat cost LB: 97083 ... c Min unsat cost LB: 97085 ... c Min unsat cost LB: 97144 ... c Min unsat cost LB: 97167 ... c Min unsat cost LB: 97197 ... c Min unsat cost LB: 97205 ... c Min unsat cost LB: 97245 ... c Min unsat cost LB: 97429 ... c Min unsat cost LB: 97435 ... c Min unsat cost LB: 97445 ... c Min unsat cost LB: 97455 ... c Min unsat cost LB: 97462 ... c Min unsat cost LB: 98118 ... c Min unsat cost LB: 98179 ... c Min unsat cost LB: 98184 ... c Min unsat cost LB: 98189 ... c Min unsat cost LB: 98192 ... c Min unsat cost LB: 98194 ... c Min unsat cost LB: 98199 ... c Min unsat cost LB: 98221 ... c Min unsat cost LB: 98243 ... c Min unsat cost LB: 98249 ... c Min unsat cost LB: 98255 ... c Min unsat cost LB: 98264 ... c Min unsat cost LB: 98287 ... c Min unsat cost LB: 98300 ... c Min unsat cost LB: 98305 ... c Min unsat cost LB: 98313 ... c Min unsat cost LB: 98315 ... c Min unsat cost LB: 98320 ... c Min unsat cost LB: 98321 ... c Min unsat cost LB: 98329 ... c Min unsat cost LB: 98330 ... c Min unsat cost LB: 98333 ... c Min unsat cost LB: 98336 ... c Min unsat cost LB: 98339 ... c Min unsat cost LB: 98360 ... c Min unsat cost LB: 98403 ... c Min unsat cost LB: 98485 ... c Min unsat cost LB: 98521 ... c Min unsat cost LB: 98522 ... c Min unsat cost LB: 98552 ... c Min unsat cost LB: 98597 ... c Min unsat cost LB: 98600 ... c Min unsat cost LB: 98605 ... c Min unsat cost LB: 98634 ... c Min unsat cost LB: 98637 ... c Min unsat cost LB: 98730 ... c Min unsat cost LB: 98778 ... c Min unsat cost LB: 98780 ... c Min unsat cost LB: 98809 ... c Min unsat cost LB: 98815 ... c Min unsat cost LB: 98820 ... c Min unsat cost LB: 98824 ... c Min unsat cost LB: 98829 ... c Min unsat cost LB: 98835 ... c Min unsat cost LB: 98840 ... c Min unsat cost LB: 98847 ... c Min unsat cost LB: 98854 ... c Min unsat cost LB: 98865 ... c Min unsat cost LB: 98904 ... c Min unsat cost LB: 98909 ... c Min unsat cost LB: 98916 ... c Min unsat cost LB: 99064 ... c Min unsat cost LB: 99070 ... c Min unsat cost LB: 99076 ... c Min unsat cost LB: 99180 ... c Min unsat cost LB: 99195 ... c Min unsat cost LB: 99197 ... c Min unsat cost LB: 99206 ... c Min unsat cost LB: 99212 ... c Min unsat cost LB: 99218 ... c Min unsat cost LB: 99231 ... c Min unsat cost LB: 99279 ... c Min unsat cost LB: 99280 ... c Min unsat cost LB: 99288 ... c Min unsat cost LB: 99293 ... c Min unsat cost LB: 99295 ... c Min unsat cost LB: 99306 ... c Min unsat cost LB: 99308 ... c Min unsat cost LB: 99320 ... c Min unsat cost LB: 99324 ... c Min unsat cost LB: 99328 ... c Min unsat cost LB: 99361 ... c Min unsat cost LB: 99390 ... c Min unsat cost LB: 99394 ... c Min unsat cost LB: 99408 ... c Min unsat cost LB: 99420 ... c Min unsat cost LB: 99427 ... c Min unsat cost LB: 99429 ... c Min unsat cost LB: 99435 ... c Min unsat cost LB: 99441 ... c Min unsat cost LB: 99449 ... c Min unsat cost LB: 99479 ... c Min unsat cost LB: 99513 ... c Min unsat cost LB: 99579 ... c Min unsat cost LB: 99616 ... c Min unsat cost LB: 99617 ... c Min unsat cost LB: 99633 ... c Min unsat cost LB: 99642 ... c Min unsat cost LB: 99644 ... c Min unsat cost LB: 99655 ... c Min unsat cost LB: 99680 ... c Min unsat cost LB: 99710 ... c Min unsat cost LB: 99712 ... c Min unsat cost LB: 99728 ... c Min unsat cost LB: 99731 ... c Min unsat cost LB: 99737 ... c Min unsat cost LB: 99762 ... c Min unsat cost LB: 99769 ... c Min unsat cost LB: 99778 ... c Min unsat cost LB: 99780 ... c Min unsat cost LB: 99781 ... c Min unsat cost LB: 99782 ... c Min unsat cost LB: 99802 ... c Min unsat cost LB: 99810 ... c Min unsat cost LB: 99816 ... c Min unsat cost LB: 99822 ... c Min unsat cost LB: 99824 ... c Min unsat cost LB: 99830 ... c Min unsat cost LB: 99841 ... c Min unsat cost LB: 99849 ... c Min unsat cost LB: 99857 ... c Min unsat cost LB: 99858 ... c Min unsat cost LB: 99917 ... c Min unsat cost LB: 99947 ... c Min unsat cost LB: 99991 ... c Min unsat cost LB: 99993 ... c Min unsat cost LB: 100001 ... c Min unsat cost LB: 100007 ... c Min unsat cost LB: 100011 ... c Min unsat cost LB: 100013 ... c Min unsat cost LB: 100015 ... c Min unsat cost LB: 100019 ... c Min unsat cost LB: 100024 ... c Min unsat cost LB: 100025 ... c Min unsat cost LB: 100030 ... c Min unsat cost LB: 100032 ... c Min unsat cost LB: 100033 ... c Min unsat cost LB: 100034 ... c Min unsat cost LB: 100038 ... c Min unsat cost LB: 100040 ... c Min unsat cost LB: 100042 ... c Min unsat cost LB: 100043 ... c Min unsat cost LB: 100045 ... c Min unsat cost LB: 100047 ... c Min unsat cost LB: 100052 ... c Min unsat cost LB: 100059 ... c Min unsat cost LB: 100062 ... c Min unsat cost LB: 100065 ... c Min unsat cost LB: 100066 ... c Min unsat cost LB: 100067 ... c Min unsat cost LB: 100071 ... c Min unsat cost LB: 100073 ... c Min unsat cost LB: 100074 ... c Min unsat cost LB: 100075 ... c Min unsat cost LB: 100076 ... c Min unsat cost LB: 100077 ... c Min unsat cost LB: 100081 ... c Min unsat cost LB: 100092 ... c Min unsat cost LB: 100115 ... c Min unsat cost LB: 100124 ... c Min unsat cost LB: 100199 ... c Min unsat cost LB: 100200 ... c Min unsat cost LB: 100201 ... c Min unsat cost LB: 100202 ... c Min unsat cost LB: 100203 ... c Min unsat cost LB: 100204 ... c Min unsat cost LB: 100205 ... c Min unsat cost LB: 100207 ... c Min unsat cost LB: 100208 ... c Min unsat cost LB: 100209 ... c Min unsat cost LB: 100210 ... c Min unsat cost LB: 100218 ... c Min unsat cost LB: 100221 ... c Min unsat cost LB: 100224 ... c Min unsat cost LB: 100226 ... c Min unsat cost LB: 100229 ... c Min unsat cost LB: 100234 ... c Min unsat cost LB: 100240 ... c Min unsat cost LB: 100241 ... c Min unsat cost LB: 100246 ... c Min unsat cost LB: 100252 ... c Min unsat cost LB: 100262 ... c Min unsat cost LB: 100269 ... c Min unsat cost LB: 100277 ... c Min unsat cost LB: 100283 ... c Min unsat cost LB: 100289 ... c Min unsat cost LB: 100297 ... c Min unsat cost LB: 100309 ... c Min unsat cost LB: 100336 ... c Min unsat cost LB: 100345 ... c Min unsat cost LB: 100384 ... c Min unsat cost LB: 100468 ... c Min unsat cost LB: 100478 ... c Min unsat cost LB: 100749 ... c Min unsat cost LB: 100758 ... c Min unsat cost LB: 100759 ... c Min unsat cost LB: 100760 ... c Min unsat cost LB: 100763 ... c Min unsat cost LB: 100764 ... c Min unsat cost LB: 100765 ... c Min unsat cost LB: 100766 ... c Min unsat cost LB: 100768 ... c Min unsat cost LB: 100774 ... c Min unsat cost LB: 100777 ... c Min unsat cost LB: 100788 ... c Min unsat cost LB: 100793 ... c Min unsat cost LB: 100795 ... c Min unsat cost LB: 100797 ... c Min unsat cost LB: 100799 ... c Min unsat cost LB: 100801 ... c Min unsat cost LB: 100803 ... c Min unsat cost LB: 100805 ... c Min unsat cost LB: 100809 ... c Min unsat cost LB: 100815 ... c Min unsat cost LB: 100819 ... c Min unsat cost LB: 100821 ... c Min unsat cost LB: 100850 ... c Min unsat cost LB: 100852 ... c Min unsat cost LB: 100855 ... c Min unsat cost LB: 100863 ... c Min unsat cost LB: 100864 ... c Min unsat cost LB: 100865 ... c Min unsat cost LB: 100866 ... c Min unsat cost LB: 100868 ... c Min unsat cost LB: 100872 ... c Min unsat cost LB: 100873 ... c Min unsat cost LB: 100876 ... c Min unsat cost LB: 100877 ... c Min unsat cost LB: 100881 ... c Min unsat cost LB: 100882 ... c Min unsat cost LB: 100885 ... c Min unsat cost LB: 100886 ... c Min unsat cost LB: 100889 ... c Min unsat cost LB: 100890 ... c Min unsat cost LB: 100891 ... c Min unsat cost LB: 100892 ... c Min unsat cost LB: 100894 ... c Min unsat cost LB: 100897 ... c Min unsat cost LB: 100898 ... c Min unsat cost LB: 100900 ... c Min unsat cost LB: 100905 ... c Min unsat cost LB: 100907 ... c Min unsat cost LB: 100908 ... c Min unsat cost LB: 100910 ... c Min unsat cost LB: 100911 ... c Min unsat cost LB: 100912 ... c Min unsat cost LB: 100913 ... c Min unsat cost LB: 100914 ... c Min unsat cost LB: 100915 ... c Min unsat cost LB: 100916 ... c Min unsat cost LB: 100919 ... c Min unsat cost LB: 100921 ... c Min unsat cost LB: 100928 ... c Min unsat cost LB: 100929 ... c Min unsat cost LB: 100930 ... c Min unsat cost LB: 100931 ... c Min unsat cost LB: 100932 ... c Min unsat cost LB: 100933 ... c Min unsat cost LB: 100935 ... c Min unsat cost LB: 100936 ... c Min unsat cost LB: 100937 ... c Min unsat cost LB: 100938 ... c Min unsat cost LB: 100939 ... c Min unsat cost LB: 100940 ... c Min unsat cost LB: 100941 ... c Min unsat cost LB: 100943 ... c Min unsat cost LB: 100944 ... c Min unsat cost LB: 100945 ... c Min unsat cost LB: 100946 ... c Min unsat cost LB: 100947 ... c Min unsat cost LB: 100949 ... c Min unsat cost LB: 100951 ... c Min unsat cost LB: 100953 ... c Min unsat cost LB: 100954 ... c Min unsat cost LB: 100955 ... c Min unsat cost LB: 100956 ... c Min unsat cost LB: 100957 ... c Min unsat cost LB: 100958 ... c Min unsat cost LB: 100959 ... c Min unsat cost LB: 100960 ... c Min unsat cost LB: 100961 ... c Min unsat cost LB: 100962 ... c Min unsat cost LB: 100964 ... c Min unsat cost LB: 100966 ... c Min unsat cost LB: 100967 ... c Min unsat cost LB: 100968 ... c Min unsat cost LB: 100969 ... c Min unsat cost LB: 100970 ... c Min unsat cost LB: 100971 ... c Min unsat cost LB: 100972 ... c Min unsat cost LB: 100973 ... c Min unsat cost LB: 100974 ... c Min unsat cost LB: 100975 ... c Min unsat cost LB: 100976 ... c Min unsat cost LB: 100977 ... c Min unsat cost LB: 100978 ... c Min unsat cost LB: 100979 ... c Min unsat cost LB: 100981 ... c Min unsat cost LB: 100982 ... c Min unsat cost LB: 101017 ... c Min unsat cost LB: 101038 ... c Min unsat cost LB: 101041 ... c Min unsat cost LB: 101046 ... c Min unsat cost LB: 101047 ... c Min unsat cost LB: 101049 ... c Min unsat cost LB: 101050 ... c Min unsat cost LB: 101053 ... c Min unsat cost LB: 101056 ... c Min unsat cost LB: 101059 ... c Min unsat cost LB: 101060 ... c Min unsat cost LB: 101062 ... c Min unsat cost LB: 101064 ... c Min unsat cost LB: 101076 ... c Min unsat cost LB: 101077 ... c Min unsat cost LB: 101078 ... c Min unsat cost LB: 101081 ... c Min unsat cost LB: 101082 ... c Min unsat cost LB: 101083 ... c Min unsat cost LB: 101084 ... c Min unsat cost LB: 101085 ... c Min unsat cost LB: 101086 ... c Min unsat cost LB: 101087 ... c Min unsat cost LB: 101088 ... c Min unsat cost LB: 101089 ... c Min unsat cost LB: 101090 ... c Min unsat cost LB: 101091 ... c Min unsat cost LB: 101092 ... c Min unsat cost LB: 101093 ... c Min unsat cost LB: 101094 ... c Min unsat cost LB: 101095 ... c Min unsat cost LB: 101096 ... c Min unsat cost LB: 101097 ... c Min unsat cost LB: 101098 ... c Min unsat cost LB: 101099 ... c Min unsat cost LB: 101100 ... c Min unsat cost LB: 101101 ... c Min unsat cost LB: 101103 ... c Min unsat cost LB: 101107 ... c Min unsat cost LB: 101110 ... c Min unsat cost LB: 101113 ... c Min unsat cost LB: 101114 ... c Min unsat cost LB: 101118 ... c Min unsat cost LB: 101126 ... c Min unsat cost LB: 101128 ... c Min unsat cost LB: 101130 ... c Min unsat cost LB: 101132 ... c Min unsat cost LB: 101138 ... c Min unsat cost LB: 101141 ... c Min unsat cost LB: 101142 ... c Min unsat cost LB: 101144 ... c Min unsat cost LB: 101146 ... c Min unsat cost LB: 101147 ... c Min unsat cost LB: 101148 ... c Min unsat cost LB: 101149 ... c Min unsat cost LB: 101152 ... c Min unsat cost LB: 101158 ... c Min unsat cost LB: 101159 ... c Min unsat cost LB: 101161 ... c Min unsat cost LB: 101162 ... c Min unsat cost LB: 101163 ... c Min unsat cost LB: 101166 ... c Min unsat cost LB: 101168 ... c Min unsat cost LB: 101169 ... c Min unsat cost LB: 101170 ... c Min unsat cost LB: 101171 ... c Min unsat cost LB: 101174 ... c Min unsat cost LB: 101198 ... c Min unsat cost LB: 101199 ... c Min unsat cost LB: 101200 ... c Min unsat cost LB: 101201 ... c Min unsat cost LB: 101202 ... c Min unsat cost LB: 101205 ... c Min unsat cost LB: 101209 ... c Min unsat cost LB: 101210 ... c Min unsat cost LB: 101211 ... c Min unsat cost LB: 101212 ... c Min unsat cost LB: 101215 ... c Min unsat cost LB: 101216 ... c Min unsat cost LB: 101219 ... c Min unsat cost LB: 101220 ... c Min unsat cost LB: 101221 ... c Min unsat cost LB: 101224 ... c Min unsat cost LB: 101225 ... c Min unsat cost LB: 101227 ... c Min unsat cost LB: 101228 ... c Min unsat cost LB: 101247 ... c Min unsat cost LB: 101256 ... c Min unsat cost LB: 101265 ... c Min unsat cost LB: 101266 ... c Min unsat cost LB: 101267 ... c Min unsat cost LB: 101268 ... c Min unsat cost LB: 101269 ... c Min unsat cost LB: 101270 ... c Min unsat cost LB: 101273 ... c Min unsat cost LB: 101274 ... c Min unsat cost LB: 101275 ... c Min unsat cost LB: 101276 ... c Min unsat cost LB: 101277 ... c Min unsat cost LB: 101278 ... c Min unsat cost LB: 101285 ... c Min unsat cost LB: 101286 ... c Min unsat cost LB: 101287 ... c Min unsat cost LB: 101288 ... c Min unsat cost LB: 101293 ... c Min unsat cost LB: 101301 ... c Min unsat cost LB: 101307 ... c Min unsat cost LB: 101313 ... c Min unsat cost LB: 101314 ... c Min unsat cost LB: 101316 ... c Min unsat cost LB: 101325 ... c Min unsat cost LB: 101326 ... c Min unsat cost LB: 101332 ... c Min unsat cost LB: 101333 ... c Min unsat cost LB: 101336 ... c Min unsat cost LB: 101338 ... c Min unsat cost LB: 101341 ... c Min unsat cost LB: 101349 ... c Min unsat cost LB: 101354 ... c Min unsat cost LB: 101357 ... c Min unsat cost LB: 101360 ... c Min unsat cost LB: 101361 ... c Min unsat cost LB: 101362 ... c Min unsat cost LB: 101364 ... c Min unsat cost LB: 101365 ... c Min unsat cost LB: 101367 ... c Min unsat cost LB: 101368 ... c Min unsat cost LB: 101381 ... c Min unsat cost LB: 101390 ... c Min unsat cost LB: 101392 ... c Min unsat cost LB: 101393 ... c Min unsat cost LB: 101394 ... c Min unsat cost LB: 101396 ... c Min unsat cost LB: 101397 ... c Min unsat cost LB: 101398 ... c Min unsat cost LB: 101399 ... c Min unsat cost LB: 101405 ... c Min unsat cost LB: 101406 ... c Min unsat cost LB: 101412 ... c Min unsat cost LB: 101430 ... c Min unsat cost LB: 101435 ... c Min unsat cost LB: 101437 ... c Min unsat cost LB: 101438 ... c Min unsat cost LB: 101439 ... c Min unsat cost LB: 101445 ... c Min unsat cost LB: 101456 ... c Min unsat cost LB: 101457 ... c Min unsat cost LB: 101458 ... c Min unsat cost LB: 101460 ... c Min unsat cost LB: 101466 ... c Min unsat cost LB: 101467 ... c Min unsat cost LB: 101470 ... c Min unsat cost LB: 101471 ... c Min unsat cost LB: 101472 ... c Min unsat cost LB: 101473 ... c Min unsat cost LB: 101474 ... c Min unsat cost LB: 101476 ... c Min unsat cost LB: 101478 ... c Min unsat cost LB: 101479 ... c Min unsat cost LB: 101480 ... c Min unsat cost LB: 101513 ... c Min unsat cost LB: 101514 ... c Min unsat cost LB: 101515 ... c Min unsat cost LB: 101516 ... c Min unsat cost LB: 101517 ... c Min unsat cost LB: 101518 ... c Min unsat cost LB: 101521 ... c Min unsat cost LB: 101523 ... c Min unsat cost LB: 101524 ... c Min unsat cost LB: 101525 ... c Min unsat cost LB: 101526 ... c Min unsat cost LB: 101528 ... c Min unsat cost LB: 101529 ... c Min unsat cost LB: 101530 ... c Min unsat cost LB: 101531 ... c Min unsat cost LB: 101532 ... c Min unsat cost LB: 101533 ... c Min unsat cost LB: 101534 ... c Min unsat cost LB: 101535 ... c Min unsat cost LB: 101536 ... c Min unsat cost LB: 101555 ... c Min unsat cost LB: 101560 ... c Min unsat cost LB: 101563 ... c Min unsat cost LB: 101565 ... c Min unsat cost LB: 101574 ... c Min unsat cost LB: 101577 ... c Min unsat cost LB: 101579 ... c Min unsat cost LB: 101580 ... c Min unsat cost LB: 101582 ... c Min unsat cost LB: 101583 ... c Min unsat cost LB: 101589 ... c Min unsat cost LB: 101595 ... c Min unsat cost LB: 101628 ... c Min unsat cost LB: 101781 ... c Min unsat cost LB: 101788 ... c Min unsat cost LB: 101794 ... c Min unsat cost LB: 101798 ... c Min unsat cost LB: 101824 ... c Min unsat cost LB: 101949 ... c Min unsat cost LB: 101958 ... c Min unsat cost LB: 101981 ... c Min unsat cost LB: 102015 ... c Min unsat cost LB: 102035 ... c Min unsat cost LB: 102038 ... c Min unsat cost LB: 102039 ... c Min unsat cost LB: 102143 ... c Min unsat cost LB: 102144 ... c Min unsat cost LB: 102150 ... c Min unsat cost LB: 102151 ... c Min unsat cost LB: 102154 ... c Min unsat cost LB: 102155 ... c Min unsat cost LB: 102156 ... c Min unsat cost LB: 102157 ... c Min unsat cost LB: 102189 ... c Min unsat cost LB: 102190 ... c Min unsat cost LB: 102191 ... c Min unsat cost LB: 102193 ... c Min unsat cost LB: 102220 ... c Min unsat cost LB: 102223 ... c Min unsat cost LB: 102224 ... c Min unsat cost LB: 102229 ... c Min unsat cost LB: 102242 ... c Min unsat cost LB: 102244 ... c Min unsat cost LB: 102251 ... c Min unsat cost LB: 102255 ... c Min unsat cost LB: 102257 ... c Min unsat cost LB: 102258 ... c Min unsat cost LB: 102259 ... c Min unsat cost LB: 102260 ... c Min unsat cost LB: 102263 ... c Min unsat cost LB: 102264 ... c Min unsat cost LB: 102269 ... c Min unsat cost LB: 102270 ... c Min unsat cost LB: 102272 ... c Min unsat cost LB: 102274 ... c Min unsat cost LB: 102287 ... c Min unsat cost LB: 102291 ... c Min unsat cost LB: 102292 ... c Min unsat cost LB: 102302 ... c Min unsat cost LB: 102304 ... c Min unsat cost LB: 102308 ... c Min unsat cost LB: 102309 ... c Min unsat cost LB: 102311 ... c Min unsat cost LB: 102312 ... c Min unsat cost LB: 102313 ... c Min unsat cost LB: 102314 ... c Min unsat cost LB: 102315 ... c Min unsat cost LB: 102316 ... c Min unsat cost LB: 102371 ... c Min unsat cost LB: 102398 ... c Min unsat cost LB: 102406 ... c Min unsat cost LB: 102407 ... c Min unsat cost LB: 102408 ... c Min unsat cost LB: 102409 ... c Min unsat cost LB: 102410 ... c Min unsat cost LB: 102413 ... c Min unsat cost LB: 102416 ... c Min unsat cost LB: 102417 ... c Min unsat cost LB: 102418 ... c Min unsat cost LB: 102420 ... c Min unsat cost LB: 102423 ... c Min unsat cost LB: 102425 ... c Min unsat cost LB: 102426 ... c Min unsat cost LB: 102432 ... c Min unsat cost LB: 102472 ... c Min unsat cost LB: 102478 ... c Min unsat cost LB: 102481 ... c Min unsat cost LB: 102496 ... c Min unsat cost LB: 102720 ... c Min unsat cost LB: 102721 ... c Min unsat cost LB: 102722 ... c Min unsat cost LB: 102723 ... c Min unsat cost LB: 102724 ... c Min unsat cost LB: 102725 ... c Min unsat cost LB: 102726 ... c Min unsat cost LB: 102731 ... c Min unsat cost LB: 102732 ... c Min unsat cost LB: 102733 ... c Min unsat cost LB: 102735 ... c Min unsat cost LB: 102739 ... c Min unsat cost LB: 102740 ... c Min unsat cost LB: 102742 ... c Min unsat cost LB: 102745 ... c Min unsat cost LB: 102746 ... c Min unsat cost LB: 102747 ... c Min unsat cost LB: 102748 ... c Min unsat cost LB: 102753 ... c Min unsat cost LB: 102755 ... c Min unsat cost LB: 102760 ... c Min unsat cost LB: 102761 ... c Min unsat cost LB: 102762 ... c Min unsat cost LB: 102763 ... c Min unsat cost LB: 102764 ... c Min unsat cost LB: 102765 ... c Min unsat cost LB: 102766 ... c Min unsat cost LB: 102767 ... c Min unsat cost LB: 102768 ... c Min unsat cost LB: 102905 ... c Min unsat cost LB: 102908 ... c Min unsat cost LB: 102912 ... c Min unsat cost LB: 102915 ... c Min unsat cost LB: 102956 ... c Min unsat cost LB: 102971 ... c Min unsat cost LB: 102974 ... c Min unsat cost LB: 102980 ... c Min unsat cost LB: 102982 ... c Min unsat cost LB: 102983 ... c Min unsat cost LB: 102986 ... c Min unsat cost LB: 102990 ... c Min unsat cost LB: 102991 ... c Min unsat cost LB: 102992 ... c Min unsat cost LB: 102995 ... c Min unsat cost LB: 102998 ... c Min unsat cost LB: 103009 ... c Min unsat cost LB: 103013 ... c Min unsat cost LB: 103014 ... c Min unsat cost LB: 103026 ... c Min unsat cost LB: 103028 ... c Min unsat cost LB: 103034 ... c Min unsat cost LB: 103069 ... c Min unsat cost LB: 103072 ... c Min unsat cost LB: 103073 ... c Min unsat cost LB: 103074 ... c Min unsat cost LB: 103075 ... c Min unsat cost LB: 103078 ... c Min unsat cost LB: 103083 ... c Min unsat cost LB: 103084 ... c Min unsat cost LB: 103085 ... c Min unsat cost LB: 103088 ... c Min unsat cost LB: 103089 ... c Min unsat cost LB: 103090 ... c Min unsat cost LB: 103092 ... c Min unsat cost LB: 103093 ... c Min unsat cost LB: 103095 ... c Min unsat cost LB: 103096 ... c Min unsat cost LB: 103099 ... c Min unsat cost LB: 103100 ... c Min unsat cost LB: 103101 ... c Min unsat cost LB: 103109 ... c Min unsat cost LB: 103112 ... c Min unsat cost LB: 103113 ... c Min unsat cost LB: 103117 ... c Min unsat cost LB: 103118 ... c Min unsat cost LB: 103119 ... c Min unsat cost LB: 103120 ... c Min unsat cost LB: 103122 ... c Min unsat cost LB: 103128 ... c Min unsat cost LB: 103146 ... c Min unsat cost LB: 103148 ... c Min unsat cost LB: 103149 ... c Min unsat cost LB: 103152 ... c Min unsat cost LB: 103154 ... c Min unsat cost LB: 103155 ... c Min unsat cost LB: 103157 ... c Min unsat cost LB: 103158 ... c Min unsat cost LB: 103159 ... c Min unsat cost LB: 103160 ... c Min unsat cost LB: 103161 ... c Min unsat cost LB: 103162 ... c Min unsat cost LB: 103164 ... c Min unsat cost LB: 103169 ... c Min unsat cost LB: 103171 ... c Min unsat cost LB: 103172 ... c Min unsat cost LB: 103174 ... c Min unsat cost LB: 103179 ... c Min unsat cost LB: 103181 ... c Min unsat cost LB: 103188 ... c Min unsat cost LB: 103190 ... c Min unsat cost LB: 103208 ... c Min unsat cost LB: 103210 ... c Min unsat cost LB: 103217 ... c Min unsat cost LB: 103219 ... c Min unsat cost LB: 103223 ... c Min unsat cost LB: 103224 ... c Min unsat cost LB: 103233 ... c Min unsat cost LB: 103291 ... c Min unsat cost LB: 103295 ... c Min unsat cost LB: 103296 ... c Min unsat cost LB: 103297 ... c Min unsat cost LB: 103298 ... c Min unsat cost LB: 103299 ... c Min unsat cost LB: 103300 ... c Min unsat cost LB: 103306 ... c Min unsat cost LB: 103605 ... c Min unsat cost LB: 103939 ... c Min unsat cost LB: 103943 ... c Min unsat cost LB: 103944 ... c Min unsat cost LB: 103945 ... c Min unsat cost LB: 103946 ... c Min unsat cost LB: 103947 ... c Min unsat cost LB: 103948 ... c Min unsat cost LB: 103949 ... c Min unsat cost LB: 103950 ... c Min unsat cost LB: 103951 ... c Min unsat cost LB: 103952 ... c Min unsat cost LB: 103953 ... c Min unsat cost LB: 103957 ... c Min unsat cost LB: 103958 ... c Min unsat cost LB: 103963 ... c Min unsat cost LB: 103964 ... c Min unsat cost LB: 103965 ... c Min unsat cost LB: 103966 ... c Min unsat cost LB: 103967 ... c Min unsat cost LB: 103968 ... c Min unsat cost LB: 103969 ... c Min unsat cost LB: 103970 ... c Min unsat cost LB: 103971 ... c Min unsat cost LB: 103972 ... c Min unsat cost LB: 103973 ... c Min unsat cost LB: 103974 ... c Min unsat cost LB: 103975 ... c Min unsat cost LB: 103984 ... c Min unsat cost LB: 103985 ... c Min unsat cost LB: 103986 ... c Min unsat cost LB: 103987 ... c Min unsat cost LB: 103988 ... c Min unsat cost LB: 103989 ... c Min unsat cost LB: 103990 ... c Min unsat cost LB: 103991 ... c Min unsat cost LB: 103993 ... c Min unsat cost LB: 103994 ... c Min unsat cost LB: 103996 ... c Min unsat cost LB: 103997 ... c Min unsat cost LB: 103998 ... c Min unsat cost LB: 103999 ... c Min unsat cost LB: 104000 ... c Min unsat cost LB: 104001 ... c Min unsat cost LB: 104002 ... c Min unsat cost LB: 104003 ... c Min unsat cost LB: 104004 ... c Min unsat cost LB: 104005 ... c Min unsat cost LB: 104006 ... c Min unsat cost LB: 104007 ... c Min unsat cost LB: 104008 ... c Min unsat cost LB: 104009 ... c Min unsat cost LB: 104010 ... c Min unsat cost LB: 104011 ... c Min unsat cost LB: 104012 ... c Min unsat cost LB: 104013 ... c Min unsat cost LB: 104014 ... c Min unsat cost LB: 104015 ... c Min unsat cost LB: 104017 ... c Min unsat cost LB: 104023 ... c Min unsat cost LB: 104024 ... c Min unsat cost LB: 104025 ... c Min unsat cost LB: 104026 ... c Min unsat cost LB: 104027 ... c Min unsat cost LB: 104028 ... c Min unsat cost LB: 104029 ... c Min unsat cost LB: 104030 ... c Min unsat cost LB: 104031 ... c Min unsat cost LB: 104033 ... c Min unsat cost LB: 104034 ... c Min unsat cost LB: 104036 ... c Min unsat cost LB: 104089 ... c Min unsat cost LB: 104118 ... c Min unsat cost LB: 104120 ... c Min unsat cost LB: 104129 ... c Min unsat cost LB: 104134 ... c Min unsat cost LB: 104141 ... c Min unsat cost LB: 104147 ... c Min unsat cost LB: 104151 ... c Min unsat cost LB: 104481 ... c Min unsat cost LB: 105172 ... c Min unsat cost LB: 105176 ... c Min unsat cost LB: 105178 ... c Min unsat cost LB: 105182 ... c Min unsat cost LB: 105184 ... c Min unsat cost LB: 105185 ... c Min unsat cost LB: 105188 ... c Min unsat cost LB: 105191 ... c Min unsat cost LB: 105194 ... c Min unsat cost LB: 105195 ... c Min unsat cost LB: 105197 ... c Min unsat cost LB: 105199 ... c Min unsat cost LB: 105200 ... c Min unsat cost LB: 105201 ... c Min unsat cost LB: 105202 ... c Min unsat cost LB: 105203 ... c Min unsat cost LB: 105204 ... c Min unsat cost LB: 105205 ... c Min unsat cost LB: 105206 ... c Min unsat cost LB: 105207 ... c Min unsat cost LB: 105208 ... c Min unsat cost LB: 105209 ... c Min unsat cost LB: 105210 ... c Min unsat cost LB: 105211 ... c Min unsat cost LB: 105214 ... c Min unsat cost LB: 105215 ... c Min unsat cost LB: 105216 ... c Min unsat cost LB: 105217 ... c Min unsat cost LB: 105218 ... c Min unsat cost LB: 105219 ... c Min unsat cost LB: 105220 ... c Min unsat cost LB: 105221 ... c Min unsat cost LB: 105222 ... c Min unsat cost LB: 105223 ... c Min unsat cost LB: 105224 ... c Min unsat cost LB: 105225 ... c Min unsat cost LB: 105226 ... c Min unsat cost LB: 105227 ... c Min unsat cost LB: 105228 ... c Min unsat cost LB: 105229 ... c Min unsat cost LB: 105230 ... c Min unsat cost LB: 105231 ... c Min unsat cost LB: 105232 ... c Min unsat cost LB: 105237 ... c Min unsat cost LB: 105239 ... c Min unsat cost LB: 105240 ... c Min unsat cost LB: 105242 ... c Min unsat cost LB: 105243 ... c Min unsat cost LB: 105244 ... c Min unsat cost LB: 105245 ... c Min unsat cost LB: 105246 ... c Min unsat cost LB: 105247 ... c Min unsat cost LB: 105248 ... c Min unsat cost LB: 105249 ... c Min unsat cost LB: 105250 ... c Min unsat cost LB: 105252 ... c Min unsat cost LB: 105253 ... c Min unsat cost LB: 105254 ... c Min unsat cost LB: 105255 ... c Min unsat cost LB: 105256 ... c Min unsat cost LB: 105257 ... c Min unsat cost LB: 105258 ... c Min unsat cost LB: 105299 ... c Min unsat cost LB: 105300 ... c Min unsat cost LB: 105302 ... c Min unsat cost LB: 105303 ... c Min unsat cost LB: 105304 ... c Min unsat cost LB: 105312 ... c Min unsat cost LB: 105314 ... c Min unsat cost LB: 105315 ... c Min unsat cost LB: 105316 ... c Min unsat cost LB: 105317 ... c Min unsat cost LB: 105318 ... c Min unsat cost LB: 105321 ... c Min unsat cost LB: 105322 ... c Min unsat cost LB: 105328 ... c Min unsat cost LB: 105331 ... c Min unsat cost LB: 105332 ... c Min unsat cost LB: 105333 ... c Min unsat cost LB: 105354 ... c Min unsat cost LB: 105356 ... c Min unsat cost LB: 105357 ... c Min unsat cost LB: 105359 ... c Min unsat cost LB: 105362 ... c Min unsat cost LB: 105364 ... c Min unsat cost LB: 105365 ... c Min unsat cost LB: 105366 ... c Min unsat cost LB: 105367 ... c Min unsat cost LB: 105368 ... c Min unsat cost LB: 105370 ... c Min unsat cost LB: 105374 ... c Min unsat cost LB: 105375 ... c Min unsat cost LB: 105377 ... c Min unsat cost LB: 105435 ... c Min unsat cost LB: 105437 ... c Min unsat cost LB: 105438 ... c Min unsat cost LB: 105459 ... c Min unsat cost LB: 105460 ... c Min unsat cost LB: 105461 ... c Min unsat cost LB: 105462 ... c Min unsat cost LB: 105463 ... c Min unsat cost LB: 105464 ... c Min unsat cost LB: 105465 ... c Min unsat cost LB: 105467 ... c Min unsat cost LB: 105468 ... c Min unsat cost LB: 105469 ... c Min unsat cost LB: 105621 ... c Min unsat cost LB: 105622 ... c Min unsat cost LB: 105625 ... c Min unsat cost LB: 105626 ... c Min unsat cost LB: 105635 ... c Min unsat cost LB: 105636 ... c Min unsat cost LB: 105637 ... c Min unsat cost LB: 105638 ... c Min unsat cost LB: 105639 ... c Min unsat cost LB: 105640 ... c Min unsat cost LB: 105641 ... c Min unsat cost LB: 105642 ... c Min unsat cost LB: 105643 ... c Min unsat cost LB: 105646 ... c Min unsat cost LB: 105647 ... c Min unsat cost LB: 105648 ... c Min unsat cost LB: 105649 ... c Min unsat cost LB: 105650 ... c Min unsat cost LB: 105651 ... c Min unsat cost LB: 105652 ... c Min unsat cost LB: 105653 ... c Min unsat cost LB: 105654 ... c Min unsat cost LB: 105655 ... c Min unsat cost LB: 105656 ... c Min unsat cost LB: 105657 ... c Min unsat cost LB: 105659 ... c Min unsat cost LB: 105660 ... c Min unsat cost LB: 105661 ... c Min unsat cost LB: 105662 ... c Min unsat cost LB: 105663 ... c Min unsat cost LB: 105667 ... c Min unsat cost LB: 105668 ... c Min unsat cost LB: 105669 ... c Min unsat cost LB: 105670 ... c Min unsat cost LB: 105671 ... c Min unsat cost LB: 105672 ... c Min unsat cost LB: 105673 ... c Min unsat cost LB: 105674 ... c Min unsat cost LB: 105675 ... c Min unsat cost LB: 105676 ... c Min unsat cost LB: 105677 ... c Min unsat cost LB: 105678 ... c Min unsat cost LB: 105679 ... c Min unsat cost LB: 105680 ... c Min unsat cost LB: 105681 ... c Min unsat cost LB: 105682 ... c Min unsat cost LB: 105683 ... c Min unsat cost LB: 105684 ... c Min unsat cost LB: 105685 ... c Min unsat cost LB: 105686 ... c Min unsat cost LB: 105687 ... c Min unsat cost LB: 105688 ... c Min unsat cost LB: 105690 ... c Min unsat cost LB: 105699 ... c Min unsat cost LB: 105700 ... c Min unsat cost LB: 105701 ... c Min unsat cost LB: 105702 ... c Min unsat cost LB: 105703 ... c Min unsat cost LB: 105704 ... c Min unsat cost LB: 105705 ... c Min unsat cost LB: 105707 ... c Min unsat cost LB: 105709 ... c Min unsat cost LB: 105710 ... c Min unsat cost LB: 105711 ... c Min unsat cost LB: 105712 ... c Min unsat cost LB: 105713 ... c Min unsat cost LB: 105714 ... c Min unsat cost LB: 105718 ... c Min unsat cost LB: 105720 ... c Min unsat cost LB: 105721 ... c Min unsat cost LB: 105722 ... c Min unsat cost LB: 105723 ... c Min unsat cost LB: 105724 ... c Min unsat cost LB: 105725 ... c Min unsat cost LB: 105727 ... c Min unsat cost LB: 105728 ... c Min unsat cost LB: 105729 ... c Min unsat cost LB: 105730 ... c Min unsat cost LB: 105732 ... c Min unsat cost LB: 105733 ... c Min unsat cost LB: 105736 ... c Min unsat cost LB: 105737 ... c Min unsat cost LB: 105743 ... c Min unsat cost LB: 105749 ... c Min unsat cost LB: 105750 ... c Min unsat cost LB: 105751 ... c Min unsat cost LB: 105752 ... c Min unsat cost LB: 105753 ... c Min unsat cost LB: 105754 ... c Min unsat cost LB: 105755 ... c Min unsat cost LB: 105756 ... c Min unsat cost LB: 105757 ... c Min unsat cost LB: 105758 ... c Min unsat cost LB: 105759 ... c Min unsat cost LB: 105760 ... c Min unsat cost LB: 105761 ... c Min unsat cost LB: 105762 ... c Min unsat cost LB: 105763 ... c Min unsat cost LB: 105764 ... c Min unsat cost LB: 105765 ... c Min unsat cost LB: 105766 ... c Min unsat cost LB: 105767 ... c Min unsat cost LB: 105769 ... c Min unsat cost LB: 105770 ... c Min unsat cost LB: 105771 ... c Min unsat cost LB: 105772 ... c Min unsat cost LB: 105773 ... c Min unsat cost LB: 105779 ... c Min unsat cost LB: 105780 ... c Min unsat cost LB: 105781 ... c Min unsat cost LB: 105782 ... c Min unsat cost LB: 105783 ... c Min unsat cost LB: 105784 ... c Min unsat cost LB: 105785 ... c Min unsat cost LB: 105786 ... c Min unsat cost LB: 105787 ... c Min unsat cost LB: 105788 ... c Min unsat cost LB: 105789 ... c Min unsat cost LB: 105790 ... c Min unsat cost LB: 105791 ... c Min unsat cost LB: 105792 ... c Min unsat cost LB: 105816 ... c Min unsat cost LB: 105817 ... c Min unsat cost LB: 105818 ... c Min unsat cost LB: 105819 ... c Min unsat cost LB: 105820 ... c Min unsat cost LB: 105821 ... c Min unsat cost LB: 105822 ... c Min unsat cost LB: 105823 ... c Min unsat cost LB: 105824 ... c Min unsat cost LB: 105825 ... c Min unsat cost LB: 105826 ... c Min unsat cost LB: 105827 ... c Min unsat cost LB: 105828 ... c Min unsat cost LB: 105829 ... c Min unsat cost LB: 105830 ... c Min unsat cost LB: 105831 ... c Min unsat cost LB: 105832 ... c Min unsat cost LB: 105833 ... c Min unsat cost LB: 105834 ... c Min unsat cost LB: 105835 ... c Min unsat cost LB: 105836 ... c Min unsat cost LB: 105837 ... c Min unsat cost LB: 105838 ... c Min unsat cost LB: 105839 ... c Min unsat cost LB: 105840 ... c Min unsat cost LB: 105841 ... c Min unsat cost LB: 105842 ... c Min unsat cost LB: 105843 ... c Min unsat cost LB: 105844 ... c Min unsat cost LB: 105845 ... c Min unsat cost LB: 105846 ... c Min unsat cost LB: 105848 ... c Min unsat cost LB: 105849 ... c Min unsat cost LB: 105850 ... c Min unsat cost LB: 105851 ... c Min unsat cost LB: 105852 ... c Min unsat cost LB: 105853 ... c Min unsat cost LB: 105854 ... c Min unsat cost LB: 105855 ... c Min unsat cost LB: 105856 ... c Min unsat cost LB: 105857 ... c Min unsat cost LB: 105858 ... c Min unsat cost LB: 105859 ... c Min unsat cost LB: 105860 ... c Min unsat cost LB: 105861 ... c Min unsat cost LB: 105862 ... c Min unsat cost LB: 105863 ... c Min unsat cost LB: 105864 ... c Min unsat cost LB: 105865 ... c Min unsat cost LB: 105866 ... c Min unsat cost LB: 105867 ... c Min unsat cost LB: 105868 ... c Min unsat cost LB: 105877 ... c Min unsat cost LB: 105879 ... c Min unsat cost LB: 105880 ... c Min unsat cost LB: 105881 ... c Min unsat cost LB: 105882 ... c Min unsat cost LB: 105883 ... c Min unsat cost LB: 105884 ... c Min unsat cost LB: 105885 ... c Min unsat cost LB: 105886 ... c Min unsat cost LB: 105887 ... c Min unsat cost LB: 105889 ... c Min unsat cost LB: 105890 ... c Min unsat cost LB: 105891 ... c Min unsat cost LB: 105892 ... c Min unsat cost LB: 105893 ... c Min unsat cost LB: 105894 ... c Min unsat cost LB: 105895 ... c Min unsat cost LB: 105896 ... c Min unsat cost LB: 105897 ... c Min unsat cost LB: 105898 ... c Min unsat cost LB: 105899 ... c Min unsat cost LB: 105900 ... c Min unsat cost LB: 105901 ... c Min unsat cost LB: 105902 ... c Min unsat cost LB: 105903 ... c Min unsat cost LB: 105904 ... c Min unsat cost LB: 105905 ... c Min unsat cost LB: 105906 ... c Min unsat cost LB: 106312 ... c Min unsat cost LB: 106313 ... c Min unsat cost LB: 106317 ... c Min unsat cost LB: 106318 ... c Min unsat cost LB: 106319 ... c Min unsat cost LB: 106320 ... c Min unsat cost LB: 106321 ... c Min unsat cost LB: 106322 ... c Min unsat cost LB: 106323 ... c Min unsat cost LB: 106324 ... c Min unsat cost LB: 106325 ... c Min unsat cost LB: 106326 ... c Min unsat cost LB: 106327 ... c Min unsat cost LB: 106328 ... c Min unsat cost LB: 106329 ... c Min unsat cost LB: 106330 ... c Min unsat cost LB: 106331 ... c Min unsat cost LB: 106332 ... c Min unsat cost LB: 106333 ... c Min unsat cost LB: 106334 ... c Min unsat cost LB: 106335 ... c Min unsat cost LB: 106336 ... c Min unsat cost LB: 106340 ... c Min unsat cost LB: 106342 ... c Min unsat cost LB: 106343 ... c Min unsat cost LB: 106347 ... c Min unsat cost LB: 106349 ... c Min unsat cost LB: 106350 ... c Min unsat cost LB: 106351 ... c Min unsat cost LB: 106352 ... c Min unsat cost LB: 106353 ... c Min unsat cost LB: 106354 ... c Min unsat cost LB: 106355 ... c Min unsat cost LB: 106357 ... c Min unsat cost LB: 106419 ... c Min unsat cost LB: 106420 ... c Min unsat cost LB: 106421 ... c Min unsat cost LB: 106422 ... c Min unsat cost LB: 106423 ... c Min unsat cost LB: 106424 ... c Min unsat cost LB: 106425 ... c Min unsat cost LB: 106426 ... c Min unsat cost LB: 106427 ... c Min unsat cost LB: 106428 ... c Min unsat cost LB: 106429 ... c Min unsat cost LB: 106430 ... c Min unsat cost LB: 106431 ... c Min unsat cost LB: 106432 ... c Min unsat cost LB: 106433 ... c Min unsat cost LB: 106434 ... c Min unsat cost LB: 106435 ... c Min unsat cost LB: 106436 ... c Min unsat cost LB: 106437 ... c Min unsat cost LB: 106438 ... c Min unsat cost LB: 106439 ... c Min unsat cost LB: 106440 ... c Min unsat cost LB: 106442 ... c Min unsat cost LB: 106443 ... c Min unsat cost LB: 106444 ... c Min unsat cost LB: 106446 ... c Min unsat cost LB: 106447 ... c Min unsat cost LB: 106448 ... c Min unsat cost LB: 106449 ... c Min unsat cost LB: 106450 ... c Min unsat cost LB: 106451 ... c Min unsat cost LB: 106452 ... c Min unsat cost LB: 106453 ... c Min unsat cost LB: 106455 ... c Min unsat cost LB: 106457 ... c Min unsat cost LB: 106463 ... c Min unsat cost LB: 106466 ... c Min unsat cost LB: 106467 ... c Min unsat cost LB: 106468 ... c Min unsat cost LB: 106469 ... c Min unsat cost LB: 106470 ... c Min unsat cost LB: 106475 ... c Min unsat cost LB: 106477 ... c Min unsat cost LB: 106478 ... c Min unsat cost LB: 106479 ... c Min unsat cost LB: 106480 ... c Min unsat cost LB: 106481 ... c Min unsat cost LB: 106482 ... c Min unsat cost LB: 106483 ... c Min unsat cost LB: 106484 ... c Min unsat cost LB: 106485 ... c Min unsat cost LB: 106486 ... c Min unsat cost LB: 106489 ... c Min unsat cost LB: 106490 ... c Min unsat cost LB: 106491 ... c Min unsat cost LB: 106492 ... c Min unsat cost LB: 106493 ... c Min unsat cost LB: 106496 ... c Min unsat cost LB: 106503 ... c Min unsat cost LB: 106504 ... c Min unsat cost LB: 106505 ... c Min unsat cost LB: 106506 ... c Min unsat cost LB: 106507 ... c Min unsat cost LB: 106546 ... c Min unsat cost LB: 106549 ... c Min unsat cost LB: 106550 ... c Min unsat cost LB: 106551 ... c Min unsat cost LB: 106558 ... c Min unsat cost LB: 106559 ... c Min unsat cost LB: 106560 ... c Min unsat cost LB: 106561 ... c Min unsat cost LB: 106562 ... c Min unsat cost LB: 106563 ... c Min unsat cost LB: 106564 ... c Min unsat cost LB: 106565 ... c Min unsat cost LB: 106566 ... c Min unsat cost LB: 106567 ... c Min unsat cost LB: 106592 ... c Min unsat cost LB: 106593 ... c Min unsat cost LB: 106594 ... c Min unsat cost LB: 106595 ... c Min unsat cost LB: 106596 ... c Min unsat cost LB: 106598 ... c Min unsat cost LB: 106611 ... c Min unsat cost LB: 106612 ... c Min unsat cost LB: 106618 ... c Min unsat cost LB: 106619 ... c Min unsat cost LB: 106620 ... c Min unsat cost LB: 106621 ... c Min unsat cost LB: 106622 ... c Min unsat cost LB: 106623 ... c Min unsat cost LB: 106624 ... c Min unsat cost LB: 106625 ... c Min unsat cost LB: 106626 ... c Min unsat cost LB: 106627 ... c Min unsat cost LB: 106628 ... c Min unsat cost LB: 106629 ... c Min unsat cost LB: 106630 ... c Min unsat cost LB: 106631 ... c Min unsat cost LB: 106632 ... c Min unsat cost LB: 106633 ... c Min unsat cost LB: 106634 ... c Min unsat cost LB: 106640 ... c Min unsat cost LB: 106641 ... c Min unsat cost LB: 106644 ... c Min unsat cost LB: 106646 ... c Min unsat cost LB: 106649 ... c Min unsat cost LB: 106650 ... c Min unsat cost LB: 106651 ... c Min unsat cost LB: 106652 ... c Min unsat cost LB: 106654 ... c Min unsat cost LB: 106655 ... c Min unsat cost LB: 106656 ... c Min unsat cost LB: 106657 ... c Min unsat cost LB: 106659 ... c Min unsat cost LB: 106663 ... c Min unsat cost LB: 106664 ... c Min unsat cost LB: 106666 ... c Min unsat cost LB: 106667 ... c Min unsat cost LB: 106668 ... c Min unsat cost LB: 106669 ... c Min unsat cost LB: 106670 ... c Min unsat cost LB: 106671 ... c Min unsat cost LB: 106672 ... c Min unsat cost LB: 106673 ... c Min unsat cost LB: 106674 ... c Min unsat cost LB: 106675 ... c Min unsat cost LB: 106676 ... c Min unsat cost LB: 106677 ... c Min unsat cost LB: 106678 ... c Min unsat cost LB: 106679 ... c Min unsat cost LB: 106680 ... c Min unsat cost LB: 106681 ... c Min unsat cost LB: 106682 ... c Min unsat cost LB: 106683 ... c Min unsat cost LB: 106684 ... c Min unsat cost LB: 106685 ... c Min unsat cost LB: 106686 ... c Min unsat cost LB: 106687 ... c Min unsat cost LB: 106688 ... c Min unsat cost LB: 106689 ... c Min unsat cost LB: 106690 ... c Min unsat cost LB: 106691 ... c Min unsat cost LB: 106692 ... c Min unsat cost LB: 106693 ... c Min unsat cost LB: 106696 ... c Min unsat cost LB: 106697 ... c Min unsat cost LB: 106698 ... c Min unsat cost LB: 106699 ... c Min unsat cost LB: 106700 ... c Min unsat cost LB: 106701 ... c Min unsat cost LB: 106702 ... c Min unsat cost LB: 106703 ... c Min unsat cost LB: 106704 ... c Min unsat cost LB: 106705 ... c Min unsat cost LB: 106706 ... c Min unsat cost LB: 106708 ... c Min unsat cost LB: 106709 ... c Min unsat cost LB: 106710 ... c Min unsat cost LB: 106711 ... c Min unsat cost LB: 106712 ... c Min unsat cost LB: 106713 ... c Min unsat cost LB: 106714 ... c Min unsat cost LB: 106715 ... c Min unsat cost LB: 106716 ... c Min unsat cost LB: 106719 ... c Min unsat cost LB: 106720 ... c Min unsat cost LB: 106721 ... c Min unsat cost LB: 106722 ... c Min unsat cost LB: 106723 ... c Min unsat cost LB: 106724 ... c Min unsat cost LB: 106725 ... c Min unsat cost LB: 106726 ... c Min unsat cost LB: 106727 ... c Min unsat cost LB: 106728 ... c Min unsat cost LB: 106729 ... c Min unsat cost LB: 106730 ... c Min unsat cost LB: 106731 ... c Min unsat cost LB: 106732 ... c Min unsat cost LB: 106734 ... c Min unsat cost LB: 106735 ... c Min unsat cost LB: 106736 ... c Min unsat cost LB: 106737 ... c Min unsat cost LB: 106738 ... c Min unsat cost LB: 106739 ... c Min unsat cost LB: 106740 ... c Min unsat cost LB: 106741 ... c Min unsat cost LB: 106742 ... c Min unsat cost LB: 106743 ... c Min unsat cost LB: 106744 ... c Min unsat cost LB: 106745 ... c Min unsat cost LB: 106746 ... c Min unsat cost LB: 106747 ... c Min unsat cost LB: 106748 ... c Min unsat cost LB: 106749 ... c Min unsat cost LB: 106750 ... c Min unsat cost LB: 106751 ... c Min unsat cost LB: 106752 ... c Min unsat cost LB: 106753 ... c Min unsat cost LB: 106760 ... c Min unsat cost LB: 106762 ... c Min unsat cost LB: 106763 ... c Min unsat cost LB: 106764 ... c Min unsat cost LB: 106765 ... c Min unsat cost LB: 106766 ... c Min unsat cost LB: 106767 ... c Min unsat cost LB: 106768 ... c Min unsat cost LB: 106769 ... c Min unsat cost LB: 106770 ... c Min unsat cost LB: 106771 ... c Min unsat cost LB: 106772 ... c Min unsat cost LB: 106773 ... c Min unsat cost LB: 106774 ... c Min unsat cost LB: 106775 ... c Min unsat cost LB: 106776 ... c Min unsat cost LB: 106777 ... c Min unsat cost LB: 106778 ... c Min unsat cost LB: 106779 ... c Min unsat cost LB: 106780 ... c Min unsat cost LB: 106781 ... c Min unsat cost LB: 106782 ... c Min unsat cost LB: 106783 ... c Min unsat cost LB: 106784 ... c Min unsat cost LB: 106785 ... c Min unsat cost LB: 106786 ... c Min unsat cost LB: 106787 ... c Min unsat cost LB: 106788 ... c Min unsat cost LB: 106789 ... c Min unsat cost LB: 106790 ... c Min unsat cost LB: 106791 ... c Min unsat cost LB: 106792 ... c Min unsat cost LB: 106793 ... c Min unsat cost LB: 106794 ... c Min unsat cost LB: 106795 ... c Min unsat cost LB: 106796 ... c Min unsat cost LB: 106797 ... c Min unsat cost LB: 106798 ... c Min unsat cost LB: 106799 ... c Min unsat cost LB: 106800 ... c Min unsat cost LB: 106801 ... c Min unsat cost LB: 106802 ... c Min unsat cost LB: 106803 ... c Min unsat cost LB: 106804 ... c Min unsat cost LB: 106805 ... c Min unsat cost LB: 106806 ... c Min unsat cost LB: 106807 ... c Min unsat cost LB: 106808 ... c Min unsat cost LB: 106809 ... c Min unsat cost LB: 106810 ... c Min unsat cost LB: 106811 ... c Min unsat cost LB: 106812 ... c Min unsat cost LB: 106814 ... c Min unsat cost LB: 106815 ... c Min unsat cost LB: 106816 ... c Min unsat cost LB: 106817 ... c Min unsat cost LB: 106818 ... c Min unsat cost LB: 106819 ... c Min unsat cost LB: 106820 ... c Min unsat cost LB: 106821 ... c Min unsat cost LB: 106822 ... c Min unsat cost LB: 106823 ... c Min unsat cost LB: 106824 ... c Min unsat cost LB: 106825 ... c Min unsat cost LB: 106826 ... c Min unsat cost LB: 106827 ... c Min unsat cost LB: 106828 ... c Min unsat cost LB: 106829 ... c Min unsat cost LB: 106830 ... c Min unsat cost LB: 106831 ... c Min unsat cost LB: 106832 ... c Min unsat cost LB: 106833 ... c Min unsat cost LB: 106834 ... c Min unsat cost LB: 106835 ... c Min unsat cost LB: 106836 ... c Min unsat cost LB: 106837 ... c Min unsat cost LB: 106838 ... c Min unsat cost LB: 106839 ... c Min unsat cost LB: 106840 ... c Min unsat cost LB: 106841 ... c Min unsat cost LB: 106842 ... c Min unsat cost LB: 106843 ... c Min unsat cost LB: 106844 ... c Min unsat cost LB: 106845 ... c Min unsat cost LB: 106846 ... c Min unsat cost LB: 106847 ... c Min unsat cost LB: 106848 ... c Min unsat cost LB: 106849 ... c Min unsat cost LB: 106850 ... c Min unsat cost LB: 106851 ... c Min unsat cost LB: 106852 ... c Min unsat cost LB: 106853 ... c Min unsat cost LB: 106854 ... c Min unsat cost LB: 106855 ... c Min unsat cost LB: 106856 ... c Min unsat cost LB: 107091 ... c Min unsat cost LB: 107571 ... c Min unsat cost LB: 107572 ... c Min unsat cost LB: 107573 ... c Min unsat cost LB: 107574 ... c Min unsat cost LB: 107575 ... c Min unsat cost LB: 107576 ... c Min unsat cost LB: 107577 ... c Min unsat cost LB: 107578 ... c Min unsat cost LB: 107579 ... c Min unsat cost LB: 107580 ... c Min unsat cost LB: 107581 ... c Min unsat cost LB: 107582 ... c Min unsat cost LB: 107583 ... c Min unsat cost LB: 107584 ... c Min unsat cost LB: 107585 ... c Min unsat cost LB: 107586 ... c Min unsat cost LB: 107587 ... c Min unsat cost LB: 107588 ... c Min unsat cost LB: 107589 ... c Min unsat cost LB: 107590 ... c Min unsat cost LB: 107591 ... c Min unsat cost LB: 107592 ... c Min unsat cost LB: 107593 ... c Min unsat cost LB: 107594 ... c Min unsat cost LB: 107595 ... c Min unsat cost LB: 107596 ... c Min unsat cost LB: 107597 ... c Min unsat cost LB: 107598 ... c Min unsat cost LB: 107599 ... c Min unsat cost LB: 107600 ... c Min unsat cost LB: 107601 ... c Min unsat cost LB: 107602 ... c Min unsat cost LB: 107604 ... c Min unsat cost LB: 107647 ... c Min unsat cost LB: 107648 ... c Min unsat cost LB: 107649 ... c Min unsat cost LB: 107650 ... c Min unsat cost LB: 107651 ... c Min unsat cost LB: 107653 ... c Min unsat cost LB: 107654 ... c Min unsat cost LB: 107658 ... c Min unsat cost LB: 107659 ... c Min unsat cost LB: 107660 ... c Min unsat cost LB: 107661 ... c Min unsat cost LB: 107662 ... c Min unsat cost LB: 107663 ... c Min unsat cost LB: 107664 ... c Min unsat cost LB: 107665 ... c Min unsat cost LB: 107666 ... c Min unsat cost LB: 107667 ... c Min unsat cost LB: 107668 ... c Min unsat cost LB: 107669 ... c Min unsat cost LB: 107670 ... c Min unsat cost LB: 107671 ... c Min unsat cost LB: 107672 ... c Min unsat cost LB: 107673 ... c Min unsat cost LB: 107674 ... c Min unsat cost LB: 107675 ... c Min unsat cost LB: 107676 ... c Min unsat cost LB: 107677 ... c Min unsat cost LB: 107678 ... c Min unsat cost LB: 107679 ... c Min unsat cost LB: 107680 ... c Min unsat cost LB: 107681 ... c Min unsat cost LB: 107682 ... c Min unsat cost LB: 107683 ... c Min unsat cost LB: 107684 ... c Min unsat cost LB: 107685 ... c Min unsat cost LB: 107686 ... c Min unsat cost LB: 107687 ... c Min unsat cost LB: 107688 ... c Min unsat cost LB: 107689 ... c Min unsat cost LB: 107690 ... c Min unsat cost LB: 107691 ... c Min unsat cost LB: 107692 ... c Min unsat cost LB: 107693 ... c Min unsat cost LB: 107694 ... c Min unsat cost LB: 107695 ... c Min unsat cost LB: 107696 ... c Min unsat cost LB: 107697 ... c Min unsat cost LB: 107698 ... c Min unsat cost LB: 107699 ... c Min unsat cost LB: 107700 ... c Min unsat cost LB: 107701 ... c Min unsat cost LB: 107702 ... c Min unsat cost LB: 107703 ... c Min unsat cost LB: 107704 ... c Min unsat cost LB: 107705 ... c Min unsat cost LB: 107706 ... c Min unsat cost LB: 107707 ... c Min unsat cost LB: 107708 ... c Min unsat cost LB: 107709 ... c Min unsat cost LB: 107710 ... c Min unsat cost LB: 107711 ... c Min unsat cost LB: 107712 ... c Min unsat cost LB: 107713 ... c Min unsat cost LB: 107714 ... c Min unsat cost LB: 107715 ... c Min unsat cost LB: 107716 ... c Min unsat cost LB: 107717 ... c Min unsat cost LB: 107718 ... c Min unsat cost LB: 10Killed 1815.206u 4.530s 30:20.35 99.9% 0+0k 0+0io 0pf+0w