Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_200_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0000.txt.wcnf *** c c Min unsat cost LB: 1740 ... c Min unsat cost LB: 3062 ... c Min unsat cost LB: 3247 ... c Min unsat cost LB: 4987 ... c Min unsat cost LB: 6264 ... c Min unsat cost LB: 8004 ... c Min unsat cost LB: 9744 ... c Min unsat cost LB: 11484 ... c Min unsat cost LB: 11988 ... c Min unsat cost LB: 13310 ... c Min unsat cost LB: 14598 ... c Min unsat cost LB: 15102 ... c Min unsat cost LB: 16390 ... c Min unsat cost LB: 16894 ... c Min unsat cost LB: 17079 ... c Min unsat cost LB: 17583 ... c Min unsat cost LB: 18087 ... c Min unsat cost LB: 18591 ... c Min unsat cost LB: 18810 ... c Min unsat cost LB: 19879 ... c Min unsat cost LB: 20383 ... c Min unsat cost LB: 20887 ... c Min unsat cost LB: 22175 ... c Min unsat cost LB: 22403 ... c Min unsat cost LB: 22631 ... c Min unsat cost LB: 23083 ... c Min unsat cost LB: 23919 ... c Min unsat cost LB: 25207 ... c Min unsat cost LB: 26111 ... c Min unsat cost LB: 27248 ... c Min unsat cost LB: 27399 ... c Min unsat cost LB: 27837 ... c Min unsat cost LB: 28056 ... c Min unsat cost LB: 29796 ... c Min unsat cost LB: 30933 ... c Min unsat cost LB: 30989 ... c Min unsat cost LB: 32182 ... c Min unsat cost LB: 32729 ... c Min unsat cost LB: 33005 ... c Min unsat cost LB: 33636 ... c Min unsat cost LB: 34924 ... c Min unsat cost LB: 35181 ... c Min unsat cost LB: 35409 ... c Min unsat cost LB: 35913 ... c Min unsat cost LB: 36160 ... c Min unsat cost LB: 36170 ... c Min unsat cost LB: 36427 ... c Min unsat cost LB: 36684 ... c Min unsat cost LB: 36941 ... c Min unsat cost LB: 37325 ... c Min unsat cost LB: 39065 ... c Min unsat cost LB: 39322 ... c Min unsat cost LB: 39579 ... c Min unsat cost LB: 39836 ... c Min unsat cost LB: 40093 ... c Min unsat cost LB: 40330 ... c Min unsat cost LB: 40587 ... c Min unsat cost LB: 40606 ... c Min unsat cost LB: 40863 ... c Min unsat cost LB: 41120 ... c Min unsat cost LB: 41377 ... c Min unsat cost LB: 41934 ... c Min unsat cost LB: 42089 ... c Min unsat cost LB: 42346 ... c Min unsat cost LB: 42584 ... c Min unsat cost LB: 42841 ... c Min unsat cost LB: 43098 ... c Min unsat cost LB: 43355 ... c Min unsat cost LB: 43958 ... c Min unsat cost LB: 44182 ... c Min unsat cost LB: 44406 ... c Min unsat cost LB: 44663 ... c Min unsat cost LB: 44887 ... c Min unsat cost LB: 45111 ... c Min unsat cost LB: 45225 ... c Min unsat cost LB: 45782 ... c Min unsat cost LB: 45974 ... c Min unsat cost LB: 46166 ... c Min unsat cost LB: 46723 ... c Min unsat cost LB: 47227 ... c Min unsat cost LB: 47260 ... c Min unsat cost LB: 47452 ... c Min unsat cost LB: 48009 ... c Min unsat cost LB: 48246 ... c Min unsat cost LB: 48311 ... c Min unsat cost LB: 48734 ... c Min unsat cost LB: 48861 ... c Min unsat cost LB: 48914 ... c Min unsat cost LB: 48915 ... c Min unsat cost LB: 49106 ... c Min unsat cost LB: 49663 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 50424 ... c Min unsat cost LB: 50612 ... c Min unsat cost LB: 50708 ... c Min unsat cost LB: 51265 ... c Min unsat cost LB: 51822 ... c Min unsat cost LB: 51977 ... c Min unsat cost LB: 52481 ... c Min unsat cost LB: 52728 ... c Min unsat cost LB: 52985 ... c Min unsat cost LB: 53242 ... c Min unsat cost LB: 54274 ... c Min unsat cost LB: 55543 ... c Min unsat cost LB: 56100 ... c Min unsat cost LB: 56357 ... c Min unsat cost LB: 56759 ... c Min unsat cost LB: 57059 ... c Min unsat cost LB: 57616 ... c Min unsat cost LB: 57873 ... c Min unsat cost LB: 58110 ... c Min unsat cost LB: 58367 ... c Min unsat cost LB: 58377 ... c Min unsat cost LB: 59646 ... c Min unsat cost LB: 60061 ... c Min unsat cost LB: 61330 ... c Min unsat cost LB: 61877 ... c Min unsat cost LB: 62011 ... c Min unsat cost LB: 62568 ... c Min unsat cost LB: 62599 ... c Min unsat cost LB: 62777 ... c Min unsat cost LB: 62797 ... c Min unsat cost LB: 64066 ... c Min unsat cost LB: 64623 ... c Min unsat cost LB: 64880 ... c Min unsat cost LB: 65406 ... c Min unsat cost LB: 65963 ... c Min unsat cost LB: 66154 ... c Min unsat cost LB: 66470 ... c Min unsat cost LB: 67413 ... c Min unsat cost LB: 68682 ... c Min unsat cost LB: 68889 ... c Min unsat cost LB: 70004 ... c Min unsat cost LB: 70094 ... c Min unsat cost LB: 70193 ... c Min unsat cost LB: 71462 ... c Min unsat cost LB: 71700 ... c Min unsat cost LB: 72969 ... c Min unsat cost LB: 73226 ... c Min unsat cost LB: 74257 ... c Min unsat cost LB: 74733 ... c Min unsat cost LB: 75941 ... c Min unsat cost LB: 77111 ... c Min unsat cost LB: 77210 ... c Min unsat cost LB: 78479 ... c Min unsat cost LB: 78618 ... c Min unsat cost LB: 78637 ... c Min unsat cost LB: 80144 ... c Min unsat cost LB: 80701 ... c Min unsat cost LB: 80739 ... c Min unsat cost LB: 81131 ... c Min unsat cost LB: 81598 ... c Min unsat cost LB: 81855 ... c Min unsat cost LB: 82047 ... c Min unsat cost LB: 83082 ... c Min unsat cost LB: 83339 ... c Min unsat cost LB: 84608 ... c Min unsat cost LB: 86115 ... c Min unsat cost LB: 86587 ... c Min unsat cost LB: 86952 ... c Min unsat cost LB: 87176 ... c Min unsat cost LB: 87338 ... c Min unsat cost LB: 87637 ... c Min unsat cost LB: 87894 ... c Min unsat cost LB: 88151 ... c Min unsat cost LB: 89658 ... c Min unsat cost LB: 91165 ... c Min unsat cost LB: 91877 ... c Min unsat cost LB: 92115 ... c Min unsat cost LB: 92910 ... c Min unsat cost LB: 94337 ... c Min unsat cost LB: 95844 ... c Min unsat cost LB: 96556 ... c Min unsat cost LB: 96748 ... c Min unsat cost LB: 96843 ... c Min unsat cost LB: 98270 ... c Min unsat cost LB: 98488 ... c Min unsat cost LB: 99283 ... c Min unsat cost LB: 99959 ... c Min unsat cost LB: 100156 ... c Min unsat cost LB: 101663 ... c Min unsat cost LB: 103132 ... c Min unsat cost LB: 104140 ... c Min unsat cost LB: 105804 ... c Min unsat cost LB: 105842 ... c Min unsat cost LB: 106019 ... c Min unsat cost LB: 106576 ... c Min unsat cost LB: 107133 ... c Min unsat cost LB: 107637 ... c Min unsat cost LB: 107874 ... c Min unsat cost LB: 107988 ... c Min unsat cost LB: 108455 ... c Min unsat cost LB: 108676 ... c Min unsat cost LB: 110416 ... c Min unsat cost LB: 110492 ... c Min unsat cost LB: 111224 ... c Min unsat cost LB: 112711 ... c Min unsat cost LB: 112791 ... c Min unsat cost LB: 114298 ... c Min unsat cost LB: 115725 ... c Min unsat cost LB: 116765 ... c Min unsat cost LB: 117232 ... c Min unsat cost LB: 118184 ... c Min unsat cost LB: 118203 ... c Min unsat cost LB: 118648 ... c Min unsat cost LB: 119917 ... c Min unsat cost LB: 120155 ... c Min unsat cost LB: 120235 ... c Min unsat cost LB: 121662 ... c Min unsat cost LB: 121742 ... c Min unsat cost LB: 122984 ... c Min unsat cost LB: 123011 ... c Min unsat cost LB: 123169 ... c Min unsat cost LB: 123723 ... c Min unsat cost LB: 123726 ... c Min unsat cost LB: 123878 ... c Min unsat cost LB: 124271 ... c Min unsat cost LB: 124283 ... c Min unsat cost LB: 124292 ... c Min unsat cost LB: 124747 ... c Min unsat cost LB: 124965 ... c Min unsat cost LB: 124968 ... c Min unsat cost LB: 125006 ... c Min unsat cost LB: 125603 ... c Min unsat cost LB: 125840 ... c Min unsat cost LB: 126056 ... c Min unsat cost LB: 126084 ... c Min unsat cost LB: 126087 ... c Min unsat cost LB: 126591 ... c Min unsat cost LB: 126730 ... c Min unsat cost LB: 126894 ... c Min unsat cost LB: 126947 ... c Min unsat cost LB: 127118 ... c Min unsat cost LB: 127151 ... c Min unsat cost LB: 127247 ... c Min unsat cost LB: 127358 ... c Min unsat cost LB: 127549 ... c Min unsat cost LB: 127708 ... c Min unsat cost LB: 127896 ... c Min unsat cost LB: 127973 ... c Min unsat cost LB: 128073 ... c Min unsat cost LB: 128297 ... c Min unsat cost LB: 128330 ... c Min unsat cost LB: 128383 ... c Min unsat cost LB: 128403 ... c Min unsat cost LB: 128659 ... c Min unsat cost LB: 129403 ... c Min unsat cost LB: 129595 ... c Min unsat cost LB: 129660 ... c Min unsat cost LB: 129688 ... c Min unsat cost LB: 129691 ... c Min unsat cost LB: 129799 ... c Min unsat cost LB: 129917 ... c Min unsat cost LB: 129988 ... c Min unsat cost LB: 129989 ... c Min unsat cost LB: 129991 ... c Min unsat cost LB: 130116 ... c Min unsat cost LB: 130174 ... c Min unsat cost LB: 130204 ... c Min unsat cost LB: 130627 ... c Min unsat cost LB: 130708 ... c Min unsat cost LB: 130927 ... c Min unsat cost LB: 131146 ... c Min unsat cost LB: 131147 ... c Min unsat cost LB: 131165 ... c Min unsat cost LB: 131275 ... c Min unsat cost LB: 131422 ... c Min unsat cost LB: 131435 ... c Min unsat cost LB: 131473 ... c Min unsat cost LB: 131499 ... c Min unsat cost LB: 131679 ... c Min unsat cost LB: 131683 ... c Min unsat cost LB: 131723 ... c Min unsat cost LB: 131787 ... c Min unsat cost LB: 132117 ... c Min unsat cost LB: 132152 ... c Min unsat cost LB: 132291 ... c Min unsat cost LB: 132355 ... c Min unsat cost LB: 132440 ... c Min unsat cost LB: 132450 ... c Min unsat cost LB: 132451 ... c Min unsat cost LB: 132494 ... c Min unsat cost LB: 132707 ... c Min unsat cost LB: 132718 ... c Min unsat cost LB: 132889 ... c Min unsat cost LB: 132924 ... c Min unsat cost LB: 132955 ... c Min unsat cost LB: 133089 ... c Min unsat cost LB: 133103 ... c Min unsat cost LB: 133152 ... c Min unsat cost LB: 133256 ... c Min unsat cost LB: 133325 ... c Min unsat cost LB: 133646 ... c Min unsat cost LB: 133860 ... c Min unsat cost LB: 133884 ... c Min unsat cost LB: 134023 ... c Min unsat cost LB: 134117 ... c Min unsat cost LB: 134374 ... c Min unsat cost LB: 134398 ... c Min unsat cost LB: 134417 ... c Min unsat cost LB: 134427 ... c Min unsat cost LB: 134641 ... c Min unsat cost LB: 134684 ... c Min unsat cost LB: 134745 ... c Min unsat cost LB: 134826 ... c Min unsat cost LB: 134832 ... c Min unsat cost LB: 134851 ... c Min unsat cost LB: 134870 ... c Min unsat cost LB: 135117 ... c Min unsat cost LB: 135145 ... c Min unsat cost LB: 135183 ... c Min unsat cost LB: 135305 ... c Min unsat cost LB: 135336 ... c Min unsat cost LB: 135355 ... c Min unsat cost LB: 135408 ... c Min unsat cost LB: 135498 ... c Min unsat cost LB: 135506 ... c Min unsat cost LB: 135555 ... c Min unsat cost LB: 135582 ... c Min unsat cost LB: 135594 ... c Min unsat cost LB: 135687 ... c Min unsat cost LB: 135701 ... c Min unsat cost LB: 135829 ... c Min unsat cost LB: 135924 ... c Min unsat cost LB: 136181 ... c Min unsat cost LB: 136296 ... c Min unsat cost LB: 136362 ... c Min unsat cost LB: 136695 ... c Min unsat cost LB: 136775 ... c Min unsat cost LB: 136792 ... c Min unsat cost LB: 136890 ... c Min unsat cost LB: 136909 ... c Min unsat cost LB: 136980 ... c Min unsat cost LB: 137079 ... c Min unsat cost LB: 137132 ... c Min unsat cost LB: 137239 ... c Min unsat cost LB: 137276 ... c Min unsat cost LB: 137370 ... c Min unsat cost LB: 137981 ... c Min unsat cost LB: 138115 ... c Min unsat cost LB: 138200 ... c Min unsat cost LB: 138225 ... c Min unsat cost LB: 138679 ... c Min unsat cost LB: 138742 ... c Min unsat cost LB: 138910 ... c Min unsat cost LB: 139072 ... c Min unsat cost LB: 139156 ... c Min unsat cost LB: 139307 ... c Min unsat cost LB: 139369 ... c Min unsat cost LB: 139390 ... c Min unsat cost LB: 139425 ... c Min unsat cost LB: 139741 ... c Min unsat cost LB: 139817 ... c Min unsat cost LB: 139832 ... c Min unsat cost LB: 140131 ... c Min unsat cost LB: 140389 ... c Min unsat cost LB: 140445 ... c Min unsat cost LB: 140494 ... c Min unsat cost LB: 140642 ... c Min unsat cost LB: 140653 ... c Min unsat cost LB: 140681 ... c Min unsat cost LB: 140966 ... c Min unsat cost LB: 141176 ... c Min unsat cost LB: 141582 ... c Min unsat cost LB: 141615 ... c Min unsat cost LB: 141643 ... c Min unsat cost LB: 141754 ... c Min unsat cost LB: 141982 ... c Min unsat cost LB: 142089 ... c Min unsat cost LB: 142169 ... c Min unsat cost LB: 142532 ... c Min unsat cost LB: 142575 ... c Min unsat cost LB: 142673 ... c Min unsat cost LB: 142714 ... c Min unsat cost LB: 142850 ... c Min unsat cost LB: 143006 ... c Min unsat cost LB: 143082 ... c Min unsat cost LB: 143105 ... c Min unsat cost LB: 143445 ... c Min unsat cost LB: 143782 ... c Min unsat cost LB: 143967 ... c Min unsat cost LB: 144188 ... c Min unsat cost LB: 144616 ... c Min unsat cost LB: 144897 ... c Min unsat cost LB: 144995 ... c Min unsat cost LB: 145209 ... c Min unsat cost LB: 145235 ... c Min unsat cost LB: 145317 ... c Min unsat cost LB: 145434 ... c Min unsat cost LB: 145589 ... c Min unsat cost LB: 145767 ... c Min unsat cost LB: 145805 ... c Min unsat cost LB: 145908 ... c Min unsat cost LB: 146087 ... c Min unsat cost LB: 146201 ... c Min unsat cost LB: 146736 ... c Min unsat cost LB: 146875 ... c Min unsat cost LB: 147159 ... c Min unsat cost LB: 147160 ... c Min unsat cost LB: 147371 ... c Min unsat cost LB: 147454 ... c Min unsat cost LB: 147589 ... c Min unsat cost LB: 147673 ... c Min unsat cost LB: 147728 ... c Min unsat cost LB: 147766 ... c Min unsat cost LB: 147792 ... c Min unsat cost LB: 147804 ... c Min unsat cost LB: 147863 ... c Min unsat cost LB: 148124 ... c Min unsat cost LB: 148152 ... c Min unsat cost LB: 148386 ... c Min unsat cost LB: 148753 ... c Min unsat cost LB: 149731 ... c Min unsat cost LB: 149981 ... c Min unsat cost LB: 150065 ... c Min unsat cost LB: 150356 ... c Min unsat cost LB: 150635 ... c Min unsat cost LB: 151260 ... c Min unsat cost LB: 151764 ... c Min unsat cost LB: 152099 ... c Min unsat cost LB: 152309 ... c Min unsat cost LB: 152372 ... c Min unsat cost LB: 152375 ... c Min unsat cost LB: 152448 ... c Min unsat cost LB: 152464 ... c Min unsat cost LB: 152473 ... c Min unsat cost LB: 152537 ... c Min unsat cost LB: 152550 ... c Min unsat cost LB: 152625 ... c Min unsat cost LB: 152843 ... c Min unsat cost LB: 153080 ... c Min unsat cost LB: 153194 ... c Min unsat cost LB: 153208 ... c Min unsat cost LB: 153305 ... c Min unsat cost LB: 153339 ... c Min unsat cost LB: 153385 ... c Min unsat cost LB: 153436 ... c Min unsat cost LB: 153544 ... c Min unsat cost LB: 153577 ... c Min unsat cost LB: 153580 ... c Min unsat cost LB: 153673 ... c Min unsat cost LB: 153753 ... c Min unsat cost LB: 154581 ... c Min unsat cost LB: 154584 ... c Min unsat cost LB: 154597 ... c Min unsat cost LB: 154661 ... c Min unsat cost LB: 154674 ... c Min unsat cost LB: 154687 ... c Min unsat cost LB: 154718 ... c Min unsat cost LB: 154732 ... c Min unsat cost LB: 154747 ... c Min unsat cost LB: 154790 ... c Min unsat cost LB: 154818 ... c Min unsat cost LB: 154836 ... c Min unsat cost LB: 154879 ... c Min unsat cost LB: 154899 ... c Min unsat cost LB: 154905 ... c Min unsat cost LB: 154917 ... c Min unsat cost LB: 154947 ... c Min unsat cost LB: 154993 ... c Min unsat cost LB: 155026 ... c Min unsat cost LB: 155056 ... c Min unsat cost LB: 155114 ... c Min unsat cost LB: 155130 ... c Min unsat cost LB: 155170 ... c Min unsat cost LB: 155186 ... c Min unsat cost LB: 155243 ... c Min unsat cost LB: 155257 ... c Min unsat cost LB: 155292 ... c Min unsat cost LB: 155294 ... c Min unsat cost LB: 155311 ... c Min unsat cost LB: 155320 ... c Min unsat cost LB: 155329 ... c Min unsat cost LB: 155411 ... c Min unsat cost LB: 155625 ... c Min unsat cost LB: 155666 ... c Min unsat cost LB: 155723 ... c Min unsat cost LB: 155931 ... c Min unsat cost LB: 155972 ... c Min unsat cost LB: 156004 ... c Min unsat cost LB: 156013 ... c Min unsat cost LB: 156056 ... c Min unsat cost LB: 156057 ... c Min unsat cost LB: 156060 ... c Min unsat cost LB: 156085 ... c Min unsat cost LB: 156087 ... c Min unsat cost LB: 156088 ... c Min unsat cost LB: 156125 ... c Min unsat cost LB: 156168 ... c Min unsat cost LB: 156175 ... c Min unsat cost LB: 156194 ... c Min unsat cost LB: 156203 ... c Min unsat cost LB: 156204 ... c Min unsat cost LB: 156205 ... c Min unsat cost LB: 156206 ... c Min unsat cost LB: 156207 ... c Min unsat cost LB: 156220 ... c Min unsat cost LB: 156248 ... c Min unsat cost LB: 156250 ... c Min unsat cost LB: 156277 ... c Min unsat cost LB: 156280 ... c Min unsat cost LB: 156293 ... c Min unsat cost LB: 156295 ... c Min unsat cost LB: 156296 ... c Min unsat cost LB: 156300 ... c Min unsat cost LB: 156307 ... c Min unsat cost LB: 156322 ... c Min unsat cost LB: 156338 ... c Min unsat cost LB: 156362 ... c Min unsat cost LB: 156365 ... c Min unsat cost LB: 156384 ... c Min unsat cost LB: 156389 ... c Min unsat cost LB: 156471 ... c Min unsat cost LB: 156525 ... c Min unsat cost LB: 156585 ... c Min unsat cost LB: 156586 ... c Min unsat cost LB: 156589 ... c Min unsat cost LB: 156590 ... c Min unsat cost LB: 156608 ... c Min unsat cost LB: 156689 ... c Min unsat cost LB: 156759 ... c Min unsat cost LB: 156780 ... c Min unsat cost LB: 156783 ... c Min unsat cost LB: 156808 ... c Min unsat cost LB: 156844 ... c Min unsat cost LB: 156869 ... c Min unsat cost LB: 156872 ... c Min unsat cost LB: 156873 ... c Min unsat cost LB: 156883 ... c Min unsat cost LB: 156886 ... c Min unsat cost LB: 156887 ... c Min unsat cost LB: 156888 ... c Min unsat cost LB: 156889 ... c Min unsat cost LB: 156998 ... c Min unsat cost LB: 157000 ... c Min unsat cost LB: 157003 ... c Min unsat cost LB: 157008 ... c Min unsat cost LB: 157010 ... c Min unsat cost LB: 157011 ... c Min unsat cost LB: 157014 ... c Min unsat cost LB: 157016 ... c Min unsat cost LB: 157017 ... c Min unsat cost LB: 157019 ... c Min unsat cost LB: 157022 ... c Min unsat cost LB: 157023 ... c Min unsat cost LB: 157024 ... c Min unsat cost LB: 157068 ... c Min unsat cost LB: 157071 ... c Min unsat cost LB: 157072 ... c Min unsat cost LB: 157075 ... c Min unsat cost LB: 157078 ... c Min unsat cost LB: 157079 ... c Min unsat cost LB: 157084 ... c Min unsat cost LB: 157085 ... c Min unsat cost LB: 157087 ... c Min unsat cost LB: 157088 ... c Min unsat cost LB: 157103 ... c Min unsat cost LB: 157106 ... c Min unsat cost LB: 157112 ... c Min unsat cost LB: 157113 ... c Min unsat cost LB: 157115 ... c Min unsat cost LB: 157116 ... c Min unsat cost LB: 157117 ... c Min unsat cost LB: 157119 ... c Min unsat cost LB: 157128 ... c Min unsat cost LB: 157129 ... c Min unsat cost LB: 157130 ... c Min unsat cost LB: 157132 ... c Min unsat cost LB: 157137 ... c Min unsat cost LB: 157144 ... c Min unsat cost LB: 157145 ... c Min unsat cost LB: 157153 ... c Min unsat cost LB: 157158 ... c Min unsat cost LB: 157159 ... c Min unsat cost LB: 157163 ... c Min unsat cost LB: 157234 ... c Min unsat cost LB: 157237 ... c Min unsat cost LB: 157244 ... c Min unsat cost LB: 157287 ... c Min unsat cost LB: 157290 ... c Min unsat cost LB: 157295 ... c Min unsat cost LB: 157297 ... c Min unsat cost LB: 157301 ... c Min unsat cost LB: 157320 ... c Min unsat cost LB: 157322 ... c Min unsat cost LB: 157332 ... c Min unsat cost LB: 157337 ... c Min unsat cost LB: 157347 ... c Min unsat cost LB: 157354 ... c Min unsat cost LB: 157360 ... c Min unsat cost LB: 157361 ... c Min unsat cost LB: 157390 ... c Min unsat cost LB: 157393 ... c Min unsat cost LB: 157398 ... c Min unsat cost LB: 157399 ... c Min unsat cost LB: 157413 ... c Min unsat cost LB: 157421 ... c Min unsat cost LB: 157427 ... c Min unsat cost LB: 157458 ... c Min unsat cost LB: 157470 ... c Min unsat cost LB: 157471 ... c Min unsat cost LB: 157490 ... c Min unsat cost LB: 157506 ... c Min unsat cost LB: 157525 ... c Min unsat cost LB: 157529 ... c Min unsat cost LB: 157532 ... c Min unsat cost LB: 157533 ... c Min unsat cost LB: 157534 ... c Min unsat cost LB: 157535 ... c Min unsat cost LB: 157536 ... c Min unsat cost LB: 157537 ... c Min unsat cost LB: 157538 ... c Min unsat cost LB: 157539 ... c Min unsat cost LB: 157562 ... c Min unsat cost LB: 157563 ... c Min unsat cost LB: 157609 ... c Min unsat cost LB: 157638 ... c Min unsat cost LB: 157657 ... c Min unsat cost LB: 157666 ... c Min unsat cost LB: 157671 ... c Min unsat cost LB: 157673 ... c Min unsat cost LB: 157674 ... c Min unsat cost LB: 157675 ... c Min unsat cost LB: 157676 ... c Min unsat cost LB: 157736 ... c Min unsat cost LB: 157739 ... c Min unsat cost LB: 157742 ... c Min unsat cost LB: 157745 ... c Min unsat cost LB: 157749 ... c Min unsat cost LB: 157863 ... c Min unsat cost LB: 157887 ... c Min unsat cost LB: 157917 ... c Min unsat cost LB: 157923 ... c Min unsat cost LB: 158075 ... c Min unsat cost LB: 158078 ... c Min unsat cost LB: 158081 ... c Min unsat cost LB: 158082 ... c Min unsat cost LB: 158084 ... c Min unsat cost LB: 158091 ... c Min unsat cost LB: 158101 ... c Min unsat cost LB: 158143 ... c Min unsat cost LB: 158156 ... c Min unsat cost LB: 158176 ... c Min unsat cost LB: 158188 ... c Min unsat cost LB: 158197 ... c Min unsat cost LB: 158242 ... c Min unsat cost LB: 158406 ... c Min unsat cost LB: 158432 ... c Min unsat cost LB: 158480 ... c Min unsat cost LB: 158496 ... c Min unsat cost LB: 158497 ... c Min unsat cost LB: 158498 ... c Min unsat cost LB: 158510 ... c Min unsat cost LB: 158511 ... c Min unsat cost LB: 158560 ... c Min unsat cost LB: 158561 ... c Min unsat cost LB: 158572 ... c Min unsat cost LB: 158573 ... c Min unsat cost LB: 158579 ... c Min unsat cost LB: 158582 ... c Min unsat cost LB: 158583 ... c Min unsat cost LB: 158584 ... c Min unsat cost LB: 158590 ... c Min unsat cost LB: 158591 ... c Min unsat cost LB: 158592 ... c Min unsat cost LB: 158595 ... c Min unsat cost LB: 158596 ... c Min unsat cost LB: 158598 ... c Min unsat cost LB: 158600 ... c Min unsat cost LB: 158606 ... c Min unsat cost LB: 158607 ... c Min unsat cost LB: 158608 ... c Min unsat cost LB: 158609 ... c Min unsat cost LB: 158610 ... c Min unsat cost LB: 158611 ... c Min unsat cost LB: 158612 ... c Min unsat cost LB: 158613 ... c Min unsat cost LB: 158624 ... c Min unsat cost LB: 158627 ... c Min unsat cost LB: 158636 ... c Min unsat cost LB: 158646 ... c Min unsat cost LB: 158739 ... c Min unsat cost LB: 158880 ... c Min unsat cost LB: 158899 ... c Min unsat cost LB: 158911 ... c Min unsat cost LB: 158912 ... c Min unsat cost LB: 158974 ... c Min unsat cost LB: 158977 ... c Min unsat cost LB: 158986 ... c Min unsat cost LB: 158988 ... c Min unsat cost LB: 158989 ... c Min unsat cost LB: 158990 ... c Min unsat cost LB: 158993 ... c Min unsat cost LB: 158996 ... c Min unsat cost LB: 159001 ... c Min unsat cost LB: 159006 ... c Min unsat cost LB: 159009 ... c Min unsat cost LB: 159017 ... c Min unsat cost LB: 159021 ... c Min unsat cost LB: 159024 ... c Min unsat cost LB: 159027 ... c Min unsat cost LB: 159032 ... c Min unsat cost LB: 159033 ... c Min unsat cost LB: 159040 ... c Min unsat cost LB: 159050 ... c Min unsat cost LB: 159058 ... c Min unsat cost LB: 159140 ... c Min unsat cost LB: 159149 ... c Min unsat cost LB: 159171 ... c Min unsat cost LB: 159176 ... c Min unsat cost LB: 159239 ... c Min unsat cost LB: 159242 ... c Min unsat cost LB: 159256 ... c Min unsat cost LB: 159258 ... c Min unsat cost LB: 159353 ... c Min unsat cost LB: 159372 ... c Min unsat cost LB: 159436 ... c Min unsat cost LB: 159438 ... c Min unsat cost LB: 159439 ... c Min unsat cost LB: 159440 ... c Min unsat cost LB: 159444 ... c Min unsat cost LB: 159543 ... c Min unsat cost LB: 159562 ... c Min unsat cost LB: 159568 ... c Min unsat cost LB: 159602 ... c Min unsat cost LB: 159637 ... c Min unsat cost LB: 159701 ... c Min unsat cost LB: 159722 ... c Min unsat cost LB: 159735 ... c Min unsat cost LB: 159736 ... c Min unsat cost LB: 159755 ... c Min unsat cost LB: 159837 ... c Min unsat cost LB: 159878 ... c Min unsat cost LB: 159909 ... c Min unsat cost LB: 159934 ... c Min unsat cost LB: 159935 ... c Min unsat cost LB: 159936 ... c Min unsat cost LB: 159937 ... c Min unsat cost LB: 159939 ... c Min unsat cost LB: 159942 ... c Min unsat cost LB: 159955 ... c Min unsat cost LB: 159968 ... c Min unsat cost LB: 159997 ... c Min unsat cost LB: 160007 ... c Min unsat cost LB: 160038 ... c Min unsat cost LB: 160056 ... c Min unsat cost LB: 160060 ... c Min unsat cost LB: 160072 ... c Min unsat cost LB: 160077 ... c Min unsat cost LB: 160229 ... c Min unsat cost LB: 160230 ... c Min unsat cost LB: 160231 ... c Min unsat cost LB: 160232 ... c Min unsat cost LB: 160293 ... c Min unsat cost LB: 160314 ... c Min unsat cost LB: 160459 ... c Min unsat cost LB: 160482 ... c Min unsat cost LB: 160508 ... c Min unsat cost LB: 160528 ... c Min unsat cost LB: 160541 ... c Min unsat cost LB: 160552 ... c Min unsat cost LB: 160625 ... c Min unsat cost LB: 160630 ... c Min unsat cost LB: 160667 ... c Min unsat cost LB: 160668 ... c Min unsat cost LB: 160722 ... c Min unsat cost LB: 160725 ... c Min unsat cost LB: 160726 ... c Min unsat cost LB: 160734 ... c Min unsat cost LB: 160750 ... c Min unsat cost LB: 160752 ... c Min unsat cost LB: 160754 ... c Min unsat cost LB: 160755 ... c Min unsat cost LB: 160757 ... c Min unsat cost LB: 160758 ... c Min unsat cost LB: 160760 ... c Min unsat cost LB: 160762 ... c Min unsat cost LB: 160763 ... c Min unsat cost LB: 160783 ... c Min unsat cost LB: 160799 ... c Min unsat cost LB: 160808 ... c Min unsat cost LB: 160816 ... c Min unsat cost LB: 160817 ... c Min unsat cost LB: 160818 ... c Min unsat cost LB: 160822 ... c Min unsat cost LB: 160823 ... c Min unsat cost LB: 160868 ... c Min unsat cost LB: 160882 ... c Min unsat cost LB: 160905 ... c Min unsat cost LB: 160908 ... c Min unsat cost LB: 160952 ... c Min unsat cost LB: 160967 ... c Min unsat cost LB: 161057 ... c Min unsat cost LB: 161059 ... c Min unsat cost LB: 161062 ... c Min unsat cost LB: 161063 ... c Min unsat cost LB: 161064 ... c Min unsat cost LB: 161065 ... c Min unsat cost LB: 161066 ... c Min unsat cost LB: 161070 ... c Min unsat cost LB: 161071 ... c Min unsat cost LB: 161073 ... c Min unsat cost LB: 161080 ... c Min unsat cost LB: 161082 ... c Min unsat cost LB: 161087 ... c Min unsat cost LB: 161121 ... c Min unsat cost LB: 161125 ... c Min unsat cost LB: 161271 ... c Min unsat cost LB: 161309 ... c Min unsat cost LB: 161328 ... c Min unsat cost LB: 161330 ... c Min unsat cost LB: 161331 ... c Min unsat cost LB: 161357 ... c Min unsat cost LB: 161359 ... c Min unsat cost LB: 161362 ... c Min unsat cost LB: 161363 ... c Min unsat cost LB: 161485 ... c Min unsat cost LB: 161486 ... c Min unsat cost LB: 161488 ... c Min unsat cost LB: 161498 ... c Min unsat cost LB: 161499 ... c Min unsat cost LB: 161500 ... c Min unsat cost LB: 161501 ... c Min unsat cost LB: 161502 ... c Min unsat cost LB: 161504 ... c Min unsat cost LB: 161521 ... c Min unsat cost LB: 161545 ... c Min unsat cost LB: 161546 ... c Min unsat cost LB: 161569 ... c Min unsat cost LB: 161570 ... c Min unsat cost LB: 161580 ... c Min unsat cost LB: 161595 ... c Min unsat cost LB: 161611 ... c Min unsat cost LB: 161620 ... c Min unsat cost LB: 161621 ... c Min unsat cost LB: 161622 ... c Min unsat cost LB: 161627 ... c Min unsat cost LB: 161628 ... c Min unsat cost LB: 161629 ... c Min unsat cost LB: 161633 ... c Min unsat cost LB: 161635 ... c Min unsat cost LB: 161674 ... c Min unsat cost LB: 161675 ... c Min unsat cost LB: 161676 ... c Min unsat cost LB: 161677 ... c Min unsat cost LB: 161682 ... c Min unsat cost LB: 161683 ... c Min unsat cost LB: 161684 ... c Min unsat cost LB: 161685 ... c Min unsat cost LB: 161688 ... c Min unsat cost LB: 161694 ... c Min unsat cost LB: 161701 ... c Min unsat cost LB: 161705 ... c Min unsat cost LB: 161706 ... c Min unsat cost LB: 161707 ... c Min unsat cost LB: 161708 ... c Min unsat cost LB: 161710 ... c Min unsat cost LB: 161711 ... c Min unsat cost LB: 161712 ... c Min unsat cost LB: 161713 ... c Min unsat cost LB: 161714 ... c Min unsat cost LB: 161715 ... c Min unsat cost LB: 161716 ... c Min unsat cost LB: 161717 ... c Min unsat cost LB: 161718 ... c Min unsat cost LB: 161719 ... c Min unsat cost LB: 161720 ... c Min unsat cost LB: 161722 ... c Min unsat cost LB: 161725 ... c Min unsat cost LB: 161726 ... c Min unsat cost LB: 161727 ... c Min unsat cost LB: 161730 ... c Min unsat cost LB: 161731 ... c Min unsat cost LB: 161732 ... c Min unsat cost LB: 161733 ... c Min unsat cost LB: 161735 ... c Min unsat cost LB: 161736 ... c Min unsat cost LB: 161737 ... c Min unsat cost LB: 161739 ... c Min unsat cost LB: 161740 ... c Min unsat cost LB: 161741 ... c Min unsat cost LB: 161742 ... c Min unsat cost LB: 161743 ... c Min unsat cost LB: 161744 ... c Min unsat cost LB: 161745 ... c Min unsat cost LB: 161746 ... c Min unsat cost LB: 161747 ... c Min unsat cost LB: 161748 ... c Min unsat cost LB: 161749 ... c Min unsat cost LB: 161750 ... c Min unsat cost LB: 161751 ... c Min unsat cost LB: 161752 ... c Min unsat cost LB: 161753 ... c Min unsat cost LB: 161754 ... c Min unsat cost LB: 161755 ... c Min unsat cost LB: 161756 ... c Min unsat cost LB: 161757 ... c Min unsat cost LB: 161759 ... c Min unsat cost LB: 161760 ... c Min unsat cost LB: 161761 ... c Min unsat cost LB: 161762 ... c Min unsat cost LB: 161763 ... c Min unsat cost LB: 161764 ... c Min unsat cost LB: 161765 ... c Min unsat cost LB: 161766 ... c Min unsat cost LB: 161767 ... c Min unsat cost LB: 161768 ... c Min unsat cost LB: 161769 ... c Min unsat cost LB: 161772 ... c Min unsat cost LB: 161773 ... c Min unsat cost LB: 161774 ... c Min unsat cost LB: 161775 ... c Min unsat cost LB: 161776 ... c Min unsat cost LB: 161777 ... c Min unsat cost LB: 161778 ... c Min unsat cost LB: 161781 ... c Min unsat cost LB: 161782 ... c Min unsat cost LB: 161783 ... c Min unsat cost LB: 161786 ... c Min unsat cost LB: 161787 ... c Min unsat cost LB: 161788 ... c Min unsat cost LB: 161789 ... c Min unsat cost LB: 161790 ... c Min unsat cost LB: 161797 ... c Min unsat cost LB: 161800 ... c Min unsat cost LB: 161806 ... c Min unsat cost LB: 161807 ... c Min unsat cost LB: 161808 ... c Min unsat cost LB: 161809 ... c Min unsat cost LB: 161810 ... c Min unsat cost LB: 161811 ... c Min unsat cost LB: 161812 ... c Min unsat cost LB: 161814 ... c Min unsat cost LB: 161815 ... c Min unsat cost LB: 161816 ... c Min unsat cost LB: 161823 ... c Min unsat cost LB: 161824 ... c Min unsat cost LB: 161827 ... c Min unsat cost LB: 161829 ... c Min unsat cost LB: 161830 ... c Min unsat cost LB: 161839 ... c Min unsat cost LB: 161840 ... c Min unsat cost LB: 161841 ... c Min unsat cost LB: 161842 ... c Min unsat cost LB: 161843 ... c Min unsat cost LB: 161844 ... c Min unsat cost LB: 161845 ... c Min unsat cost LB: 161846 ... c Min unsat cost LB: 161847 ... c Min unsat cost LB: 161848 ... c Min unsat cost LB: 161850 ... c Min unsat cost LB: 161851 ... c Min unsat cost LB: 161852 ... c Min unsat cost LB: 161853 ... c Min unsat cost LB: 161854 ... c Min unsat cost LB: 161936 ... c Min unsat cost LB: 161937 ... c Min unsat cost LB: 161945 ... c Min unsat cost LB: 161946 ... c Min unsat cost LB: 161972 ... c Min unsat cost LB: 161974 ... c Min unsat cost LB: 161984 ... c Min unsat cost LB: 161985 ... c Min unsat cost LB: 161986 ... c Min unsat cost LB: 161987 ... c Min unsat cost LB: 161988 ... c Min unsat cost LB: 161989 ... c Min unsat cost LB: 161998 ... c Min unsat cost LB: 162001 ... c Min unsat cost LB: 162005 ... c Min unsat cost LB: 162007 ... c Min unsat cost LB: 162016 ... c Min unsat cost LB: 162024 ... c Min unsat cost LB: 162025 ... c Min unsat cost LB: 162029 ... c Min unsat cost LB: 162032 ... c Min unsat cost LB: 162033 ... c Min unsat cost LB: 162040 ... c Min unsat cost LB: 162046 ... c Min unsat cost LB: 162050 ... c Min unsat cost LB: 162055 ... c Min unsat cost LB: 162071 ... c Min unsat cost LB: 162073 ... c Min unsat cost LB: 162075 ... c Min unsat cost LB: 162091 ... c Min unsat cost LB: 162105 ... c Min unsat cost LB: 162108 ... c Min unsat cost LB: 162112 ... c Min unsat cost LB: 162118 ... c Min unsat cost LB: 162119 ... c Min unsat cost LB: 162120 ... c Min unsat cost LB: 162123 ... c Min unsat cost LB: 162125 ... c Min unsat cost LB: 162126 ... c Min unsat cost LB: 162127 ... c Min unsat cost LB: 162128 ... c Min unsat cost LB: 162130 ... c Min unsat cost LB: 162135 ... c Min unsat cost LB: 162136 ... c Min unsat cost LB: 162137 ... c Min unsat cost LB: 162138 ... c Min unsat cost LB: 162139 ... c Min unsat cost LB: 162140 ... c Min unsat cost LB: 162141 ... c Min unsat cost LB: 162156 ... c Min unsat cost LB: 162166 ... c Min unsat cost LB: 162168 ... c Min unsat cost LB: 162174 ... c Min unsat cost LB: 162176 ... c Min unsat cost LB: 162178 ... c Min unsat cost LB: 162202 ... c Min unsat cost LB: 162203 ... c Min unsat cost LB: 162204 ... c Min unsat cost LB: 162205 ... c Min unsat cost LB: 162206 ... c Min unsat cost LB: 162207 ... c Min unsat cost LB: 162293 ... c Min unsat cost LB: 162295 ... c Min unsat cost LB: 162303 ... c Min unsat cost LB: 162315 ... c Min unsat cost LB: 162316 ... c Min unsat cost LB: 162324 ... c Min unsat cost LB: 162325 ... c Min unsat cost LB: 162333 ... c Min unsat cost LB: 162339 ... c Min unsat cost LB: 162342 ... c Min unsat cost LB: 162343 ... c Min unsat cost LB: 162344 ... c Min unsat cost LB: 162345 ... c Min unsat cost LB: 162359 ... c Min unsat cost LB: 162362 ... c Min unsat cost LB: 162366 ... c Min unsat cost LB: 162367 ... c Min unsat cost LB: 162368 ... c Min unsat cost LB: 162369 ... c Min unsat cost LB: 162373 ... c Min unsat cost LB: 162374 ... c Min unsat cost LB: 162375 ... c Min unsat cost LB: 162376 ... c Min unsat cost LB: 162377 ... c Min unsat cost LB: 162378 ... c Min unsat cost LB: 162384 ... c Min unsat cost LB: 162388 ... c Min unsat cost LB: 162390 ... c Min unsat cost LB: 162394 ... c Min unsat cost LB: 162396 ... c Min unsat cost LB: 162397 ... c Min unsat cost LB: 162398 ... c Min unsat cost LB: 162403 ... c Min unsat cost LB: 162421 ... c Min unsat cost LB: 162522 ... c Min unsat cost LB: 162617 ... c Min unsat cost LB: 162640 ... c Min unsat cost LB: 162671 ... c Min unsat cost LB: 162672 ... c Min unsat cost LB: 162675 ... c Min unsat cost LB: 162677 ... c Min unsat cost LB: 162690 ... c Min unsat cost LB: 162699 ... c Min unsat cost LB: 162725 ... c Min unsat cost LB: 162731 ... c Min unsat cost LB: 162739 ... c Min unsat cost LB: 162791 ... c Min unsat cost LB: 162799 ... c Min unsat cost LB: 162800 ... c Min unsat cost LB: 162807 ... c Min unsat cost LB: 162816 ... c Min unsat cost LB: 162820 ... c Min unsat cost LB: 162824 ... c Min unsat cost LB: 162828 ... c Min unsat cost LB: 162832 ... c Min unsat cost LB: 162867 ... c Min unsat cost LB: 162871 ... c Min unsat cost LB: 162872 ... c Min unsat cost LB: 162876 ... c Min unsat cost LB: 162899 ... c Min unsat cost LB: 162904 ... c Min unsat cost LB: 162922 ... c Min unsat cost LB: 162924 ... c Min unsat cost LB: 162930 ... c Min unsat cost LB: 162933 ... c Min unsat cost LB: 162934 ... c Min unsat cost LB: 162935 ... c Min unsat cost LB: 162973 ... c Min unsat cost LB: 162986 ... c Min unsat cost LB: 162987 ... c Min unsat cost LB: 162989 ... c Min unsat cost LB: 162990 ... c Min unsat cost LB: 162994 ... c Min unsat cost LB: 162995 ... c Min unsat cost LB: 162999 ... c Min unsat cost LB: 163001 ... c Min unsat cost LB: 163006 ... c Min unsat cost LB: 163014 ... c Min unsat cost LB: 163016 ... c Min unsat cost LB: 163048 ... c Min unsat cost LB: 163049 ... c Min unsat cost LB: 163055 ... c Min unsat cost LB: 163058 ... c Min unsat cost LB: 163059 ... c Min unsat cost LB: 163060 ... c Min unsat cost LB: 163061 ... c Min unsat cost LB: 163063 ... c Min unsat cost LB: 163064 ... c Min unsat cost LB: 163065 ... c Min unsat cost LB: 163066 ... c Min unsat cost LB: 163067 ... c Min unsat cost LB: 163068 ... c Min unsat cost LB: 163069 ... c Min unsat cost LB: 163070 ... c Min unsat cost LB: 163071 ... c Min unsat cost LB: 163072 ... c Min unsat cost LB: 163073 ... c Min unsat cost LB: 163077 ... c Min unsat cost LB: 163095 ... c Min unsat cost LB: 163099 ... c Min unsat cost LB: 163108 ... c Min unsat cost LB: 163112 ... c Min unsat cost LB: 163115 ... c Min unsat cost LB: 163116 ... c Min unsat cost LB: 163117 ... c Min unsat cost LB: 163121 ... c Min unsat cost LB: 163123 ... c Min unsat cost LB: 163125 ... c Min unsat cost LB: 163128 ... c Min unsat cost LB: 163129 ... c Min unsat cost LB: 163130 ... c Min unsat cost LB: 163133 ... c Min unsat cost LB: 163134 ... c Min unsat cost LB: 163135 ... c Min unsat cost LB: 163137 ... c Min unsat cost LB: 163138 ... c Min unsat cost LB: 163162 ... c Min unsat cost LB: 163169 ... c Min unsat cost LB: 163170 ... c Min unsat cost LB: 163172 ... c Min unsat cost LB: 163177 ... c Min unsat cost LB: 163179 ... c Min unsat cost LB: 163199 ... c Min unsat cost LB: 163200 ... c Min unsat cost LB: 163201 ... c Min unsat cost LB: 163205 ... c Min unsat cost LB: 163211 ... c Min unsat cost LB: 163228 ... c Min unsat cost LB: 163243 ... c Min unsat cost LB: 163244 ... c Min unsat cost LB: 163247 ... c Min unsat cost LB: 163249 ... c Min unsat cost LB: 163274 ... c Min unsat cost LB: 163275 ... c Min unsat cost LB: 163280 ... c Min unsat cost LB: 163284 ... c Min unsat cost LB: 163288 ... c Min unsat cost LB: 163291 ... c Min unsat cost LB: 163314 ... c Min unsat cost LB: 163322 ... c Min unsat cost LB: 163324 ... c Min unsat cost LB: 163326 ... c Min unsat cost LB: 163328 ... c Min unsat cost LB: 163330 ... c Min unsat cost LB: 163331 ... c Min unsat cost LB: 163332 ... c Min unsat cost LB: 163333 ... c Min unsat cost LB: 163334 ... c Min unsat cost LB: 163335 ... c Min unsat cost LB: 163348 ... c Min unsat cost LB: 163369 ... c Min unsat cost LB: 163380 ... c Min unsat cost LB: 163387 ... c Min unsat cost LB: 163421 ... c Min unsat cost LB: 163422 ... c Min unsat cost LB: 163427 ... c Min unsat cost LB: 163428 ... c Min unsat cost LB: 163438 ... c Min unsat cost LB: 163440 ... c Min unsat cost LB: 163446 ... c Min unsat cost LB: 163485 ... c Min unsat cost LB: 163496 ... c Min unsat cost LB: 163497 ... c Min unsat cost LB: 163508 ... c Min unsat cost LB: 163509 ... c Min unsat cost LB: 163533 ... c Min unsat cost LB: 163563 ... c Min unsat cost LB: 163568 ... c Min unsat cost LB: 163671 ... c Min unsat cost LB: 163672 ... c Min unsat cost LB: 163675 ... c Min unsat cost LB: 163680 ... c Min unsat cost LB: 163686 ... c Min unsat cost LB: 163693 ... c Min unsat cost LB: 163694 ... c Min unsat cost LB: 163696 ... c Min unsat cost LB: 163697 ... c Min unsat cost LB: 163698 ... c Min unsat cost LB: 163700 ... c Min unsat cost LB: 163703 ... c Min unsat cost LB: 163717 ... c Min unsat cost LB: 163718 ... c Min unsat cost LB: 163722 ... c Min unsat cost LB: 163724 ... c Min unsat cost LB: 163750 ... c Min unsat cost LB: 163751 ... c Min unsat cost LB: 163754 ... c Min unsat cost LB: 163775 ... c Min unsat cost LB: 163777 ... c Min unsat cost LB: 163778 ... c Min unsat cost LB: 163779 ... c Min unsat cost LB: 163780 ... c Min unsat cost LB: 163781 ... c Min unsat cost LB: 163782 ... c Min unsat cost LB: 163804 ... c Min unsat cost LB: 163805 ... c Min unsat cost LB: 163806 ... c Min unsat cost LB: 163807 ... c Min unsat cost LB: 163808 ... c Min unsat cost LB: 163809 ... c Min unsat cost LB: 163810 ... c Min unsat cost LB: 163811 ... c Min unsat cost LB: 163812 ... c Min unsat cost LB: 163813 ... c Min unsat cost LB: 163814 ... c Min unsat cost LB: 163815 ... c Min unsat cost LB: 163816 ... c Min unsat cost LB: 163817 ... c Min unsat cost LB: 163818 ... c Min unsat cost LB: 163819 ... c Min unsat cost LB: 163820 ... c Min unsat cost LB: 163821 ... c Min unsat cost LB: 163822 ... c Min unsat cost LB: 163823 ... c Min unsat cost LB: 163824 ... c Min unsat cost LB: 163825 ... c Min unsat cost LB: 163826 ... c Min unsat cost LB: 163827 ... c Min unsat cost LB: 163828 ... c Min unsat cost LB: 163829 ... c Min unsat cost LB: 163830 ... c Min unsat cost LB: 163835 ... c Min unsat cost LB: 163846 ... c Min unsat cost LB: 163847 ... c Min unsat cost LB: 163850 ... c Min unsat cost LB: 163851 ... c Min unsat cost LB: 163857 ... c Min unsat cost LB: 163858 ... c Min unsat cost LB: 163859 ... c Min unsat cost LB: 163860 ... c Min unsat cost LB: 163861 ... c Min unsat cost LB: 163863 ... c Min unsat cost LB: 163869 ... c Min unsat cost LB: 163870 ... c Min unsat cost LB: 163871 ... c Min unsat cost LB: 163872 ... c Min unsat cost LB: 163873 ... c Min unsat cost LB: 163874 ... c Min unsat cost LB: 163875 ... c Min unsat cost LB: 163880 ... c Min unsat cost LB: 163882 ... c Min unsat cost LB: 163884 ... c Min unsat cost LB: 163886 ... c Min unsat cost LB: 163887 ... c Min unsat cost LB: 163888 ... c Min unsat cost LB: 163889 ... c Min unsat cost LB: 163890 ... c Min unsat cost LB: 163891 ... c Min unsat cost LB: 163892 ... c Min unsat cost LB: 163893 ... c Min unsat cost LB: 163897 ... c Min unsat cost LB: 163898 ... c Min unsat cost LB: 163899 ... c Min unsat cost LB: 163920 ... c Min unsat cost LB: 163941 ... c Min unsat cost LB: 163952 ... c Min unsat cost LB: 163953 ... c Min unsat cost LB: 163955 ... c Min unsat cost LB: 163956 ... c Min unsat cost LB: 163957 ... c Min unsat cost LB: 163958 ... c Min unsat cost LB: 163959 ... c Min unsat cost LB: 163960 ... c Min unsat cost LB: 163961 ... c Min unsat cost LB: 163962 ... c Min unsat cost LB: 163963 ... c Min unsat cost LB: 163969 ... c Min unsat cost LB: 163970 ... c Min unsat cost LB: 163971 ... c Min unsat cost LB: 164083 ... c Min unsat cost LB: 164100 ... c Min unsat cost LB: 164123 ... c Min unsat cost LB: 164126 ... c Min unsat cost LB: 164127 ... c Min unsat cost LB: 164128 ... c Min unsat cost LB: 164129 ... c Min unsat cost LB: 164130 ... c Min unsat cost LB: 164131 ... c Min unsat cost LB: 164132 ... c Min unsat cost LB: 164133 ... c Min unsat cost LB: 164134 ... c Min unsat cost LB: 164138 ... c Min unsat cost LB: 164139 ... c Min unsat cost LB: 164140 ... c Min unsat cost LB: 164155 ... c Min unsat cost LB: 164167 ... c Min unsat cost LB: 164170 ... c Min unsat cost LB: 164171 ... c Min unsat cost LB: 164172 ... c Min unsat cost LB: 164173 ... c Min unsat cost LB: 164179 ... c Min unsat cost LB: 164193 ... c Min unsat cost LB: 164203 ... c Min unsat cost LB: 164204 ... c Min unsat cost LB: 164205 ... c Min unsat cost LB: 164210 ... c Min unsat cost LB: 164212 ... c Min unsat cost LB: 164220 ... c Min unsat cost LB: 164222 ... c Min unsat cost LB: 164239 ... c Min unsat cost LB: 164240 ... c Min unsat cost LB: 164242 ... c Min unsat cost LB: 164246 ... c Min unsat cost LB: 164257 ... c Min unsat cost LB: 164261 ... c Min unsat cost LB: 164262 ... c Min unsat cost LB: 164263 ... c Min unsat cost LB: 164264 ... c Min unsat cost LB: 164265 ... c Min unsat cost LB: 164266 ... c Min unsat cost LB: 164267 ... c Min unsat cost LB: 164268 ... c Min unsat cost LB: 164269 ... c Min unsat cost LB: 164270 ... c Min unsat cost LB: 164271 ... c Min unsat cost LB: 164272 ... c Min unsat cost LB: 164273 ... c Min unsat cost LB: 164274 ... c Min unsat cost LB: 164300 ... c Min unsat cost LB: 164302 ... c Min unsat cost LB: 164305 ... c Min unsat cost LB: 164307 ... c Min unsat cost LB: 164330 ... c Min unsat cost LB: 164361 ... c Min unsat cost LB: 164362 ... c Min unsat cost LB: 164363 ... c Min unsat cost LB: 164365 ... c Min unsat cost LB: 164368 ... c Min unsat cost LB: 164376 ... c Min unsat cost LB: 164377 ... c Min unsat cost LB: 164378 ... c Min unsat cost LB: 164389 ... c Min unsat cost LB: 164392 ... c Min unsat cost LB: 164397 ... c Min unsat cost LB: 164399 ... c Min unsat cost LB: 164400 ... c Min unsat cost LB: 164402 ... c Min unsat cost LB: 164403 ... c Min unsat cost LB: 164404 ... c Min unsat cost LB: 164406 ... c Min unsat cost LB: 164410 ... c Min unsat cost LB: 164422 ... c Min unsat cost LB: 164425 ... c Min unsat cost LB: 164426 ... c Min unsat cost LB: 164427 ... c Min unsat cost LB: 164428 ... c Min unsat cost LB: 164445 ... c Min unsat cost LB: 164446 ... c Min unsat cost LB: 164448 ... c Min unsat cost LB: 164449 ... c Min unsat cost LB: 164451 ... c Min unsat cost LB: 164454 ... c Min unsat cost LB: 164455 ... c Min unsat cost LB: 164456 ... c Min unsat cost LB: 164457 ... c Min unsat cost LB: 164458 ... c Min unsat cost LB: 164459 ... c Min unsat cost LB: 164470 ... c Min unsat cost LB: 164483 ... c Min unsat cost LB: 164529 ... c Min unsat cost LB: 164530 ... c Min unsat cost LB: 164531 ... c Min unsat cost LB: 164533 ... c Min unsat cost LB: 164534 ... c Min unsat cost LB: 164537 ... c Min unsat cost LB: 164538 ... c Min unsat cost LB: 164539 ... c Min unsat cost LB: 164545 ... c Min unsat cost LB: 164546 ... c Min unsat cost LB: 164552 ... c Min unsat cost LB: 164553 ... c Min unsat cost LB: 164554 ... c Min unsat cost LB: 164555 ... c Min unsat cost LB: 164556 ... c Min unsat cost LB: 164557 ... c Min unsat cost LB: 164558 ... c Min unsat cost LB: 164559 ... c Min unsat cost LB: 164560 ... c Min unsat cost LB: 164561 ... c Min unsat cost LB: 164562 ... c Min unsat cost LB: 164563 ... c Min unsat cost LB: 164564 ... c Min unsat cost LB: 164566 ... c Min unsat cost LB: 164567 ... c Min unsat cost LB: 164568 ... c Min unsat cost LB: 164569 ... c Min unsat cost LB: 164570 ... c Min unsat cost LB: 164571 ... c Min unsat cost LB: 164572 ... c Min unsat cost LB: 164573 ... c Min unsat cost LB: 164574 ... c Min unsat cost LB: 164575 ... c Min unsat cost LB: 164576 ... c Min unsat cost LB: 164577 ... c Min unsat cost LB: 164578 ... c Min unsat cost LB: 164579 ... c Min unsat cost LB: 164588 ... c Min unsat cost LB: 164604 ... c Min unsat cost LB: 164606 ... c Min unsat cost LB: 164625 ... c Min unsat cost LB: 164627 ... c Min unsat cost LB: 164628 ... c Min unsat cost LB: 164635 ... c Min unsat cost LB: 164642 ... c Min unsat cost LB: 164650 ... c Min unsat cost LB: 164651 ... c Min unsat cost LB: 164652 ... c Min unsat cost LB: 164655 ... c Min unsat cost LB: 164738 ... c Min unsat cost LB: 164739 ... c Min unsat cost LB: 164740 ... c Min unsat cost LB: 164741 ... c Min unsat cost LB: 164742 ... c Min unsat cost LB: 164743 ... c Min unsat cost LB: 164744 ... c Min unsat cost LB: 164745 ... c Min unsat cost LB: 164747 ... c Min unsat cost LB: 164748 ... c Min unsat cost LB: 164749 ... c Min unsat cost LB: 164750 ... c Min unsat cost LB: 164751 ... c Min unsat cost LB: 164752 ... c Min unsat cost LB: 164753 ... c Min unsat cost LB: 164754 ... c Min unsat cost LB: 164756 ... c Min unsat cost LB: 164757 ... c Min unsat cost LB: 164760 ... c Min unsat cost LB: 164761 ... c Min unsat cost LB: 164765 ... c Min unsat cost LB: 164766 ... c Min unsat cost LB: 164773 ... c Min unsat cost LB: 164774 ... c Min unsat cost LB: 164775 ... c Min unsat cost LB: 164776 ... c Min unsat cost LB: 164777 ... c Min unsat cost LB: 164778 ... c Min unsat cost LB: 164779 ... c Min unsat cost LB: 164780 ... c Min unsat cost LB: 164781 ... c Min unsat cost LB: 164782 ... c Min unsat cost LB: 164783 ... c Min unsat cost LB: 164784 ... c Min unsat cost LB: 164785 ... c Min unsat cost LB: 164786 ... c Min unsat cost LB: 164787 ... c Min unsat cost LB: 164788 ... c Min unsat cost LB: 164789 ... c Min unsat cost LB: 164790 ... c Min unsat cost LB: 164791 ... c Min unsat cost LB: 164792 ... c Min unsat cost LB: 164793 ... c Min unsat cost LB: 164794 ... c Min unsat cost LB: 164795 ... c Min unsat cost LB: 164796 ... c Min unsat cost LB: 164797 ... c Min unsat cost LB: 164798 ... c Min unsat cost LB: 164799 ... c Min unsat cost LB: 164800 ... c Min unsat cost LB: 164801 ... c Min unsat cost LB: 164802 ... c Min unsat cost LB: 164803 ... c Min unsat cost LB: 164804 ... c Min unsat cost LB: 164805 ... c Min unsat cost LB: 164806 ... c Min unsat cost LB: 164807 ... c Min unsat cost LB: 164808 ... c Min unsat cost LB: 164809 ... c Min unsat cost LB: 164811 ... c Min unsat cost LB: 164812 ... c Min unsat cost LB: 164813 ... c Min unsat cost LB: 164814 ... c Min unsat cost LB: 164815 ... c Min unsat cost LB: 164816 ... c Min unsat cost LB: 164817 ... c Min unsat cost LB: 164818 ... c Min unsat cost LB: 164819 ... c Min unsat cost LB: 164820 ... c Min unsat cost LB: 164821 ... c Min unsat cost LB: 164822 ... c Min unsat cost LB: 164823 ... c Min unsat cost LB: 164824 ... c Min unsat cost LB: 164825 ... c Min unsat cost LB: 164826 ... c Min unsat cost LB: 164827 ... c Min unsat cost LB: 164828 ... c Min unsat cost LB: 164829 ... c Min unsat cost LB: 164830 ... c Min unsat cost LB: 164831 ... c Min unsat cost LB: 164832 ... c Min unsat cost LB: 164833 ... c Min unsat cost LB: 164834 ... c Min unsat cost LB: 164836 ... c Min unsat cost LB: 164844 ... c Min unsat cost LB: 164845 ... c Min unsat cost LB: 164846 ... c Min unsat cost LB: 164847 ... c Min unsat cost LB: 164848 ... c Min unsat cost LB: 164849 ... c Min unsat cost LB: 164850 ... c Min unsat cost LB: 164851 ... c Min unsat cost LB: 164852 ... c Min unsat cost LB: 164853 ... c Min unsat cost LB: 164854 ... c Min unsat cost LB: 164855 ... c Min unsat cost LB: 164856 ... c Min unsat cost LB: 164857 ... c Min unsat cost LB: 164858 ... c Min unsat cost LB: 164859 ... c Min unsat cost LB: 164860 ... c Min unsat cost LB: 164861 ... c Min unsat cost LB: 164862 ... c Min unsat cost LB: 164863 ... c Min unsat cost LB: 164864 ... c Min unsat cost LB: 164865 ... c Min unsat cost LB: 164866 ... c Min unsat cost LB: 164867 ... c Min unsat cost LB: 164868 ... c Min unsat cost LB: 164869 ... c Min unsat cost LB: 164870 ... c Min unsat cost LB: 164871 ... c Min unsat cost LB: 164872 ... c Min unsat cost LB: 164878 ... c Min unsat cost LB: 164884 ... c Min unsat cost LB: 164885 ... c Min unsat cost LB: 164891 ... c Min unsat cost LB: 164892 ... c Min unsat cost LB: 164898 ... c Min unsat cost LB: 164901 ... c Min unsat cost LB: 164919 ... c Min unsat cost LB: 164927 ... c Min unsat cost LB: 164928 ... c Min unsat cost LB: 164964 ... c Min unsat cost LB: 164978 ... c Min unsat cost LB: 164984 ... c Min unsat cost LB: 164993 ... c Min unsat cost LB: 164999 ... c Min unsat cost LB: 165001 ... c Min unsat cost LB: 165009 ... c Min unsat cost LB: 165032 ... c Min unsat cost LB: 165033 ... c Min unsat cost LB: 165088 ... c Min unsat cost LB: 165096 ... c Min unsat cost LB: 165097 ... c Min unsat cost LB: 165104 ... c Min unsat cost LB: 165110 ... c Min unsat cost LB: 165130 ... c Min unsat cost LB: 165158 ... c Min unsat cost LB: 165159 ... c Min unsat cost LB: 165168 ... c Min unsat cost LB: 165177 ... c Min unsat cost LB: 165185 ... c Min unsat cost LB: 165217 ... c Min unsat cost LB: 165218 ... c Min unsat cost LB: 165225 ... c Min unsat cost LB: 165241 ... c Min unsat cost LB: 165258 ... c Min unsat cost LB: 165259 ... c Min unsat cost LB: 165323 ... c Min unsat cost LB: 165326 ... c Min unsat cost LB: 165329 ... c Min unsat cost LB: 165330 ... c Min unsat cost LB: 165332 ... c Min unsat cost LB: 165334 ... c Min unsat cost LB: 165337 ... c Min unsat cost LB: 165338 ... c Min unsat cost LB: 165339 ... c Min unsat cost LB: 165346 ... c Min unsat cost LB: 165352 ... c Min unsat cost LB: 165357 ... c Min unsat cost LB: 165361 ... c Min unsat cost LB: 165372 ... c Min unsat cost LB: 165387 ... c Min unsat cost LB: 165388 ... c Min unsat cost LB: 165390 ... c Min unsat cost LB: 165399 ... c Min unsat cost LB: 165400 ... c Min unsat cost LB: 165405 ... c Min unsat cost LB: 165406 ... c Min unsat cost LB: 165407 ... c Min unsat cost LB: 165412 ... c Min unsat cost LB: 165417 ... c Min unsat cost LB: 165418 ... c Min unsat cost LB: 165419 ... c Min unsat cost LB: 165423 ... c Min unsat cost LB: 165424 ... c Min unsat cost LB: 165425 ... c Min unsat cost LB: 165426 ... c Min unsat cost LB: 165427 ... c Min unsat cost LB: 165428 ... c Min unsat cost LB: 165430 ... c Min unsat cost LB: 165431 ... c Min unsat cost LB: 165432 ... c Min unsat cost LB: 165434 ... c Min unsat cost LB: 165435 ... c Min unsat cost LB: 165436 ... c Min unsat cost LB: 165437 ... c Min unsat cost LB: 165438 ... c Min unsat cost LB: 165439 ... c Min unsat cost LB: 165440 ... c Min unsat cost LB: 165441 ... c Min unsat cost LB: 165446 ... c Min unsat cost LB: 165447 ... c Min unsat cost LB: 165448 ... c Min unsat cost LB: 165449 ... c Min unsat cost LB: 165450 ... c Min unsat cost LB: 165451 ... c Min unsat cost LB: 165452 ... c Min unsat cost LB: 165455 ... c Min unsat cost LB: 165458 ... c Min unsat cost LB: 165459 ... c Min unsat cost LB: 165460 ... c Min unsat cost LB: 165463 ... c Min unsat cost LB: 165464 ... c Min unsat cost LB: 165466 ... c Min unsat cost LB: 165467 ... c Min unsat cost LB: 165468 ... c Min unsat cost LB: 165469 ... c Min unsat cost LB: 165470 ... c Min unsat cost LB: 165471 ... c Min unsat cost LB: 165472 ... c Min unsat cost LB: 165473 ... c Min unsat cost LB: 165475 ... c Min unsat cost LB: 165477 ... c Min unsat cost LB: 165478 ... c Min unsat cost LB: 165479 ... c Min unsat cost LB: 165480 ... c Min unsat cost LB: 165481 ... c Min unsat cost LB: 165482 ... c Min unsat cost LB: 165483 ... c Min unsat cost LB: 165484 ... c Min unsat cost LB: 165485 ... c Min unsat cost LB: 165486 ... c Min unsat cost LB: 165487 ... c Min unsat cost LB: 165488 ... c Min unsat cost LB: 165489 ... c Min unsat cost LB: 165490 ... c Min unsat cost LB: 165491 ... c Min unsat cost LB: 165492 ... c Min unsat cost LB: 165493 ... c Min unsat cost LB: 165495 ... c Min unsat cost LB: 165496 ... c Min unsat cost LB: 165497 ... c Min unsat cost LB: 165498 ... c Min unsat cost LB: 165499 ... c Min unsat cost LB: 165500 ... c Min unsat cost LB: 165501 ... c Min unsat cost LB: 165502 ... c Min unsat cost LB: 165503 ... c Min unsat cost LB: 165504 ... c Min unsat cost LB: 165505 ... c Min unsat cost LB: 165506 ... c Min unsat cost LB: 165507 ... c Min unsat cost LB: 165508 ... c Min unsat cost LB: 165509 ... c Min unsat cost LB: 165510 ... c Min unsat cost LB: 165511 ... c Min unsat cost LB: 165512 ... c Min unsat cost LB: 165513 ... c Min unsat cost LB: 165515 ... c Min unsat cost LB: 165517 ... c Min unsat cost LB: 165519 ... c Min unsat cost LB: 165521 ... c Min unsat cost LB: 165523 ... c Min unsat cost LB: 165527 ... c Min unsat cost LB: 165532 ... c Min unsat cost LB: 165542 ... c Min unsat cost LB: 165543 ... c Min unsat cost LB: 165544 ... c Min unsat cost LB: 165546 ... c Min unsat cost LB: 165547 ... c Min unsat cost LB: 165548 ... c Min unsat cost LB: 165549 ... c Min unsat cost LB: 165550 ... c Min unsat cost LB: 165552 ... c Min unsat cost LB: 165553 ... c Min unsat cost LB: 165554 ... c Min unsat cost LB: 165555 ... c Min unsat cost LB: 165556 ... c Min unsat cost LB: 165557 ... c Min unsat cost LB: 165558 ... c Min unsat cost LB: 165559 ... c Min unsat cost LB: 165560 ... c Min unsat cost LB: 165561 ... c Min unsat cost LB: 165562 ... c Min unsat cost LB: 165563 ... c Min unsat cost LB: 165564 ... c Min unsat cost LB: 165565 ... c Min unsat cost LB: 165617 ... c Min unsat cost LB: 165618 ... c Min unsat cost LB: 165622 ... c Min unsat cost LB: 165624 ... c Min unsat cost LB: 165629 ... c Min unsat cost LB: 165643 ... c Min unsat cost LB: 165651 ... c Min unsat cost LB: 165664 ... c Min unsat cost LB: 165667 ... c Min unsat cost LB: 165668 ... c Min unsat cost LB: 165669 ... c Min unsat cost LB: 165672 ... c Min unsat cost LB: 165673 ... c Min unsat cost LB: 165674 ... c Min unsat cost LB: 165678 ... c Min unsat cost LB: 165682 ... c Min unsat cost LB: 165683 ... c Min unsat cost LB: 165684 ... c Min unsat cost LB: 165685 ... c Min unsat cost LB: 165686 ... c Min unsat cost LB: 165687 ... c Min unsat cost LB: 165688 ... c Min unsat cost LB: 165689 ... c Min unsat cost LB: 165690 ... c Min unsat cost LB: 165691 ... c Min unsat cost LB: 165692 ... c Min unsat cost LB: 165693 ... c Min unsat cost LB: 165694 ... c Min unsat cost LB: 165695 ... c Min unsat cost LB: 165696 ... c Min unsat cost LB: 165697 ... c Min unsat cost LB: 165698 ... c Min unsat cost LB: 165804 ... c Min unsat cost LB: 165846 ... c Min unsat cost LB: 165855 ... c Min unsat cost LB: 165998 ... c Min unsat cost LB: 166003 ... c Min unsat cost LB: 166082 ... c Min unsat cost LB: 166093 ... c Min unsat cost LB: 166094 ... c Min unsat cost LB: 166102 ... c Min unsat cost LB: 166103 ... c Min unsat cost LB: 166105 ... c Min unsat cost LB: 166106 ... c Min unsat cost LB: 166108 ... c Min unsat cost LB: 166111 ... c Min unsat cost LB: 166112 ... c Min unsat cost LB: 166115 ... c Min unsat cost LB: 166119 ... c Min unsat cost LB: 166124 ... c Min unsat cost LB: 166125 ... c Min unsat cost LB: 166128 ... c Min unsat cost LB: 166129 ... c Min unsat cost LB: 166130 ... c Min unsat cost LB: 166131 ... c Min unsat cost LB: 166132 ... c Min unsat cost LB: 166135 ... c Min unsat cost LB: 166140 ... c Min unsat cost LB: 166142 ... c Min unsat cost LB: 166143 ... c Min unsat cost LB: 166144 ... c Min unsat cost LB: 166145 ... c Min unsat cost LB: 166146 ... c Min unsat cost LB: 166147 ... c Min unsat cost LB: 166148 ... c Min unsat cost LB: 166163 ... c Min unsat cost LB: 166184 ... c Min unsat cost LB: 166185 ... c Min unsat cost LB: 166186 ... c Min unsat cost LB: 166187 ... c Min unsat cost LB: 166188 ... c Min unsat cost LB: 166189 ... c Min unsat cost LB: 166190 ... c Min unsat cost LB: 166191 ... c Min unsat cost LB: 166192 ... c Min unsat cost LB: 166193 ... c Min unsat cost LB: 166194 ... c Min unsat cost LB: 166196 ... c Min unsat cost LB: 166197 ... c Min unsat cost LB: 166198 ... c Min unsat cost LB: 166201 ... c Min unsat cost LB: 166203 ... c Min unsat cost LB: 166206 ... c Min unsat cost LB: 166207 ... c Min unsat cost LB: 166208 ... c Min unsat cost LB: 166209 ... c Min unsat cost LB: 166210 ... c Min unsat cost LB: 166212 ... c Min unsat cost LB: 166213 ... c Min unsat cost LB: 166214 ... c Min unsat cost LB: 166215 ... c Min unsat cost LB: 166218 ... c Min unsat cost LB: 166219 ... c Min unsat cost LB: 166220 ... c Min unsat cost LB: 166222 ... c Min unsat cost LB: 166223 ... c Min unsat cost LB: 166225 ... c Min unsat cost LB: 166226 ... c Min unsat cost LB: 166227 ... c Min unsat cost LB: 166228 ... c Min unsat cost LB: 166229 ... c Min unsat cost LB: 166230 ... c Min unsat cost LB: 166238 ... c Min unsat cost LB: 166241 ... c Min unsat cost LB: 166242 ... c Min unsat cost LB: 166245 ... c Min unsat cost LB: 166246 ... c Min unsat cost LB: 166247 ... c Min unsat cost LB: 166248 ... c Min unsat cost LB: 166276 ... c Min unsat cost LB: 166277 ... c Min unsat cost LB: 166278 ... c Min unsat cost LB: 166279 ... c Min unsat cost LB: 166280 ... c Min unsat cost LB: 166281 ... c Min unsat cost LB: 166283 ... c Min unsat cost LB: 166284 ... c Min unsat cost LB: 166285 ... c Min unsat cost LB: 166286 ... c Min unsat cost LB: 166287 ... c Min unsat cost LB: 166288 ... c Min unsat cost LB: 166289 ... c Min unsat cost LB: 166290 ... c Min unsat cost LB: 166291 ... c Min unsat cost LB: 166292 ... c Min unsat cost LB: 166293 ... c Min unsat cost LB: 166294 ... c Min unsat cost LB: 166295 ... c Min unsat cost LB: 166296 ... c Min unsat cost LB: 166297 ... c Min unsat cost LB: 166298 ... c Min unsat cost LB: 166299 ... c Min unsat cost LB: 166300 ... c Min unsat cost LB: 166301 ... c Min unsat cost LB: 166302 ... c Min unsat cost LB: 166303 ... c Min unsat cost LB: 166304 ... c Min unsat cost LB: 166305 ... c Min unsat cost LB: 166306 ... c Min unsat cost LB: 166308 ... c Min unsat cost LB: 166309 ... c Min unsat cost LB: 166310 ... c Min unsat cost LB: 166311 ... c Min unsat cost LB: 166312 ... c Min unsat cost LB: 166314 ... c Min unsat cost LB: 166315 ... c Min unsat cost LB: 166316 ... c Min unsat cost LB: 166317 ... c Min unsat cost LB: 166318 ... c Min unsat cost LB: 166347 ... c Min unsat cost LB: 166352 ... c Min unsat cost LB: 166353 ... c Min unsat cost LB: 166357 ... c Min unsat cost LB: 166358 ... c Min unsat cost LB: 166364 ... c Min unsat cost LB: 166371 ... c Min unsat cost LB: 166372 ... c Min unsat cost LB: 166405 ... c Min unsat cost LB: 166406 ... c Min unsat cost LB: 166416 ... c Min unsat cost LB: 166422 ... c Min unsat cost LB: 166429 ... c Min unsat cost LB: 166432 ... c Min unsat cost LB: 166434 ... c Min unsat cost LB: 166435 ... c Min unsat cost LB: 166438 ... c Min unsat cost LB: 166445 ... c Min unsat cost LB: 166449 ... c Min unsat cost LB: 166450 ... c Min unsat cost LB: 166461 ... c Min unsat cost LB: 166462 ... c Min unsat cost LB: 166471 ... c Min unsat cost LB: 166475 ... c Min unsat cost LB: 166497 ... c Min unsat cost LB: 166500 ... c Min unsat cost LB: 166501 ... c Min unsat cost LB: 166505 ... c Min unsat cost LB: 166506 ... c Min unsat cost LB: 166507 ... c Min unsat cost LB: 166508 ... c Min unsat cost LB: 166509 ... c Min unsat cost LB: 166510 ... c Min unsat cost LB: 166514 ... c Min unsat cost LB: 166524 ... c Min unsat cost LB: 166529 ... c Min unsat cost LB: 166532 ... c Min unsat cost LB: 166533 ... c Min unsat cost LB: 166534 ... c Min unsat cost LB: 166535 ... c Min unsat cost LB: 166536 ... c Min unsat cost LB: 166537 ... c Min unsat cost LB: 166538 ... c Min unsat cost LB: 166539 ... c Min unsat cost LB: 166540 ... c Min unsat cost LB: 166541 ... c Min unsat cost LB: 166542 ... c Min unsat cost LB: 166543 ... c Min unsat cost LB: 166544 ... c Min unsat cost LB: 166545 ... c Min unsat cost LB: 166546 ... c Min unsat cost LB: 166547 ... c Min unsat cost LB: 166548 ... c Min unsat cost LB: 166550 ... c Min unsat cost LB: 166552 ... c Min unsat cost LB: 166553 ... c Min unsat cost LB: 166554 ... c Min unsat cost LB: 166555 ... c Min unsat cost LB: 166556 ... c Min unsat cost LB: 166557 ... c Min unsat cost LB: 166558 ... c Min unsat cost LB: 166560 ... c Min unsat cost LB: 166561 ... c Min unsat cost LB: 166562 ... c Min unsat cost LB: 166563 ... c Min unsat cost LB: 166564 ... c Min unsat cost LB: 166565 ... c Min unsat cost LB: 166566 ... c Min unsat cost LB: 166567 ... c Min unsat cost LB: 166568 ... c Min unsat cost LB: 166569 ... c Min unsat cost LB: 166570 ... c Min unsat cost LB: 166571 ... c Min unsat cost LB: 166572 ... c Min unsat cost LB: 166573 ... c Min unsat cost LB: 166574 ... c Min unsat cost LB: 166575 ... c Min unsat cost LB: 166576 ... c Min unsat cost LB: 166577 ... c Min unsat cost LB: 166578 ... c Min unsat cost LB: 166579 ... c Min unsat cost LB: 166580 ... c Min unsat cost LB: 166581 ... c Min unsat cost LB: 166582 ... c Min unsat cost LB: 166583 ... c Min unsat cost LB: 166584 ... c Min unsat cost LB: 166585 ... c Min unsat cost LB: 166586 ... c Min unsat cost LB: 166587 ... c Min unsat cost LB: 166588 ... c Min unsat cost LB: 166589 ... c Min unsat cost LB: 166590 ... c Min unsat cost LB: 166591 ... c Min unsat cost LB: 166592 ... c Min unsat cost LB: 166593 ... c Min unsat cost LB: 166594 ... c Min unsat cost LB: 166599 ... c Min unsat cost LB: 166600 ... c Min unsat cost LB: 166601 ... c Min unsat cost LB: 166604 ... c Min unsat cost LB: 166605 ... c Min unsat cost LB: 166614 ... c Min unsat cost LB: 166615 ... c Min unsat cost LB: 166616 ... c Min unsat cost LB: 166617 ... c Min unsat cost LB: 166618 ... c Min unsat cost LB: 166619 ... c Min unsat cost LB: 166620 ... c Min unsat cost LB: 166621 ... c Min unsat cost LB: 166622 ... c Min unsat cost LB: 166623 ... c Min unsat cost LB: 166624 ... c Min unsat cost LB: 166625 ... c Min unsat cost LB: 166626 ... c Min unsat cost LB: 166627 ... c Min unsat cost LB: 166628 ... c Min unsat cost LB: 166629 ... c Min unsat cost LB: 166630 ... c Min unsat cost LB: 166631 ... c Min unsat cost LB: 166632 ... c Min unsat cost LB: 166633 ... c Min unsat cost LB: 166634 ... c Min unsat cost LB: 166635 ... c Min unsat cost LB: 166636 ... c Min unsat cost LB: 166637 ... c Min unsat cost LB: 166638 ... c Min unsat cost LB: 166639 ... c Min unsat cost LB: 166640 ... c Min unsat cost LB: 166641 ... c Min unsat cost LB: 166642 ... c Min unsat cost LB: 166643 ... c Min unsat cost LB: 166644 ... c Min unsat cost LB: 166645 ... c Min unsat cost LB: 166646 ... c Min unsat cost LB: 166647 ... c Min unsat cost LB: 166648 ... c Min unsat cost LB: 166649 ... c Min unsat cost LB: 166650 ... c Min unsat cost LB: 166651 ... c Min unsat cost LBKilled 1814.208u 5.526s 30:19.72 100.0% 0+0k 0+0io 0pf+0w