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_180_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_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_180_0004.txt.wcnf *** c c Min unsat cost LB: 414 ... c Min unsat cost LB: 559 ... c Min unsat cost LB: 973 ... c Min unsat cost LB: 1118 ... c Min unsat cost LB: 1263 ... c Min unsat cost LB: 1526 ... c Min unsat cost LB: 1671 ... c Min unsat cost LB: 3017 ... c Min unsat cost LB: 3162 ... c Min unsat cost LB: 4653 ... c Min unsat cost LB: 4916 ... c Min unsat cost LB: 6407 ... c Min unsat cost LB: 7335 ... c Min unsat cost LB: 8263 ... c Min unsat cost LB: 8677 ... c Min unsat cost LB: 9605 ... c Min unsat cost LB: 10533 ... c Min unsat cost LB: 11096 ... c Min unsat cost LB: 11461 ... c Min unsat cost LB: 11606 ... c Min unsat cost LB: 12534 ... c Min unsat cost LB: 13199 ... c Min unsat cost LB: 13613 ... c Min unsat cost LB: 14541 ... c Min unsat cost LB: 16032 ... c Min unsat cost LB: 16960 ... c Min unsat cost LB: 17223 ... c Min unsat cost LB: 17637 ... c Min unsat cost LB: 17937 ... c Min unsat cost LB: 18500 ... c Min unsat cost LB: 19063 ... c Min unsat cost LB: 19846 ... c Min unsat cost LB: 20211 ... c Min unsat cost LB: 20703 ... c Min unsat cost LB: 21368 ... c Min unsat cost LB: 21860 ... c Min unsat cost LB: 22278 ... c Min unsat cost LB: 22788 ... c Min unsat cost LB: 23280 ... c Min unsat cost LB: 23772 ... c Min unsat cost LB: 24035 ... c Min unsat cost LB: 24561 ... c Min unsat cost LB: 25053 ... c Min unsat cost LB: 25455 ... c Min unsat cost LB: 25869 ... c Min unsat cost LB: 26014 ... c Min unsat cost LB: 26915 ... c Min unsat cost LB: 27103 ... c Min unsat cost LB: 27301 ... c Min unsat cost LB: 27816 ... c Min unsat cost LB: 27864 ... c Min unsat cost LB: 28118 ... c Min unsat cost LB: 28610 ... c Min unsat cost LB: 29102 ... c Min unsat cost LB: 29300 ... c Min unsat cost LB: 29554 ... c Min unsat cost LB: 29808 ... c Min unsat cost LB: 30062 ... c Min unsat cost LB: 30316 ... c Min unsat cost LB: 30579 ... c Min unsat cost LB: 30833 ... c Min unsat cost LB: 31253 ... c Min unsat cost LB: 31507 ... c Min unsat cost LB: 31761 ... c Min unsat cost LB: 32015 ... c Min unsat cost LB: 32379 ... c Min unsat cost LB: 32633 ... c Min unsat cost LB: 33125 ... c Min unsat cost LB: 33379 ... c Min unsat cost LB: 33524 ... c Min unsat cost LB: 33849 ... c Min unsat cost LB: 34425 ... c Min unsat cost LB: 34679 ... c Min unsat cost LB: 34932 ... c Min unsat cost LB: 35077 ... c Min unsat cost LB: 35331 ... c Min unsat cost LB: 35387 ... c Min unsat cost LB: 35650 ... c Min unsat cost LB: 35939 ... c Min unsat cost LB: 36840 ... c Min unsat cost LB: 37332 ... c Min unsat cost LB: 37586 ... c Min unsat cost LB: 37824 ... c Min unsat cost LB: 37969 ... c Min unsat cost LB: 38114 ... c Min unsat cost LB: 38368 ... c Min unsat cost LB: 38622 ... c Min unsat cost LB: 38876 ... c Min unsat cost LB: 39139 ... c Min unsat cost LB: 39393 ... c Min unsat cost LB: 39807 ... c Min unsat cost LB: 39922 ... c Min unsat cost LB: 40336 ... c Min unsat cost LB: 40451 ... c Min unsat cost LB: 40705 ... c Min unsat cost LB: 40850 ... c Min unsat cost LB: 41104 ... c Min unsat cost LB: 41403 ... c Min unsat cost LB: 41459 ... c Min unsat cost LB: 41598 ... c Min unsat cost LB: 42012 ... c Min unsat cost LB: 42071 ... c Min unsat cost LB: 42072 ... c Min unsat cost LB: 42326 ... c Min unsat cost LB: 42580 ... c Min unsat cost LB: 42725 ... c Min unsat cost LB: 42963 ... c Min unsat cost LB: 43454 ... c Min unsat cost LB: 43868 ... c Min unsat cost LB: 43946 ... c Min unsat cost LB: 44282 ... c Min unsat cost LB: 44500 ... c Min unsat cost LB: 44914 ... c Min unsat cost LB: 45307 ... c Min unsat cost LB: 45533 ... c Min unsat cost LB: 45787 ... c Min unsat cost LB: 45932 ... c Min unsat cost LB: 46260 ... c Min unsat cost LB: 46405 ... c Min unsat cost LB: 46819 ... c Min unsat cost LB: 47233 ... c Min unsat cost LB: 47319 ... c Min unsat cost LB: 47733 ... c Min unsat cost LB: 47839 ... c Min unsat cost LB: 48027 ... c Min unsat cost LB: 48043 ... c Min unsat cost LB: 48059 ... c Min unsat cost LB: 48457 ... c Min unsat cost LB: 48871 ... c Min unsat cost LB: 49125 ... c Min unsat cost LB: 49347 ... c Min unsat cost LB: 49383 ... c Min unsat cost LB: 49404 ... c Min unsat cost LB: 49658 ... c Min unsat cost LB: 49803 ... c Min unsat cost LB: 50217 ... c Min unsat cost LB: 50631 ... c Min unsat cost LB: 50740 ... c Min unsat cost LB: 50776 ... c Min unsat cost LB: 51190 ... c Min unsat cost LB: 51335 ... c Min unsat cost LB: 51573 ... c Min unsat cost LB: 51838 ... c Min unsat cost LB: 52107 ... c Min unsat cost LB: 52252 ... c Min unsat cost LB: 52401 ... c Min unsat cost LB: 52634 ... c Min unsat cost LB: 53048 ... c Min unsat cost LB: 53462 ... c Min unsat cost LB: 53540 ... c Min unsat cost LB: 53685 ... c Min unsat cost LB: 53830 ... c Min unsat cost LB: 53975 ... c Min unsat cost LB: 54056 ... c Min unsat cost LB: 54187 ... c Min unsat cost LB: 54265 ... c Min unsat cost LB: 54450 ... c Min unsat cost LB: 54464 ... c Min unsat cost LB: 54500 ... c Min unsat cost LB: 54609 ... c Min unsat cost LB: 54645 ... c Min unsat cost LB: 54749 ... c Min unsat cost LB: 55012 ... c Min unsat cost LB: 55056 ... c Min unsat cost LB: 55275 ... c Min unsat cost LB: 55303 ... c Min unsat cost LB: 55339 ... c Min unsat cost LB: 55420 ... c Min unsat cost LB: 55447 ... c Min unsat cost LB: 55461 ... c Min unsat cost LB: 55489 ... c Min unsat cost LB: 55501 ... c Min unsat cost LB: 55537 ... c Min unsat cost LB: 55646 ... c Min unsat cost LB: 55682 ... c Min unsat cost LB: 55703 ... c Min unsat cost LB: 55739 ... c Min unsat cost LB: 55812 ... c Min unsat cost LB: 56066 ... c Min unsat cost LB: 56161 ... c Min unsat cost LB: 56217 ... c Min unsat cost LB: 56320 ... c Min unsat cost LB: 56406 ... c Min unsat cost LB: 56574 ... c Min unsat cost LB: 56719 ... c Min unsat cost LB: 56739 ... c Min unsat cost LB: 56822 ... c Min unsat cost LB: 56887 ... c Min unsat cost LB: 56985 ... c Min unsat cost LB: 57141 ... c Min unsat cost LB: 57169 ... c Min unsat cost LB: 57314 ... c Min unsat cost LB: 57399 ... c Min unsat cost LB: 57731 ... c Min unsat cost LB: 57813 ... c Min unsat cost LB: 57816 ... c Min unsat cost LB: 57819 ... c Min unsat cost LB: 57964 ... c Min unsat cost LB: 58014 ... c Min unsat cost LB: 58182 ... c Min unsat cost LB: 58327 ... c Min unsat cost LB: 58510 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58766 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58924 ... c Min unsat cost LB: 59249 ... c Min unsat cost LB: 59293 ... c Min unsat cost LB: 59500 ... c Min unsat cost LB: 59754 ... c Min unsat cost LB: 59869 ... c Min unsat cost LB: 59914 ... c Min unsat cost LB: 60074 ... c Min unsat cost LB: 60081 ... c Min unsat cost LB: 60219 ... c Min unsat cost LB: 60327 ... c Min unsat cost LB: 60421 ... c Min unsat cost LB: 60566 ... c Min unsat cost LB: 60581 ... c Min unsat cost LB: 60662 ... c Min unsat cost LB: 60736 ... c Min unsat cost LB: 60912 ... c Min unsat cost LB: 60917 ... c Min unsat cost LB: 60929 ... c Min unsat cost LB: 61109 ... c Min unsat cost LB: 61149 ... c Min unsat cost LB: 61363 ... c Min unsat cost LB: 61523 ... c Min unsat cost LB: 61632 ... c Min unsat cost LB: 61761 ... c Min unsat cost LB: 62015 ... c Min unsat cost LB: 62031 ... c Min unsat cost LB: 62033 ... c Min unsat cost LB: 62050 ... c Min unsat cost LB: 62060 ... c Min unsat cost LB: 62099 ... c Min unsat cost LB: 62135 ... c Min unsat cost LB: 62171 ... c Min unsat cost LB: 62206 ... c Min unsat cost LB: 62460 ... c Min unsat cost LB: 62558 ... c Min unsat cost LB: 62605 ... c Min unsat cost LB: 62827 ... c Min unsat cost LB: 62831 ... c Min unsat cost LB: 62905 ... c Min unsat cost LB: 62951 ... c Min unsat cost LB: 63050 ... c Min unsat cost LB: 63304 ... c Min unsat cost LB: 63361 ... c Min unsat cost LB: 63615 ... c Min unsat cost LB: 63722 ... c Min unsat cost LB: 63777 ... c Min unsat cost LB: 63852 ... c Min unsat cost LB: 64136 ... c Min unsat cost LB: 64374 ... c Min unsat cost LB: 64429 ... c Min unsat cost LB: 64537 ... c Min unsat cost LB: 64550 ... c Min unsat cost LB: 64722 ... c Min unsat cost LB: 64753 ... c Min unsat cost LB: 64767 ... c Min unsat cost LB: 64831 ... c Min unsat cost LB: 65019 ... c Min unsat cost LB: 65256 ... c Min unsat cost LB: 65273 ... c Min unsat cost LB: 65618 ... c Min unsat cost LB: 65764 ... c Min unsat cost LB: 65765 ... c Min unsat cost LB: 66077 ... c Min unsat cost LB: 66105 ... c Min unsat cost LB: 66164 ... c Min unsat cost LB: 66220 ... c Min unsat cost LB: 66276 ... c Min unsat cost LB: 66346 ... c Min unsat cost LB: 66429 ... c Min unsat cost LB: 66527 ... c Min unsat cost LB: 66544 ... c Min unsat cost LB: 66682 ... c Min unsat cost LB: 66915 ... c Min unsat cost LB: 67096 ... c Min unsat cost LB: 67097 ... c Min unsat cost LB: 67381 ... c Min unsat cost LB: 67510 ... c Min unsat cost LB: 67511 ... c Min unsat cost LB: 67513 ... c Min unsat cost LB: 67524 ... c Min unsat cost LB: 67632 ... c Min unsat cost LB: 67687 ... c Min unsat cost LB: 67746 ... c Min unsat cost LB: 67782 ... c Min unsat cost LB: 67821 ... c Min unsat cost LB: 67825 ... c Min unsat cost LB: 67859 ... c Min unsat cost LB: 67860 ... c Min unsat cost LB: 67870 ... c Min unsat cost LB: 67924 ... c Min unsat cost LB: 68092 ... c Min unsat cost LB: 68097 ... c Min unsat cost LB: 68152 ... c Min unsat cost LB: 68160 ... c Min unsat cost LB: 68227 ... c Min unsat cost LB: 68338 ... c Min unsat cost LB: 68346 ... c Min unsat cost LB: 68357 ... c Min unsat cost LB: 68362 ... c Min unsat cost LB: 68364 ... c Min unsat cost LB: 68369 ... c Min unsat cost LB: 68386 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68498 ... c Min unsat cost LB: 68562 ... c Min unsat cost LB: 68629 ... c Min unsat cost LB: 68752 ... c Min unsat cost LB: 68789 ... c Min unsat cost LB: 68829 ... c Min unsat cost LB: 68841 ... c Min unsat cost LB: 68976 ... c Min unsat cost LB: 69054 ... c Min unsat cost LB: 69090 ... c Min unsat cost LB: 69102 ... c Min unsat cost LB: 69140 ... c Min unsat cost LB: 69166 ... c Min unsat cost LB: 69200 ... c Min unsat cost LB: 69236 ... c Min unsat cost LB: 69298 ... c Min unsat cost LB: 69383 ... c Min unsat cost LB: 69407 ... c Min unsat cost LB: 69408 ... c Min unsat cost LB: 69411 ... c Min unsat cost LB: 69414 ... c Min unsat cost LB: 69459 ... c Min unsat cost LB: 69496 ... c Min unsat cost LB: 69561 ... c Min unsat cost LB: 69641 ... c Min unsat cost LB: 69702 ... c Min unsat cost LB: 69780 ... c Min unsat cost LB: 69851 ... c Min unsat cost LB: 69874 ... c Min unsat cost LB: 69912 ... c Min unsat cost LB: 69929 ... c Min unsat cost LB: 69973 ... c Min unsat cost LB: 69974 ... c Min unsat cost LB: 70010 ... c Min unsat cost LB: 70049 ... c Min unsat cost LB: 70054 ... c Min unsat cost LB: 70085 ... c Min unsat cost LB: 70163 ... c Min unsat cost LB: 70170 ... c Min unsat cost LB: 70308 ... c Min unsat cost LB: 70435 ... c Min unsat cost LB: 70497 ... c Min unsat cost LB: 70500 ... c Min unsat cost LB: 70628 ... c Min unsat cost LB: 70838 ... c Min unsat cost LB: 70895 ... c Min unsat cost LB: 70911 ... c Min unsat cost LB: 70914 ... c Min unsat cost LB: 70918 ... c Min unsat cost LB: 70996 ... c Min unsat cost LB: 71060 ... c Min unsat cost LB: 71075 ... c Min unsat cost LB: 71091 ... c Min unsat cost LB: 71097 ... c Min unsat cost LB: 71143 ... c Min unsat cost LB: 71145 ... c Min unsat cost LB: 71445 ... c Min unsat cost LB: 71524 ... c Min unsat cost LB: 71569 ... c Min unsat cost LB: 71573 ... c Min unsat cost LB: 71579 ... c Min unsat cost LB: 71639 ... c Min unsat cost LB: 71651 ... c Min unsat cost LB: 71684 ... c Min unsat cost LB: 71938 ... c Min unsat cost LB: 71979 ... c Min unsat cost LB: 71989 ... c Min unsat cost LB: 72058 ... c Min unsat cost LB: 72087 ... c Min unsat cost LB: 72102 ... c Min unsat cost LB: 72243 ... c Min unsat cost LB: 72314 ... c Min unsat cost LB: 72542 ... c Min unsat cost LB: 73019 ... c Min unsat cost LB: 73167 ... c Min unsat cost LB: 73514 ... c Min unsat cost LB: 73562 ... c Min unsat cost LB: 73630 ... c Min unsat cost LB: 73680 ... c Min unsat cost LB: 74280 ... c Min unsat cost LB: 74581 ... c Min unsat cost LB: 75146 ... c Min unsat cost LB: 75291 ... c Min unsat cost LB: 75334 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75420 ... c Min unsat cost LB: 75616 ... c Min unsat cost LB: 75705 ... c Min unsat cost LB: 75850 ... c Min unsat cost LB: 75882 ... c Min unsat cost LB: 75897 ... c Min unsat cost LB: 75924 ... c Min unsat cost LB: 75928 ... c Min unsat cost LB: 75931 ... c Min unsat cost LB: 76026 ... c Min unsat cost LB: 76044 ... c Min unsat cost LB: 76101 ... c Min unsat cost LB: 76114 ... c Min unsat cost LB: 76182 ... c Min unsat cost LB: 76222 ... c Min unsat cost LB: 76252 ... c Min unsat cost LB: 76263 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76320 ... c Min unsat cost LB: 76401 ... c Min unsat cost LB: 76501 ... c Min unsat cost LB: 76508 ... c Min unsat cost LB: 76556 ... c Min unsat cost LB: 76622 ... c Min unsat cost LB: 76636 ... c Min unsat cost LB: 76647 ... c Min unsat cost LB: 76672 ... c Min unsat cost LB: 76698 ... c Min unsat cost LB: 76700 ... c Min unsat cost LB: 76753 ... c Min unsat cost LB: 76764 ... c Min unsat cost LB: 76816 ... c Min unsat cost LB: 76844 ... c Min unsat cost LB: 76845 ... c Min unsat cost LB: 76868 ... c Min unsat cost LB: 76895 ... c Min unsat cost LB: 76905 ... c Min unsat cost LB: 76936 ... c Min unsat cost LB: 76952 ... c Min unsat cost LB: 76955 ... c Min unsat cost LB: 76996 ... c Min unsat cost LB: 77013 ... c Min unsat cost LB: 77033 ... c Min unsat cost LB: 77038 ... c Min unsat cost LB: 77082 ... c Min unsat cost LB: 77107 ... c Min unsat cost LB: 77108 ... c Min unsat cost LB: 77128 ... c Min unsat cost LB: 77163 ... c Min unsat cost LB: 77177 ... c Min unsat cost LB: 77178 ... c Min unsat cost LB: 77234 ... c Min unsat cost LB: 77247 ... c Min unsat cost LB: 77261 ... c Min unsat cost LB: 77278 ... c Min unsat cost LB: 77288 ... c Min unsat cost LB: 77290 ... c Min unsat cost LB: 77339 ... c Min unsat cost LB: 77361 ... c Min unsat cost LB: 77397 ... c Min unsat cost LB: 77464 ... c Min unsat cost LB: 77483 ... c Min unsat cost LB: 77485 ... c Min unsat cost LB: 77501 ... c Min unsat cost LB: 77512 ... c Min unsat cost LB: 77621 ... c Min unsat cost LB: 77623 ... c Min unsat cost LB: 77624 ... c Min unsat cost LB: 77635 ... c Min unsat cost LB: 77646 ... c Min unsat cost LB: 77664 ... c Min unsat cost LB: 77665 ... c Min unsat cost LB: 77666 ... c Min unsat cost LB: 77685 ... c Min unsat cost LB: 77686 ... c Min unsat cost LB: 77705 ... c Min unsat cost LB: 77706 ... c Min unsat cost LB: 77725 ... c Min unsat cost LB: 77739 ... c Min unsat cost LB: 77741 ... c Min unsat cost LB: 77757 ... c Min unsat cost LB: 77758 ... c Min unsat cost LB: 77762 ... c Min unsat cost LB: 77768 ... c Min unsat cost LB: 77770 ... c Min unsat cost LB: 77771 ... c Min unsat cost LB: 77775 ... c Min unsat cost LB: 77776 ... c Min unsat cost LB: 77779 ... c Min unsat cost LB: 77780 ... c Min unsat cost LB: 77791 ... c Min unsat cost LB: 77792 ... c Min unsat cost LB: 77793 ... c Min unsat cost LB: 77802 ... c Min unsat cost LB: 77809 ... c Min unsat cost LB: 77821 ... c Min unsat cost LB: 77829 ... c Min unsat cost LB: 77844 ... c Min unsat cost LB: 77849 ... c Min unsat cost LB: 77852 ... c Min unsat cost LB: 77853 ... c Min unsat cost LB: 77863 ... c Min unsat cost LB: 77868 ... c Min unsat cost LB: 77869 ... c Min unsat cost LB: 77899 ... c Min unsat cost LB: 77905 ... c Min unsat cost LB: 77924 ... c Min unsat cost LB: 77932 ... c Min unsat cost LB: 78216 ... c Min unsat cost LB: 78217 ... c Min unsat cost LB: 78242 ... c Min unsat cost LB: 78282 ... c Min unsat cost LB: 78283 ... c Min unsat cost LB: 78297 ... c Min unsat cost LB: 78298 ... c Min unsat cost LB: 78299 ... c Min unsat cost LB: 78335 ... c Min unsat cost LB: 78336 ... c Min unsat cost LB: 78346 ... c Min unsat cost LB: 78347 ... c Min unsat cost LB: 78351 ... c Min unsat cost LB: 78357 ... c Min unsat cost LB: 78375 ... c Min unsat cost LB: 78382 ... c Min unsat cost LB: 78383 ... c Min unsat cost LB: 78387 ... c Min unsat cost LB: 78388 ... c Min unsat cost LB: 78401 ... c Min unsat cost LB: 78406 ... c Min unsat cost LB: 78422 ... c Min unsat cost LB: 78458 ... c Min unsat cost LB: 78466 ... c Min unsat cost LB: 78469 ... c Min unsat cost LB: 78471 ... c Min unsat cost LB: 78476 ... c Min unsat cost LB: 78480 ... c Min unsat cost LB: 78497 ... c Min unsat cost LB: 78498 ... c Min unsat cost LB: 78501 ... c Min unsat cost LB: 78507 ... c Min unsat cost LB: 78523 ... c Min unsat cost LB: 78532 ... c Min unsat cost LB: 78537 ... c Min unsat cost LB: 78538 ... c Min unsat cost LB: 78542 ... c Min unsat cost LB: 78547 ... c Min unsat cost LB: 78570 ... c Min unsat cost LB: 78574 ... c Min unsat cost LB: 78616 ... c Min unsat cost LB: 78617 ... c Min unsat cost LB: 78618 ... c Min unsat cost LB: 78619 ... c Min unsat cost LB: 78620 ... c Min unsat cost LB: 78621 ... c Min unsat cost LB: 78622 ... c Min unsat cost LB: 78623 ... c Min unsat cost LB: 78626 ... c Min unsat cost LB: 78627 ... c Min unsat cost LB: 78628 ... c Min unsat cost LB: 78629 ... c Min unsat cost LB: 78631 ... c Min unsat cost LB: 78634 ... c Min unsat cost LB: 78635 ... c Min unsat cost LB: 78636 ... c Min unsat cost LB: 78637 ... c Min unsat cost LB: 78639 ... c Min unsat cost LB: 78640 ... c Min unsat cost LB: 78641 ... c Min unsat cost LB: 78642 ... c Min unsat cost LB: 78643 ... c Min unsat cost LB: 78644 ... c Min unsat cost LB: 78647 ... c Min unsat cost LB: 78651 ... c Min unsat cost LB: 78652 ... c Min unsat cost LB: 78653 ... c Min unsat cost LB: 78654 ... c Min unsat cost LB: 78655 ... c Min unsat cost LB: 78659 ... c Min unsat cost LB: 78662 ... c Min unsat cost LB: 78663 ... c Min unsat cost LB: 78664 ... c Min unsat cost LB: 78665 ... c Min unsat cost LB: 78667 ... c Min unsat cost LB: 78668 ... c Min unsat cost LB: 78669 ... c Min unsat cost LB: 78670 ... c Min unsat cost LB: 78671 ... c Min unsat cost LB: 78672 ... c Min unsat cost LB: 78674 ... c Min unsat cost LB: 78675 ... c Min unsat cost LB: 78676 ... c Min unsat cost LB: 78680 ... c Min unsat cost LB: 78683 ... c Min unsat cost LB: 78685 ... c Min unsat cost LB: 78693 ... c Min unsat cost LB: 78800 ... c Min unsat cost LB: 78801 ... c Min unsat cost LB: 78802 ... c Min unsat cost LB: 78813 ... c Min unsat cost LB: 78817 ... c Min unsat cost LB: 78820 ... c Min unsat cost LB: 78824 ... c Min unsat cost LB: 78829 ... c Min unsat cost LB: 78836 ... c Min unsat cost LB: 78837 ... c Min unsat cost LB: 78840 ... c Min unsat cost LB: 78841 ... c Min unsat cost LB: 78842 ... c Min unsat cost LB: 78843 ... c Min unsat cost LB: 78844 ... c Min unsat cost LB: 78863 ... c Min unsat cost LB: 78870 ... c Min unsat cost LB: 78875 ... c Min unsat cost LB: 78885 ... c Min unsat cost LB: 78897 ... c Min unsat cost LB: 78913 ... c Min unsat cost LB: 78915 ... c Min unsat cost LB: 78921 ... c Min unsat cost LB: 78922 ... c Min unsat cost LB: 78924 ... c Min unsat cost LB: 78925 ... c Min unsat cost LB: 78933 ... c Min unsat cost LB: 78934 ... c Min unsat cost LB: 78935 ... c Min unsat cost LB: 78946 ... c Min unsat cost LB: 78950 ... c Min unsat cost LB: 78965 ... c Min unsat cost LB: 78997 ... c Min unsat cost LB: 79004 ... c Min unsat cost LB: 79006 ... c Min unsat cost LB: 79007 ... c Min unsat cost LB: 79011 ... c Min unsat cost LB: 79014 ... c Min unsat cost LB: 79044 ... c Min unsat cost LB: 79045 ... c Min unsat cost LB: 79048 ... c Min unsat cost LB: 79051 ... c Min unsat cost LB: 79059 ... c Min unsat cost LB: 79081 ... c Min unsat cost LB: 79082 ... c Min unsat cost LB: 79083 ... c Min unsat cost LB: 79084 ... c Min unsat cost LB: 79085 ... c Min unsat cost LB: 79092 ... c Min unsat cost LB: 79094 ... c Min unsat cost LB: 79095 ... c Min unsat cost LB: 79100 ... c Min unsat cost LB: 79102 ... c Min unsat cost LB: 79112 ... c Min unsat cost LB: 79113 ... c Min unsat cost LB: 79115 ... c Min unsat cost LB: 79129 ... c Min unsat cost LB: 79130 ... c Min unsat cost LB: 79131 ... c Min unsat cost LB: 79132 ... c Min unsat cost LB: 79133 ... c Min unsat cost LB: 79236 ... c Min unsat cost LB: 79240 ... c Min unsat cost LB: 79242 ... c Min unsat cost LB: 79243 ... c Min unsat cost LB: 79244 ... c Min unsat cost LB: 79245 ... c Min unsat cost LB: 79246 ... c Min unsat cost LB: 79248 ... c Min unsat cost LB: 79249 ... c Min unsat cost LB: 79250 ... c Min unsat cost LB: 79251 ... c Min unsat cost LB: 79252 ... c Min unsat cost LB: 79253 ... c Min unsat cost LB: 79255 ... c Min unsat cost LB: 79258 ... c Min unsat cost LB: 79270 ... c Min unsat cost LB: 79280 ... c Min unsat cost LB: 79287 ... c Min unsat cost LB: 79297 ... c Min unsat cost LB: 79299 ... c Min unsat cost LB: 79300 ... c Min unsat cost LB: 79302 ... c Min unsat cost LB: 79303 ... c Min unsat cost LB: 79304 ... c Min unsat cost LB: 79305 ... c Min unsat cost LB: 79315 ... c Min unsat cost LB: 79331 ... c Min unsat cost LB: 79339 ... c Min unsat cost LB: 79340 ... c Min unsat cost LB: 79345 ... c Min unsat cost LB: 79356 ... c Min unsat cost LB: 79365 ... c Min unsat cost LB: 79374 ... c Min unsat cost LB: 79391 ... c Min unsat cost LB: 79392 ... c Min unsat cost LB: 79395 ... c Min unsat cost LB: 79398 ... c Min unsat cost LB: 79416 ... c Min unsat cost LB: 79417 ... c Min unsat cost LB: 79420 ... c Min unsat cost LB: 79449 ... c Min unsat cost LB: 79526 ... c Min unsat cost LB: 79546 ... c Min unsat cost LB: 79549 ... c Min unsat cost LB: 79552 ... c Min unsat cost LB: 79556 ... c Min unsat cost LB: 79557 ... c Min unsat cost LB: 79560 ... c Min unsat cost LB: 79565 ... c Min unsat cost LB: 79574 ... c Min unsat cost LB: 79597 ... c Min unsat cost LB: 79599 ... c Min unsat cost LB: 79600 ... c Min unsat cost LB: 79605 ... c Min unsat cost LB: 79607 ... c Min unsat cost LB: 79609 ... c Min unsat cost LB: 79616 ... c Min unsat cost LB: 79623 ... c Min unsat cost LB: 79628 ... c Min unsat cost LB: 79667 ... c Min unsat cost LB: 79669 ... c Min unsat cost LB: 79679 ... c Min unsat cost LB: 79686 ... c Min unsat cost LB: 79691 ... c Min unsat cost LB: 79698 ... c Min unsat cost LB: 79704 ... c Min unsat cost LB: 79705 ... c Min unsat cost LB: 79709 ... c Min unsat cost LB: 79711 ... c Min unsat cost LB: 79712 ... c Min unsat cost LB: 79713 ... c Min unsat cost LB: 79716 ... c Min unsat cost LB: 79721 ... c Min unsat cost LB: 79723 ... c Min unsat cost LB: 79724 ... c Min unsat cost LB: 79725 ... c Min unsat cost LB: 79726 ... c Min unsat cost LB: 79728 ... c Min unsat cost LB: 79731 ... c Min unsat cost LB: 79733 ... c Min unsat cost LB: 79734 ... c Min unsat cost LB: 79741 ... c Min unsat cost LB: 79742 ... c Min unsat cost LB: 79743 ... c Min unsat cost LB: 79745 ... c Min unsat cost LB: 79746 ... c Min unsat cost LB: 79748 ... c Min unsat cost LB: 79749 ... c Min unsat cost LB: 79750 ... c Min unsat cost LB: 79751 ... c Min unsat cost LB: 79752 ... c Min unsat cost LB: 79753 ... c Min unsat cost LB: 79754 ... c Min unsat cost LB: 79791 ... c Min unsat cost LB: 79797 ... c Min unsat cost LB: 79823 ... c Min unsat cost LB: 79838 ... c Min unsat cost LB: 79841 ... c Min unsat cost LB: 80385 ... c Min unsat cost LB: 80391 ... c Min unsat cost LB: 80500 ... c Min unsat cost LB: 80502 ... c Min unsat cost LB: 80769 ... c Min unsat cost LB: 80771 ... c Min unsat cost LB: 80787 ... c Min unsat cost LB: 80811 ... c Min unsat cost LB: 80829 ... c Min unsat cost LB: 80858 ... c Min unsat cost LB: 80860 ... c Min unsat cost LB: 80864 ... c Min unsat cost LB: 80880 ... c Min unsat cost LB: 80884 ... c Min unsat cost LB: 80885 ... c Min unsat cost LB: 80887 ... c Min unsat cost LB: 80890 ... c Min unsat cost LB: 80891 ... c Min unsat cost LB: 80918 ... c Min unsat cost LB: 80919 ... c Min unsat cost LB: 80942 ... c Min unsat cost LB: 80953 ... c Min unsat cost LB: 80954 ... c Min unsat cost LB: 80959 ... c Min unsat cost LB: 80960 ... c Min unsat cost LB: 80962 ... c Min unsat cost LB: 80965 ... c Min unsat cost LB: 80966 ... c Min unsat cost LB: 81109 ... c Min unsat cost LB: 81110 ... c Min unsat cost LB: 81117 ... c Min unsat cost LB: 81118 ... c Min unsat cost LB: 81128 ... c Min unsat cost LB: 81135 ... c Min unsat cost LB: 81147 ... c Min unsat cost LB: 81333 ... c Min unsat cost LB: 81367 ... c Min unsat cost LB: 81370 ... c Min unsat cost LB: 81380 ... c Min unsat cost LB: 81384 ... c Min unsat cost LB: 81396 ... c Min unsat cost LB: 81406 ... c Min unsat cost LB: 81410 ... c Min unsat cost LB: 81411 ... c Min unsat cost LB: 81415 ... c Min unsat cost LB: 81418 ... c Min unsat cost LB: 81419 ... c Min unsat cost LB: 81421 ... c Min unsat cost LB: 81433 ... c Min unsat cost LB: 81436 ... c Min unsat cost LB: 81443 ... c Min unsat cost LB: 81444 ... c Min unsat cost LB: 81447 ... c Min unsat cost LB: 81459 ... c Min unsat cost LB: 81460 ... c Min unsat cost LB: 81461 ... c Min unsat cost LB: 81462 ... c Min unsat cost LB: 81469 ... c Min unsat cost LB: 81470 ... c Min unsat cost LB: 81471 ... c Min unsat cost LB: 81472 ... c Min unsat cost LB: 81477 ... c Min unsat cost LB: 81500 ... c Min unsat cost LB: 81503 ... c Min unsat cost LB: 81548 ... c Min unsat cost LB: 81652 ... c Min unsat cost LB: 81653 ... c Min unsat cost LB: 81657 ... c Min unsat cost LB: 81669 ... c Min unsat cost LB: 81671 ... c Min unsat cost LB: 81672 ... c Min unsat cost LB: 81674 ... c Min unsat cost LB: 81678 ... c Min unsat cost LB: 81679 ... c Min unsat cost LB: 81680 ... c Min unsat cost LB: 81684 ... c Min unsat cost LB: 81685 ... c Min unsat cost LB: 81686 ... c Min unsat cost LB: 81689 ... c Min unsat cost LB: 81691 ... c Min unsat cost LB: 81692 ... c Min unsat cost LB: 81693 ... c Min unsat cost LB: 81694 ... c Min unsat cost LB: 81695 ... c Min unsat cost LB: 81696 ... c Min unsat cost LB: 81697 ... c Min unsat cost LB: 81698 ... c Min unsat cost LB: 81699 ... c Min unsat cost LB: 81700 ... c Min unsat cost LB: 81702 ... c Min unsat cost LB: 81703 ... c Min unsat cost LB: 81708 ... c Min unsat cost LB: 81709 ... c Min unsat cost LB: 81718 ... c Min unsat cost LB: 81719 ... c Min unsat cost LB: 81721 ... c Min unsat cost LB: 81732 ... c Min unsat cost LB: 81733 ... c Min unsat cost LB: 81777 ... c Min unsat cost LB: 81779 ... c Min unsat cost LB: 81784 ... c Min unsat cost LB: 81785 ... c Min unsat cost LB: 81787 ... c Min unsat cost LB: 81789 ... c Min unsat cost LB: 81790 ... c Min unsat cost LB: 81792 ... c Min unsat cost LB: 81803 ... c Min unsat cost LB: 81804 ... c Min unsat cost LB: 81806 ... c Min unsat cost LB: 81807 ... c Min unsat cost LB: 81814 ... c Min unsat cost LB: 81816 ... c Min unsat cost LB: 81818 ... c Min unsat cost LB: 81819 ... c Min unsat cost LB: 81820 ... c Min unsat cost LB: 81821 ... c Min unsat cost LB: 81822 ... c Min unsat cost LB: 81823 ... c Min unsat cost LB: 81824 ... c Min unsat cost LB: 81825 ... c Min unsat cost LB: 81826 ... c Min unsat cost LB: 81827 ... c Min unsat cost LB: 81828 ... c Min unsat cost LB: 81829 ... c Min unsat cost LB: 81830 ... c Min unsat cost LB: 81831 ... c Min unsat cost LB: 81832 ... c Min unsat cost LB: 81833 ... c Min unsat cost LB: 81834 ... c Min unsat cost LB: 81835 ... c Min unsat cost LB: 81836 ... c Min unsat cost LB: 81837 ... c Min unsat cost LB: 81838 ... c Min unsat cost LB: 81839 ... c Min unsat cost LB: 81840 ... c Min unsat cost LB: 81841 ... c Min unsat cost LB: 81842 ... c Min unsat cost LB: 81843 ... c Min unsat cost LB: 81844 ... c Min unsat cost LB: 81845 ... c Min unsat cost LB: 81847 ... c Min unsat cost LB: 81851 ... c Min unsat cost LB: 81852 ... c Min unsat cost LB: 81853 ... c Min unsat cost LB: 81854 ... c Min unsat cost LB: 81855 ... c Min unsat cost LB: 81856 ... c Min unsat cost LB: 81858 ... c Min unsat cost LB: 81861 ... c Min unsat cost LB: 81868 ... c Min unsat cost LB: 81869 ... c Min unsat cost LB: 81870 ... c Min unsat cost LB: 81871 ... c Min unsat cost LB: 81877 ... c Min unsat cost LB: 81878 ... c Min unsat cost LB: 81879 ... c Min unsat cost LB: 81881 ... c Min unsat cost LB: 81884 ... c Min unsat cost LB: 81893 ... c Min unsat cost LB: 81896 ... c Min unsat cost LB: 81897 ... c Min unsat cost LB: 81899 ... c Min unsat cost LB: 81904 ... c Min unsat cost LB: 81905 ... c Min unsat cost LB: 81907 ... c Min unsat cost LB: 81918 ... c Min unsat cost LB: 81919 ... c Min unsat cost LB: 81930 ... c Min unsat cost LB: 81938 ... c Min unsat cost LB: 82026 ... c Min unsat cost LB: 82030 ... c Min unsat cost LB: 82034 ... c Min unsat cost LB: 82097 ... c Min unsat cost LB: 82113 ... c Min unsat cost LB: 82116 ... c Min unsat cost LB: 82117 ... c Min unsat cost LB: 82127 ... c Min unsat cost LB: 82177 ... c Min unsat cost LB: 82182 ... c Min unsat cost LB: 82202 ... c Min unsat cost LB: 82203 ... c Min unsat cost LB: 82204 ... c Min unsat cost LB: 82215 ... c Min unsat cost LB: 82216 ... c Min unsat cost LB: 82217 ... c Min unsat cost LB: 82219 ... c Min unsat cost LB: 82221 ... c Min unsat cost LB: 82222 ... c Min unsat cost LB: 82224 ... c Min unsat cost LB: 82225 ... c Min unsat cost LB: 82226 ... c Min unsat cost LB: 82227 ... c Min unsat cost LB: 82229 ... c Min unsat cost LB: 82230 ... c Min unsat cost LB: 82231 ... c Min unsat cost LB: 82232 ... c Min unsat cost LB: 82237 ... c Min unsat cost LB: 82238 ... c Min unsat cost LB: 82240 ... c Min unsat cost LB: 82241 ... c Min unsat cost LB: 82242 ... c Min unsat cost LB: 82243 ... c Min unsat cost LB: 82244 ... c Min unsat cost LB: 82248 ... c Min unsat cost LB: 82252 ... c Min unsat cost LB: 82253 ... c Min unsat cost LB: 82255 ... c Min unsat cost LB: 82261 ... c Min unsat cost LB: 82262 ... c Min unsat cost LB: 82265 ... c Min unsat cost LB: 82331 ... c Min unsat cost LB: 82333 ... c Min unsat cost LB: 82334 ... c Min unsat cost LB: 82339 ... c Min unsat cost LB: 82359 ... c Min unsat cost LB: 82365 ... c Min unsat cost LB: 82376 ... c Min unsat cost LB: 82377 ... c Min unsat cost LB: 82378 ... c Min unsat cost LB: 82379 ... c Min unsat cost LB: 82381 ... c Min unsat cost LB: 82385 ... c Min unsat cost LB: 82386 ... c Min unsat cost LB: 82387 ... c Min unsat cost LB: 82388 ... c Min unsat cost LB: 82390 ... c Min unsat cost LB: 82391 ... c Min unsat cost LB: 82392 ... c Min unsat cost LB: 82393 ... c Min unsat cost LB: 82394 ... c Min unsat cost LB: 82396 ... c Min unsat cost LB: 82397 ... c Min unsat cost LB: 82398 ... c Min unsat cost LB: 82399 ... c Min unsat cost LB: 82403 ... c Min unsat cost LB: 82404 ... c Min unsat cost LB: 82405 ... c Min unsat cost LB: 82406 ... c Min unsat cost LB: 82407 ... c Min unsat cost LB: 82408 ... c Min unsat cost LB: 82410 ... c Min unsat cost LB: 82411 ... c Min unsat cost LB: 82412 ... c Min unsat cost LB: 82413 ... c Min unsat cost LB: 82414 ... c Min unsat cost LB: 82415 ... c Min unsat cost LB: 82416 ... c Min unsat cost LB: 82417 ... c Min unsat cost LB: 82418 ... c Min unsat cost LB: 82419 ... c Min unsat cost LB: 82420 ... c Min unsat cost LB: 82421 ... c Min unsat cost LB: 82422 ... c Min unsat cost LB: 82423 ... c Min unsat cost LB: 82424 ... c Min unsat cost LB: 82425 ... c Min unsat cost LB: 82426 ... c Min unsat cost LB: 82427 ... c Min unsat cost LB: 82435 ... c Min unsat cost LB: 82464 ... c Min unsat cost LB: 82465 ... c Min unsat cost LB: 82466 ... c Min unsat cost LB: 82469 ... c Min unsat cost LB: 82470 ... c Min unsat cost LB: 82481 ... c Min unsat cost LB: 82482 ... c Min unsat cost LB: 82484 ... c Min unsat cost LB: 82485 ... c Min unsat cost LB: 82486 ... c Min unsat cost LB: 82487 ... c Min unsat cost LB: 82495 ... c Min unsat cost LB: 82500 ... c Min unsat cost LB: 82501 ... c Min unsat cost LB: 82504 ... c Min unsat cost LB: 82505 ... c Min unsat cost LB: 82510 ... c Min unsat cost LB: 82515 ... c Min unsat cost LB: 82518 ... c Min unsat cost LB: 82520 ... c Min unsat cost LB: 82522 ... c Min unsat cost LB: 82523 ... c Min unsat cost LB: 82524 ... c Min unsat cost LB: 82525 ... c Min unsat cost LB: 82529 ... c Min unsat cost LB: 82532 ... c Min unsat cost LB: 82536 ... c Min unsat cost LB: 82537 ... c Min unsat cost LB: 82538 ... c Min unsat cost LB: 82539 ... c Min unsat cost LB: 82547 ... c Min unsat cost LB: 82548 ... c Min unsat cost LB: 82551 ... c Min unsat cost LB: 82556 ... c Min unsat cost LB: 82557 ... c Min unsat cost LB: 82559 ... c Min unsat cost LB: 82563 ... c Min unsat cost LB: 82565 ... c Min unsat cost LB: 82566 ... c Min unsat cost LB: 82567 ... c Min unsat cost LB: 82569 ... c Min unsat cost LB: 82570 ... c Min unsat cost LB: 82571 ... c Min unsat cost LB: 82572 ... c Min unsat cost LB: 82573 ... c Min unsat cost LB: 82575 ... c Min unsat cost LB: 82576 ... c Min unsat cost LB: 82577 ... c Min unsat cost LB: 82578 ... c Min unsat cost LB: 82579 ... c Min unsat cost LB: 82580 ... c Min unsat cost LB: 82581 ... c Min unsat cost LB: 82582 ... c Min unsat cost LB: 82583 ... c Min unsat cost LB: 82584 ... c Min unsat cost LB: 82586 ... c Min unsat cost LB: 82587 ... c Min unsat cost LB: 82594 ... c Min unsat cost LB: 82608 ... c Min unsat cost LB: 82610 ... c Min unsat cost LB: 82613 ... c Min unsat cost LB: 82614 ... c Min unsat cost LB: 82615 ... c Min unsat cost LB: 82616 ... c Min unsat cost LB: 82617 ... c Min unsat cost LB: 82618 ... c Min unsat cost LB: 82619 ... c Min unsat cost LB: 82620 ... c Min unsat cost LB: 82621 ... c Min unsat cost LB: 82622 ... c Min unsat cost LB: 82624 ... c Min unsat cost LB: 82625 ... c Min unsat cost LB: 82626 ... c Min unsat cost LB: 82635 ... c Min unsat cost LB: 82637 ... c Min unsat cost LB: 82638 ... c Min unsat cost LB: 82639 ... c Min unsat cost LB: 82640 ... c Min unsat cost LB: 82641 ... c Min unsat cost LB: 82642 ... c Min unsat cost LB: 82643 ... c Min unsat cost LB: 82644 ... c Min unsat cost LB: 82645 ... c Min unsat cost LB: 82646 ... c Min unsat cost LB: 82647 ... c Min unsat cost LB: 82648 ... c Min unsat cost LB: 82649 ... c Min unsat cost LB: 82653 ... c Min unsat cost LB: 82654 ... c Min unsat cost LB: 82657 ... c Min unsat cost LB: 82658 ... c Min unsat cost LB: 82659 ... c Min unsat cost LB: 82660 ... c Min unsat cost LB: 82661 ... c Min unsat cost LB: 82662 ... c Min unsat cost LB: 82663 ... c Min unsat cost LB: 82664 ... c Min unsat cost LB: 82665 ... c Min unsat cost LB: 82666 ... c Min unsat cost LB: 82667 ... c Min unsat cost LB: 82668 ... c Min unsat cost LB: 82669 ... c Min unsat cost LB: 82670 ... c Min unsat cost LB: 82684 ... c Min unsat cost LB: 82696 ... c Min unsat cost LB: 82697 ... c Min unsat cost LB: 82704 ... c Min unsat cost LB: 82710 ... c Min unsat cost LB: 82711 ... c Min unsat cost LB: 82726 ... c Min unsat cost LB: 82744 ... c Min unsat cost LB: 82778 ... c Min unsat cost LB: 82812 ... c Min unsat cost LB: 82978 ... c Min unsat cost LB: 82979 ... c Min unsat cost LB: 82981 ... c Min unsat cost LB: 82984 ... c Min unsat cost LB: 82985 ... c Min unsat cost LB: 82987 ... c Min unsat cost LB: 82988 ... c Min unsat cost LB: 82990 ... c Min unsat cost LB: 82991 ... c Min unsat cost LB: 82992 ... c Min unsat cost LB: 82993 ... c Min unsat cost LB: 82994 ... c Min unsat cost LB: 82995 ... c Min unsat cost LB: 82996 ... c Min unsat cost LB: 82997 ... c Min unsat cost LB: 82998 ... c Min unsat cost LB: 82999 ... c Min unsat cost LB: 83000 ... c Min unsat cost LB: 83001 ... c Min unsat cost LB: 83002 ... c Min unsat cost LB: 83003 ... c Min unsat cost LB: 83004 ... c Min unsat cost LB: 83005 ... c Min unsat cost LB: 83006 ... c Min unsat cost LB: 83007 ... c Min unsat cost LB: 83008 ... c Min unsat cost LB: 83009 ... c Min unsat cost LB: 83010 ... c Min unsat cost LB: 83011 ... c Min unsat cost LB: 83012 ... c Min unsat cost LB: 83013 ... c Min unsat cost LB: 83014 ... c Min unsat cost LB: 83015 ... c Min unsat cost LB: 83016 ... c Min unsat cost LB: 83017 ... c Min unsat cost LB: 83018 ... c Min unsat cost LB: 83019 ... c Min unsat cost LB: 83020 ... c Min unsat cost LB: 83021 ... c Min unsat cost LB: 83022 ... c Min unsat cost LB: 83023 ... c Min unsat cost LB: 83024 ... c Min unsat cost LB: 83025 ... c Min unsat cost LB: 83026 ... c Min unsat cost LB: 83028 ... c Min unsat cost LB: 83030 ... c Min unsat cost LB: 83031 ... c Min unsat cost LB: 83033 ... c Min unsat cost LB: 83034 ... c Min unsat cost LB: 83035 ... c Min unsat cost LB: 83036 ... c Min unsat cost LB: 83037 ... c Min unsat cost LB: 83038 ... c Min unsat cost LB: 83039 ... c Min unsat cost LB: 83040 ... c Min unsat cost LB: 83041 ... c Min unsat cost LB: 83043 ... c Min unsat cost LB: 83049 ... c Min unsat cost LB: 83050 ... c Min unsat cost LB: 83052 ... c Min unsat cost LB: 83053 ... c Min unsat cost LB: 83054 ... c Min unsat cost LB: 83055 ... c Min unsat cost LB: 83056 ... c Min unsat cost LB: 83057 ... c Min unsat cost LB: 83058 ... c Min unsat cost LB: 83059 ... c Min unsat cost LB: 83060 ... c Min unsat cost LB: 83061 ... c Min unsat cost LB: 83063 ... c Min unsat cost LB: 83064 ... c Min unsat cost LB: 83065 ... c Min unsat cost LB: 83066 ... c Min unsat cost LB: 83067 ... c Min unsat cost LB: 83068 ... c Min unsat cost LB: 83069 ... c Min unsat cost LB: 83070 ... c Min unsat cost LB: 83071 ... c Min unsat cost LB: 83072 ... c Min unsat cost LB: 83073 ... c Min unsat cost LB: 83074 ... c Min unsat cost LB: 83075 ... c Min unsat cost LB: 83076 ... c Min unsat cost LB: 83079 ... c Min unsat cost LB: 83080 ... c Min unsat cost LB: 83081 ... c Min unsat cost LB: 83082 ... c Min unsat cost LB: 83083 ... c Min unsat cost LB: 83084 ... c Min unsat cost LB: 83085 ... c Min unsat cost LB: 83086 ... c Min unsat cost LB: 83088 ... c Min unsat cost LB: 83089 ... c Min unsat cost LB: 83092 ... c Min unsat cost LB: 83093 ... c Min unsat cost LB: 83099 ... c Min unsat cost LB: 83100 ... c Min unsat cost LB: 83103 ... c Min unsat cost LB: 83104 ... c Min unsat cost LB: 83105 ... c Min unsat cost LB: 83106 ... c Min unsat cost LB: 83107 ... c Min unsat cost LB: 83109 ... c Min unsat cost LB: 83110 ... c Min unsat cost LB: 83111 ... c Min unsat cost LB: 83112 ... c Min unsat cost LB: 83113 ... c Min unsat cost LB: 83114 ... c Min unsat cost LB: 83201 ... c Min unsat cost LB: 83206 ... c Min unsat cost LB: 83207 ... c Min unsat cost LB: 83208 ... c Min unsat cost LB: 83209 ... c Min unsat cost LB: 83210 ... c Min unsat cost LB: 83211 ... c Min unsat cost LB: 83212 ... c Min unsat cost LB: 83213 ... c Min unsat cost LB: 83214 ... c Min unsat cost LB: 83215 ... c Min unsat cost LB: 83216 ... c Min unsat cost LB: 83217 ... c Min unsat cost LB: 83218 ... c Min unsat cost LB: 83219 ... c Min unsat cost LB: 83220 ... c Min unsat cost LB: 83221 ... c Min unsat cost LB: 83222 ... c Min unsat cost LB: 83223 ... c Min unsat cost LB: 83224 ... c Min unsat cost LB: 83225 ... c Min unsat cost LB: 83226 ... c Min unsat cost LB: 83228 ... c Min unsat cost LB: 83229 ... c Min unsat cost LB: 83230 ... c Min unsat cost LB: 83231 ... c Min unsat cost LB: 83232 ... c Min unsat cost LB: 83233 ... c Min unsat cost LB: 83234 ... c Min unsat cost LB: 83235 ... c Min unsat cost LB: 83236 ... c Min unsat cost LB: 83237 ... c Min unsat cost LB: 83239 ... c Min unsat cost LB: 83240 ... c Min unsat cost LB: 83241 ... c Min unsat cost LB: 83242 ... c Min unsat cost LB: 83243 ... c Min unsat cost LB: 83244 ... c Min unsat cost LB: 83248 ... c Min unsat cost LB: 83250 ... c Min unsat cost LB: 83252 ... c Min unsat cost LB: 83258 ... c Min unsat cost LB: 83261 ... c Min unsat cost LB: 83262 ... c Min unsat cost LB: 83263 ... c Min unsat cost LB: 83264 ... c Min unsat cost LB: 83265 ... c Min unsat cost LB: 83266 ... c Min unsat cost LB: 83271 ... c Min unsat cost LB: 83272 ... c Min unsat cost LB: 83284 ... c Min unsat cost LB: 83350 ... c Min unsat cost LB: 83351 ... c Min unsat cost LB: 83355 ... c Min unsat cost LB: 83356 ... c Min unsat cost LB: 83360 ... c Min unsat cost LB: 83362 ... c Min unsat cost LB: 83363 ... c Min unsat cost LB: 83364 ... c Min unsat cost LB: 83365 ... c Min unsat cost LB: 83367 ... c Min unsat cost LB: 83370 ... c Min unsat cost LB: 83374 ... c Min unsat cost LB: 83376 ... c Min unsat cost LB: 83377 ... c Min unsat cost LB: 83379 ... c Min unsat cost LB: 83380 ... c Min unsat cost LB: 83382 ... c Min unsat cost LB: 83385 ... c Min unsat cost LB: 83386 ... c Min unsat cost LB: 83387 ... c Min unsat cost LB: 83389 ... c Min unsat cost LB: 83391 ... c Min unsat cost LB: 83393 ... c Min unsat cost LB: 83394 ... c Min unsat cost LB: 83397 ... c Min unsat cost LB: 83398 ... c Min unsat cost LB: 83404 ... c Min unsat cost LB: 83406 ... c Min unsat cost LB: 83412 ... c Min unsat cost LB: 83416 ... c Min unsat cost LB: 83424 ... c Min unsat cost LB: 83425 ... c Min unsat cost LB: 83426 ... c Min unsat cost LB: 83431 ... c Min unsat cost LB: 83432 ... c Min unsat cost LB: 83433 ... c Min unsat cost LB: 83434 ... c Min unsat cost LB: 83435 ... c Min unsat cost LB: 83436 ... c Min unsat cost LB: 83437 ... c Min unsat cost LB: 83438 ... c Min unsat cost LB: 83449 ... c Min unsat cost LB: 83450 ... c Min unsat cost LB: 83453 ... c Min unsat cost LB: 83454 ... c Min unsat cost LB: 83455 ... c Min unsat cost LB: 83456 ... c Min unsat cost LB: 83457 ... c Min unsat cost LB: 83458 ... c Min unsat cost LB: 83459 ... c Min unsat cost LB: 83460 ... c Min unsat cost LB: 83461 ... c Min unsat cost LB: 83462 ... c Min unsat cost LB: 83463 ... c Min unsat cost LB: 83464 ... c Min unsat cost LB: 83465 ... c Min unsat cost LB: 83466 ... c Min unsat cost LB: 83467 ... c Min unsat cost LB: 83468 ... c Min unsat cost LB: 83469 ... c Min unsat cost LB: 83470 ... c Min unsat cost LB: 83471 ... c Min unsat cost LB: 83472 ... c Min unsat cost LB: 83473 ... c Min unsat cost LB: 83474 ... c Min unsat cost LB: 83475 ... c Min unsat cost LB: 83476 ... c Min unsat cost LB: 83480 ... c Min unsat cost LB: 83484 ... c Min unsat cost LB: 83485 ... c Min unsat cost LB: 83488 ... c Min unsat cost LB: 83491 ... c Min unsat cost LB: 83498 ... c Min unsat cost LB: 83510 ... c Min unsat cost LB: 83514 ... c Min unsat cost LB: 83515 ... c Min unsat cost LB: 83521 ... c Min unsat cost LB: 83522 ... c Min unsat cost LB: 83523 ... c Min unsat cost LB: 83524 ... c Min unsat cost LB: 83525 ... c Min unsat cost LB: 83526 ... c Min unsat cost LB: 83527 ... c Min unsat cost LB: 83528 ... c Min unsat cost LB: 83529 ... c Min unsat cost LB: 83530 ... c Min unsat cost LB: 83531 ... c Min unsat cost LB: 83532 ... c Min unsat cost LB: 83533 ... c Min unsat cost LB: 83534 ... c Min unsat cost LB: 83535 ... c Min unsat cost LB: 83536 ... c Min unsat cost LB: 83538 ... c Min unsat cost LB: 83539 ... c Min unsat cost LB: 83540 ... c Min unsat cost LB: 83541 ... c Min unsat cost LB: 83542 ... c Min unsat cost LB: 83544 ... c Min unsat cost LB: 83545 ... c Min unsat cost LB: 83546 ... c Min unsat cost LB: 83547 ... c Min unsat cost LB: 83548 ... c Min unsat cost LB: 83549 ... c Min unsat cost LB: 83550 ... c Min unsat cost LB: 83551 ... c Min unsat cost LB: 83552 ... c Min unsat cost LB: 83553 ... c Min unsat cost LB: 83554 ... c Min unsat cost LB: 83555 ... c Min unsat cost LB: 83556 ... c Min unsat cost LB: 83557 ... c Min unsat cost LB: 83558 ... c Min unsat cost LB: 83559 ... c Min unsat cost LB: 83560 ... c Min unsat cost LB: 83561 ... c Min unsat cost LB: 83562 ... c Min unsat cost LB: 83563 ... c Min unsat cost LB: 83564 ... c Min unsat cost LB: 83565 ... c Min unsat cost LB: 83567 ... c Min unsat cost LB: 83568 ... c Min unsat cost LB: 83569 ... c Min unsat cost LB: 83570 ... c Min unsat cost LB: 83571 ... c Min unsat cost LB: 83572 ... c Min unsat cost LB: 83573 ... c Min unsat cost LB: 83574 ... c Min unsat cost LB: 83575 ... c Min unsat cost LB: 83576 ... c Min unsat cost LB: 83577 ... c Min unsat cost LB: 83578 ... c Min unsat cost LB: 83579 ... c Min unsat cost LB: 83580 ... c Min unsat cost LB: 83581 ... c Min unsat cost LB: 83584 ... c Min unsat cost LB: 83585 ... c Min unsat cost LB: 83587 ... c Min unsat cost LB: 83588 ... c Min unsat cost LB: 83589 ... c Min unsat cost LB: 83590 ... c Min unsat cost LB: 83591 ... c Min unsat cost LB: 83592 ... c Min unsat cost LB: 83593 ... c Min unsat cost LB: 83594 ... c Min unsat cost LB: 83595 ... c Min unsat cost LB: 83596 ... c Min unsat cost LB: 83599 ... c Min unsat cost LB: 83601 ... c Min unsat cost LB: 83602 ... c Min unsat cost LB: 83603 ... c Min unsat cost LB: 83604 ... c Min unsat cost LB: 83605 ... c Min unsat cost LB: 83606 ... c Min unsat cost LB: 83607 ... c Min unsat cost LB: 83608 ... c Min unsat cost LB: 83609 ... c Min unsat cost LB: 83610 ... c Min unsat cost LB: 83611 ... c Min unsat cost LB: 83612 ... c Min unsat cost LB: 83613 ... c Min unsat cost LB: 83614 ... c Min unsat cost LB: 83615 ... c Min unsat cost LB: 83616 ... c Min unsat cost LB: 83617 ... c Min unsat cost LB: 83620 ... c Min unsat cost LB: 83622 ... c Min unsat cost LB: 83623 ... c Min unsat cost LB: 83624 ... c Min unsat cost LB: 83625 ... c Min unsat cost LB: 83626 ... c Min unsat cost LB: 83627 ... c Min unsat cost LB: 83628 ... c Min unsat cost LB: 83629 ... c Min unsat cost LB: 83630 ... c Min unsat cost LB: 83631 ... c Min unsat cost LB: 83632 ... c Min unsat cost LB: 83633 ... c Min unsat cost LB: 83634 ... c Min unsat cost LB: 83635 ... c Min unsat cost LB: 83636 ... c Min unsat cost LB: 83637 ... c Min unsat cost LB: 83638 ... c Min unsat cost LB: 83639 ... c Min unsat cost LB: 83640 ... c Min unsat cost LB: 83641 ... c Min unsat cost LB: 83642 ... c Min unsat cost LB: 83643 ... c Min unsat cost LB: 83644 ... c Min unsat cost LB: 83645 ... c Min unsat cost LB: 83646 ... c Min unsat cost LB: 83647 ... c Min unsat cost LB: 83648 ... c Min unsat cost LB: 83649 ... c Min unsat cost LB: 83650 ... c Min unsat cost LB: 83651 ... c Min unsat cost LB: 83652 ... c Min unsat cost LB: 83653 ... c Min unsat cost LB: 83654 ... c Min unsat cost LB: 83655 ... c Min unsat cost LB: 83656 ... c Min unsat cost LB: 83657 ... c Min unsat cost LB: 83658 ... c Min unsat cost LB: 83659 ... c Min unsat cost LB: 83660 ... c Min unsat cost LB: 83661 ... c Min unsat cost LB: 83662 ... c Min unsat cost LB: 83663 ... c Min unsat cost LB: 83669 ... c Min unsat cost LB: 83670 ... c Min unsat cost LB: 83671 ... c Min unsat cost LB: 83672 ... c Min unsat cost LB: 83673 ... c Min unsat cost LB: 83674 ... c Min unsat cost LB: 83675 ... c Min unsat cost LB: 83676 ... c Min unsat cost LB: 83677 ... c Min unsat cost LB: 83678 ... c Min unsat cost LB: 83679 ... c Min unsat cost LB: 83680 ... c Min unsat cost LB: 83681 ... c Min unsat cost LB: 83682 ... c Min unsat cost LB: 83683 ... c Min unsat cost LB: 83684 ... c Min unsat cost LB: 83685 ... c Min unsat cost LB: 83686 ... c Min unsat cost LB: 83689 ... c Min unsat cost LB: 83690 ... c Min unsat cost LB: 83693 ... c Min unsat cost LB: 83694 ... c Min unsat cost LB: 83696 ... c Min unsat cost LB: 83698 ... c Min unsat cost LB: 83704 ... c Min unsat cost LB: 83705 ... c Min unsat cost LB: 83706 ... c Min unsat cost LB: 83707 ... c Min unsat cost LB: 83710 ... c Min unsat cost LB: 83716 ... c Min unsat cost LB: 83717 ... c Min unsat cost LB: 83744 ... c Min unsat cost LB: 83745 ... c Min unsat cost LB: 83747 ... c Min unsat cost LB: 83749 ... c Min unsat cost LB: 83750 ... c Min unsat cost LB: 83751 ... c Min unsat cost LB: 83752 ... c Min unsat cost LB: 83754 ... c Min unsat cost LB: 83755 ... c Min unsat cost LB: 83756 ... c Min unsat cost LB: 83757 ... c Min unsat cost LB: 83758 ... c Min unsat cost LB: 83759 ... c Min unsat cost LB: 83760 ... c Min unsat cost LB: 83761 ... c Min unsat cost LB: 83762 ... c Min unsat cost LB: 83763 ... c Min unsat cost LB: 83764 ... c Min unsat cost LB: 83765 ... c Min unsat cost LB: 83766 ... c Min unsat cost LB: 83767 ... c Min unsat cost LB: 83768 ... c Min unsat cost LB: 83769 ... c Min unsat cost LB: 83770 ... c Min unsat cost LB: 83771 ... c Min unsat cost LB: 83772 ... c Min unsat cost LB: 83773 ... c Min unsat cost LB: 83774 ... c Min unsat cost LB: 83775 ... c Min unsat cost LB: 83776 ... c Min unsat cost LB: 83777 ... c Min unsat cost LB: 83778 ... c Min unsat cost LB: 83779 ... c Min unsat cost LB: 83780 ... c Min unsat cost LB: 83782 ... c Min unsat cost LB: 83785 ... c Min unsat cost LB: 83791 ... c Min unsat cost LB: 83792 ... c Min unsat cost LB: 83793 ... c Min unsat cost LB: 83811 ... c Min unsat cost LB: 83812 ... c Min unsat cost LB: 83814 ... c Min unsat cost LB: 83818 ... c Min unsat cost LB: 83819 ... c Min unsat cost LB: 83821 ... c Min unsat cost LB: 83822 ... c Min unsat cost LB: 83823 ... c Min unsat cost LB: 83824 ... c Min unsat cost LB: 83825 ... c Min unsat cost LB: 83826 ... c Min unsat cost LB: 83827 ... c Min unsat cost LB: 83829 ... c Min unsat cost LB: 83830 ... c Min unsat cost LB: 83831 ... c Min unsat cost LB: 83832 ... c Min unsat cost LB: 83833 ... c Min unsat cost LB: 83834 ... c Min unsat cost LB: 83835 ... c Min unsat cost LB: 83836 ... c Min unsat cost LB: 83837 ... c Min unsat cost LB: 83839 ... c Min unsat cost LB: 83840 ... c Min unsat cost LB: 83841 ... c Min unsat cost LB: 83842 ... c Min unsat cost LB: 83843 ... c Min unsat cost LB: 83844 ... c Min unsat cost LB: 83845 ... c Min unsat cost LB: 83846 ... c Min unsat cost LB: 83847 ... c Min unsat cost LB: 83848 ... c Min unsat cost LB: 83849 ... c Min unsat cost LB: 83850 ... c Min unsat cost LB: 83851 ... c Min unsat cost LB: 83852 ... c Min unsat cost LB: 83853 ... c Min unsat cost LB: 83855 ... c Min unsat cost LB: 83856 ... c Min unsat cost LB: 83857 ... c Min unsat cost LB: 83858 ... c Min unsat cost LB: 83859 ... c Min unsat cost LB: 83860 ... c Min unsat cost LB: 83861 ... c Min unsat cost LB: 83862 ... c Min unsat cost LB: 83863 ... c Min unsat cost LB: 83864 ... c Min unsat cost LB: 83865 ... c Min unsat cost LB: 83866 ... c Min unsat cost LB: 83867 ... c Min unsat cost LB: 83868 ... c Min unsat cost LB: 83869 ... c Min unsat cost LB: 83870 ... c Min unsat cost LB: 83871 ... c Min unsat cost LB: 83872 ... c Min unsat cost LB: 83873 ... c Min unsat cost LB: 83874 ... c Min unsat cost LB: 83875 ... c Min unsat cost LB: 83876 ... c Min unsat cost LB: 83877 ... c Min unsat cost LB: 83878 ... c Min unsat cost LB: 83879 ... c Min unsat cost LB: 83880 ... c Min unsat cost LB: 83881 ... c Min unsat cost LB: 83882 ... c Min unsat cost LB: 83883 ... c Min unsat cost LB: 83884 ... c Min unsat cost LB: 83885 ... c Min unsat cost LB: 83886 ... c Min unsat cost LB: 83887 ... c Min unsat cost LB: 83888 ... c Min unsat cost LB: 83889 ... c Min unsat cost LB: 83890 ... c Min unsat cost LB: 83891 ... c Min unsat cost LB: 83892 ... c Min unsat cost LB: 83893 ... c Min unsat cost LB: 83894 ... c Min unsat cost LB: 83895 ... c Min unsat cost LB: 83896 ... c Min unsat cost LB: 83897 ... c Min unsat cost LB: 83898 ... c Min unsat cost LB: 83899 ... c Min unsat cost LB: 83900 ... c Min unsat cost LB: 83901 ... c Min unsat cost LB: 83902 ... c Min unsat cost LB: 83903 ... c Min unsat cost LB: 83906 ... c Min unsat cost LB: 83910 ... c Min unsat cost LB: 83913 ... c Min unsat cost LB: 83914 ... c Min unsat cost LB: 83915 ... c Min unsat cost LB: 83916 ... c Min unsat cost LB: 83917 ... c Min unsat cost LB: 83918 ... c Min unsat cost LB: 83919 ... c Min unsat cost LB: 83920 ... c Min unsat cost LB: 83921 ... c Min unsat cost LB: 83922 ... c Min unsat cost LB: 83923 ... c Min unsat cost LB: 83924 ... c Min unsat cost LB: 83925 ... c Min unsat cost LB: 83926 ... c Min unsat cost LB: 83927 ... c Min unsat cost LB: 83928 ... c Min unsat cost LB: 83929 ... c Min unsat cost LB: 83930 ... c Min unsat cost LB: 83931 ... c Min unsat cost LB: 83932 ... c Min unsat cost LB: 83933 ... c Min unsat cost LB: 83934 ... c Min unsat cost LB: 83935 ... c Min unsat cost LB: 83936 ... c Min unsat cost LB: 83937 ... c Min unsat cost LB: 83938 ... c Min unsat cost LB: 83939 ... c Min unsat cost LB: 83940 ... c Min unsat cost LB: 83941 ... c Min unsat cost LB: 83942 ... c Min unsat cost LB: 83943 ... c Min unsat cost LB: 83944 ... c Min unsat cost LB: 83945 ... c Min unsat cost LB: 83946 ... c Min unsat cost LB: 83947 ... c Min unsat cost LB: 83948 ... c Min unsat cost LB: 83949 ... c Min unsat cost LB: 83950 ... c Min unsat cost LB: 83951 ... c Min unsat cost LB: 83952 ... c Min unsat cost LB: 83953 ... c Min unsat cost LB: 83954 ... c Min unsat cost LB: 83955 ... c Min unsat cost LB: 83956 ... c Min unsat cost LB: 83957 ... c Min unsat cost LB: 83958 ... c Min unsat cost LB: 83959 ... c Min unsat cost LB: 83965 ... c Min unsat cost LB: 83967 ... c Min unsat cost LB: 83968 ... c Min unsat cost LB: 83969 ... c Min unsat cost LB: 83970 ... c Min unsat cost LB: 83971 ... c Min unsat cost LB: 83972 ... c Min unsat cost LB: 83973 ... c Min unsat cost LB: 83974 ... c Min unsat cost LB: 83975 ... c Min unsat cost LB: 83976 ... c Min unsat cost LB: 83977 ... c Min unsat cost LB: 83978 ... c Min unsat cost LB: 83979 ... c Min unsat cost LB: 83980 ... c Min unsat cost LB: 83981 ... c Min unsat cost LB: 83982 ... c Min unsat cost LB: 83983 ... c Min unsat cost LB: 83984 ... c Min unsat cost LB: 83985 ... c Min unsat cost LB: 83986 ... c Min unsat cost LB: 83987 ... c Min unsat cost LB: 83988 ... c Min unsat cost LB: 83989 ... c Min unsat cost LB: 83990 ... c Min unsat cost LB: 83991 ... c Min unsat cost LB: 83999 ... c Min unsat cost LB: 84000 ... c Min unsat cost LB: 84001 ... c Min unsat cost LB: 84002 ... c Min unsat cost LB: 84003 ... c Min unsat cost LB: 84004 ... c Min unsat cost LB: 84005 ... c Min unsat cost LB: 84006 ... c Min unsat cost LB: 84007 ... c Min unsat cost LB: 84008 ... c Min unsat cost LB: 84009 ... c Min unsat cost LB: 84010 ... c Min unsat cost LB: 84011 ... c Min unsat cost LB: 84012 ... c Min unsat cost LB: 84013 ... c Min unsat cost LB: 84014 ... c Min unsat cost LB: 84015 ... c Min unsat cost LB: 84016 ... c Min unsat cost LB: 84017 ... c Min unsat cost LB: 84018 ... c Min unsat cost LB: 84019 ... c Min unsat cost LB: 84020 ... c Min unsat cost LB: 84021 ... c Min unsat cost LB: 84022 ... c Min unsat cost LB: 84023 ... c Min unsat cost LB: 84024 ... c Min unsat cost LB: 84025 ... c Min unsat cost LB: 84026 ... c Min unsat cost LB: 84027 ... c Min unsat cost LB: 84028 ... c Min unsat cost LB: 84029 ... c Min unsat cost LB: 84030 ... c Min unsat cost LB: 84031 ... c Min unsat cost LB: 84032 ... c Min unsat cost LB: 84033 ... c Min unsat cost LB: 84034 ... c Min unsat cost LB: 84035 ... c Min unsat cost LB: 84036 ... c Min unsat cost LB: 84037 ... c Min unsat cost LB: 84038 ... c Min unsat cost LB: 84039 ... c Min unsat cost LB: 84040 ... c Min unsat cost LB: 84041 ... c Min unsat cost LB: 84042 ... c Min unsat cost LB: 84043 ... c Min unsat cost LB: 84044 ... c Min unsat cost LB: 84045 ... c Min unsat cost LB: 84046 ... c Min unsat cost LB: 84047 ... c Min unsat cost LB: 84048 ... c Min unsat cost LB: 84049 ... c Min unsat cost LB: 84050 ... c Min unsat cost LB: 84051 ... c Min unsat cost LB: 84052 ... c Min unsat cost LB: 84053 ... c Min unsat cost LB: 84054 ... c Min unsat cost LB: 84055 ... c Min unsat cost LB: 84056 ... c Min unsat cost LB: 84057 ... c Min unsat cost LB: 84058 ... c Min unsat cost LB: 84059 ... c Min unsat cost LB: 84060 ... c Min unsat cost LB: 84061 ... c Min unsat cost LB: 84062 ... c Min unsat cost LB: 84063 ... c Min unsat cost LB: 84070 ... c Min unsat cost LB: 84103 ... c Min unsat cost LB: 84104 ... c Min unsat cost LB: 84105 ... c Min unsat cost LB: 84109 ... c Min unsat cost LB: 84110 ... c Min unsat cost LB: 84111 ... c Min unsat cost LB: 84112 ... c Min unsat cost LB: 84113 ... c Min unsat cost LB: 84114 ... c Min unsat cost LB: 84115 ... c Min unsat cost LB: 84116 ... c Min unsat cost LB: 84117 ... c Min unsat cost LB: 84118 ... c Min unsat cost LB: 84119 ... c Min unsat cost LB: 84120 ... c Min unsat cost LB: 84121 ... c Min unsat cost LB: 84122 ... c Min unsat cost LB: 84123 ... c Min unsat cost LB: 84124 ... c Min unsat cost LB: 84125 ... c Min unsat cost LB: 84126 ... c Min unsat cost LB: 84127 ... c Min unsat cost LB: 84128 ... c Min unsat cost LB: 84129 ... c Min unsat cost LB: 84130 ... c Min unsat cost LB: 84131 ... c Min unsat cost LB: 84132 ... c Min unsat cost LB: 84133 ... c Min unsat cost LB: 84134 ... c Min unsat cost LB: 84135 ... c Min unsat cost LB: 84136 ... c Min unsat cost LB: 84137 ... c Min unsat cost LB: 84138 ... c Min unsat cost LB: 84150 ... c Min unsat cost LB: 84151 ... c Min unsat cost LB: 84152 ... c Min unsat cost LB: 84153 ... c Min unsat cost LB: 84156 ... c Min unsat cost LB: 84157 ... c Min unsat cost LB: 84159 ... c Min unsat cost LB: 84160 ... c Min unsat cost LB: 84161 ... c Min unsat cost LB: 84162 ... c Min unsat cost LB: 84163 ... c Min unsat cost LB: 84164 ... c Min unsat cost LB: 84165 ... c Min unsat cost LB: 84166 ... c Min unsat cost LB: 84167 ... c Min unsat cost LB: 84168 ... c Min unsat cost LB: 84169 ... c Min unsat cost LB: 84170 ... c Min unsat cost LB: 84171 ... c Min unsat cost LB: 84172 ... c Min unsat cost LB: 84173 ... c Min unsat cost LB: 84174 ... c Min unsat cost LB: 84175 ... c Min unsat cost LB: 84176 ... c Min unsat cost LB: 84177 ... c Min unsat cost LB: 84178 ... c Min unsat cost LB: 84179 ... c Min unsat cost LB: 84180 ... c Min unsat cost LB: 84181 ... c Min unsat cost LB: 84182 ... c Min unsat cost LB: 84183 ... c Min unsat cost LB: 84184 ... c Min unsat cost LB: 84185 ... c Min unsat cost LB: 84186 ... c Min unsat cost LB: 84187 ... c Min unsat cost LB: 84188 ... c Min unsat cost LB: 84189 ... c Min unsat cost LB: 84190 ... c Min unsat cost LB: 84191 ... c Min unsat cost LB: 84192 ... c Min unsat cost LB: 84193 ... c Min unsat cost LB: 84194 ... c Min unsat cost LB: 84195 ... c Min unsat cost LB: 84196 ... c Min unsat cost LB: 84197 ... c Min unsat cost LB: 84198 ... c Min unsat cost LB: 84199 ... c Min unsat cost LB: 84200 ... c Min unsat cost LB: 84201 ... c Min unsat cost LB: 84202 ... c Min unsat cost LB: 84203 ... c Min unsat cost LB: 84204 ... c Min unsat cost LB: 84205 ... c Min unsat cost LB: 84206 ... c Min unsat cost LB: 84207 ... c Min unsat cost LB: 84208 ... c Min unsat cost LB: 84209 ... c Min unsat cost LB: 84210 ... c Min unsat cost LB: 84211 ... c Min unsat cost LB: 84212 ... c Min unsat cost LB: 84213 ... c Min unsat cost LB: 84214 ... c Min unsat cost LB: 84215 ... c Min unsat cost LB: 84216 ... c Min unsat cost LB: 84217 ... c Min unsat cost LB: 84218 ... c Min unsat cost LB: 84219 ... c Min unsat cost LB: 84220 ... c Min unsat cost LB: 84221 ... c Min unsat cost LB: 84222 ... c Min unsat cost LB: 84223 ... c Min unsat cost LB: 84224 ... c Min unsat cost LB: 84225 ... c Min unsat cost LB: 84226 ... c Min unsat cost LB: 84227 ... c Min unsat cost LB: 84228 ... c Min unsat cost LB: 84229 ... c Min unsat cost LB: 84230 ... c Min unsat cost LB: 84231 ... c Min unsat cost LB: 84232 ... c Min unsat cost LB: 84233 ... c Min unsat cost LB: 84234 ... c Min unsat cost LB: 84235 ... c Min unsat cost LB: 84236 ... c Min unsat cost LB: 84238 ... c Min unsat cost LB: 84239 ... c Min unsat cost LB: 84240 ... c Min unsat cost LB: 84241 ... c Min unsat cost LB: 84245 ... c Min unsat cost LB: 84248 ... c Min unsat cost LB: 84249 ... c Min unsat cost LB: 84251 ... c Min unsat cost LB: 84256 ... c Min unsat cost LB: 84258 ... c Min unsat cost LB: 84262 ... c Min unsat cost LB: 84263 ... c Min unsat cost LB: 84267 ... c Min unsat cost LB: 84268 ... c Min unsat cost LB: 84269 ... c Min unsat cost LB: 84270 ... c Min unsat cost LB: 84271 ... c Min unsat cost LB: 84274 ... c Min unsat cost LB: 84277 ... c Min unsat cost LB: 84278 ... c Min unsat cost LB: 84279 ... c Min unsat cost LB: 84280 ... c Min unsat cost LB: 84281 ... c Min unsat cost LB: 84282 ... c Min unsat cost LB: 84283 ... c Min unsat cost LB: 84284 ... c Min unsat cost LB: 84285 ... c Min unsat cost LB: 84286 ... c Min unsat cost LB: 84287 ... c Min unsat cost LB: 84288 ... c Min unsat cost LB: 84289 ... c Min unsat cost LB: 84290 ... c Min unsat cost LB: 84291 ... c Min unsat cost LB: 84292 ... c Min unsat cost LB: 84293 ... c Min unsat cost LB: 84294 ... c Min unsat cost LB: 84295 ... c Min unsat cost LB: 84296 ... c Min unsat cost LB: 84297 ... c Min unsat cost LB: 84298 ... c Min unsat cost LB: 84299 ... c Min unsat cost LB: 84300 ... c Min unsat cost LB: 84301 ... c Min unsat cost LB: 84302 ... c Min unsat cost LB: 84303 ... c Min unsat cost LB: 84304 ... c Min unsat cost LB: 84306 ... c Min unsat cost LB: 84307 ... c Min unsat cost LB: 84308 ... c Min unsat cost LB: 84309 ... c Min unsat cost LB: 84310 ... c Min unsat cost LB: 84311 ... c Min unsat cost LB: 84312 ... c Min unsat cost LB: 84313 ... c Min unsat cost LB: 84314 ... c Min unsat cost LB: 84315 ... c Min unsat cost LB: 84316 ... c Min unsat cost LB: 84317 ... c Min unsat cost LB: 84318 ... c Min unsat cost LB: 84319 ... c Min unsat cost LB: 84320 ... c Min unsat cost LB: 84321 ... c Min unsat cost LB: 84322 ... c Min unsat cost LB: 84323 ... c Min unsat cost LB: 84324 ... c Min unsat cost LB: 84325 ... c Min unsat cost LB: 84326 ... c Min unsat cost LB: 84328 ... c Min unsat cost LB: 84329 ... c Min unsat cost LB: 84330 ... c Min unsat cost LB: 84331 ... c Min unsat cost LB: 84332 ... c Min unsat cost LB: 84333 ... c Min unsat cost LB: 84334 ... c Min unsat cost LB: 84335 ... c Min unsat cost LB: 84336 ... c Min unsat cost LB: 84337 ... c Min unsat cost LB: 84338 ... c Min unsat cost LB: 84339 ... c Min unsat cost LB: 84340 ... c Min unsat cost LB: 84341 ... c Min unsat cost LB: 84342 ... c Min unsat cost LB: 84343 ... c Min unsat cost LB: 84344 ... c Min unsat cost LB: 84345 ... c Min unsat cost LB: 84346 ... c Min unsat cost LB: 84347 ... c Min unsat cost LB: 84348 ... c Min unsat cost LB: 84349 ... c Min unsat cost LB: 84350 ... c Min unsat cost LB: 84351 ... c Min unsat cost LB: 84352 ... c Min unsat cost LB: 84353 ... c Min unsat cost LB: 84354 ... c Min unsat cost LB: 84355 ... c Min unsat cost LB: 84356 ... c Min unsat cost LB: 84357 ... c Min unsat cost LB: 84358 ... c Min unsat cost LB: 84359 ... c Min unsat cost LB: 84360 ... c Min unsat cost LB: 84361 ... c Min unsat cost LB: 84362 ... c Min unsat cost LB: 84363 ... c Min unsat cost LB: 84364 ... c Min unsat cost LB: 84365 ... c Min unsat cost LB: 84366 ... c Min unsat cost LB: 84367 ... c Min unsat cost LB: 84368 ... c Min unsat cost LB: 84369 ... c Min unsat cost LB: 84370 ... c Min unsat cost LB: 84371 ... c Min unsat cost LB: 84372 ... c Min unsat cost LB: 84373 ... c Min unsat cost LB: 84374 ... c Min unsat cost LB: 84377 ... c Min unsat cost LB: 84378 ... c Min unsat cost LB: 84379 ... c Min unsat cost LB: 84380 ... c Min unsat cost LB: 84381 ... c Min unsat cost LB: 84382 ... c Min unsat cost LB: 84383 ... c Min unsat cost LB: 84384 ... c Min unsat cost LB: 84385 ... c Min unsat cost LB: 84386 ... c Min unsat cost LB: 84392 ... c Min unsat cost LB: 84393 ... c Min unsat cost LB: 84394 ... c Min unsat cost LB: 84404 ... c Min unsat cost LB: 84405 ... c Min unsat cost LB: 84407 ... c Min unsat cost LB: 84417 ... c Min unsat cost LB: 84423 ... c Min unsat cost LB: 84426 ... c Min unsat cost LB: 84428 ... c Min unsat cost LB: 84430 ... c Min unsat cost LB: 84433 ... c Min unsat cost LB: 84437 ... c Min unsat cost LB: 84438 ... c Min unsat cost LB: 84439 ... c Min unsat cost LB: 84440 ... c Min unsat cost LB: 84441 ... c Min unsat cost LB: 84442 ... c Min unsat cost LB: 84443 ... c Min unsat cost LB: 84444 ... c Min unsat cost LB: 84448 ... c Min unsat cost LB: 84454 ... c Min unsat cost LB: 84457 ... c Min unsat cost LB: 84458 ... c Min unsat cost LBKilled 1816.312u 3.425s 30:20.42 99.9% 0+0k 0+0io 0pf+0w