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_160_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_0002.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_160_0002.txt.wcnf *** c c Min unsat cost LB: 1800 ... c Min unsat cost LB: 2275 ... c Min unsat cost LB: 3600 ... c Min unsat cost LB: 3877 ... c Min unsat cost LB: 4075 ... c Min unsat cost LB: 4352 ... c Min unsat cost LB: 6152 ... c Min unsat cost LB: 6627 ... c Min unsat cost LB: 8150 ... c Min unsat cost LB: 8625 ... c Min unsat cost LB: 8902 ... c Min unsat cost LB: 9377 ... c Min unsat cost LB: 10702 ... c Min unsat cost LB: 10979 ... c Min unsat cost LB: 11256 ... c Min unsat cost LB: 12304 ... c Min unsat cost LB: 12581 ... c Min unsat cost LB: 14381 ... c Min unsat cost LB: 15904 ... c Min unsat cost LB: 16181 ... c Min unsat cost LB: 16458 ... c Min unsat cost LB: 16735 ... c Min unsat cost LB: 17012 ... c Min unsat cost LB: 18710 ... c Min unsat cost LB: 18812 ... c Min unsat cost LB: 18891 ... c Min unsat cost LB: 20691 ... c Min unsat cost LB: 22491 ... c Min unsat cost LB: 23935 ... c Min unsat cost LB: 24076 ... c Min unsat cost LB: 26017 ... c Min unsat cost LB: 27817 ... c Min unsat cost LB: 29758 ... c Min unsat cost LB: 30035 ... c Min unsat cost LB: 31699 ... c Min unsat cost LB: 31976 ... c Min unsat cost LB: 32451 ... c Min unsat cost LB: 32728 ... c Min unsat cost LB: 34392 ... c Min unsat cost LB: 34528 ... c Min unsat cost LB: 35003 ... c Min unsat cost LB: 36333 ... c Min unsat cost LB: 38274 ... c Min unsat cost LB: 40074 ... c Min unsat cost LB: 40839 ... c Min unsat cost LB: 40980 ... c Min unsat cost LB: 41745 ... c Min unsat cost LB: 42156 ... c Min unsat cost LB: 42349 ... c Min unsat cost LB: 43114 ... c Min unsat cost LB: 45055 ... c Min unsat cost LB: 46662 ... c Min unsat cost LB: 47363 ... c Min unsat cost LB: 48115 ... c Min unsat cost LB: 48880 ... c Min unsat cost LB: 50644 ... c Min unsat cost LB: 50965 ... c Min unsat cost LB: 51286 ... c Min unsat cost LB: 51620 ... c Min unsat cost LB: 51941 ... c Min unsat cost LB: 51977 ... c Min unsat cost LB: 52298 ... c Min unsat cost LB: 52955 ... c Min unsat cost LB: 54755 ... c Min unsat cost LB: 55186 ... c Min unsat cost LB: 55507 ... c Min unsat cost LB: 55828 ... c Min unsat cost LB: 55969 ... c Min unsat cost LB: 56092 ... c Min unsat cost LB: 56290 ... c Min unsat cost LB: 56413 ... c Min unsat cost LB: 56747 ... c Min unsat cost LB: 57068 ... c Min unsat cost LB: 57389 ... c Min unsat cost LB: 57710 ... c Min unsat cost LB: 58064 ... c Min unsat cost LB: 58385 ... c Min unsat cost LB: 58508 ... c Min unsat cost LB: 58706 ... c Min unsat cost LB: 58921 ... c Min unsat cost LB: 59242 ... c Min unsat cost LB: 60526 ... c Min unsat cost LB: 60847 ... c Min unsat cost LB: 61612 ... c Min unsat cost LB: 61933 ... c Min unsat cost LB: 62039 ... c Min unsat cost LB: 62360 ... c Min unsat cost LB: 62555 ... c Min unsat cost LB: 62876 ... c Min unsat cost LB: 63713 ... c Min unsat cost LB: 64034 ... c Min unsat cost LB: 64157 ... c Min unsat cost LB: 64221 ... c Min unsat cost LB: 64508 ... c Min unsat cost LB: 65890 ... c Min unsat cost LB: 66162 ... c Min unsat cost LB: 66177 ... c Min unsat cost LB: 66434 ... c Min unsat cost LB: 67199 ... c Min unsat cost LB: 67259 ... c Min unsat cost LB: 67690 ... c Min unsat cost LB: 67888 ... c Min unsat cost LB: 68209 ... c Min unsat cost LB: 68530 ... c Min unsat cost LB: 68851 ... c Min unsat cost LB: 69493 ... c Min unsat cost LB: 70052 ... c Min unsat cost LB: 70373 ... c Min unsat cost LB: 70499 ... c Min unsat cost LB: 70786 ... c Min unsat cost LB: 70898 ... c Min unsat cost LB: 71233 ... c Min unsat cost LB: 71568 ... c Min unsat cost LB: 71903 ... c Min unsat cost LB: 72238 ... c Min unsat cost LB: 72480 ... c Min unsat cost LB: 72815 ... c Min unsat cost LB: 73150 ... c Min unsat cost LB: 73485 ... c Min unsat cost LB: 73544 ... c Min unsat cost LB: 73699 ... c Min unsat cost LB: 74524 ... c Min unsat cost LB: 74888 ... c Min unsat cost LB: 74981 ... c Min unsat cost LB: 75456 ... c Min unsat cost LB: 75662 ... c Min unsat cost LB: 76137 ... c Min unsat cost LB: 77018 ... c Min unsat cost LB: 77937 ... c Min unsat cost LB: 78531 ... c Min unsat cost LB: 79316 ... c Min unsat cost LB: 79737 ... c Min unsat cost LB: 79777 ... c Min unsat cost LB: 80053 ... c Min unsat cost LB: 80388 ... c Min unsat cost LB: 80863 ... c Min unsat cost LB: 81140 ... c Min unsat cost LB: 81198 ... c Min unsat cost LB: 81382 ... c Min unsat cost LB: 81417 ... c Min unsat cost LB: 81496 ... c Min unsat cost LB: 81597 ... c Min unsat cost LB: 81773 ... c Min unsat cost LB: 81932 ... c Min unsat cost LB: 81955 ... c Min unsat cost LB: 82013 ... c Min unsat cost LB: 82334 ... c Min unsat cost LB: 82509 ... c Min unsat cost LB: 82655 ... c Min unsat cost LB: 82976 ... c Min unsat cost LB: 83117 ... c Min unsat cost LB: 83813 ... c Min unsat cost LB: 83939 ... c Min unsat cost LB: 84776 ... c Min unsat cost LB: 84917 ... c Min unsat cost LB: 85058 ... c Min unsat cost LB: 85613 ... c Min unsat cost LB: 86287 ... c Min unsat cost LB: 86502 ... c Min unsat cost LB: 88087 ... c Min unsat cost LB: 88302 ... c Min unsat cost LB: 89825 ... c Min unsat cost LB: 89887 ... c Min unsat cost LB: 91625 ... c Min unsat cost LB: 91687 ... c Min unsat cost LB: 91833 ... c Min unsat cost LB: 91848 ... c Min unsat cost LB: 91863 ... c Min unsat cost LB: 91950 ... c Min unsat cost LB: 92042 ... c Min unsat cost LB: 92056 ... c Min unsat cost LB: 92231 ... c Min unsat cost LB: 92328 ... c Min unsat cost LB: 92377 ... c Min unsat cost LB: 92392 ... c Min unsat cost LB: 92515 ... c Min unsat cost LB: 92573 ... c Min unsat cost LB: 92666 ... c Min unsat cost LB: 92846 ... c Min unsat cost LB: 92867 ... c Min unsat cost LB: 93026 ... c Min unsat cost LB: 93201 ... c Min unsat cost LB: 93340 ... c Min unsat cost LB: 93536 ... c Min unsat cost LB: 93537 ... c Min unsat cost LB: 93691 ... c Min unsat cost LB: 93792 ... c Min unsat cost LB: 93815 ... c Min unsat cost LB: 94092 ... c Min unsat cost LB: 94137 ... c Min unsat cost LB: 94237 ... c Min unsat cost LB: 94290 ... c Min unsat cost LB: 94369 ... c Min unsat cost LB: 94479 ... c Min unsat cost LB: 94523 ... c Min unsat cost LB: 94712 ... c Min unsat cost LB: 94853 ... c Min unsat cost LB: 95328 ... c Min unsat cost LB: 95464 ... c Min unsat cost LB: 95803 ... c Min unsat cost LB: 96278 ... c Min unsat cost LB: 96555 ... c Min unsat cost LB: 96599 ... c Min unsat cost LB: 96753 ... c Min unsat cost LB: 96813 ... c Min unsat cost LB: 96866 ... c Min unsat cost LB: 96876 ... c Min unsat cost LB: 96925 ... c Min unsat cost LB: 97043 ... c Min unsat cost LB: 97201 ... c Min unsat cost LB: 97364 ... c Min unsat cost LB: 97401 ... c Min unsat cost LB: 97424 ... c Min unsat cost LB: 97575 ... c Min unsat cost LB: 98050 ... c Min unsat cost LB: 98166 ... c Min unsat cost LB: 98327 ... c Min unsat cost LB: 98385 ... c Min unsat cost LB: 98400 ... c Min unsat cost LB: 98526 ... c Min unsat cost LB: 98720 ... c Min unsat cost LB: 98743 ... c Min unsat cost LB: 98815 ... c Min unsat cost LB: 98879 ... c Min unsat cost LB: 98987 ... c Min unsat cost LB: 99233 ... c Min unsat cost LB: 99554 ... c Min unsat cost LB: 99580 ... c Min unsat cost LB: 99887 ... c Min unsat cost LB: 99889 ... c Min unsat cost LB: 99901 ... c Min unsat cost LB: 99991 ... c Min unsat cost LB: 100002 ... c Min unsat cost LB: 100128 ... c Min unsat cost LB: 100135 ... c Min unsat cost LB: 100531 ... c Min unsat cost LB: 100861 ... c Min unsat cost LB: 101096 ... c Min unsat cost LB: 101232 ... c Min unsat cost LB: 101457 ... c Min unsat cost LB: 101674 ... c Min unsat cost LB: 101778 ... c Min unsat cost LB: 101797 ... c Min unsat cost LB: 101920 ... c Min unsat cost LB: 102084 ... c Min unsat cost LB: 102243 ... c Min unsat cost LB: 102324 ... c Min unsat cost LB: 102564 ... c Min unsat cost LB: 102659 ... c Min unsat cost LB: 102724 ... c Min unsat cost LB: 102726 ... c Min unsat cost LB: 102856 ... c Min unsat cost LB: 102980 ... c Min unsat cost LB: 103222 ... c Min unsat cost LB: 103258 ... c Min unsat cost LB: 103301 ... c Min unsat cost LB: 103305 ... c Min unsat cost LB: 103337 ... c Min unsat cost LB: 103377 ... c Min unsat cost LB: 103570 ... c Min unsat cost LB: 104142 ... c Min unsat cost LB: 104258 ... c Min unsat cost LB: 104336 ... c Min unsat cost LB: 104505 ... c Min unsat cost LB: 104766 ... c Min unsat cost LB: 104873 ... c Min unsat cost LB: 104878 ... c Min unsat cost LB: 104886 ... c Min unsat cost LB: 104898 ... c Min unsat cost LB: 104957 ... c Min unsat cost LB: 105056 ... c Min unsat cost LB: 105365 ... c Min unsat cost LB: 105476 ... c Min unsat cost LB: 105663 ... c Min unsat cost LB: 105666 ... c Min unsat cost LB: 105691 ... c Min unsat cost LB: 105747 ... c Min unsat cost LB: 105978 ... c Min unsat cost LB: 106467 ... c Min unsat cost LB: 106476 ... c Min unsat cost LB: 106828 ... c Min unsat cost LB: 106951 ... c Min unsat cost LB: 107015 ... c Min unsat cost LB: 107085 ... c Min unsat cost LB: 107173 ... c Min unsat cost LB: 107261 ... c Min unsat cost LB: 107380 ... c Min unsat cost LB: 107420 ... c Min unsat cost LB: 107561 ... c Min unsat cost LB: 107626 ... c Min unsat cost LB: 107976 ... c Min unsat cost LB: 108034 ... c Min unsat cost LB: 108108 ... c Min unsat cost LB: 108302 ... c Min unsat cost LB: 108325 ... c Min unsat cost LB: 108931 ... c Min unsat cost LB: 109129 ... c Min unsat cost LB: 109236 ... c Min unsat cost LB: 109237 ... c Min unsat cost LB: 109277 ... c Min unsat cost LB: 109658 ... c Min unsat cost LB: 109747 ... c Min unsat cost LB: 109848 ... c Min unsat cost LB: 110149 ... c Min unsat cost LB: 110798 ... c Min unsat cost LB: 110860 ... c Min unsat cost LB: 110877 ... c Min unsat cost LB: 110891 ... c Min unsat cost LB: 110953 ... c Min unsat cost LB: 110970 ... c Min unsat cost LB: 111445 ... c Min unsat cost LB: 111518 ... c Min unsat cost LB: 111605 ... c Min unsat cost LB: 111620 ... c Min unsat cost LB: 111655 ... c Min unsat cost LB: 111689 ... c Min unsat cost LB: 111815 ... c Min unsat cost LB: 111836 ... c Min unsat cost LB: 111990 ... c Min unsat cost LB: 112294 ... c Min unsat cost LB: 112386 ... c Min unsat cost LB: 112430 ... c Min unsat cost LB: 112545 ... c Min unsat cost LB: 112669 ... c Min unsat cost LB: 112706 ... c Min unsat cost LB: 112709 ... c Min unsat cost LB: 112782 ... c Min unsat cost LB: 112792 ... c Min unsat cost LB: 112836 ... c Min unsat cost LB: 112847 ... c Min unsat cost LB: 112892 ... c Min unsat cost LB: 112915 ... c Min unsat cost LB: 112973 ... c Min unsat cost LB: 113095 ... c Min unsat cost LB: 113899 ... c Min unsat cost LB: 113909 ... c Min unsat cost LB: 113944 ... c Min unsat cost LB: 113946 ... c Min unsat cost LB: 113983 ... c Min unsat cost LB: 113991 ... c Min unsat cost LB: 113992 ... c Min unsat cost LB: 114046 ... c Min unsat cost LB: 114105 ... c Min unsat cost LB: 114120 ... c Min unsat cost LB: 114128 ... c Min unsat cost LB: 114130 ... c Min unsat cost LB: 114169 ... c Min unsat cost LB: 114179 ... c Min unsat cost LB: 114202 ... c Min unsat cost LB: 114219 ... c Min unsat cost LB: 114231 ... c Min unsat cost LB: 114246 ... c Min unsat cost LB: 114295 ... c Min unsat cost LB: 114332 ... c Min unsat cost LB: 114342 ... c Min unsat cost LB: 114355 ... c Min unsat cost LB: 114392 ... c Min unsat cost LB: 114425 ... c Min unsat cost LB: 114427 ... c Min unsat cost LB: 114470 ... c Min unsat cost LB: 114586 ... c Min unsat cost LB: 114600 ... c Min unsat cost LB: 114681 ... c Min unsat cost LB: 114720 ... c Min unsat cost LB: 114724 ... c Min unsat cost LB: 114923 ... c Min unsat cost LB: 114959 ... c Min unsat cost LB: 114966 ... c Min unsat cost LB: 115002 ... c Min unsat cost LB: 115054 ... c Min unsat cost LB: 115065 ... c Min unsat cost LB: 115082 ... c Min unsat cost LB: 115097 ... c Min unsat cost LB: 115137 ... c Min unsat cost LB: 115161 ... c Min unsat cost LB: 115231 ... c Min unsat cost LB: 115243 ... c Min unsat cost LB: 115254 ... c Min unsat cost LB: 115272 ... c Min unsat cost LB: 115275 ... c Min unsat cost LB: 115300 ... c Min unsat cost LB: 115356 ... c Min unsat cost LB: 115398 ... c Min unsat cost LB: 115430 ... c Min unsat cost LB: 115436 ... c Min unsat cost LB: 115443 ... c Min unsat cost LB: 115470 ... c Min unsat cost LB: 115506 ... c Min unsat cost LB: 115583 ... c Min unsat cost LB: 115617 ... c Min unsat cost LB: 115627 ... c Min unsat cost LB: 115628 ... c Min unsat cost LB: 115655 ... c Min unsat cost LB: 115687 ... c Min unsat cost LB: 115725 ... c Min unsat cost LB: 115729 ... c Min unsat cost LB: 115746 ... c Min unsat cost LB: 115779 ... c Min unsat cost LB: 115781 ... c Min unsat cost LB: 115798 ... c Min unsat cost LB: 115812 ... c Min unsat cost LB: 115834 ... c Min unsat cost LB: 115847 ... c Min unsat cost LB: 115851 ... c Min unsat cost LB: 115860 ... c Min unsat cost LB: 115866 ... c Min unsat cost LB: 115924 ... c Min unsat cost LB: 115925 ... c Min unsat cost LB: 115937 ... c Min unsat cost LB: 116000 ... c Min unsat cost LB: 116002 ... c Min unsat cost LB: 116009 ... c Min unsat cost LB: 116012 ... c Min unsat cost LB: 116013 ... c Min unsat cost LB: 116015 ... c Min unsat cost LB: 116017 ... c Min unsat cost LB: 116623 ... c Min unsat cost LB: 116636 ... c Min unsat cost LB: 116680 ... c Min unsat cost LB: 116834 ... c Min unsat cost LB: 116844 ... c Min unsat cost LB: 116920 ... c Min unsat cost LB: 116924 ... c Min unsat cost LB: 116933 ... c Min unsat cost LB: 116938 ... c Min unsat cost LB: 116942 ... c Min unsat cost LB: 116995 ... c Min unsat cost LB: 116998 ... c Min unsat cost LB: 117018 ... c Min unsat cost LB: 117036 ... c Min unsat cost LB: 117055 ... c Min unsat cost LB: 117122 ... c Min unsat cost LB: 117123 ... c Min unsat cost LB: 117125 ... c Min unsat cost LB: 117128 ... c Min unsat cost LB: 117169 ... c Min unsat cost LB: 117172 ... c Min unsat cost LB: 117221 ... c Min unsat cost LB: 117244 ... c Min unsat cost LB: 117339 ... c Min unsat cost LB: 117344 ... c Min unsat cost LB: 117357 ... c Min unsat cost LB: 117362 ... c Min unsat cost LB: 117372 ... c Min unsat cost LB: 117377 ... c Min unsat cost LB: 117379 ... c Min unsat cost LB: 117381 ... c Min unsat cost LB: 117386 ... c Min unsat cost LB: 117422 ... c Min unsat cost LB: 117423 ... c Min unsat cost LB: 117488 ... c Min unsat cost LB: 117491 ... c Min unsat cost LB: 117496 ... c Min unsat cost LB: 117498 ... c Min unsat cost LB: 117500 ... c Min unsat cost LB: 117501 ... c Min unsat cost LB: 117502 ... c Min unsat cost LB: 117505 ... c Min unsat cost LB: 117533 ... c Min unsat cost LB: 117539 ... c Min unsat cost LB: 117540 ... c Min unsat cost LB: 117549 ... c Min unsat cost LB: 117550 ... c Min unsat cost LB: 117552 ... c Min unsat cost LB: 117554 ... c Min unsat cost LB: 117555 ... c Min unsat cost LB: 117560 ... c Min unsat cost LB: 117561 ... c Min unsat cost LB: 117562 ... c Min unsat cost LB: 117594 ... c Min unsat cost LB: 117595 ... c Min unsat cost LB: 117596 ... c Min unsat cost LB: 117597 ... c Min unsat cost LB: 117598 ... c Min unsat cost LB: 117663 ... c Min unsat cost LB: 117699 ... c Min unsat cost LB: 117703 ... c Min unsat cost LB: 117722 ... c Min unsat cost LB: 117896 ... c Min unsat cost LB: 117897 ... c Min unsat cost LB: 117898 ... c Min unsat cost LB: 117909 ... c Min unsat cost LB: 117910 ... c Min unsat cost LB: 117927 ... c Min unsat cost LB: 117961 ... c Min unsat cost LB: 117965 ... c Min unsat cost LB: 117966 ... c Min unsat cost LB: 117968 ... c Min unsat cost LB: 117969 ... c Min unsat cost LB: 117973 ... c Min unsat cost LB: 118002 ... c Min unsat cost LB: 118003 ... c Min unsat cost LB: 118010 ... c Min unsat cost LB: 118027 ... c Min unsat cost LB: 118042 ... c Min unsat cost LB: 118090 ... c Min unsat cost LB: 118098 ... c Min unsat cost LB: 118132 ... c Min unsat cost LB: 118137 ... c Min unsat cost LB: 118139 ... c Min unsat cost LB: 118141 ... c Min unsat cost LB: 118155 ... c Min unsat cost LB: 118156 ... c Min unsat cost LB: 118167 ... c Min unsat cost LB: 118170 ... c Min unsat cost LB: 118173 ... c Min unsat cost LB: 118177 ... c Min unsat cost LB: 118178 ... c Min unsat cost LB: 118179 ... c Min unsat cost LB: 118180 ... c Min unsat cost LB: 118183 ... c Min unsat cost LB: 118187 ... c Min unsat cost LB: 118190 ... c Min unsat cost LB: 118195 ... c Min unsat cost LB: 118218 ... c Min unsat cost LB: 118222 ... c Min unsat cost LB: 118235 ... c Min unsat cost LB: 118242 ... c Min unsat cost LB: 118251 ... c Min unsat cost LB: 118252 ... c Min unsat cost LB: 118256 ... c Min unsat cost LB: 118260 ... c Min unsat cost LB: 118264 ... c Min unsat cost LB: 118265 ... c Min unsat cost LB: 118288 ... c Min unsat cost LB: 118292 ... c Min unsat cost LB: 118296 ... c Min unsat cost LB: 118304 ... c Min unsat cost LB: 118307 ... c Min unsat cost LB: 118319 ... c Min unsat cost LB: 118326 ... c Min unsat cost LB: 118332 ... c Min unsat cost LB: 118340 ... c Min unsat cost LB: 118404 ... c Min unsat cost LB: 118424 ... c Min unsat cost LB: 118455 ... c Min unsat cost LB: 118467 ... c Min unsat cost LB: 118477 ... c Min unsat cost LB: 118478 ... c Min unsat cost LB: 118482 ... c Min unsat cost LB: 118497 ... c Min unsat cost LB: 118553 ... c Min unsat cost LB: 118629 ... c Min unsat cost LB: 118685 ... c Min unsat cost LB: 118740 ... c Min unsat cost LB: 118741 ... c Min unsat cost LB: 118742 ... c Min unsat cost LB: 118743 ... c Min unsat cost LB: 118758 ... c Min unsat cost LB: 118776 ... c Min unsat cost LB: 118780 ... c Min unsat cost LB: 118787 ... c Min unsat cost LB: 118827 ... c Min unsat cost LB: 118828 ... c Min unsat cost LB: 118842 ... c Min unsat cost LB: 118855 ... c Min unsat cost LB: 118860 ... c Min unsat cost LB: 118861 ... c Min unsat cost LB: 118863 ... c Min unsat cost LB: 118864 ... c Min unsat cost LB: 118865 ... c Min unsat cost LB: 118866 ... c Min unsat cost LB: 118867 ... c Min unsat cost LB: 118868 ... c Min unsat cost LB: 118873 ... c Min unsat cost LB: 118874 ... c Min unsat cost LB: 118875 ... c Min unsat cost LB: 118876 ... c Min unsat cost LB: 118877 ... c Min unsat cost LB: 118878 ... c Min unsat cost LB: 118879 ... c Min unsat cost LB: 118880 ... c Min unsat cost LB: 118881 ... c Min unsat cost LB: 118882 ... c Min unsat cost LB: 118883 ... c Min unsat cost LB: 118887 ... c Min unsat cost LB: 118888 ... c Min unsat cost LB: 118891 ... c Min unsat cost LB: 118893 ... c Min unsat cost LB: 118894 ... c Min unsat cost LB: 118904 ... c Min unsat cost LB: 118908 ... c Min unsat cost LB: 118910 ... c Min unsat cost LB: 118915 ... c Min unsat cost LB: 118919 ... c Min unsat cost LB: 118920 ... c Min unsat cost LB: 118924 ... c Min unsat cost LB: 118932 ... c Min unsat cost LB: 118935 ... c Min unsat cost LB: 118939 ... c Min unsat cost LB: 118948 ... c Min unsat cost LB: 118953 ... c Min unsat cost LB: 118954 ... c Min unsat cost LB: 118955 ... c Min unsat cost LB: 118958 ... c Min unsat cost LB: 118959 ... c Min unsat cost LB: 118974 ... c Min unsat cost LB: 119001 ... c Min unsat cost LB: 119063 ... c Min unsat cost LB: 119064 ... c Min unsat cost LB: 119065 ... c Min unsat cost LB: 119066 ... c Min unsat cost LB: 119162 ... c Min unsat cost LB: 119163 ... c Min unsat cost LB: 119166 ... c Min unsat cost LB: 119167 ... c Min unsat cost LB: 119168 ... c Min unsat cost LB: 119169 ... c Min unsat cost LB: 119174 ... c Min unsat cost LB: 119178 ... c Min unsat cost LB: 119179 ... c Min unsat cost LB: 119181 ... c Min unsat cost LB: 119187 ... c Min unsat cost LB: 119188 ... c Min unsat cost LB: 119189 ... c Min unsat cost LB: 119190 ... c Min unsat cost LB: 119191 ... c Min unsat cost LB: 119194 ... c Min unsat cost LB: 119197 ... c Min unsat cost LB: 119201 ... c Min unsat cost LB: 119202 ... c Min unsat cost LB: 119203 ... c Min unsat cost LB: 119204 ... c Min unsat cost LB: 119205 ... c Min unsat cost LB: 119206 ... c Min unsat cost LB: 119207 ... c Min unsat cost LB: 119208 ... c Min unsat cost LB: 119209 ... c Min unsat cost LB: 119210 ... c Min unsat cost LB: 119211 ... c Min unsat cost LB: 119212 ... c Min unsat cost LB: 119214 ... c Min unsat cost LB: 119216 ... c Min unsat cost LB: 119218 ... c Min unsat cost LB: 119224 ... c Min unsat cost LB: 119225 ... c Min unsat cost LB: 119226 ... c Min unsat cost LB: 119228 ... c Min unsat cost LB: 119246 ... c Min unsat cost LB: 119264 ... c Min unsat cost LB: 119301 ... c Min unsat cost LB: 119317 ... c Min unsat cost LB: 119319 ... c Min unsat cost LB: 119322 ... c Min unsat cost LB: 119323 ... c Min unsat cost LB: 119324 ... c Min unsat cost LB: 119325 ... c Min unsat cost LB: 119326 ... c Min unsat cost LB: 119327 ... c Min unsat cost LB: 119328 ... c Min unsat cost LB: 119329 ... c Min unsat cost LB: 119332 ... c Min unsat cost LB: 119341 ... c Min unsat cost LB: 119351 ... c Min unsat cost LB: 119365 ... c Min unsat cost LB: 119369 ... c Min unsat cost LB: 119371 ... c Min unsat cost LB: 119380 ... c Min unsat cost LB: 119389 ... c Min unsat cost LB: 119392 ... c Min unsat cost LB: 119396 ... c Min unsat cost LB: 119397 ... c Min unsat cost LB: 119399 ... c Min unsat cost LB: 119416 ... c Min unsat cost LB: 119419 ... c Min unsat cost LB: 119421 ... c Min unsat cost LB: 119428 ... c Min unsat cost LB: 119430 ... c Min unsat cost LB: 119441 ... c Min unsat cost LB: 119447 ... c Min unsat cost LB: 119449 ... c Min unsat cost LB: 119453 ... c Min unsat cost LB: 119454 ... c Min unsat cost LB: 119464 ... c Min unsat cost LB: 119509 ... c Min unsat cost LB: 119622 ... c Min unsat cost LB: 119641 ... c Min unsat cost LB: 119645 ... c Min unsat cost LB: 119668 ... c Min unsat cost LB: 119669 ... c Min unsat cost LB: 119675 ... c Min unsat cost LB: 119685 ... c Min unsat cost LB: 119698 ... c Min unsat cost LB: 119719 ... c Min unsat cost LB: 119739 ... c Min unsat cost LB: 119788 ... c Min unsat cost LB: 119915 ... c Min unsat cost LB: 119921 ... c Min unsat cost LB: 119925 ... c Min unsat cost LB: 119995 ... c Min unsat cost LB: 120005 ... c Min unsat cost LB: 120012 ... c Min unsat cost LB: 120016 ... c Min unsat cost LB: 120017 ... c Min unsat cost LB: 120018 ... c Min unsat cost LB: 120022 ... c Min unsat cost LB: 120025 ... c Min unsat cost LB: 120028 ... c Min unsat cost LB: 120030 ... c Min unsat cost LB: 120045 ... c Min unsat cost LB: 120088 ... c Min unsat cost LB: 120111 ... c Min unsat cost LB: 120123 ... c Min unsat cost LB: 120129 ... c Min unsat cost LB: 120130 ... c Min unsat cost LB: 120134 ... c Min unsat cost LB: 120137 ... c Min unsat cost LB: 120140 ... c Min unsat cost LB: 120141 ... c Min unsat cost LB: 120143 ... c Min unsat cost LB: 120149 ... c Min unsat cost LB: 120153 ... c Min unsat cost LB: 120168 ... c Min unsat cost LB: 120172 ... c Min unsat cost LB: 120173 ... c Min unsat cost LB: 120174 ... c Min unsat cost LB: 120179 ... c Min unsat cost LB: 120189 ... c Min unsat cost LB: 120192 ... c Min unsat cost LB: 120206 ... c Min unsat cost LB: 120211 ... c Min unsat cost LB: 120212 ... c Min unsat cost LB: 120213 ... c Min unsat cost LB: 120215 ... c Min unsat cost LB: 120216 ... c Min unsat cost LB: 120218 ... c Min unsat cost LB: 120219 ... c Min unsat cost LB: 120221 ... c Min unsat cost LB: 120223 ... c Min unsat cost LB: 120230 ... c Min unsat cost LB: 120232 ... c Min unsat cost LB: 120234 ... c Min unsat cost LB: 120235 ... c Min unsat cost LB: 120238 ... c Min unsat cost LB: 120240 ... c Min unsat cost LB: 120242 ... c Min unsat cost LB: 120246 ... c Min unsat cost LB: 120251 ... c Min unsat cost LB: 120252 ... c Min unsat cost LB: 120254 ... c Min unsat cost LB: 120258 ... c Min unsat cost LB: 120259 ... c Min unsat cost LB: 120260 ... c Min unsat cost LB: 120261 ... c Min unsat cost LB: 120262 ... c Min unsat cost LB: 120270 ... c Min unsat cost LB: 120273 ... c Min unsat cost LB: 120279 ... c Min unsat cost LB: 120293 ... c Min unsat cost LB: 120297 ... c Min unsat cost LB: 120299 ... c Min unsat cost LB: 120301 ... c Min unsat cost LB: 120305 ... c Min unsat cost LB: 120306 ... c Min unsat cost LB: 120307 ... c Min unsat cost LB: 120309 ... c Min unsat cost LB: 120311 ... c Min unsat cost LB: 120323 ... c Min unsat cost LB: 120324 ... c Min unsat cost LB: 120330 ... c Min unsat cost LB: 120331 ... c Min unsat cost LB: 120332 ... c Min unsat cost LB: 120333 ... c Min unsat cost LB: 120336 ... c Min unsat cost LB: 120337 ... c Min unsat cost LB: 120339 ... c Min unsat cost LB: 120340 ... c Min unsat cost LB: 120342 ... c Min unsat cost LB: 120343 ... c Min unsat cost LB: 120346 ... c Min unsat cost LB: 120350 ... c Min unsat cost LB: 120352 ... c Min unsat cost LB: 120353 ... c Min unsat cost LB: 120354 ... c Min unsat cost LB: 120355 ... c Min unsat cost LB: 120359 ... c Min unsat cost LB: 120360 ... c Min unsat cost LB: 120385 ... c Min unsat cost LB: 120393 ... c Min unsat cost LB: 120413 ... c Min unsat cost LB: 120422 ... c Min unsat cost LB: 120432 ... c Min unsat cost LB: 120437 ... c Min unsat cost LB: 120460 ... c Min unsat cost LB: 120492 ... c Min unsat cost LB: 120500 ... c Min unsat cost LB: 120505 ... c Min unsat cost LB: 120513 ... c Min unsat cost LB: 120524 ... c Min unsat cost LB: 120525 ... c Min unsat cost LB: 120528 ... c Min unsat cost LB: 120533 ... c Min unsat cost LB: 120535 ... c Min unsat cost LB: 120536 ... c Min unsat cost LB: 120540 ... c Min unsat cost LB: 120546 ... c Min unsat cost LB: 120552 ... c Min unsat cost LB: 120556 ... c Min unsat cost LB: 120567 ... c Min unsat cost LB: 120568 ... c Min unsat cost LB: 120569 ... c Min unsat cost LB: 120571 ... c Min unsat cost LB: 120573 ... c Min unsat cost LB: 120575 ... c Min unsat cost LB: 120578 ... c Min unsat cost LB: 120582 ... c Min unsat cost LB: 120588 ... c Min unsat cost LB: 120589 ... c Min unsat cost LB: 120590 ... c Min unsat cost LB: 120612 ... c Min unsat cost LB: 120636 ... c Min unsat cost LB: 120641 ... c Min unsat cost LB: 120642 ... c Min unsat cost LB: 120646 ... c Min unsat cost LB: 120658 ... c Min unsat cost LB: 120659 ... c Min unsat cost LB: 120660 ... c Min unsat cost LB: 120662 ... c Min unsat cost LB: 120663 ... c Min unsat cost LB: 120666 ... c Min unsat cost LB: 120667 ... c Min unsat cost LB: 120669 ... c Min unsat cost LB: 120670 ... c Min unsat cost LB: 120679 ... c Min unsat cost LB: 120680 ... c Min unsat cost LB: 120681 ... c Min unsat cost LB: 120690 ... c Min unsat cost LB: 120691 ... c Min unsat cost LB: 120692 ... c Min unsat cost LB: 120699 ... c Min unsat cost LB: 120701 ... c Min unsat cost LB: 120703 ... c Min unsat cost LB: 120704 ... c Min unsat cost LB: 120706 ... c Min unsat cost LB: 120707 ... c Min unsat cost LB: 120708 ... c Min unsat cost LB: 120709 ... c Min unsat cost LB: 120710 ... c Min unsat cost LB: 120711 ... c Min unsat cost LB: 120712 ... c Min unsat cost LB: 120713 ... c Min unsat cost LB: 120714 ... c Min unsat cost LB: 120715 ... c Min unsat cost LB: 120717 ... c Min unsat cost LB: 120718 ... c Min unsat cost LB: 120721 ... c Min unsat cost LB: 120722 ... c Min unsat cost LB: 120723 ... c Min unsat cost LB: 120725 ... c Min unsat cost LB: 120726 ... c Min unsat cost LB: 120727 ... c Min unsat cost LB: 120728 ... c Min unsat cost LB: 120736 ... c Min unsat cost LB: 120737 ... c Min unsat cost LB: 120738 ... c Min unsat cost LB: 120740 ... c Min unsat cost LB: 120741 ... c Min unsat cost LB: 120742 ... c Min unsat cost LB: 120743 ... c Min unsat cost LB: 120744 ... c Min unsat cost LB: 120745 ... c Min unsat cost LB: 120746 ... c Min unsat cost LB: 120747 ... c Min unsat cost LB: 120748 ... c Min unsat cost LB: 120749 ... c Min unsat cost LB: 120750 ... c Min unsat cost LB: 120751 ... c Min unsat cost LB: 120752 ... c Min unsat cost LB: 120753 ... c Min unsat cost LB: 120754 ... c Min unsat cost LB: 120758 ... c Min unsat cost LB: 120760 ... c Min unsat cost LB: 120763 ... c Min unsat cost LB: 120765 ... c Min unsat cost LB: 120766 ... c Min unsat cost LB: 120769 ... c Min unsat cost LB: 120770 ... c Min unsat cost LB: 120771 ... c Min unsat cost LB: 120773 ... c Min unsat cost LB: 120775 ... c Min unsat cost LB: 120776 ... c Min unsat cost LB: 120777 ... c Min unsat cost LB: 120778 ... c Min unsat cost LB: 120779 ... c Min unsat cost LB: 120784 ... c Min unsat cost LB: 120785 ... c Min unsat cost LB: 120786 ... c Min unsat cost LB: 120787 ... c Min unsat cost LB: 120788 ... c Min unsat cost LB: 120789 ... c Min unsat cost LB: 120790 ... c Min unsat cost LB: 120792 ... c Min unsat cost LB: 120793 ... c Min unsat cost LB: 120805 ... c Min unsat cost LB: 120808 ... c Min unsat cost LB: 120811 ... c Min unsat cost LB: 120812 ... c Min unsat cost LB: 120813 ... c Min unsat cost LB: 120815 ... c Min unsat cost LB: 120818 ... c Min unsat cost LB: 120821 ... c Min unsat cost LB: 120823 ... c Min unsat cost LB: 120827 ... c Min unsat cost LB: 120832 ... c Min unsat cost LB: 120834 ... c Min unsat cost LB: 120837 ... c Min unsat cost LB: 120838 ... c Min unsat cost LB: 120839 ... c Min unsat cost LB: 120840 ... c Min unsat cost LB: 120841 ... c Min unsat cost LB: 120842 ... c Min unsat cost LB: 120843 ... c Min unsat cost LB: 120844 ... c Min unsat cost LB: 120845 ... c Min unsat cost LB: 120846 ... c Min unsat cost LB: 120847 ... c Min unsat cost LB: 120848 ... c Min unsat cost LB: 120849 ... c Min unsat cost LB: 120850 ... c Min unsat cost LB: 120851 ... c Min unsat cost LB: 120852 ... c Min unsat cost LB: 120853 ... c Min unsat cost LB: 120854 ... c Min unsat cost LB: 120855 ... c Min unsat cost LB: 120864 ... c Min unsat cost LB: 120866 ... c Min unsat cost LB: 120867 ... c Min unsat cost LB: 120869 ... c Min unsat cost LB: 120870 ... c Min unsat cost LB: 120871 ... c Min unsat cost LB: 120873 ... c Min unsat cost LB: 120874 ... c Min unsat cost LB: 120875 ... c Min unsat cost LB: 120876 ... c Min unsat cost LB: 120877 ... c Min unsat cost LB: 120878 ... c Min unsat cost LB: 120883 ... c Min unsat cost LB: 120884 ... c Min unsat cost LB: 120885 ... c Min unsat cost LB: 120887 ... c Min unsat cost LB: 120892 ... c Min unsat cost LB: 120893 ... c Min unsat cost LB: 120895 ... c Min unsat cost LB: 120904 ... c Min unsat cost LB: 120910 ... c Min unsat cost LB: 120918 ... c Min unsat cost LB: 120919 ... c Min unsat cost LB: 120921 ... c Min unsat cost LB: 120922 ... c Min unsat cost LB: 120928 ... c Min unsat cost LB: 120932 ... c Min unsat cost LB: 120939 ... c Min unsat cost LB: 120940 ... c Min unsat cost LB: 120943 ... c Min unsat cost LB: 120949 ... c Min unsat cost LB: 120952 ... c Min unsat cost LB: 120956 ... c Min unsat cost LB: 120961 ... c Min unsat cost LB: 120971 ... c Min unsat cost LB: 120981 ... c Min unsat cost LB: 120985 ... c Min unsat cost LB: 120987 ... c Min unsat cost LB: 120994 ... c Min unsat cost LB: 120998 ... c Min unsat cost LB: 121000 ... c Min unsat cost LB: 121001 ... c Min unsat cost LB: 121004 ... c Min unsat cost LB: 121005 ... c Min unsat cost LB: 121006 ... c Min unsat cost LB: 121008 ... c Min unsat cost LB: 121009 ... c Min unsat cost LB: 121010 ... c Min unsat cost LB: 121012 ... c Min unsat cost LB: 121015 ... c Min unsat cost LB: 121025 ... c Min unsat cost LB: 121030 ... c Min unsat cost LB: 121032 ... c Min unsat cost LB: 121036 ... c Min unsat cost LB: 121037 ... c Min unsat cost LB: 121038 ... c Min unsat cost LB: 121040 ... c Min unsat cost LB: 121041 ... c Min unsat cost LB: 121042 ... c Min unsat cost LB: 121043 ... c Min unsat cost LB: 121047 ... c Min unsat cost LB: 121049 ... c Min unsat cost LB: 121050 ... c Min unsat cost LB: 121052 ... c Min unsat cost LB: 121053 ... c Min unsat cost LB: 121056 ... c Min unsat cost LB: 121057 ... c Min unsat cost LB: 121058 ... c Min unsat cost LB: 121059 ... c Min unsat cost LB: 121060 ... c Min unsat cost LB: 121065 ... c Min unsat cost LB: 121070 ... c Min unsat cost LB: 121071 ... c Min unsat cost LB: 121073 ... c Min unsat cost LB: 121075 ... c Min unsat cost LB: 121081 ... c Min unsat cost LB: 121095 ... c Min unsat cost LB: 121096 ... c Min unsat cost LB: 121097 ... c Min unsat cost LB: 121100 ... c Min unsat cost LB: 121104 ... c Min unsat cost LB: 121108 ... c Min unsat cost LB: 121111 ... c Min unsat cost LB: 121116 ... c Min unsat cost LB: 121117 ... c Min unsat cost LB: 121118 ... c Min unsat cost LB: 121119 ... c Min unsat cost LB: 121120 ... c Min unsat cost LB: 121121 ... c Min unsat cost LB: 121123 ... c Min unsat cost LB: 121124 ... c Min unsat cost LB: 121126 ... c Min unsat cost LB: 121127 ... c Min unsat cost LB: 121128 ... c Min unsat cost LB: 121296 ... c Min unsat cost LB: 121297 ... c Min unsat cost LB: 121299 ... c Min unsat cost LB: 121300 ... c Min unsat cost LB: 121301 ... c Min unsat cost LB: 121302 ... c Min unsat cost LB: 121303 ... c Min unsat cost LB: 121305 ... c Min unsat cost LB: 121306 ... c Min unsat cost LB: 121307 ... c Min unsat cost LB: 121308 ... c Min unsat cost LB: 121309 ... c Min unsat cost LB: 121310 ... c Min unsat cost LB: 121311 ... c Min unsat cost LB: 121312 ... c Min unsat cost LB: 121313 ... c Min unsat cost LB: 121316 ... c Min unsat cost LB: 121317 ... c Min unsat cost LB: 121319 ... c Min unsat cost LB: 121321 ... c Min unsat cost LB: 121323 ... c Min unsat cost LB: 121324 ... c Min unsat cost LB: 121325 ... c Min unsat cost LB: 121326 ... c Min unsat cost LB: 121327 ... c Min unsat cost LB: 121328 ... c Min unsat cost LB: 121329 ... c Min unsat cost LB: 121332 ... c Min unsat cost LB: 121333 ... c Min unsat cost LB: 121334 ... c Min unsat cost LB: 121335 ... c Min unsat cost LB: 121336 ... c Min unsat cost LB: 121337 ... c Min unsat cost LB: 121338 ... c Min unsat cost LB: 121339 ... c Min unsat cost LB: 121340 ... c Min unsat cost LB: 121341 ... c Min unsat cost LB: 121342 ... c Min unsat cost LB: 121343 ... c Min unsat cost LB: 121344 ... c Min unsat cost LB: 121345 ... c Min unsat cost LB: 121346 ... c Min unsat cost LB: 121347 ... c Min unsat cost LB: 121348 ... c Min unsat cost LB: 121349 ... c Min unsat cost LB: 121350 ... c Min unsat cost LB: 121351 ... c Min unsat cost LB: 121352 ... c Min unsat cost LB: 121353 ... c Min unsat cost LB: 121354 ... c Min unsat cost LB: 121355 ... c Min unsat cost LB: 121357 ... c Min unsat cost LB: 121359 ... c Min unsat cost LB: 121360 ... c Min unsat cost LB: 121362 ... c Min unsat cost LB: 121374 ... c Min unsat cost LB: 121376 ... c Min unsat cost LB: 121382 ... c Min unsat cost LB: 121383 ... c Min unsat cost LB: 121384 ... c Min unsat cost LB: 121385 ... c Min unsat cost LB: 121386 ... c Min unsat cost LB: 121387 ... c Min unsat cost LB: 121389 ... c Min unsat cost LB: 121390 ... c Min unsat cost LB: 121391 ... c Min unsat cost LB: 121392 ... c Min unsat cost LB: 121393 ... c Min unsat cost LB: 121394 ... c Min unsat cost LB: 121395 ... c Min unsat cost LB: 121396 ... c Min unsat cost LB: 121397 ... c Min unsat cost LB: 121398 ... c Min unsat cost LB: 121399 ... c Min unsat cost LB: 121400 ... c Min unsat cost LB: 121401 ... c Min unsat cost LB: 121402 ... c Min unsat cost LB: 121403 ... c Min unsat cost LB: 121404 ... c Min unsat cost LB: 121407 ... c Min unsat cost LB: 121408 ... c Min unsat cost LB: 121409 ... c Min unsat cost LB: 121410 ... c Min unsat cost LB: 121411 ... c Min unsat cost LB: 121412 ... c Min unsat cost LB: 121413 ... c Min unsat cost LB: 121414 ... c Min unsat cost LB: 121415 ... c Min unsat cost LB: 121416 ... c Min unsat cost LB: 121418 ... c Min unsat cost LB: 121419 ... c Min unsat cost LB: 121422 ... c Min unsat cost LB: 121423 ... c Min unsat cost LB: 121424 ... c Min unsat cost LB: 121425 ... c Min unsat cost LB: 121426 ... c Min unsat cost LB: 121427 ... c Min unsat cost LB: 121428 ... c Min unsat cost LB: 121429 ... c Min unsat cost LB: 121430 ... c Min unsat cost LB: 121431 ... c Min unsat cost LB: 121434 ... c Min unsat cost LB: 121436 ... c Min unsat cost LB: 121437 ... c Min unsat cost LB: 121438 ... c Min unsat cost LB: 121439 ... c Min unsat cost LB: 121441 ... c Min unsat cost LB: 121443 ... c Min unsat cost LB: 121444 ... c Min unsat cost LB: 121445 ... c Min unsat cost LB: 121446 ... c Min unsat cost LB: 121447 ... c Min unsat cost LB: 121448 ... c Min unsat cost LB: 121449 ... c Min unsat cost LB: 121450 ... c Min unsat cost LB: 121451 ... c Min unsat cost LB: 121452 ... c Min unsat cost LB: 121453 ... c Min unsat cost LB: 121454 ... c Min unsat cost LB: 121455 ... c Min unsat cost LB: 121456 ... c Min unsat cost LB: 121457 ... c Min unsat cost LB: 121458 ... c Min unsat cost LB: 121459 ... c Min unsat cost LB: 121460 ... c Min unsat cost LB: 121461 ... c Min unsat cost LB: 121462 ... c Min unsat cost LB: 121463 ... c Min unsat cost LB: 121464 ... c Min unsat cost LB: 121465 ... c Min unsat cost LB: 121466 ... c Min unsat cost LB: 121467 ... c Min unsat cost LB: 121468 ... c Min unsat cost LB: 121469 ... c Min unsat cost LB: 121470 ... c Min unsat cost LB: 121471 ... c Min unsat cost LB: 121472 ... c Min unsat cost LB: 121473 ... c Min unsat cost LB: 121474 ... c Min unsat cost LB: 121475 ... c Min unsat cost LB: 121476 ... c Min unsat cost LB: 121477 ... c Min unsat cost LB: 121478 ... c Min unsat cost LB: 121516 ... c Min unsat cost LB: 121517 ... c Min unsat cost LB: 121518 ... c Min unsat cost LB: 121519 ... c Min unsat cost LB: 121520 ... c Min unsat cost LB: 121521 ... c Min unsat cost LB: 121522 ... c Min unsat cost LB: 121523 ... c Min unsat cost LB: 121524 ... c Min unsat cost LB: 121525 ... c Min unsat cost LB: 121526 ... c Min unsat cost LB: 121530 ... c Min unsat cost LB: 121555 ... c Min unsat cost LB: 121556 ... c Min unsat cost LB: 121612 ... c Min unsat cost LB: 121613 ... c Min unsat cost LB: 121614 ... c Min unsat cost LB: 121615 ... c Min unsat cost LB: 121622 ... c Min unsat cost LB: 121623 ... c Min unsat cost LB: 121624 ... c Min unsat cost LB: 121625 ... c Min unsat cost LB: 121626 ... c Min unsat cost LB: 121627 ... c Min unsat cost LB: 121628 ... c Min unsat cost LB: 121629 ... c Min unsat cost LB: 121630 ... c Min unsat cost LB: 121631 ... c Min unsat cost LB: 121632 ... c Min unsat cost LB: 121633 ... c Min unsat cost LB: 121634 ... c Min unsat cost LB: 121635 ... c Min unsat cost LB: 121636 ... c Min unsat cost LB: 121637 ... c Min unsat cost LB: 121638 ... c Min unsat cost LB: 121644 ... c Min unsat cost LB: 121646 ... c Min unsat cost LB: 121647 ... c Min unsat cost LB: 121649 ... c Min unsat cost LB: 121661 ... c Min unsat cost LB: 121663 ... c Min unsat cost LB: 121667 ... c Min unsat cost LB: 121723 ... c Min unsat cost LB: 121725 ... c Min unsat cost LB: 121728 ... c Min unsat cost LB: 121741 ... c Min unsat cost LB: 121746 ... c Min unsat cost LB: 121748 ... c Min unsat cost LB: 121760 ... c Min unsat cost LB: 121761 ... c Min unsat cost LB: 121765 ... c Min unsat cost LB: 121768 ... c Min unsat cost LB: 121780 ... c Min unsat cost LB: 121781 ... c Min unsat cost LB: 121782 ... c Min unsat cost LB: 121788 ... c Min unsat cost LB: 121798 ... c Min unsat cost LB: 121799 ... c Min unsat cost LB: 121801 ... c Min unsat cost LB: 121803 ... c Min unsat cost LB: 121804 ... c Min unsat cost LB: 121809 ... c Min unsat cost LB: 121811 ... c Min unsat cost LB: 121813 ... c Min unsat cost LB: 121814 ... c Min unsat cost LB: 121817 ... c Min unsat cost LB: 121818 ... c Min unsat cost LB: 121822 ... c Min unsat cost LB: 121824 ... c Min unsat cost LB: 121825 ... c Min unsat cost LB: 121826 ... c Min unsat cost LB: 121827 ... c Min unsat cost LB: 121828 ... c Min unsat cost LB: 121829 ... c Min unsat cost LB: 121830 ... c Min unsat cost LB: 121832 ... c Min unsat cost LB: 121833 ... c Min unsat cost LB: 121834 ... c Min unsat cost LB: 121835 ... c Min unsat cost LB: 121836 ... c Min unsat cost LB: 121837 ... c Min unsat cost LB: 121838 ... c Min unsat cost LB: 121839 ... c Min unsat cost LB: 121840 ... c Min unsat cost LB: 121841 ... c Min unsat cost LB: 121842 ... c Min unsat cost LB: 121843 ... c Min unsat cost LB: 121844 ... c Min unsat cost LB: 121845 ... c Min unsat cost LB: 121850 ... c Min unsat cost LB: 121851 ... c Min unsat cost LB: 121853 ... c Min unsat cost LB: 121854 ... c Min unsat cost LB: 121855 ... c Min unsat cost LB: 121856 ... c Min unsat cost LB: 121857 ... c Min unsat cost LB: 121858 ... c Min unsat cost LB: 121859 ... c Min unsat cost LB: 121860 ... c Min unsat cost LB: 121861 ... c Min unsat cost LB: 121862 ... c Min unsat cost LB: 121863 ... c Min unsat cost LB: 121864 ... c Min unsat cost LB: 121865 ... c Min unsat cost LB: 121866 ... c Min unsat cost LB: 121867 ... c Min unsat cost LB: 121868 ... c Min unsat cost LB: 121869 ... c Min unsat cost LB: 121870 ... c Min unsat cost LB: 121871 ... c Min unsat cost LB: 121872 ... c Min unsat cost LB: 121873 ... c Min unsat cost LB: 121874 ... c Min unsat cost LB: 121875 ... c Min unsat cost LB: 121876 ... c Min unsat cost LB: 121877 ... c Min unsat cost LB: 121879 ... c Min unsat cost LB: 121880 ... c Min unsat cost LB: 121881 ... c Min unsat cost LB: 121883 ... c Min unsat cost LB: 121884 ... c Min unsat cost LB: 121885 ... c Min unsat cost LB: 121888 ... c Min unsat cost LB: 121890 ... c Min unsat cost LB: 121891 ... c Min unsat cost LB: 121892 ... c Min unsat cost LB: 121893 ... c Min unsat cost LB: 121924 ... c Min unsat cost LB: 121929 ... c Min unsat cost LB: 121955 ... c Min unsat cost LB: 121956 ... c Min unsat cost LB: 121957 ... c Min unsat cost LB: 121959 ... c Min unsat cost LB: 121977 ... c Min unsat cost LB: 121980 ... c Min unsat cost LB: 121982 ... c Min unsat cost LB: 121983 ... c Min unsat cost LB: 121984 ... c Min unsat cost LB: 121985 ... c Min unsat cost LB: 121987 ... c Min unsat cost LB: 121988 ... c Min unsat cost LB: 121996 ... c Min unsat cost LB: 121997 ... c Min unsat cost LB: 122025 ... c Min unsat cost LB: 122026 ... c Min unsat cost LB: 122027 ... c Min unsat cost LB: 122028 ... c Min unsat cost LB: 122029 ... c Min unsat cost LB: 122030 ... c Min unsat cost LB: 122031 ... c Min unsat cost LB: 122033 ... c Min unsat cost LB: 122035 ... c Min unsat cost LB: 122036 ... c Min unsat cost LB: 122037 ... c Min unsat cost LB: 122038 ... c Min unsat cost LB: 122040 ... c Min unsat cost LB: 122042 ... c Min unsat cost LB: 122043 ... c Min unsat cost LB: 122044 ... c Min unsat cost LB: 122045 ... c Min unsat cost LB: 122046 ... c Min unsat cost LB: 122047 ... c Min unsat cost LB: 122048 ... c Min unsat cost LB: 122049 ... c Min unsat cost LB: 122053 ... c Min unsat cost LB: 122054 ... c Min unsat cost LB: 122055 ... c Min unsat cost LB: 122056 ... c Min unsat cost LB: 122057 ... c Min unsat cost LB: 122058 ... c Min unsat cost LB: 122059 ... c Min unsat cost LB: 122060 ... c Min unsat cost LB: 122061 ... c Min unsat cost LB: 122062 ... c Min unsat cost LB: 122063 ... c Min unsat cost LB: 122064 ... c Min unsat cost LB: 122065 ... c Min unsat cost LB: 122066 ... c Min unsat cost LB: 122067 ... c Min unsat cost LB: 122068 ... c Min unsat cost LB: 122069 ... c Min unsat cost LB: 122070 ... c Min unsat cost LB: 122071 ... c Min unsat cost LB: 122072 ... c Min unsat cost LB: 122073 ... c Min unsat cost LB: 122074 ... c Min unsat cost LB: 122075 ... c Min unsat cost LB: 122076 ... c Min unsat cost LB: 122077 ... c Min unsat cost LB: 122078 ... c Min unsat cost LB: 122079 ... c Min unsat cost LB: 122089 ... c Min unsat cost LB: 122099 ... c Min unsat cost LB: 122175 ... c Min unsat cost LB: 122176 ... c Min unsat cost LB: 122177 ... c Min unsat cost LB: 122178 ... c Min unsat cost LB: 122185 ... c Min unsat cost LB: 122187 ... c Min unsat cost LB: 122190 ... c Min unsat cost LB: 122192 ... c Min unsat cost LB: 122193 ... c Min unsat cost LB: 122194 ... c Min unsat cost LB: 122195 ... c Min unsat cost LB: 122196 ... c Min unsat cost LB: 122197 ... c Min unsat cost LB: 122199 ... c Min unsat cost LB: 122200 ... c Min unsat cost LB: 122201 ... c Min unsat cost LB: 122202 ... c Min unsat cost LB: 122203 ... c Min unsat cost LB: 122205 ... c Min unsat cost LB: 122206 ... c Min unsat cost LB: 122207 ... c Min unsat cost LB: 122208 ... c Min unsat cost LB: 122209 ... c Min unsat cost LB: 122210 ... c Min unsat cost LB: 122211 ... c Min unsat cost LB: 122212 ... c Min unsat cost LB: 122213 ... c Min unsat cost LB: 122214 ... c Min unsat cost LB: 122215 ... c Min unsat cost LB: 122216 ... c Min unsat cost LB: 122217 ... c Min unsat cost LB: 122218 ... c Min unsat cost LB: 122219 ... c Min unsat cost LB: 122220 ... c Min unsat cost LB: 122221 ... c Min unsat cost LB: 122222 ... c Min unsat cost LB: 122224 ... c Min unsat cost LB: 122225 ... c Min unsat cost LB: 122226 ... c Min unsat cost LB: 122228 ... c Min unsat cost LB: 122229 ... c Min unsat cost LB: 122230 ... c Min unsat cost LB: 122231 ... c Min unsat cost LB: 122232 ... c Min unsat cost LB: 122233 ... c Min unsat cost LB: 122234 ... c Min unsat cost LB: 122235 ... c Min unsat cost LB: 122237 ... c Min unsat cost LB: 122238 ... c Min unsat cost LB: 122239 ... c Min unsat cost LB: 122241 ... c Min unsat cost LB: 122242 ... c Min unsat cost LB: 122243 ... c Min unsat cost LB: 122244 ... c Min unsat cost LB: 122245 ... c Min unsat cost LB: 122246 ... c Min unsat cost LB: 122247 ... c Min unsat cost LB: 122248 ... c Min unsat cost LB: 122249 ... c Min unsat cost LB: 122250 ... c Min unsat cost LB: 122251 ... c Min unsat cost LB: 122252 ... c Min unsat cost LB: 122253 ... c Min unsat cost LB: 122254 ... c Min unsat cost LB: 122255 ... c Min unsat cost LB: 122256 ... c Min unsat cost LB: 122257 ... c Min unsat cost LB: 122258 ... c Min unsat cost LB: 122259 ... c Min unsat cost LB: 122260 ... c Min unsat cost LB: 122261 ... c Min unsat cost LB: 122263 ... c Min unsat cost LB: 122264 ... c Min unsat cost LB: 122265 ... c Min unsat cost LB: 122266 ... c Min unsat cost LB: 122267 ... c Min unsat cost LB: 122268 ... c Min unsat cost LB: 122269 ... c Min unsat cost LB: 122270 ... c Min unsat cost LB: 122271 ... c Min unsat cost LB: 122272 ... c Min unsat cost LB: 122273 ... c Min unsat cost LB: 122274 ... c Min unsat cost LB: 122275 ... c Min unsat cost LB: 122276 ... c Min unsat cost LB: 122277 ... c Min unsat cost LB: 122278 ... c Min unsat cost LB: 122279 ... c Min unsat cost LB: 122280 ... c Min unsat cost LB: 122281 ... c Min unsat cost LB: 122282 ... c Min unsat cost LB: 122283 ... c Min unsat cost LB: 122284 ... c Min unsat cost LB: 122285 ... c Min unsat cost LB: 122286 ... c Min unsat cost LB: 122287 ... c Min unsat cost LB: 122288 ... c Min unsat cost LB: 122289 ... c Min unsat cost LB: 122290 ... c Min unsat cost LB: 122291 ... c Min unsat cost LB: 122292 ... c Min unsat cost LB: 122293 ... c Min unsat cost LB: 122294 ... c Min unsat cost LB: 122295 ... c Min unsat cost LB: 122296 ... c Min unsat cost LB: 122297 ... c Min unsat cost LB: 122298 ... c Min unsat cost LB: 122299 ... c Min unsat cost LB: 122300 ... c Min unsat cost LB: 122301 ... c Min unsat cost LB: 122302 ... c Min unsat cost LB: 122303 ... c Min unsat cost LB: 122304 ... c Min unsat cost LB: 122305 ... c Min unsat cost LB: 122306 ... c Min unsat cost LB: 122307 ... c Min unsat cost LB: 122308 ... c Min unsat cost LB: 122309 ... c Min unsat cost LB: 122310 ... c Min unsat cost LB: 122311 ... c Min unsat cost LB: 122312 ... c Min unsat cost LB: 122313 ... c Min unsat cost LB: 122314 ... c Min unsat cost LB: 122315 ... c Min unsat cost LB: 122316 ... c Min unsat cost LB: 122317 ... c Min unsat cost LB: 122318 ... c Min unsat cost LB: 122319 ... c Min unsat cost LB: 122320 ... c Min unsat cost LB: 122321 ... c Min unsat cost LB: 122322 ... c Min unsat cost LB: 122323 ... c Min unsat cost LB: 122324 ... c Min unsat cost LB: 122325 ... c Min unsat cost LB: 122326 ... c Min unsat cost LB: 122327 ... c Min unsat cost LB: 122328 ... c Min unsat cost LB: 122329 ... c Min unsat cost LB: 122330 ... c Min unsat cost LB: 122331 ... c Min unsat cost LB: 122332 ... c Min unsat cost LB: 122333 ... c Min unsat cost LB: 122334 ... c Min unsat cost LB: 122335 ... c Min unsat cost LB: 122336 ... c Min unsat cost LB: 122337 ... c Min unsat cost LB: 122347 ... c Min unsat cost LB: 122350 ... c Min unsat cost LB: 122351 ... c Min unsat cost LB: 122352 ... c Min unsat cost LB: 122353 ... c Min unsat cost LB: 122354 ... c Min unsat cost LB: 122355 ... c Min unsat cost LB: 122356 ... c Min unsat cost LB: 122357 ... c Min unsat cost LB: 122358 ... c Min unsat cost LB: 122359 ... c Min unsat cost LB: 122360 ... c Min unsat cost LB: 122361 ... c Min unsat cost LB: 122362 ... c Min unsat cost LB: 122363 ... c Min unsat cost LB: 122364 ... c Min unsat cost LB: 122365 ... c Min unsat cost LB: 122366 ... c Min unsat cost LB: 122367 ... c Min unsat cost LB: 122368 ... c Min unsat cost LB: 122369 ... c Min unsat cost LB: 122378 ... c Min unsat cost LB: 122392 ... c Min unsat cost LB: 122393 ... c Min unsat cost LB: 122394 ... c Min unsat cost LB: 122395 ... c Min unsat cost LB: 122396 ... c Min unsat cost LB: 122397 ... c Min unsat cost LB: 122398 ... c Min unsat cost LB: 122399 ... c Min unsat cost LB: 122400 ... c Min unsat cost LB: 122401 ... c Min unsat cost LB: 122402 ... c Min unsat cost LB: 122403 ... c Min unsat cost LB: 122404 ... c Min unsat cost LB: 122405 ... c Min unsat cost LB: 122406 ... c Min unsat cost LB: 122407 ... c Min unsat cost LB: 122408 ... c Min unsat cost LB: 122409 ... c Min unsat cost LB: 122410 ... c Min unsat cost LB: 122411 ... c Min unsat cost LB: 122412 ... c Min unsat cost LB: 122413 ... c Min unsat cost LB: 122414 ... c Min unsat cost LB: 122415 ... c Min unsat cost LB: 122416 ... c Min unsat cost LB: 122417 ... c Min unsat cost LB: 122418 ... c Min unsat cost LB: 122419 ... c Min unsat cost LB: 122420 ... c Min unsat cost LB: 122421 ... c Min unsat cost LB: 122422 ... c Min unsat cost LB: 122425 ... c Min unsat cost LB: 122428 ... c Min unsat cost LB: 122432 ... c Min unsat cost LB: 122433 ... c Min unsat cost LB: 122434 ... c Min unsat cost LB: 122435 ... c Min unsat cost LB: 122436 ... c Min unsat cost LB: 122437 ... c Min unsat cost LB: 122439 ... c Min unsat cost LB: 122440 ... c Min unsat cost LB: 122441 ... c Min unsat cost LB: 122442 ... c Min unsat cost LB: 122443 ... c Min unsat cost LB: 122444 ... c Min unsat cost LB: 122445 ... c Min unsat cost LB: 122446 ... c Min unsat cost LB: 122447 ... c Min unsat cost LB: 122448 ... c Min unsat cost LB: 122449 ... c Min unsat cost LB: 122450 ... c Min unsat cost LB: 122451 ... c Min unsat cost LB: 122452 ... c Min unsat cost LB: 122453 ... c Min unsat cost LB: 122457 ... c Min unsat cost LB: 122458 ... c Min unsat cost LB: 122459 ... c Min unsat cost LB: 122460 ... c Min unsat cost LB: 122461 ... c Min unsat cost LB: 122462 ... c Min unsat cost LB: 122463 ... c Min unsat cost LB: 122464 ... c Min unsat cost LB: 122465 ... c Min unsat cost LB: 122466 ... c Min unsat cost LB: 122467 ... c Min unsat cost LB: 122468 ... c Min unsat cost LB: 122469 ... c Min unsat cost LB: 122470 ... c Min unsat cost LB: 122471 ... c Min unsat cost LB: 122472 ... c Min unsat cost LB: 122473 ... c Min unsat cost LB: 122474 ... c Min unsat cost LB: 122475 ... c Min unsat cost LB: 122476 ... c Min unsat cost LB: 122477 ... c Min unsat cost LB: 122478 ... c Min unsat cost LB: 122479 ... c Min unsat cost LB: 122480 ... c Min unsat cost LB: 122481 ... c Min unsat cost LB: 122482 ... c Min unsat cost LB: 122484 ... c Min unsat cost LB: 122485 ... c Min unsat cost LB: 122486 ... c Min unsat cost LB: 122496 ... c Min unsat cost LB: 122497 ... c Min unsat cost LB: 122498 ... c Min unsat cost LB: 122499 ... c Min unsat cost LB: 122500 ... c Min unsat cost LB: 122501 ... c Min unsat cost LB: 122502 ... c Min unsat cost LB: 122503 ... c Min unsat cost LB: 122504 ... c Min unsat cost LB: 122505 ... c Min unsat cost LB: 122506 ... c Min unsat cost LB: 122507 ... c Min unsat cost LB: 122509 ... c Min unsat cost LB: 122511 ... c Min unsat cost LB: 122512 ... c Min unsat cost LB: 122513 ... c Min unsat cost LB: 122514 ... c Min unsat cost LB: 122530 ... c Min unsat cost LB: 122531 ... c Min unsat cost LB: 122605 ... c Min unsat cost LB: 122607 ... c Min unsat cost LB: 122608 ... c Min unsat cost LB: 122609 ... c Min unsat cost LB: 122610 ... c Min unsat cost LB: 122611 ... c Min unsat cost LB: 122612 ... c Min unsat cost LB: 122613 ... c Min unsat cost LB: 122614 ... c Min unsat cost LB: 122615 ... c Min unsat cost LB: 122616 ... c Min unsat cost LB: 122617 ... c Min unsat cost LB: 122618 ... c Min unsat cost LB: 122619 ... c Min unsat cost LB: 122623 ... c Min unsat cost LB: 122624 ... c Min unsat cost LB: 122625 ... c Min unsat cost LB: 122626 ... c Min unsat cost LB: 122627 ... c Min unsat cost LB: 122628 ... c Min unsat cost LB: 122629 ... c Min unsat cost LB: 122630 ... c Min unsat cost LB: 122634 ... c Min unsat cost LB: 122635 ... c Min unsat cost LB: 122636 ... c Min unsat cost LB: 122637 ... c Min unsat cost LB: 122638 ... c Min unsat cost LB: 122639 ... c Min unsat cost LB: 122640 ... c Min unsat cost LB: 122641 ... c Min unsat cost LB: 122642 ... c Min unsat cost LB: 122643 ... c Min unsat cost LB: 122644 ... c Min unsat cost LB: 122645 ... c Min unsat cost LB: 122646 ... c Min unsat cost LB: 122647 ... c Min unsat cost LB: 122648 ... c Min unsat cost LB: 122649 ... c Min unsat cost LB: 122650 ... c Min unsat cost LB: 122651 ... c Min unsat cost LB: 122652 ... c Min unsat cost LB: 122653 ... c Min unsat cost LB: 122654 ... c Min unsat cost LB: 122655 ... c Min unsat cost LB: 122656 ... c Min unsat cost LB: 122657 ... c Min unsat cost LB: 122658 ... c Min unsat cost LB: 122659 ... c Min unsat cost LB: 122660 ... c Min unsat cost LB: 122662 ... c Min unsat cost LB: 122663 ... c Min unsat cost LB: 122664 ... c Min unsat cost LB: 122665 ... c Min unsat cost LB: 122667 ... c Min unsat cost LB: 122668 ... c Min unsat cost LB: 122669 ... c Min unsat cost LB: 122670 ... c Min unsat cost LB: 122671 ... c Min unsat cost LB: 122672 ... c Min unsat cost LB: 122675 ... c Min unsat cost LB: 122679 ... c Min unsat cost LB: 122680 ... c Min unsat cost LB: 122685 ... c Min unsat cost LB: 122692 ... c Min unsat cost LB: 122694 ... c Min unsat cost LB: 122695 ... c Min unsat cost LB: 122696 ... c Min unsat cost LB: 122697 ... c Min unsat cost LB: 122698 ... c Min unsat cost LB: 122699 ... c Min unsat cost LB: 122700 ... c Min unsat cost LB: 122701 ... c Min unsat cost LB: 122702 ... c Min unsat cost LB: 122703 ... c Min unsat cost LB: 122704 ... c Min unsat cost LB: 122705 ... c Min unsat cost LB: 122707 ... c Min unsat cost LB: 122708 ... c Min unsat cost LB: 122709 ... c Min unsat cost LB: 122710 ... c Min unsat cost LB: 122711 ... c Min unsat cost LB: 122712 ... c Min unsat cost LB: 122717 ... c Min unsat cost LB: 122718 ... c Min unsat cost LB: 122719 ... c Min unsat cost LB: 122720 ... c Min unsat cost LB: 122721 ... c Min unsat cost LB: 122722 ... c Min unsat cost LB: 122723 ... c Min unsat cost LB: 122724 ... c Min unsat cost LB: 122731 ... c Min unsat cost LB: 122735 ... c Min unsat cost LB: 122737 ... c Min unsat cost LB: 122738 ... c Min unsat cost LB: 122739 ... c Min unsat cost LB: 122740 ... c Min unsat cost LB: 122758 ... c Min unsat cost LB: 122803 ... c Min unsat cost LB: 122811 ... c Min unsat cost LB: 122817 ... c Min unsat cost LB: 122818 ... c Min unsat cost LB: 122819 ... c Min unsat cost LB: 122820 ... c Min unsat cost LB: 122821 ... c Min unsat cost LB: 122822 ... c Min unsat cost LB: 122823 ... c Min unsat cost LB: 122824 ... c Min unsat cost LB: 122825 ... c Min unsat cost LB: 122827 ... c Min unsat cost LB: 122829 ... c Min unsat cost LB: 122830 ... c Min unsat cost LB: 122832 ... c Min unsat cost LB: 122836 ... c Min unsat cost LB: 122847 ... c Min unsat cost LB: 122848 ... c Min unsat cost LB: 122854 ... c Min unsat cost LB: 122856 ... c Min unsat cost LB: 122857 ... c Min unsat cost LB: 122858 ... c Min unsat cost LB: 122859 ... c Min unsat cost LB: 122860 ... c Min unsat cost LB: 122861 ... c Min unsat cost LB: 122862 ... c Min unsat cost LB: 122865 ... c Min unsat cost LB: 122866 ... c Min unsat cost LB: 122867 ... c Min unsat cost LB: 122870 ... c Min unsat cost LB: 122871 ... c Min unsat cost LB: 122872 ... c Min unsat cost LB: 122873 ... c Min unsat cost LB: 122874 ... c Min unsat cost LB: 122875 ... c Min unsat cost LB: 122876 ... c Min unsat cost LB: 122878 ... c Min unsat cost LB: 122880 ... c Min unsat cost LB: 122881 ... c Min unsat cost LB: 122882 ... c Min unsat cost LB: 122883 ... c Min unsat cost LB: 122893 ... c Min unsat cost LB: 122894 ... c Min unsat cost LB: 122895 ... c Min unsat cost LB: 122896 ... c Min unsat cost LB: 122897 ... c Min unsat cost LB: 122898 ... c Min unsat cost LB: 122899 ... c Min unsat cost LB: 122900 ... c Min unsat cost LB: 122901 ... c Min unsat cost LB: 122902 ... c Min unsat cost LB: 122904 ... c Min unsat cost LB: 122905 ... c Min unsat cost LB: 122908 ... c Min unsat cost LB: 122947 ... c Min unsat cost LB: 122954 ... c Min unsat cost LB: 123001 ... c Min unsat cost LB: 123003 ... c Min unsat cost LB: 123579 ... c Min unsat cost LB: 123580 ... c Min unsat cost LB: 123581 ... c Min unsat cost LB: 123582 ... c Min unsat cost LB: 123583 ... c Min unsat cost LB: 123584 ... c Min unsat cost LB: 123585 ... c Min unsat cost LB: 123586 ... c Min unsat cost LB: 123587 ... c Min unsat cost LB: 123588 ... c Min unsat cost LB: 123589 ... c Min unsat cost LB: 123590 ... c Min unsat cost LB: 123591 ... c Min unsat cost LB: 123592 ... c Min unsat cost LB: 123593 ... c Min unsat cost LB: 123594 ... c Min unsat cost LB: 123595 ... c Min unsat cost LB: 123596 ... c Min unsat cost LB: 123597 ... c Min unsat cost LB: 123598 ... c Min unsat cost LB: 123599 ... c Min unsat cost LB: 123600 ... c Min unsat cost LB: 123601 ... c Min unsat cost LB: 123602 ... c Min unsat cost LB: 123603 ... c Min unsat cost LB: 123604 ... c Min unsat cost LB: 123605 ... c Min unsat cost LB: 123606 ... c Min unsat cost LB: 123607 ... c Min unsat cost LB: 123608 ... c Min unsat cost LB: 123609 ... c Min unsat cost LB: 123610 ... c Min unsat cost LB: 123611 ... c Min unsat cost LB: 123612 ... c Min unsat cost LB: 123613 ... c Min unsat cost LB: 123614 ... c Min unsat cost LB: 123615 ... c Min unsat cost LB: 123616 ... c Min unsat cost LB: 123617 ... c Min unsat cost LB: 123618 ... c Min unsat cost LB: 123619 ... c Min unsat cost LB: 123620 ... c Min unsat cost LB: 123621 ... c Min unsat cost LB: 123622 ... c Min unsat cost LB: 123623 ... c Min unsat cost LB: 123624 ... c Min unsat cost LB: 123625 ... c Min unsat cost LB: 123626 ... c Min unsat cost LB: 123627 ... c Min unsat cost LB: 123628 ... c Min unsat cost LB: 123629 ... c Min unsat cost LB: 123630 ... c Min unsat cost LB: 123631 ... c Min unsat cost LB: 123632 ... c Min unsat cost LB: 123633 ... c Min unsat cost LB: 123634 ... c Min unsat cost LB: 123635 ... c Min unsat cost LB: 123636 ... c Min unsat cost LB: 123637 ... c Min unsat cost LB: 123638 ... c Min unsat cost LB: 123639 ... c Min unsat cost LB: 123640 ... c Min unsat cost LB: 123641 ... c Min unsat cost LB: 123642 ... c Min unsat cost LB: 123643 ... c Min unsat cost LB: 123644 ... c Min unsat cost LB: 123645 ... c Min unsat cost LB: 123647 ... c Min unsat cost LB: 123648 ... c Min unsat cost LB: 123649 ... c Min unsat cost LB: 123650 ... c Min unsat cost LB: 123651 ... c Min unsat cost LB: 123653 ... c Min unsat cost LB: 123657 ... c Min unsat cost LB: 123658 ... c Min unsat cost LB: 123659 ... c Min unsat cost LB: 123661 ... c Min unsat cost LB: 123662 ... c Min unsat cost LB: 123664 ... c Min unsat cost LB: 123665 ... c Min unsat cost LB: 123666 ... c Min unsat cost LB: 123667 ... c Min unsat cost LB: 123668 ... c Min unsat cost LB: 123669 ... c Min unsat cost LB: 123670 ... c Min unsat cost LB: 123671 ... c Min unsat cost LB: 123672 ... c Min unsat cost LB: 123673 ... c Min unsat cost LB: 123674 ... c Min unsat cost LB: 123675 ... c Min unsat cost LB: 123676 ... c Min unsat cost LB: 123677 ... c Min unsat cost LB: 123678 ... c Min unsat cost LB: 123679 ... c Min unsat cost LB: 123680 ... c Min unsat cost LB: 123681 ... c Min unsat cost LB: 123682 ... c Min unsat cost LB: 123683 ... c Min unsat cost LB: 123684 ... c Min unsat cost LB: 123685 ... c Min unsat cost LB: 123686 ... c Min unsat cost LB: 123687 ... c Min unsat cost LB: 123688 ... c Min unsat cost LB: 123689 ... c Min unsat cost LB: 123690 ... c Min unsat cost LB: 123691 ... c Min unsat cost LB: 123692 ... c Min unsat cost LB: 123693 ... c Min unsat cost LB: 123694 ... c Min unsat cost LB: 123696 ... c Min unsat cost LB: 123697 ... c Min unsat cost LB: 123698 ... c Min unsat cost LB: 123699 ... c Min unsat cost LB: 123700 ... c Min unsat cost LB: 123701 ... c Min unsat cost LB: 123702 ... c Min unsat cost LB: 123703 ... c Min unsat cost LB: 123704 ... c Min unsat cost LB: 123705 ... c Min unsat cost LB: 123706 ... c Min unsat cost LB: 123707 ... c Min unsat cost LB: 123708 ... c Min unsat cost LB: 123709 ... c Min unsat cost LB: 123710 ... c Min unsat cost LB: 123711 ... c Min unsat cost LB: 123712 ... c Min unsat cost LB: 123713 ... c Min unsat cost LB: 123714 ... c Min unsat cost LB: 123715 ... c Min unsat cost LB: 123716 ... c Min unsat cost LB: 123717 ... c Min unsat cost LB: 123718 ... c Min unsat cost LB: 123719 ... c Min unsat cost LB: 123720 ... c Min unsat cost LB: 123721 ... c Min unsat cost LB: 123722 ... c Min unsat cost LB: 123723 ... c Min unsat cost LB: 123724 ... c Min unsat cost LB: 123725 ... c Min unsat cost LB: 123726 ... c Min unsat cost LB: 123727 ... c Min unsat cost LB: 123728 ... c Min unsat cost LB: 123729 ... c Min unsat cost LB: 123730 ... c Min unsat cost LB: 123731 ... c Min unsat cost LB: 123732 ... c Min unsat cost LB: 123733 ... c Min unsat cost LB: 123734 ... c Min unsat cost LB: 123735 ... c Min unsat cost LB: 123736 ... c Min unsat cost LB: 123737 ... c Min unsat cost LB: 123738 ... c Min unsat cost LB: 123739 ... c Min unsat cost LB: 123740 ... c Min unsat cost LB: 123741 ... c Min unsat cost LB: 123742 ... c Min unsat cost LB: 123743 ... c Min unsat cost LB: 123744 ... c Min unsat cost LB: 123745 ... c Min unsat cost LB: 123746 ... c Min unsat cost LB: 123747 ... c Min unsat cost LB: 123748 ... c Min unsat cost LB: 123749 ... c Min unsat cost LB: 123750 ... c Min unsat cost LB: 123751 ... c Min unsat cost LB: 123752 ... c Min unsat cost LB: 123753 ... c Min unsat cost LB: 123754 ... c Min unsat cost LB: 123755 ... c Min unsat cost LB: 123756 ... c Min unsat cost LB: 123757 ... c Min unsat cost LB: 123758 ... c Min unsat cost LB: 123759 ... c Min unsat cost LB: 123760 ... c Min unsat cost LB: 123761 ... c Min unsat cost LB: 123762 ... c Min unsat cost LB: 123763 ... c Min unsat cost LB: 123764 ... c Min unsat cost LB: 123765 ... c Min unsat cost LB: 123766 ... c Min unsat cost LB: 123767 ... c Min unsat cost LB: 123768 ... c Min unsat cost LB: 123769 ... c Min unsat cost LB: 123770 ... c Min unsat cost LB: 123771 ... c Min unsat cost LB: 123772 ... c Min unsat cost LB: 123773 ... c Min unsat cost LB: 123774 ... c Min unsat cost LB: 123775 ... c Min unsat cost LB: 123776 ... c Min unsat cost LB: 123777 ... c Min unsat cost LB: 123778 ... c Min unsat cost LB: 123779 ... c Min unsat cost LB: 123780 ... c Min unsat cost LB: 123781 ... c Min unsat cost LB: 123782 ... c Min unsat cost LB: 123783 ... c Min unsat cost LB: 123784 ... c Min unsat cost LB: 123785 ... c Min unsat cost LB: 123786 ... c Min unsat cost LB: 123787 ... c Min unsat cost LB: 123788 ... c Min unsat cost LB: 123789 ... c Min unsat cost LB: 123790 ... c Min unsat cost LB: 123791 ... c Min unsat cost LB: 123792 ... c Min unsat cost LB: 123793 ... c Min unsat cost LB: 123794 ... c Min unsat cost LB: 123795 ... c Min unsat cost LB: 123796 ... c Min unsat cost LB: 123797 ... c Min unsat cost LB: 123798 ... c Min unsat cost LB: 123799 ... c Min unsat cost LB: 123800 ... c Min unsatKilled 1816.077u 3.658s 30:20.68 99.9% 0+0k 0+0io 0pf+0w