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_KnotPipatsrisawat_random-net-280-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-6.net.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/KnotPipatsrisawat/random-net-280-1_network-6.net.wcnf *** c c Min unsat cost LB: 1207 ... c Min unsat cost LB: 1241 ... c Min unsat cost LB: 1761 ... c Min unsat cost LB: 2311 ... c Min unsat cost LB: 4131 ... c Min unsat cost LB: 4988 ... c Min unsat cost LB: 5432 ... c Min unsat cost LB: 5977 ... c Min unsat cost LB: 6976 ... c Min unsat cost LB: 9219 ... c Min unsat cost LB: 9265 ... c Min unsat cost LB: 10964 ... c Min unsat cost LB: 12330 ... c Min unsat cost LB: 12777 ... c Min unsat cost LB: 14420 ... c Min unsat cost LB: 15138 ... c Min unsat cost LB: 15856 ... c Min unsat cost LB: 16858 ... c Min unsat cost LB: 18254 ... c Min unsat cost LB: 19001 ... c Min unsat cost LB: 20097 ... c Min unsat cost LB: 21240 ... c Min unsat cost LB: 21921 ... c Min unsat cost LB: 22831 ... c Min unsat cost LB: 23368 ... c Min unsat cost LB: 23514 ... c Min unsat cost LB: 24094 ... c Min unsat cost LB: 24717 ... c Min unsat cost LB: 24953 ... c Min unsat cost LB: 25979 ... c Min unsat cost LB: 26080 ... c Min unsat cost LB: 26087 ... c Min unsat cost LB: 26644 ... c Min unsat cost LB: 28675 ... c Min unsat cost LB: 29205 ... c Min unsat cost LB: 29239 ... c Min unsat cost LB: 31053 ... c Min unsat cost LB: 32583 ... c Min unsat cost LB: 33128 ... c Min unsat cost LB: 33236 ... c Min unsat cost LB: 34141 ... c Min unsat cost LB: 34528 ... c Min unsat cost LB: 35860 ... c Min unsat cost LB: 35938 ... c Min unsat cost LB: 37096 ... c Min unsat cost LB: 38535 ... c Min unsat cost LB: 38549 ... c Min unsat cost LB: 39941 ... c Min unsat cost LB: 40425 ... c Min unsat cost LB: 41977 ... c Min unsat cost LB: 43702 ... c Min unsat cost LB: 44909 ... c Min unsat cost LB: 45825 ... c Min unsat cost LB: 46114 ... c Min unsat cost LB: 46257 ... c Min unsat cost LB: 46976 ... c Min unsat cost LB: 47162 ... c Min unsat cost LB: 47500 ... c Min unsat cost LB: 48843 ... c Min unsat cost LB: 49766 ... c Min unsat cost LB: 49798 ... c Min unsat cost LB: 51252 ... c Min unsat cost LB: 52419 ... c Min unsat cost LB: 53615 ... c Min unsat cost LB: 53901 ... c Min unsat cost LB: 53905 ... c Min unsat cost LB: 53971 ... c Min unsat cost LB: 54921 ... c Min unsat cost LB: 55439 ... c Min unsat cost LB: 56989 ... c Min unsat cost LB: 57403 ... c Min unsat cost LB: 57645 ... c Min unsat cost LB: 58070 ... c Min unsat cost LB: 58356 ... c Min unsat cost LB: 58420 ... c Min unsat cost LB: 58817 ... c Min unsat cost LB: 58984 ... c Min unsat cost LB: 59216 ... c Min unsat cost LB: 59476 ... c Min unsat cost LB: 60223 ... c Min unsat cost LB: 60805 ... c Min unsat cost LB: 61077 ... c Min unsat cost LB: 61409 ... c Min unsat cost LB: 61901 ... c Min unsat cost LB: 62065 ... c Min unsat cost LB: 62096 ... c Min unsat cost LB: 62170 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62770 ... c Min unsat cost LB: 63105 ... c Min unsat cost LB: 63149 ... c Min unsat cost LB: 64108 ... c Min unsat cost LB: 64190 ... c Min unsat cost LB: 64340 ... c Min unsat cost LB: 64491 ... c Min unsat cost LB: 65735 ... c Min unsat cost LB: 65847 ... c Min unsat cost LB: 66365 ... c Min unsat cost LB: 66810 ... c Min unsat cost LB: 67875 ... c Min unsat cost LB: 67908 ... c Min unsat cost LB: 67944 ... c Min unsat cost LB: 68151 ... c Min unsat cost LB: 68875 ... c Min unsat cost LB: 69025 ... c Min unsat cost LB: 69052 ... c Min unsat cost LB: 69273 ... c Min unsat cost LB: 69588 ... c Min unsat cost LB: 69846 ... c Min unsat cost LB: 69865 ... c Min unsat cost LB: 70018 ... c Min unsat cost LB: 70247 ... c Min unsat cost LB: 70402 ... c Min unsat cost LB: 70747 ... c Min unsat cost LB: 70884 ... c Min unsat cost LB: 70947 ... c Min unsat cost LB: 71568 ... c Min unsat cost LB: 72479 ... c Min unsat cost LB: 72580 ... c Min unsat cost LB: 73244 ... c Min unsat cost LB: 73320 ... c Min unsat cost LB: 73399 ... c Min unsat cost LB: 73419 ... c Min unsat cost LB: 73582 ... c Min unsat cost LB: 73761 ... c Min unsat cost LB: 74378 ... c Min unsat cost LB: 74491 ... c Min unsat cost LB: 75243 ... c Min unsat cost LB: 75538 ... c Min unsat cost LB: 75618 ... c Min unsat cost LB: 75642 ... c Min unsat cost LB: 76107 ... c Min unsat cost LB: 76111 ... c Min unsat cost LB: 76703 ... c Min unsat cost LB: 77053 ... c Min unsat cost LB: 77708 ... c Min unsat cost LB: 78456 ... c Min unsat cost LB: 78528 ... c Min unsat cost LB: 79398 ... c Min unsat cost LB: 80140 ... c Min unsat cost LB: 80484 ... c Min unsat cost LB: 80607 ... c Min unsat cost LB: 80845 ... c Min unsat cost LB: 81408 ... c Min unsat cost LB: 81661 ... c Min unsat cost LB: 82533 ... c Min unsat cost LB: 82843 ... c Min unsat cost LB: 83154 ... c Min unsat cost LB: 83320 ... c Min unsat cost LB: 83429 ... c Min unsat cost LB: 83932 ... c Min unsat cost LB: 84198 ... c Min unsat cost LB: 84329 ... c Min unsat cost LB: 84524 ... c Min unsat cost LB: 85184 ... c Min unsat cost LB: 85451 ... c Min unsat cost LB: 86157 ... c Min unsat cost LB: 86733 ... c Min unsat cost LB: 86953 ... c Min unsat cost LB: 87394 ... c Min unsat cost LB: 87427 ... c Min unsat cost LB: 88436 ... c Min unsat cost LB: 88504 ... c Min unsat cost LB: 88721 ... c Min unsat cost LB: 89260 ... c Min unsat cost LB: 89768 ... c Min unsat cost LB: 89864 ... c Min unsat cost LB: 89867 ... c Min unsat cost LB: 90074 ... c Min unsat cost LB: 90304 ... c Min unsat cost LB: 90831 ... c Min unsat cost LB: 90908 ... c Min unsat cost LB: 90965 ... c Min unsat cost LB: 91700 ... c Min unsat cost LB: 92284 ... c Min unsat cost LB: 92564 ... c Min unsat cost LB: 93114 ... c Min unsat cost LB: 93159 ... c Min unsat cost LB: 93704 ... c Min unsat cost LB: 94040 ... c Min unsat cost LB: 94556 ... c Min unsat cost LB: 94707 ... c Min unsat cost LB: 94807 ... c Min unsat cost LB: 94828 ... c Min unsat cost LB: 95586 ... c Min unsat cost LB: 95628 ... c Min unsat cost LB: 96033 ... c Min unsat cost LB: 96201 ... c Min unsat cost LB: 96615 ... c Min unsat cost LB: 96683 ... c Min unsat cost LB: 96947 ... c Min unsat cost LB: 96972 ... c Min unsat cost LB: 97480 ... c Min unsat cost LB: 97586 ... c Min unsat cost LB: 97862 ... c Min unsat cost LB: 98139 ... c Min unsat cost LB: 98435 ... c Min unsat cost LB: 98507 ... c Min unsat cost LB: 98999 ... c Min unsat cost LB: 99307 ... c Min unsat cost LB: 99561 ... c Min unsat cost LB: 99955 ... c Min unsat cost LB: 100136 ... c Min unsat cost LB: 100235 ... c Min unsat cost LB: 100738 ... c Min unsat cost LB: 100881 ... c Min unsat cost LB: 101392 ... c Min unsat cost LB: 101423 ... c Min unsat cost LB: 101434 ... c Min unsat cost LB: 102141 ... c Min unsat cost LB: 102549 ... c Min unsat cost LB: 102604 ... c Min unsat cost LB: 102624 ... c Min unsat cost LB: 103404 ... c Min unsat cost LB: 103887 ... c Min unsat cost LB: 103912 ... c Min unsat cost LB: 104472 ... c Min unsat cost LB: 104502 ... c Min unsat cost LB: 105915 ... c Min unsat cost LB: 106101 ... c Min unsat cost LB: 107054 ... c Min unsat cost LB: 107313 ... c Min unsat cost LB: 107441 ... c Min unsat cost LB: 107706 ... c Min unsat cost LB: 108016 ... c Min unsat cost LB: 108394 ... c Min unsat cost LB: 108830 ... c Min unsat cost LB: 109335 ... c Min unsat cost LB: 109473 ... c Min unsat cost LB: 110450 ... c Min unsat cost LB: 110458 ... c Min unsat cost LB: 110569 ... c Min unsat cost LB: 110701 ... c Min unsat cost LB: 111073 ... c Min unsat cost LB: 112239 ... c Min unsat cost LB: 112511 ... c Min unsat cost LB: 112866 ... c Min unsat cost LB: 112871 ... c Min unsat cost LB: 113014 ... c Min unsat cost LB: 113109 ... c Min unsat cost LB: 113600 ... c Min unsat cost LB: 114124 ... c Min unsat cost LB: 114378 ... c Min unsat cost LB: 114449 ... c Min unsat cost LB: 114658 ... c Min unsat cost LB: 114975 ... c Min unsat cost LB: 115065 ... c Min unsat cost LB: 115593 ... c Min unsat cost LB: 115725 ... c Min unsat cost LB: 115864 ... c Min unsat cost LB: 116207 ... c Min unsat cost LB: 116272 ... c Min unsat cost LB: 116642 ... c Min unsat cost LB: 116945 ... c Min unsat cost LB: 117392 ... c Min unsat cost LB: 117944 ... c Min unsat cost LB: 117994 ... c Min unsat cost LB: 117999 ... c Min unsat cost LB: 118445 ... c Min unsat cost LB: 118680 ... c Min unsat cost LB: 118890 ... c Min unsat cost LB: 119180 ... c Min unsat cost LB: 119200 ... c Min unsat cost LB: 119674 ... c Min unsat cost LB: 120126 ... c Min unsat cost LB: 120203 ... c Min unsat cost LB: 120480 ... c Min unsat cost LB: 120833 ... c Min unsat cost LB: 121843 ... c Min unsat cost LB: 122077 ... c Min unsat cost LB: 122294 ... c Min unsat cost LB: 122867 ... c Min unsat cost LB: 123020 ... c Min unsat cost LB: 123054 ... c Min unsat cost LB: 123125 ... c Min unsat cost LB: 123144 ... c Min unsat cost LB: 123170 ... c Min unsat cost LB: 123203 ... c Min unsat cost LB: 123334 ... c Min unsat cost LB: 123366 ... c Min unsat cost LB: 123885 ... c Min unsat cost LB: 124062 ... c Min unsat cost LB: 124336 ... c Min unsat cost LB: 124413 ... c Min unsat cost LB: 124654 ... c Min unsat cost LB: 124865 ... c Min unsat cost LB: 125232 ... c Min unsat cost LB: 125393 ... c Min unsat cost LB: 125574 ... c Min unsat cost LB: 125612 ... c Min unsat cost LB: 125698 ... c Min unsat cost LB: 125851 ... c Min unsat cost LB: 125870 ... c Min unsat cost LB: 126060 ... c Min unsat cost LB: 126191 ... c Min unsat cost LB: 127069 ... c Min unsat cost LB: 127247 ... c Min unsat cost LB: 127546 ... c Min unsat cost LB: 127639 ... c Min unsat cost LB: 127657 ... c Min unsat cost LB: 127672 ... c Min unsat cost LB: 128261 ... c Min unsat cost LB: 128371 ... c Min unsat cost LB: 129219 ... c Min unsat cost LB: 129551 ... c Min unsat cost LB: 129572 ... c Min unsat cost LB: 129760 ... c Min unsat cost LB: 130515 ... c Min unsat cost LB: 130579 ... c Min unsat cost LB: 130740 ... c Min unsat cost LB: 130800 ... c Min unsat cost LB: 130819 ... c Min unsat cost LB: 130979 ... c Min unsat cost LB: 131062 ... c Min unsat cost LB: 131095 ... c Min unsat cost LB: 131259 ... c Min unsat cost LB: 131470 ... c Min unsat cost LB: 131626 ... c Min unsat cost LB: 132078 ... c Min unsat cost LB: 133094 ... c Min unsat cost LB: 133239 ... c Min unsat cost LB: 133243 ... c Min unsat cost LB: 133420 ... c Min unsat cost LB: 133479 ... c Min unsat cost LB: 133504 ... c Min unsat cost LB: 133639 ... c Min unsat cost LB: 133839 ... c Min unsat cost LB: 134637 ... c Min unsat cost LB: 134641 ... c Min unsat cost LB: 135232 ... c Min unsat cost LB: 135800 ... c Min unsat cost LB: 135881 ... c Min unsat cost LB: 135890 ... c Min unsat cost LB: 136422 ... c Min unsat cost LB: 136455 ... c Min unsat cost LB: 136657 ... c Min unsat cost LB: 137666 ... c Min unsat cost LB: 137683 ... c Min unsat cost LB: 137756 ... c Min unsat cost LB: 137997 ... c Min unsat cost LB: 138099 ... c Min unsat cost LB: 138522 ... c Min unsat cost LB: 138833 ... c Min unsat cost LB: 139122 ... c Min unsat cost LB: 139456 ... c Min unsat cost LB: 139484 ... c Min unsat cost LB: 139492 ... c Min unsat cost LB: 139988 ... c Min unsat cost LB: 140031 ... c Min unsat cost LB: 140090 ... c Min unsat cost LB: 140266 ... c Min unsat cost LB: 140487 ... c Min unsat cost LB: 140616 ... c Min unsat cost LB: 140811 ... c Min unsat cost LB: 140912 ... c Min unsat cost LB: 140978 ... c Min unsat cost LB: 141292 ... c Min unsat cost LB: 141360 ... c Min unsat cost LB: 141438 ... c Min unsat cost LB: 141475 ... c Min unsat cost LB: 141656 ... c Min unsat cost LB: 141810 ... c Min unsat cost LB: 142066 ... c Min unsat cost LB: 142130 ... c Min unsat cost LB: 142164 ... c Min unsat cost LB: 142170 ... c Min unsat cost LB: 142194 ... c Min unsat cost LB: 142522 ... c Min unsat cost LB: 142633 ... c Min unsat cost LB: 142741 ... c Min unsat cost LB: 143337 ... c Min unsat cost LB: 143415 ... c Min unsat cost LB: 143452 ... c Min unsat cost LB: 143594 ... c Min unsat cost LB: 143696 ... c Min unsat cost LB: 144444 ... c Min unsat cost LB: 144566 ... c Min unsat cost LB: 144806 ... c Min unsat cost LB: 145018 ... c Min unsat cost LB: 145277 ... c Min unsat cost LB: 145856 ... c Min unsat cost LB: 146736 ... c Min unsat cost LB: 147033 ... c Min unsat cost LB: 147291 ... c Min unsat cost LB: 147954 ... c Min unsat cost LB: 147985 ... c Min unsat cost LB: 148345 ... c Min unsat cost LB: 148449 ... c Min unsat cost LB: 148962 ... c Min unsat cost LB: 149335 ... c Min unsat cost LB: 149565 ... c Min unsat cost LB: 149574 ... c Min unsat cost LB: 149838 ... c Min unsat cost LB: 149923 ... c Min unsat cost LB: 149983 ... c Min unsat cost LB: 150785 ... c Min unsat cost LB: 151000 ... c Min unsat cost LB: 151283 ... c Min unsat cost LB: 151601 ... c Min unsat cost LB: 151664 ... c Min unsat cost LB: 151727 ... c Min unsat cost LB: 151880 ... c Min unsat cost LB: 151929 ... c Min unsat cost LB: 152339 ... c Min unsat cost LB: 152369 ... c Min unsat cost LB: 152549 ... c Min unsat cost LB: 153116 ... c Min unsat cost LB: 153335 ... c Min unsat cost LB: 153815 ... c Min unsat cost LB: 154694 ... c Min unsat cost LB: 154894 ... c Min unsat cost LB: 155113 ... c Min unsat cost LB: 155366 ... c Min unsat cost LB: 156067 ... c Min unsat cost LB: 156529 ... c Min unsat cost LB: 156767 ... c Min unsat cost LB: 157459 ... c Min unsat cost LB: 157625 ... c Min unsat cost LB: 157630 ... c Min unsat cost LB: 157664 ... c Min unsat cost LB: 157825 ... c Min unsat cost LB: 158074 ... c Min unsat cost LB: 158293 ... c Min unsat cost LB: 158547 ... c Min unsat cost LB: 158921 ... c Min unsat cost LB: 159436 ... c Min unsat cost LB: 160336 ... c Min unsat cost LB: 160467 ... c Min unsat cost LB: 160505 ... c Min unsat cost LB: 160545 ... c Min unsat cost LB: 160804 ... c Min unsat cost LB: 161489 ... c Min unsat cost LB: 161603 ... c Min unsat cost LB: 161671 ... c Min unsat cost LB: 162705 ... c Min unsat cost LB: 163097 ... c Min unsat cost LB: 163364 ... c Min unsat cost LB: 163419 ... c Min unsat cost LB: 163846 ... c Min unsat cost LB: 163981 ... c Min unsat cost LB: 164142 ... c Min unsat cost LB: 164207 ... c Min unsat cost LB: 164241 ... c Min unsat cost LB: 164321 ... c Min unsat cost LB: 164528 ... c Min unsat cost LB: 164647 ... c Min unsat cost LB: 164842 ... c Min unsat cost LB: 165842 ... c Min unsat cost LB: 165947 ... c Min unsat cost LB: 166192 ... c Min unsat cost LB: 166236 ... c Min unsat cost LB: 166346 ... c Min unsat cost LB: 166388 ... c Min unsat cost LB: 166438 ... c Min unsat cost LB: 166774 ... c Min unsat cost LB: 166941 ... c Min unsat cost LB: 167029 ... c Min unsat cost LB: 167047 ... c Min unsat cost LB: 167634 ... c Min unsat cost LB: 167679 ... c Min unsat cost LB: 167879 ... c Min unsat cost LB: 167888 ... c Min unsat cost LB: 168238 ... c Min unsat cost LB: 169064 ... c Min unsat cost LB: 169209 ... c Min unsat cost LB: 169459 ... c Min unsat cost LB: 169987 ... c Min unsat cost LB: 170641 ... c Min unsat cost LB: 171012 ... c Min unsat cost LB: 171596 ... c Min unsat cost LB: 171832 ... c Min unsat cost LB: 171950 ... c Min unsat cost LB: 172072 ... c Min unsat cost LB: 172446 ... c Min unsat cost LB: 172552 ... c Min unsat cost LB: 172819 ... c Min unsat cost LB: 173414 ... c Min unsat cost LB: 173460 ... c Min unsat cost LB: 173618 ... c Min unsat cost LB: 174053 ... c Min unsat cost LB: 174105 ... c Min unsat cost LB: 174861 ... c Min unsat cost LB: 175138 ... c Min unsat cost LB: 175182 ... c Min unsat cost LB: 175360 ... c Min unsat cost LB: 175422 ... c Min unsat cost LB: 175511 ... c Min unsat cost LB: 175589 ... c Min unsat cost LB: 175638 ... c Min unsat cost LB: 175682 ... c Min unsat cost LB: 175875 ... c Min unsat cost LB: 176563 ... c Min unsat cost LB: 176797 ... c Min unsat cost LB: 176932 ... c Min unsat cost LB: 177027 ... c Min unsat cost LB: 178018 ... c Min unsat cost LB: 178186 ... c Min unsat cost LB: 178195 ... c Min unsat cost LB: 178267 ... c Min unsat cost LB: 178293 ... c Min unsat cost LB: 179156 ... c Min unsat cost LB: 179174 ... c Min unsat cost LB: 179179 ... c Min unsat cost LB: 179286 ... c Min unsat cost LB: 179959 ... c Min unsat cost LB: 180063 ... c Min unsat cost LB: 180589 ... c Min unsat cost LB: 181198 ... c Min unsat cost LB: 181273 ... c Min unsat cost LB: 181421 ... c Min unsat cost LB: 181910 ... c Min unsat cost LB: 182498 ... c Min unsat cost LB: 182820 ... c Min unsat cost LB: 183158 ... c Min unsat cost LB: 183633 ... c Min unsat cost LB: 183739 ... c Min unsat cost LB: 184411 ... c Min unsat cost LB: 184616 ... c Min unsat cost LB: 185715 ... c Min unsat cost LB: 185813 ... c Min unsat cost LB: 185871 ... c Min unsat cost LB: 186563 ... c Min unsat cost LB: 186824 ... c Min unsat cost LB: 186932 ... c Min unsat cost LB: 187726 ... c Min unsat cost LB: 187743 ... c Min unsat cost LB: 188531 ... c Min unsat cost LB: 188743 ... c Min unsat cost LB: 188790 ... c Min unsat cost LB: 188913 ... c Min unsat cost LB: 189041 ... c Min unsat cost LB: 189482 ... c Min unsat cost LB: 190732 ... c Min unsat cost LB: 191078 ... c Min unsat cost LB: 191093 ... c Min unsat cost LB: 191217 ... c Min unsat cost LB: 191266 ... c Min unsat cost LB: 191346 ... c Min unsat cost LB: 191492 ... c Min unsat cost LB: 191555 ... c Min unsat cost LB: 191570 ... c Min unsat cost LB: 191573 ... c Min unsat cost LB: 191617 ... c Min unsat cost LB: 191808 ... c Min unsat cost LB: 191844 ... c Min unsat cost LB: 192761 ... c Min unsat cost LB: 192778 ... c Min unsat cost LB: 192787 ... c Min unsat cost LB: 192829 ... c Min unsat cost LB: 192830 ... c Min unsat cost LB: 193126 ... c Min unsat cost LB: 193782 ... c Min unsat cost LB: 194184 ... c Min unsat cost LB: 194459 ... c Min unsat cost LB: 194479 ... c Min unsat cost LB: 194494 ... c Min unsat cost LB: 194498 ... c Min unsat cost LB: 194551 ... c Min unsat cost LB: 194853 ... c Min unsat cost LB: 195522 ... c Min unsat cost LB: 195847 ... c Min unsat cost LB: 195860 ... c Min unsat cost LB: 196391 ... c Min unsat cost LB: 196485 ... c Min unsat cost LB: 196578 ... c Min unsat cost LB: 196628 ... c Min unsat cost LB: 197298 ... c Min unsat cost LB: 197406 ... c Min unsat cost LB: 198060 ... c Min unsat cost LB: 198368 ... c Min unsat cost LB: 198414 ... c Min unsat cost LB: 198558 ... c Min unsat cost LB: 199016 ... c Min unsat cost LB: 199212 ... c Min unsat cost LB: 199476 ... c Min unsat cost LB: 200354 ... c Min unsat cost LB: 200527 ... c Min unsat cost LB: 200644 ... c Min unsat cost LB: 200825 ... c Min unsat cost LB: 201251 ... c Min unsat cost LB: 201879 ... c Min unsat cost LB: 202207 ... c Min unsat cost LB: 202307 ... c Min unsat cost LB: 202316 ... c Min unsat cost LB: 202607 ... c Min unsat cost LB: 203012 ... c Min unsat cost LB: 203038 ... c Min unsat cost LB: 203485 ... c Min unsat cost LB: 203626 ... c Min unsat cost LB: 203711 ... c Min unsat cost LB: 204235 ... c Min unsat cost LB: 204240 ... c Min unsat cost LB: 204624 ... c Min unsat cost LB: 204632 ... c Min unsat cost LB: 204653 ... c Min unsat cost LB: 204666 ... c Min unsat cost LB: 205215 ... c Min unsat cost LB: 205223 ... c Min unsat cost LB: 205300 ... c Min unsat cost LB: 205308 ... c Min unsat cost LB: 205456 ... c Min unsat cost LB: 205469 ... c Min unsat cost LB: 205477 ... c Min unsat cost LB: 205490 ... c Min unsat cost LB: 205713 ... c Min unsat cost LB: 206451 ... c Min unsat cost LB: 206460 ... c Min unsat cost LB: 206469 ... c Min unsat cost LB: 206482 ... c Min unsat cost LB: 206486 ... c Min unsat cost LB: 206490 ... c Min unsat cost LB: 206503 ... c Min unsat cost LB: 206508 ... c Min unsat cost LB: 206520 ... c Min unsat cost LB: 206537 ... c Min unsat cost LB: 206681 ... c Min unsat cost LB: 206715 ... c Min unsat cost LB: 206761 ... c Min unsat cost LB: 207209 ... c Min unsat cost LB: 207213 ... c Min unsat cost LB: 207561 ... c Min unsat cost LB: 208196 ... c Min unsat cost LB: 208209 ... c Min unsat cost LB: 208216 ... c Min unsat cost LB: 208224 ... c Min unsat cost LB: 208229 ... c Min unsat cost LB: 208233 ... c Min unsat cost LB: 208237 ... c Min unsat cost LB: 208251 ... c Min unsat cost LB: 208259 ... c Min unsat cost LB: 208293 ... c Min unsat cost LB: 208377 ... c Min unsat cost LB: 208388 ... c Min unsat cost LB: 208401 ... c Min unsat cost LB: 208407 ... c Min unsat cost LB: 208410 ... c Min unsat cost LB: 208412 ... c Min unsat cost LB: 208423 ... c Min unsat cost LB: 208434 ... c Min unsat cost LB: 208443 ... c Min unsat cost LB: 208477 ... c Min unsat cost LB: 208480 ... c Min unsat cost LB: 208485 ... c Min unsat cost LB: 208488 ... c Min unsat cost LB: 208491 ... c Min unsat cost LB: 208492 ... c Min unsat cost LB: 208499 ... c Min unsat cost LB: 208500 ... c Min unsat cost LB: 208502 ... c Min unsat cost LB: 208504 ... c Min unsat cost LB: 208507 ... c Min unsat cost LB: 208509 ... c Min unsat cost LB: 208511 ... c Min unsat cost LB: 208513 ... c Min unsat cost LB: 208521 ... c Min unsat cost LB: 208522 ... c Min unsat cost LB: 208524 ... c Min unsat cost LB: 208525 ... c Min unsat cost LB: 208527 ... c Min unsat cost LB: 208530 ... c Min unsat cost LB: 208531 ... c Min unsat cost LB: 208534 ... c Min unsat cost LB: 208536 ... c Min unsat cost LB: 208538 ... c Min unsat cost LB: 208539 ... c Min unsat cost LB: 208547 ... c Min unsat cost LB: 208549 ... c Min unsat cost LB: 208552 ... c Min unsat cost LB: 208556 ... c Min unsat cost LB: 208560 ... c Min unsat cost LB: 208562 ... c Min unsat cost LB: 208563 ... c Min unsat cost LB: 208564 ... c Min unsat cost LB: 208568 ... c Min unsat cost LB: 208573 ... c Min unsat cost LB: 208576 ... c Min unsat cost LB: 208577 ... c Min unsat cost LB: 208644 ... c Min unsat cost LB: 208645 ... c Min unsat cost LB: 208646 ... c Min unsat cost LB: 208647 ... c Min unsat cost LB: 208649 ... c Min unsat cost LB: 208650 ... c Min unsat cost LB: 208651 ... c Min unsat cost LB: 208652 ... c Min unsat cost LB: 208653 ... c Min unsat cost LB: 208657 ... c Min unsat cost LB: 208658 ... c Min unsat cost LB: 208659 ... c Min unsat cost LB: 208660 ... c Min unsat cost LB: 208662 ... c Min unsat cost LB: 208666 ... c Min unsat cost LB: 208670 ... c Min unsat cost LB: 208674 ... c Min unsat cost LB: 208676 ... c Min unsat cost LB: 208677 ... c Min unsat cost LB: 208678 ... c Min unsat cost LB: 208679 ... c Min unsat cost LB: 208681 ... c Min unsat cost LB: 208683 ... c Min unsat cost LB: 208684 ... c Min unsat cost LB: 208685 ... c Min unsat cost LB: 208688 ... c Min unsat cost LB: 208689 ... c Min unsat cost LB: 208690 ... c Min unsat cost LB: 208691 ... c Min unsat cost LB: 208692 ... c Min unsat cost LB: 208694 ... c Min unsat cost LB: 208695 ... c Min unsat cost LB: 208696 ... c Min unsat cost LB: 208697 ... c Min unsat cost LB: 208698 ... c Min unsat cost LB: 208699 ... c Min unsat cost LB: 208701 ... c Min unsat cost LB: 208702 ... c Min unsat cost LB: 208707 ... c Min unsat cost LB: 208733 ... c Min unsat cost LB: 208734 ... c Min unsat cost LB: 208735 ... c Min unsat cost LB: 208736 ... c Min unsat cost LB: 208737 ... c Min unsat cost LB: 208738 ... c Min unsat cost LB: 208739 ... c Min unsat cost LB: 208740 ... c Min unsat cost LB: 208741 ... c Min unsat cost LB: 208742 ... c Min unsat cost LB: 208743 ... c Min unsat cost LB: 208744 ... c Min unsat cost LB: 208754 ... c Min unsat cost LB: 209236 ... c Min unsat cost LB: 209353 ... c Min unsat cost LB: 209448 ... c Min unsat cost LB: 209668 ... c Min unsat cost LB: 209863 ... c Min unsat cost LB: 209874 ... c Min unsat cost LB: 210130 ... c Min unsat cost LB: 210352 ... c Min unsat cost LB: 210433 ... c Min unsat cost LB: 210644 ... c Min unsat cost LB: 210862 ... c Min unsat cost LB: 211071 ... c Min unsat cost LB: 211289 ... c Min unsat cost LB: 211310 ... c Min unsat cost LB: 211500 ... c Min unsat cost LB: 211509 ... c Min unsat cost LB: 211567 ... c Min unsat cost LB: 211570 ... c Min unsat cost LB: 211652 ... c Min unsat cost LB: 211711 ... c Min unsat cost LB: 211785 ... c Min unsat cost LB: 211827 ... c Min unsat cost LB: 211963 ... c Min unsat cost LB: 212061 ... c Min unsat cost LB: 212096 ... c Min unsat cost LB: 212127 ... c Min unsat cost LB: 212152 ... c Min unsat cost LB: 212162 ... c Min unsat cost LB: 212238 ... c Min unsat cost LB: 212549 ... c Min unsat cost LB: 212592 ... c Min unsat cost LB: 212609 ... c Min unsat cost LB: 212838 ... c Min unsat cost LB: 212884 ... c Min unsat cost LB: 213852 ... c Min unsat cost LB: 213948 ... c Min unsat cost LB: 214041 ... c Min unsat cost LB: 214235 ... c Min unsat cost LB: 214838 ... c Min unsat cost LB: 215043 ... c Min unsat cost LB: 215071 ... c Min unsat cost LB: 216236 ... c Min unsat cost LB: 216503 ... c Min unsat cost LB: 216647 ... c Min unsat cost LB: 216750 ... c Min unsat cost LB: 217089 ... c Min unsat cost LB: 217126 ... c Min unsat cost LB: 217368 ... c Min unsat cost LB: 218237 ... c Min unsat cost LB: 219608 ... c Min unsat cost LB: 219732 ... c Min unsat cost LB: 220126 ... c Min unsat cost LB: 220438 ... c Min unsat cost LB: 221182 ... c Min unsat cost LB: 221536 ... c Min unsat cost LB: 221662 ... c Min unsat cost LB: 221814 ... c Min unsat cost LB: 222022 ... c Min unsat cost LB: 222071 ... c Min unsat cost LB: 222367 ... c Min unsat cost LB: 223570 ... c Min unsat cost LB: 223764 ... c Min unsat cost LB: 223971 ... c Min unsat cost LB: 223999 ... c Min unsat cost LB: 224138 ... c Min unsat cost LB: 224295 ... c Min unsat cost LB: 224684 ... c Min unsat cost LB: 225028 ... c Min unsat cost LB: 225193 ... c Min unsat cost LB: 225856 ... c Min unsat cost LB: 226239 ... c Min unsat cost LB: 226270 ... c Min unsat cost LB: 226534 ... c Min unsat cost LB: 227118 ... c Min unsat cost LB: 227168 ... c Min unsat cost LB: 227733 ... c Min unsat cost LB: 228181 ... c Min unsat cost LB: 228577 ... c Min unsat cost LB: 228602 ... c Min unsat cost LB: 228788 ... c Min unsat cost LB: 229025 ... c Min unsat cost LB: 229050 ... c Min unsat cost LB: 229248 ... c Min unsat cost LB: 229272 ... c Min unsat cost LB: 229513 ... c Min unsat cost LB: 229667 ... c Min unsat cost LB: 229688 ... c Min unsat cost LB: 229744 ... c Min unsat cost LB: 229994 ... c Min unsat cost LB: 230018 ... c Min unsat cost LB: 230034 ... c Min unsat cost LB: 230069 ... c Min unsat cost LB: 230209 ... c Min unsat cost LB: 230846 ... c Min unsat cost LB: 230881 ... c Min unsat cost LB: 230923 ... c Min unsat cost LB: 231195 ... c Min unsat cost LB: 231292 ... c Min unsat cost LB: 231306 ... c Min unsat cost LB: 231947 ... c Min unsat cost LB: 232277 ... c Min unsat cost LB: 232345 ... c Min unsat cost LB: 232404 ... c Min unsat cost LB: 232450 ... c Min unsat cost LB: 233049 ... c Min unsat cost LB: 233289 ... c Min unsat cost LB: 233517 ... c Min unsat cost LB: 233551 ... c Min unsat cost LB: 233601 ... c Min unsat cost LB: 233620 ... c Min unsat cost LB: 233705 ... c Min unsat cost LB: 233916 ... c Min unsat cost LB: 234035 ... c Min unsat cost LB: 234142 ... c Min unsat cost LB: 234844 ... c Min unsat cost LB: 234872 ... c Min unsat cost LB: 234881 ... c Min unsat cost LB: 235054 ... c Min unsat cost LB: 235159 ... c Min unsat cost LB: 235163 ... c Min unsat cost LB: 235182 ... c Min unsat cost LB: 235184 ... c Min unsat cost LB: 235241 ... c Min unsat cost LB: 235444 ... c Min unsat cost LB: 236029 ... c Min unsat cost LB: 236125 ... c Min unsat cost LB: 236146 ... c Min unsat cost LB: 236190 ... c Min unsat cost LB: 236239 ... c Min unsat cost LB: 236266 ... c Min unsat cost LB: 236328 ... c Min unsat cost LB: 236393 ... c Min unsat cost LB: 236429 ... c Min unsat cost LB: 236528 ... c Min unsat cost LB: 236576 ... c Min unsat cost LB: 236593 ... c Min unsat cost LB: 236614 ... c Min unsat cost LB: 236637 ... c Min unsat cost LB: 236660 ... c Min unsat cost LB: 236681 ... c Min unsat cost LB: 236741 ... c Min unsat cost LB: 236768 ... c Min unsat cost LB: 236803 ... c Min unsat cost LB: 236808 ... c Min unsat cost LB: 236893 ... c Min unsat cost LB: 237405 ... c Min unsat cost LB: 238784 ... c Min unsat cost LB: 238840 ... c Min unsat cost LB: 238934 ... c Min unsat cost LB: 238951 ... c Min unsat cost LB: 239426 ... c Min unsat cost LB: 239427 ... c Min unsat cost LB: 239428 ... c Min unsat cost LB: 239534 ... c Min unsat cost LB: 239553 ... c Min unsat cost LB: 239901 ... c Min unsat cost LB: 239941 ... c Min unsat cost LB: 240490 ... c Min unsat cost LB: 240709 ... c Min unsat cost LB: 241262 ... c Min unsat cost LB: 241276 ... c Min unsat cost LB: 241691 ... c Min unsat cost LB: 241749 ... c Min unsat cost LB: 241816 ... c Min unsat cost LB: 241833 ... c Min unsat cost LB: 242370 ... c Min unsat cost LB: 242557 ... c Min unsat cost LB: 243878 ... c Min unsat cost LB: 243904 ... c Min unsat cost LB: 243947 ... c Min unsat cost LB: 244127 ... c Min unsat cost LB: 244346 ... c Min unsat cost LB: 244771 ... c Min unsat cost LB: 244830 ... c Min unsat cost LB: 245327 ... c Min unsat cost LB: 245811 ... c Min unsat cost LB: 245904 ... c Min unsat cost LB: 245942 ... c Min unsat cost LB: 246016 ... c Min unsat cost LB: 246140 ... c Min unsat cost LB: 246161 ... c Min unsat cost LB: 246237 ... c Min unsat cost LB: 246925 ... c Min unsat cost LB: 246939 ... c Min unsat cost LB: 247385 ... c Min unsat cost LB: 247753 ... c Min unsat cost LB: 247813 ... c Min unsat cost LB: 248193 ... c Min unsat cost LB: 248237 ... c Min unsat cost LB: 248249 ... c Min unsat cost LB: 248436 ... c Min unsat cost LB: 248850 ... c Min unsat cost LB: 248910 ... c Min unsat cost LB: 248947 ... c Min unsat cost LB: 248988 ... c Min unsat cost LB: 249036 ... c Min unsat cost LB: 250188 ... c Min unsat cost LB: 250325 ... c Min unsat cost LB: 250579 ... c Min unsat cost LB: 251275 ... c Min unsat cost LB: 251324 ... c Min unsat cost LB: 251641 ... c Min unsat cost LB: 251904 ... c Min unsat cost LB: 252057 ... c Min unsat cost LB: 252076 ... c Min unsat cost LB: 252221 ... c Min unsat cost LB: 252230 ... c Min unsat cost LB: 252270 ... c Min unsat cost LB: 252901 ... c Min unsat cost LB: 252950 ... c Min unsat cost LB: 253261 ... c Min unsat cost LB: 253474 ... c Min unsat cost LB: 254044 ... c Min unsat cost LB: 254146 ... c Min unsat cost LB: 254171 ... c Min unsat cost LB: 255083 ... c Min unsat cost LB: 255086 ... c Min unsat cost LB: 255346 ... c Min unsat cost LB: 256534 ... c Min unsat cost LB: 256557 ... c Min unsat cost LB: 256595 ... c Min unsat cost LB: 256947 ... c Min unsat cost LB: 257129 ... c Min unsat cost LB: 257557 ... c Min unsat cost LB: 257932 ... c Min unsat cost LB: 258318 ... c Min unsat cost LB: 259424 ... c Min unsat cost LB: 259466 ... c Min unsat cost LB: 259525 ... c Min unsat cost LB: 259540 ... c Min unsat cost LB: 259694 ... c Min unsat cost LB: 259715 ... c Min unsat cost LB: 259718 ... c Min unsat cost LB: 259738 ... c Min unsat cost LB: 259782 ... c Min unsat cost LB: 259785 ... c Min unsat cost LB: 259812 ... c Min unsat cost LB: 259814 ... c Min unsat cost LB: 259817 ... c Min unsat cost LB: 259829 ... c Min unsat cost LB: 259845 ... c Min unsat cost LB: 259862 ... c Min unsat cost LB: 259864 ... c Min unsat cost LB: 259865 ... c Min unsat cost LB: 259867 ... c Min unsat cost LB: 259868 ... c Min unsat cost LB: 259869 ... c Min unsat cost LB: 259874 ... c Min unsat cost LB: 259883 ... c Min unsat cost LB: 259888 ... c Min unsat cost LB: 259889 ... c Min unsat cost LB: 259901 ... c Min unsat cost LB: 259903 ... c Min unsat cost LB: 259906 ... c Min unsat cost LB: 259909 ... c Min unsat cost LB: 259912 ... c Min unsat cost LB: 259928 ... c Min unsat cost LB: 259929 ... c Min unsat cost LB: 259930 ... c Min unsat cost LB: 259931 ... c Min unsat cost LB: 259933 ... c Min unsat cost LB: 259934 ... c Min unsat cost LB: 260118 ... c Min unsat cost LB: 260788 ... c Min unsat cost LB: 260880 ... c Min unsat cost LB: 261085 ... c Min unsat cost LB: 261145 ... c Min unsat cost LB: 261170 ... c Min unsat cost LB: 261182 ... c Min unsat cost LB: 261197 ... c Min unsat co