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-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-9.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-9.net.wcnf *** c c Min unsat cost LB: 2781 ... c Min unsat cost LB: 3291 ... c Min unsat cost LB: 4259 ... c Min unsat cost LB: 5579 ... c Min unsat cost LB: 6646 ... c Min unsat cost LB: 6935 ... c Min unsat cost LB: 6986 ... c Min unsat cost LB: 7342 ... c Min unsat cost LB: 8226 ... c Min unsat cost LB: 8707 ... c Min unsat cost LB: 9263 ... c Min unsat cost LB: 10378 ... c Min unsat cost LB: 10805 ... c Min unsat cost LB: 11694 ... c Min unsat cost LB: 13721 ... c Min unsat cost LB: 14644 ... c Min unsat cost LB: 16203 ... c Min unsat cost LB: 16462 ... c Min unsat cost LB: 16700 ... c Min unsat cost LB: 17287 ... c Min unsat cost LB: 18244 ... c Min unsat cost LB: 18755 ... c Min unsat cost LB: 19097 ... c Min unsat cost LB: 19865 ... c Min unsat cost LB: 20293 ... c Min unsat cost LB: 21025 ... c Min unsat cost LB: 21676 ... c Min unsat cost LB: 21784 ... c Min unsat cost LB: 23040 ... c Min unsat cost LB: 23470 ... c Min unsat cost LB: 24420 ... c Min unsat cost LB: 24959 ... c Min unsat cost LB: 26563 ... c Min unsat cost LB: 26744 ... c Min unsat cost LB: 26839 ... c Min unsat cost LB: 27220 ... c Min unsat cost LB: 27250 ... c Min unsat cost LB: 27327 ... c Min unsat cost LB: 27353 ... c Min unsat cost LB: 27578 ... c Min unsat cost LB: 28381 ... c Min unsat cost LB: 30452 ... c Min unsat cost LB: 31461 ... c Min unsat cost LB: 31966 ... c Min unsat cost LB: 33444 ... c Min unsat cost LB: 35407 ... c Min unsat cost LB: 35579 ... c Min unsat cost LB: 36926 ... c Min unsat cost LB: 37441 ... c Min unsat cost LB: 37553 ... c Min unsat cost LB: 38446 ... c Min unsat cost LB: 38707 ... c Min unsat cost LB: 38947 ... c Min unsat cost LB: 39894 ... c Min unsat cost LB: 40471 ... c Min unsat cost LB: 41133 ... c Min unsat cost LB: 41296 ... c Min unsat cost LB: 41431 ... c Min unsat cost LB: 42303 ... c Min unsat cost LB: 42452 ... c Min unsat cost LB: 42806 ... c Min unsat cost LB: 43591 ... c Min unsat cost LB: 43861 ... c Min unsat cost LB: 44471 ... c Min unsat cost LB: 44627 ... c Min unsat cost LB: 45201 ... c Min unsat cost LB: 46343 ... c Min unsat cost LB: 46672 ... c Min unsat cost LB: 46818 ... c Min unsat cost LB: 47302 ... c Min unsat cost LB: 47786 ... c Min unsat cost LB: 48127 ... c Min unsat cost LB: 48280 ... c Min unsat cost LB: 48728 ... c Min unsat cost LB: 48745 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 50923 ... c Min unsat cost LB: 51683 ... c Min unsat cost LB: 52530 ... c Min unsat cost LB: 53166 ... c Min unsat cost LB: 53223 ... c Min unsat cost LB: 53620 ... c Min unsat cost LB: 54845 ... c Min unsat cost LB: 54938 ... c Min unsat cost LB: 54981 ... c Min unsat cost LB: 55427 ... c Min unsat cost LB: 55569 ... c Min unsat cost LB: 56183 ... c Min unsat cost LB: 56269 ... c Min unsat cost LB: 56284 ... c Min unsat cost LB: 56473 ... c Min unsat cost LB: 56597 ... c Min unsat cost LB: 56924 ... c Min unsat cost LB: 57836 ... c Min unsat cost LB: 58240 ... c Min unsat cost LB: 58258 ... c Min unsat cost LB: 59471 ... c Min unsat cost LB: 59563 ... c Min unsat cost LB: 60308 ... c Min unsat cost LB: 60430 ... c Min unsat cost LB: 60551 ... c Min unsat cost LB: 61075 ... c Min unsat cost LB: 61116 ... c Min unsat cost LB: 61213 ... c Min unsat cost LB: 61460 ... c Min unsat cost LB: 61553 ... c Min unsat cost LB: 62133 ... c Min unsat cost LB: 62242 ... c Min unsat cost LB: 62340 ... c Min unsat cost LB: 63367 ... c Min unsat cost LB: 63681 ... c Min unsat cost LB: 64031 ... c Min unsat cost LB: 64162 ... c Min unsat cost LB: 64964 ... c Min unsat cost LB: 64986 ... c Min unsat cost LB: 65522 ... c Min unsat cost LB: 65949 ... c Min unsat cost LB: 66066 ... c Min unsat cost LB: 66190 ... c Min unsat cost LB: 66951 ... c Min unsat cost LB: 67134 ... c Min unsat cost LB: 67197 ... c Min unsat cost LB: 67275 ... c Min unsat cost LB: 67480 ... c Min unsat cost LB: 67635 ... c Min unsat cost LB: 67647 ... c Min unsat cost LB: 68006 ... c Min unsat cost LB: 68284 ... c Min unsat cost LB: 68519 ... c Min unsat cost LB: 69203 ... c Min unsat cost LB: 69618 ... c Min unsat cost LB: 69800 ... c Min unsat cost LB: 70081 ... c Min unsat cost LB: 70154 ... c Min unsat cost LB: 71460 ... c Min unsat cost LB: 71537 ... c Min unsat cost LB: 71674 ... c Min unsat cost LB: 72270 ... c Min unsat cost LB: 72591 ... c Min unsat cost LB: 72868 ... c Min unsat cost LB: 73174 ... c Min unsat cost LB: 73913 ... c Min unsat cost LB: 74169 ... c Min unsat cost LB: 74633 ... c Min unsat cost LB: 75752 ... c Min unsat cost LB: 76110 ... c Min unsat cost LB: 76323 ... c Min unsat cost LB: 76329 ... c Min unsat cost LB: 76410 ... c Min unsat cost LB: 76600 ... c Min unsat cost LB: 76605 ... c Min unsat cost LB: 76630 ... c Min unsat cost LB: 76747 ... c Min unsat cost LB: 77406 ... c Min unsat cost LB: 77423 ... c Min unsat cost LB: 77772 ... c Min unsat cost LB: 77801 ... c Min unsat cost LB: 78214 ... c Min unsat cost LB: 78440 ... c Min unsat cost LB: 79080 ... c Min unsat cost LB: 79732 ... c Min unsat cost LB: 80090 ... c Min unsat cost LB: 80210 ... c Min unsat cost LB: 80491 ... c Min unsat cost LB: 80852 ... c Min unsat cost LB: 81017 ... c Min unsat cost LB: 81328 ... c Min unsat cost LB: 81400 ... c Min unsat cost LB: 82298 ... c Min unsat cost LB: 82382 ... c Min unsat cost LB: 82846 ... c Min unsat cost LB: 83501 ... c Min unsat cost LB: 83551 ... c Min unsat cost LB: 83972 ... c Min unsat cost LB: 84438 ... c Min unsat cost LB: 84799 ... c Min unsat cost LB: 85027 ... c Min unsat cost LB: 85306 ... c Min unsat cost LB: 85859 ... c Min unsat cost LB: 86193 ... c Min unsat cost LB: 86288 ... c Min unsat cost LB: 86966 ... c Min unsat cost LB: 87200 ... c Min unsat cost LB: 88338 ... c Min unsat cost LB: 88689 ... c Min unsat cost LB: 89168 ... c Min unsat cost LB: 89292 ... c Min unsat cost LB: 89332 ... c Min unsat cost LB: 89348 ... c Min unsat cost LB: 90741 ... c Min unsat cost LB: 90743 ... c Min unsat cost LB: 90744 ... c Min unsat cost LB: 90897 ... c Min unsat cost LB: 90980 ... c Min unsat cost LB: 91124 ... c Min unsat cost LB: 91692 ... c Min unsat cost LB: 91778 ... c Min unsat cost LB: 91810 ... c Min unsat cost LB: 91816 ... c Min unsat cost LB: 91866 ... c Min unsat cost LB: 91998 ... c Min unsat cost LB: 92072 ... c Min unsat cost LB: 92252 ... c Min unsat cost LB: 92324 ... c Min unsat cost LB: 92374 ... c Min unsat cost LB: 92458 ... c Min unsat cost LB: 92992 ... c Min unsat cost LB: 93040 ... c Min unsat cost LB: 94142 ... c Min unsat cost LB: 94206 ... c Min unsat cost LB: 94354 ... c Min unsat cost LB: 94957 ... c Min unsat cost LB: 95237 ... c Min unsat cost LB: 95741 ... c Min unsat cost LB: 96264 ... c Min unsat cost LB: 96290 ... c Min unsat cost LB: 96306 ... c Min unsat cost LB: 96384 ... c Min unsat cost LB: 96404 ... c Min unsat cost LB: 96585 ... c Min unsat cost LB: 96700 ... c Min unsat cost LB: 96900 ... c Min unsat cost LB: 97059 ... c Min unsat cost LB: 97126 ... c Min unsat cost LB: 97351 ... c Min unsat cost LB: 97432 ... c Min unsat cost LB: 97469 ... c Min unsat cost LB: 97514 ... c Min unsat cost LB: 97571 ... c Min unsat cost LB: 97795 ... c Min unsat cost LB: 97975 ... c Min unsat cost LB: 98749 ... c Min unsat cost LB: 99227 ... c Min unsat cost LB: 99552 ... c Min unsat cost LB: 99563 ... c Min unsat cost LB: 99602 ... c Min unsat cost LB: 99634 ... c Min unsat cost LB: 100021 ... c Min unsat cost LB: 100425 ... c Min unsat cost LB: 100879 ... c Min unsat cost LB: 101064 ... c Min unsat cost LB: 101212 ... c Min unsat cost LB: 101285 ... c Min unsat cost LB: 101648 ... c Min unsat cost LB: 101986 ... c Min unsat cost LB: 102608 ... c Min unsat cost LB: 102631 ... c Min unsat cost LB: 103152 ... c Min unsat cost LB: 103622 ... c Min unsat cost LB: 103953 ... c Min unsat cost LB: 105047 ... c Min unsat cost LB: 105505 ... c Min unsat cost LB: 105577 ... c Min unsat cost LB: 105829 ... c Min unsat cost LB: 106273 ... c Min unsat cost LB: 106328 ... c Min unsat cost LB: 106477 ... c Min unsat cost LB: 106528 ... c Min unsat cost LB: 106677 ... c Min unsat cost LB: 106859 ... c Min unsat cost LB: 107077 ... c Min unsat cost LB: 107235 ... c Min unsat cost LB: 107334 ... c Min unsat cost LB: 107689 ... c Min unsat cost LB: 108236 ... c Min unsat cost LB: 108461 ... c Min unsat cost LB: 109646 ... c Min unsat cost LB: 109833 ... c Min unsat cost LB: 109891 ... c Min unsat cost LB: 110094 ... c Min unsat cost LB: 110395 ... c Min unsat cost LB: 111508 ... c Min unsat cost LB: 111509 ... c Min unsat cost LB: 112001 ... c Min unsat cost LB: 112645 ... c Min unsat cost LB: 112900 ... c Min unsat cost LB: 113039 ... c Min unsat cost LB: 113061 ... c Min unsat cost LB: 113313 ... c Min unsat cost LB: 113338 ... c Min unsat cost LB: 113473 ... c Min unsat cost LB: 114289 ... c Min unsat cost LB: 114714 ... c Min unsat cost LB: 114798 ... c Min unsat cost LB: 114822 ... c Min unsat cost LB: 115049 ... c Min unsat cost LB: 115296 ... c Min unsat cost LB: 115445 ... c Min unsat cost LB: 115465 ... c Min unsat cost LB: 115871 ... c Min unsat cost LB: 116126 ... c Min unsat cost LB: 116359 ... c Min unsat cost LB: 116822 ... c Min unsat cost LB: 116834 ... c Min unsat cost LB: 117021 ... c Min unsat cost LB: 117429 ... c Min unsat cost LB: 117671 ... c Min unsat cost LB: 117705 ... c Min unsat cost LB: 118320 ... c Min unsat cost LB: 118810 ... c Min unsat cost LB: 119217 ... c Min unsat cost LB: 119342 ... c Min unsat cost LB: 119753 ... c Min unsat cost LB: 119797 ... c Min unsat cost LB: 119983 ... c Min unsat cost LB: 120197 ... c Min unsat cost LB: 121767 ... c Min unsat cost LB: 121792 ... c Min unsat cost LB: 122964 ... c Min unsat cost LB: 123007 ... c Min unsat cost LB: 123581 ... c Min unsat cost LB: 123921 ... c Min unsat cost LB: 124038 ... c Min unsat cost LB: 124774 ... c Min unsat cost LB: 124867 ... c Min unsat cost LB: 125674 ... c Min unsat cost LB: 125709 ... c Min unsat cost LB: 125770 ... c Min unsat cost LB: 125786 ... c Min unsat cost LB: 126428 ... c Min unsat cost LB: 126557 ... c Min unsat cost LB: 126576 ... c Min unsat cost LB: 126584 ... c Min unsat cost LB: 126752 ... c Min unsat cost LB: 128116 ... c Min unsat cost LB: 128291 ... c Min unsat cost LB: 128421 ... c Min unsat cost LB: 128512 ... c Min unsat cost LB: 128827 ... c Min unsat cost LB: 128965 ... c Min unsat cost LB: 129001 ... c Min unsat cost LB: 129134 ... c Min unsat cost LB: 129165 ... c Min unsat cost LB: 130712 ... c Min unsat cost LB: 130758 ... c Min unsat cost LB: 131072 ... c Min unsat cost LB: 131109 ... c Min unsat cost LB: 131128 ... c Min unsat cost LB: 131747 ... c Min unsat cost LB: 132392 ... c Min unsat cost LB: 132421 ... c Min unsat cost LB: 132485 ... c Min unsat cost LB: 133048 ... c Min unsat cost LB: 133453 ... c Min unsat cost LB: 133466 ... c Min unsat cost LB: 133526 ... c Min unsat cost LB: 133808 ... c Min unsat cost LB: 134295 ... c Min unsat cost LB: 134480 ... c Min unsat cost LB: 134617 ... c Min unsat cost LB: 135007 ... c Min unsat cost LB: 135507 ... c Min unsat cost LB: 135581 ... c Min unsat cost LB: 135794 ... c Min unsat cost LB: 136338 ... c Min unsat cost LB: 136345 ... c Min unsat cost LB: 136447 ... c Min unsat cost LB: 136842 ... c Min unsat cost LB: 136960 ... c Min unsat cost LB: 136967 ... c Min unsat cost LB: 136984 ... c Min unsat cost LB: 137061 ... c Min unsat cost LB: 137266 ... c Min unsat cost LB: 137306 ... c Min unsat cost LB: 137400 ... c Min unsat cost LB: 137464 ... c Min unsat cost LB: 137490 ... c Min unsat cost LB: 138031 ... c Min unsat cost LB: 138314 ... c Min unsat cost LB: 138369 ... c Min unsat cost LB: 138398 ... c Min unsat cost LB: 138637 ... c Min unsat cost LB: 138700 ... c Min unsat cost LB: 138733 ... c Min unsat cost LB: 139488 ... c Min unsat cost LB: 139566 ... c Min unsat cost LB: 139961 ... c Min unsat cost LB: 140137 ... c Min unsat cost LB: 140202 ... c Min unsat cost LB: 140476 ... c Min unsat cost LB: 141611 ... c Min unsat cost LB: 141808 ... c Min unsat cost LB: 141909 ... c Min unsat cost LB: 142037 ... c Min unsat cost LB: 142173 ... c Min unsat cost LB: 142281 ... c Min unsat cost LB: 142350 ... c Min unsat cost LB: 143291 ... c Min unsat cost LB: 143294 ... c Min unsat cost LB: 143452 ... c Min unsat cost LB: 143492 ... c Min unsat cost LB: 143533 ... c Min unsat cost LB: 143748 ... c Min unsat cost LB: 143751 ... c Min unsat cost LB: 144480 ... c Min unsat cost LB: 144549 ... c Min unsat cost LB: 144580 ... c Min unsat cost LB: 144621 ... c Min unsat cost LB: 144685 ... c Min unsat cost LB: 145061 ... c Min unsat cost LB: 145556 ... c Min unsat cost LB: 145807 ... c Min unsat cost LB: 146472 ... c Min unsat cost LB: 146535 ... c Min unsat cost LB: 146576 ... c Min unsat cost LB: 146820 ... c Min unsat cost LB: 147854 ... c Min unsat cost LB: 147944 ... c Min unsat cost LB: 148071 ... c Min unsat cost LB: 148238 ... c Min unsat cost LB: 148666 ... c Min unsat cost LB: 148699 ... c Min unsat cost LB: 148987 ... c Min unsat cost LB: 149387 ... c Min unsat cost LB: 149541 ... c Min unsat cost LB: 150512 ... c Min unsat cost LB: 150755 ... c Min unsat cost LB: 151248 ... c Min unsat cost LB: 151508 ... c Min unsat cost LB: 151756 ... c Min unsat cost LB: 151837 ... c Min unsat cost LB: 152969 ... c Min unsat cost LB: 152995 ... c Min unsat cost LB: 153092 ... c Min unsat cost LB: 153425 ... c Min unsat cost LB: 153586 ... c Min unsat cost LB: 153614 ... c Min unsat cost LB: 154124 ... c Min unsat cost LB: 154691 ... c Min unsat cost LB: 154696 ... c Min unsat cost LB: 155147 ... c Min unsat cost LB: 156349 ... c Min unsat cost LB: 156546 ... c Min unsat cost LB: 156593 ... c Min unsat cost LB: 156601 ... c Min unsat cost LB: 156667 ... c Min unsat cost LB: 157227 ... c Min unsat cost LB: 157247 ... c Min unsat cost LB: 157267 ... c Min unsat cost LB: 157270 ... c Min unsat cost LB: 157277 ... c Min unsat cost LB: 157305 ... c Min unsat cost LB: 157339 ... c Min unsat cost LB: 157355 ... c Min unsat cost LB: 157408 ... c Min unsat cost LB: 157440 ... c Min unsat cost LB: 157555 ... c Min unsat cost LB: 157822 ... c Min unsat cost LB: 157943 ... c Min unsat cost LB: 158034 ... c Min unsat cost LB: 158825 ... c Min unsat cost LB: 159425 ... c Min unsat cost LB: 159809 ... c Min unsat cost LB: 159842 ... c Min unsat cost LB: 160170 ... c Min unsat cost LB: 160588 ... c Min unsat cost LB: 160607 ... c Min unsat cost LB: 160762 ... c Min unsat cost LB: 161035 ... c Min unsat cost LB: 161213 ... c Min unsat cost LB: 161321 ... c Min unsat cost LB: 161507 ... c Min unsat cost LB: 162000 ... c Min unsat cost LB: 163115 ... c Min unsat cost LB: 163147 ... c Min unsat cost LB: 163674 ... c Min unsat cost LB: 163775 ... c Min unsat cost LB: 163939 ... c Min unsat cost LB: 164030 ... c Min unsat cost LB: 164169 ... c Min unsat cost LB: 164204 ... c Min unsat cost LB: 164662 ... c Min unsat cost LB: 164980 ... c Min unsat cost LB: 165345 ... c Min unsat cost LB: 165485 ... c Min unsat cost LB: 166200 ... c Min unsat cost LB: 166408 ... c Min unsat cost LB: 166430 ... c Min unsat cost LB: 166560 ... c Min unsat cost LB: 167676 ... c Min unsat cost LB: 167696 ... c Min unsat cost LB: 167997 ... c Min unsat cost LB: 168003 ... c Min unsat cost LB: 168323 ... c Min unsat cost LB: 168736 ... c Min unsat cost LB: 169142 ... c Min unsat cost LB: 169467 ... c Min unsat cost LB: 169863 ... c Min unsat cost LB: 169979 ... c Min unsat cost LB: 171080 ... c Min unsat cost LB: 171364 ... c Min unsat cost LB: 171526 ... c Min unsat cost LB: 172214 ... c Min unsat cost LB: 172332 ... c Min unsat cost LB: 173355 ... c Min unsat cost LB: 173516 ... c Min unsat cost LB: 173806 ... c Min unsat cost LB: 173854 ... c Min unsat cost LB: 174132 ... c Min unsat cost LB: 175401 ... c Min unsat cost LB: 175507 ... c Min unsat cost LB: 175983 ... c Min unsat cost LB: 176104 ... c Min unsat cost LB: 176316 ... c Min unsat cost LB: 177756 ... c Min unsat cost LB: 178019 ... c Min unsat cost LB: 178567 ... c Min unsat cost LB: 178681 ... c Min unsat cost LB: 178764 ... c Min unsat cost LB: 178949 ... c Min unsat cost LB: 179033 ... c Min unsat cost LB: 180004 ... c Min unsat cost LB: 180301 ... c Min unsat cost LB: 180342 ... c Min unsat cost LB: 180746 ... c Min unsat cost LB: 181043 ... c Min unsat cost LB: 181327 ... c Min unsat cost LB: 182492 ... c Min unsat cost LB: 182592 ... c Min unsat cost LB: 182675 ... c Min unsat cost LB: 183606 ... c Min unsat cost LB: 183681 ... c Min unsat cost LB: 184062 ... c Min unsat cost LB: 184072 ... c Min unsat cost LB: 184097 ... c Min unsat cost LB: 184313 ... c Min unsat cost LB: 184366 ... c Min unsat cost LB: 184976 ... c Min unsat cost LB: 185044 ... c Min unsat cost LB: 185051 ... c Min unsat cost LB: 185162 ... c Min unsat cost LB: 185331 ... c Min unsat cost LB: 186113 ... c Min unsat cost LB: 186139 ... c Min unsat cost LB: 186147 ... c Min unsat cost LB: 186158 ... c Min unsat cost LB: 186512 ... c Min unsat cost LB: 186574 ... c Min unsat cost LB: 186747 ... c Min unsat cost LB: 186810 ... c Min unsat cost LB: 187115 ... c Min unsat cost LB: 187672 ... c Min unsat cost LB: 188271 ... c Min unsat cost LB: 188310 ... c Min unsat cost LB: 188822 ... c Min unsat cost LB: 188838 ... c Min unsat cost LB: 189162 ... c Min unsat cost LB: 189165 ... c Min unsat cost LB: 189320 ... c Min unsat cost LB: 189480 ... c Min unsat cost LB: 189751 ... c Min unsat cost LB: 189825 ... c Min unsat cost LB: 189846 ... c Min unsat cost LB: 189980 ... c Min unsat cost LB: 190356 ... c Min unsat cost LB: 190630 ... c Min unsat cost LB: 191152 ... c Min unsat cost LB: 191809 ... c Min unsat cost LB: 191969 ... c Min unsat cost LB: 192196 ... c Min unsat cost LB: 193252 ... c Min unsat cost LB: 193444 ... c Min unsat cost LB: 194176 ... c Min unsat cost LB: 194221 ... c Min unsat cost LB: 194456 ... c Min unsat cost LB: 194537 ... c Min unsat cost LB: 194650 ... c Min unsat cost LB: 195400 ... c Min unsat cost LB: 195446 ... c Min unsat cost LB: 195465 ... c Min unsat cost LB: 195469 ... c Min unsat cost LB: 195543 ... c Min unsat cost LB: 195672 ... c Min unsat cost LB: 196006 ... c Min unsat cost LB: 196036 ... c Min unsat cost LB: 196077 ... c Min unsat cost LB: 196121 ... c Min unsat cost LB: 196137 ... c Min unsat cost LB: 196249 ... c Min unsat cost LB: 196323 ... c Min unsat cost LB: 196345 ... c Min unsat cost LB: 196657 ... c Min unsat cost LB: 196706 ... c Min unsat cost LB: 196839 ... c Min unsat cost LB: 196903 ... c Min unsat cost LB: 196997 ... c Min unsat cost LB: 197335 ... c Min unsat cost LB: 197354 ... c Min unsat cost LB: 197398 ... c Min unsat cost LB: 197410 ... c Min unsat cost LB: 197451 ... c Min unsat cost LB: 197456 ... c Min unsat cost LB: 197994 ... c Min unsat cost LB: 198237 ... c Min unsat cost LB: 198240 ... c Min unsat cost LB: 198247 ... c Min unsat cost LB: 198267 ... c Min unsat cost LB: 198279 ... c Min unsat cost LB: 198329 ... c Min unsat cost LB: 198375 ... c Min unsat cost LB: 198382 ... c Min unsat cost LB: 198407 ... c Min unsat cost LB: 198418 ... c Min unsat cost LB: 198474 ... c Min unsat cost LB: 198570 ... c Min unsat cost LB: 198586 ... c Min unsat cost LB: 198590 ... c Min unsat cost LB: 198608 ... c Min unsat cost LB: 198615 ... c Min unsat cost LB: 198631 ... c Min unsat cost LB: 198663 ... c Min unsat cost LB: 198746 ... c Min unsat cost LB: 198749 ... c Min unsat cost LB: 198753 ... c Min unsat cost LB: 198777 ... c Min unsat cost LB: 198788 ... c Min unsat cost LB: 198809 ... c Min unsat cost LB: 198838 ... c Min unsat cost LB: 198850 ... c Min unsat cost LB: 198855 ... c Min unsat cost LB: 198863 ... c Min unsat cost LB: 199016 ... c Min unsat cost LB: 199266 ... c Min unsat cost LB: 199269 ... c Min unsat cost LB: 199281 ... c Min unsat cost LB: 199777 ... c Min unsat cost LB: 199778 ... c Min unsat cost LB: 200072 ... c Min unsat cost LB: 200224 ... c Min unsat cost LB: 200225 ... c Min unsat cost LB: 200330 ... c Min unsat cost LB: 200333 ... c Min unsat cost LB: 200365 ... c Min unsat cost LB: 200958 ... c Min unsat cost LB: 200962 ... c Min unsat cost LB: 200967 ... c Min unsat cost LB: 200968 ... c Min unsat cost LB: 200970 ... c Min unsat cost LB: 200976 ... c Min unsat cost LB: 200978 ... c Min unsat cost LB: 200986 ... c Min unsat cost LB: 200998 ... c Min unsat cost LB: 201001 ... c Min unsat cost LB: 201003 ... c Min unsat cost LB: 201004 ... c Min unsat cost LB: 201005 ... c Min unsat cost LB: 201007 ... c Min unsat cost LB: 201008 ... c Min unsat cost LB: 201012 ... c Min unsat cost LB: 201016 ... c Min unsat cost LB: 201019 ... c Min unsat cost LB: 201025 ... c Min unsat cost LB: 201026 ... c Min unsat cost LB: 201027 ... c Min unsat cost LB: 201028 ... c Min unsat cost LB: 201029 ... c Min unsat cost LB: 201031 ... c Min unsat cost LB: 201202 ... c Min unsat cost LB: 201203 ... c Min unsat cost LB: 201205 ... c Min unsat cost LB: 201208 ... c Min unsat cost LB: 201211 ... c Min unsat cost LB: 201212 ... c Min unsat cost LB: 201216 ... c Min unsat cost LB: 201219 ... c Min unsat cost LB: 201220 ... c Min unsat cost LB: 202289 ... c Min unsat cost LB: 202392 ... c Min unsat cost LB: 202402 ... c Min unsat cost LB: 202561 ... c Min unsat cost LB: 202562 ... c Min unsat cost LB: 202563 ... c Min unsat cost LB: 202564 ... c Min unsat cost LB: 202565 ... c Min unsat cost LB: 202569 ... c Min unsat cost LB: 203232 ... c Min unsat cost LB: 203365 ... c Min unsat cost LB: 203517 ... c Min unsat cost LB: 203727 ... c Min unsat cost LB: 204433 ... c Min unsat cost LB: 205221 ... c Min unsat cost LB: 206065 ... c Min unsat cost LB: 206174 ... c Min unsat cost LB: 206402 ... c Min unsat cost LB: 206552 ... c Min unsat cost LB: 207228 ... c Min unsat cost LB: 207405 ... c Min unsat cost LB: 207439 ... c Min unsat cost LB: 207616 ... c Min unsat cost LB: 208112 ... c Min unsat cost LB: 208149 ... c Min unsat cost LB: 208551 ... c Min unsat cost LB: 208700 ... c Min unsat cost LB: 209218 ... c Min unsat cost LB: 209640 ... c Min unsat cost LB: 209991 ... c Min unsat cost LB: 210473 ... c Min unsat cost LB: 210535 ... c Min unsat cost LB: 210681 ... c Min unsat cost LB: 211102 ... c Min unsat cost LB: 211308 ... c Min unsat cost LB: 211362 ... c Min unsat cost LB: 211399 ... c Min unsat cost LB: 211402 ... c Min unsat cost LB: 211631 ... c Min unsat cost LB: 212037 ... c Min unsat cost LB: 212195 ... c Min unsat cost LB: 212379 ... c Min unsat cost LB: 212422 ... c Min unsat cost LB: 212609 ... c Min unsat cost LB: 212620 ... c Min unsat cost LB: 212626 ... c Min unsat cost LB: 212691 ... c Min unsat cost LB: 213147 ... c Min unsat cost LB: 213463 ... c Min unsat cost LB: 213585 ... c Min unsat cost LB: 213728 ... c Min unsat cost LB: 213766 ... c Min unsat cost LB: 214211 ... c Min unsat cost LB: 214218 ... c Min unsat cost LB: 214451 ... c Min unsat cost LB: 214498 ... c Min unsat cost LB: 214920 ... c Min unsat cost LB: 215042 ... c Min unsat cost LB: 215091 ... c Min unsat cost LB: 215384 ... c Min unsat cost LB: 215493 ... c Min unsat cost LB: 215499 ... c Min unsat cost LB: 215989 ... c Min unsat cost LB: 216019 ... c Min unsat cost LB: 216034 ... c Min unsat cost LB: 217019 ... c Min unsat cost LB: 217216 ... c Min unsat cost LB: 217573 ... c Min unsat cost LB: 217738 ... c Min unsat cost LB: 217749 ... c Min unsat cost LB: 218234 ... c Min unsat cost LB: 218274 ... c Min unsat cost LB: 218386 ... c Min unsat cost LB: 218480 ... c Min unsat cost LB: 218736 ... c Min unsat cost LB: 219009 ... c Min unsat cost LB: 219533 ... c Min unsat cost LB: 219555 ... c Min unsat cost LB: 219570 ... c Min unsat cost LB: 219639 ... c Min unsat cost LB: 219649 ... c Min unsat cost LB: 219661 ... c Min unsat cost LB: 219713 ... c Min unsat cost LB: 219743 ... c Min unsat cost LB: 220015 ... c Min unsat cost LB: 220543 ... c Min unsat cost LB: 220724 ... c Min unsat cost LB: 221380 ... c Min unsat cost LB: 222475 ... c Min unsat cost LB: 222540 ... c Min unsat cost LB: 222757 ... c Min unsat cost LB: 222804 ... c Min unsat cost LB: 222819 ... c Min unsat cost LB: 222945 ... c Min unsat cost LB: 222993 ... c Min unsat cost LB: 223014 ... c Min unsat cost LB: 223047 ... c Min unsat cost LB: 223111 ... c Min unsat cost LB: 223114 ... c Min unsat cost LB: 223121 ... c Min unsat cost LB: 223141 ... c Min unsat cost LB: 223340 ... c Min unsat cost LB: 224264 ... c Min unsat cost LB: 224372 ... c Min unsat cost LB: 224695 ... c Min unsat cost LB: 224766 ... c Min unsat cost LB: 224803 ... c Min unsat cost LB: 225159 ... c Min unsat cost LB: 225242 ... c Min unsat cost LB: 225411 ... c Min unsat cost LB: 225482 ... c Min unsat cost LB: 225737 ... c Min unsat cost LB: 225805 ... c Min unsat cost LB: 225846 ... c Min unsat cost LB: 225853 ... c Min unsat cost LB: 225894 ... c Min unsat cost LB: 225900 ... c Min unsat cost LB: 225901 ... c Min unsat cost LB: 225948 ... c Min unsat cost LB: 225968 ... c Min unsat cost LB: 226446 ... c Min unsat cost LB: 226472 ... c Min unsat cost LB: 226510 ... c Min unsat cost LB: 226617 ... c Min unsat cost LB: 226625 ... c Min unsat cost LB: 226631 ... c Min unsat cost LB: 226675 ... c Min unsat cost LB: 227115 ... c Min unsat cost LB: 227587 ... c Min unsat cost LB: 228019 ... c Min unsat cost LB: 228732 ... c Min unsat cost LB: 228752 ... c Min unsat cost LB: 229346 ... c Min unsat cost LB: 230162 ... c Min unsat cost LB: 230214 ... c Min unsat cost LB: 230457 ... c Min unsat cost LB: 230474 ... c Min unsat cost LB: 230515 ... c Min unsat cost LB: 230606 ... c Min unsat cost LB: 230749 ... c Min unsat cost LB: 230880 ... c Min unsat cost LB: 230898 ... c Min unsat cost LB: 231649 ... c Min unsat cost LB: 231696 ... c Min unsat cost LB: 231802 ... c Min unsat cost LB: 231927 ... c Min unsat cost LB: 232044 ... c Min unsat cost LB: 232081 ... c Min unsat cost LB: 232083 ... c Min unsat cost LB: 232086 ... c Min unsat cost LB: 232114 ... c Min unsat cost LB: 232135 ... c Min unsat cost LB: 232141 ... c Min unsat cost LB: 232351 ... c Min unsat cost LB: 232825 ... c Min unsat cost LB: 232863 ... c Min unsat cost LB: 233917 ... c Min unsat cost LB: 234215 ... c Min unsat cost LB: 234838 ... c Min unsat cost LB: 234841 ... c Min unsat cost LB: 234985 ... c Min unsat cost LB: 235228 ... c Min unsat cost LB: 236197 ... c Min unsat cost LB: 236407 ... c Min unsat cost LB: 236444 ... c Min unsat cost LB: 236778 ... c Min unsat cost LB: 236799 ... c Min unsat cost LB: 237040 ... c Min unsat cost LB: 237171 ... c Min unsat cost LB: 237458 ... c Min unsat cost LB: 237575 ... c Min unsat cost LB: 237881 ... c Min unsat cost LB: 237941 ... c Min unsat cost LB: 237955 ... c Min unsat cost LB: 237958 ... c Min unsat cost LB: 238627 ... c Min unsat cost LB: 238642 ... c Min unsat cost LB: 238649 ... c Min unsat cost LB: 238673 ... c Min unsat cost LB: 238683 ... c Min unsat cost LB: 238686 ... c Min unsat cost LB: 238691 ... c Min unsat cost LB: 238692 ... c Min unsat cost LB: 238701 ... c Min unsat cost LB: 238710 ... c Min unsat cost LB: 238716 ... c Min unsat cost LB: 238719 ... c Min unsat cost LB: 238720 ... c Min unsat cost LB: 238736 ... c Min unsat cost LB: 238746 ... c Min unsat cost LB: 238751 ... c Min unsat cost LB: 238752 ... c Min unsat cost LB: 238761 ... c Min unsat cost LB: 238767 ... c Min unsat cost LB: 238776 ... c Min unsat cost LB: 238795 ... c Min unsat cost LB: 238799 ... c Min unsat cost LB: 238810 ... c Min unsat cost LB: 238815 ... c Min unsat cost LB: 238816 ... c Min unsat cost LB: 238820 ... c Min unsat cost LB: 238835 ... c Min unsat cost LB: 238842 ... c Min unsat cost LB: 238911 ... c Min unsat cost LB: 238914 ... c Min unsat cost LB: 238929 ... c Min unsat cost LB: 238953 ... c Min unsat cost LB: 238959 ... c Min unsat cost LB: 238963 ... c Min unsat cost LB: 238965 ... c Min unsat cost LB: 238969 ... c Min unsat cost LB: 238970 ... c Min unsat cost LB: 238974 ... c Min unsat cost LB: 238980 ... c Min unsat cost LB: 238983 ... c Min unsat cost LB: 238985 ... c Min unsat cost LB: 238986 ... c Min unsat cost LB: 238992 ... c Min unsat cost LB: 239022 ... c Min unsat cost LB: 239027 ... c Min unsat cost LB: 239036 ... c Min unsat cost LB: 239039 ... c Min unsat cost LB: 239054 ... c Min unsat cost LB: 239509 ... c Min unsat cost LB: 239512 ... c Min unsat cost LB: 239513 ... c Min unsat cost LB: 239514 ... c Min unsat cost LB: 239515 ... c Min unsat cost LB: 239518 ... c Min unsat cost LB: 239519 ... c Min unsat cost LB: 239520 ... c Min unsat cost LB: 239521 ... c Min unsat cost LB: 239522 ... c Min unsat cost LB: 239523 ... c Min unsat cost LB: 239524 ... c Min unsat cost LB: 239525 ... c Min unsat cost LB: 239526 ... c Min unsat cost LB: 239529 ... c Min unsat cost LB: 239765 ... c Min unsat cost LB: 239766 ... c Min unsat cost LB: 239772 ... c Min unsat cost LB: 239777 ... c Min unsat cost LB: 239801 ... c Min unsat cost LB: 239807 ... c Min unsat cost LB: 239816 ... c Min unsat cost LB: 239819 ... c Min unsat cost LB: 239826 ... c Min unsat cost LB: 239828 ... c Min unsat cost LB: 239829 ... c Min unsat cost LB: 239831 ... c Min unsat cost LB: 239833 ... c Min unsat cost LB: 239834 ... c Min unsat cost LB: 239835 ... c Min unsat cost LB: 239837 ... c Min unsat cost LB: 239839 ... c Min unsat cost LB: 239844 ... c Min unsat cost LB: 239846 ... c Min unsat cost LB: 239847 ... c Min unsat cost LB: 239850 ... c Min unsat cost LB: 239856 ... c Min unsat cost LB: 239858 ... c Min unsat cost LB: 239859 ... c Min unsat cost LB: 239860 ... c Min unsat cost LB: 239862 ... c Min unsat cost LB: 239865 ... c Min unsat cost LB: 239871 ... c Min unsat cost LB: 239872 ... c Min unsat cost LB: 239874 ... c Min unsat cost LB: 239889 ... c Min unsat cost LB: 239934 ... c Min unsat cost LB: 240638 ... c Min unsat cost LB: 240778 ... c Min unsat cost LB: 240961 ... c Min unsat cost LB: 241193 ... c Min unsat cost LB: 241560 ... c Min unsat cost LB: 241563 ... c Min unsat cost LB: 241564 ... c Min unsat cost LB: 241572 ... c Min unsat cost LB: 241573 ... c Min unsat cost LB: 241574 ... c Min unsat cost LB: 241577 ... c Min unsat cost LB: 241580 ... c Min unsat cost LB: 241582 ... c Min unsat cost LB: 242320 ... c Min unsat cost LB: 242328 ... c Min unsat cost LB: 242403 ... c Min unsat cost LB: 242445 ... c Min unsat cost LB: 243748 ... c Min unsat cost LB: 243803 ... c Min unsat cost LB: 243806 ... c Min unsat cost LB: 244140 ... c Min unsat cost LB: 244343 ... c Min unsat cost LB: 244503 ... c Min unsat cost LB: 244524 ... c Min unsat cost LB: 244567 ... c Min unsat cost LB: 244620 ... c Min unsat cost LB: 244745 ... c Min unsat cost LB: 244874 ... c Min unsat cost LB: 245227 ... c Min unsat cost LB: 245572 ... c Min unsat cost LB: 245924 ... c Min unsat cost LB: 245932 ... c Min unsat cost LB: 245943 ... c Min unsat cost LB: 245964 ... c Min unsat cost LB: 246075 ... c Min unsat cost LB: 246146 ... c Min unsat cost LB: 246279 ... c Min unsat cost LB: 246292 ... c Min unsat cost LB: 246843 ... c Min unsat cost LB: 246908 ... c Min unsat cost LB: 247072 ... c Min unsat cost LB: 247434 ... c Min unsat cost LB: 247435 ... c Min unsat cost LB: 247955 ... c Min unsat cost LB: 248330 ... c Min unsat cost LB: 248333 ... c Min unsat cost LB: 248799 ... c Min unsat cost LB: 248802 ... c Min unsat cost LB: 248855 ... c Min unsat cost LB: 248935 ... c Min unsat cost LB: 249020 ... c Min unsat cost LB: 249043 ... c Min unsat cost LB: 249264 ... c Min unsat cost LB: 250292 ... c Min unsat cost LB: 250330 ... c Min unsat cost LB: 250404 ... c Min unsat cost LB: 250407 ... c Min unsat cost LB: 250456 ... c Min unsat cost LB: 251103 ... c Min unsat cost LB: 251520 ... c Min unsat cost LB: 251785 ... c Min unsat cost LB: 252034 ... c Min unsat cost LB: 252039 ... c Min unsat cost LB: 252913 ... c Min unsat cost LB: 253239 ... c Min unsat cost LB: 253425 ... c Min unsat cost LB: 253523 ... c Min unsat cost LB: 254012 ... c Min unsat cost LB: 254013 ... c Min unsat cost LB: 254014 ... c Min unsat cost LB: 254016 ... c Min unsat cost LB: 254031 ... c Min unsat cost LB: 254034 ... c Min unsat cost LB: 254104 ... c Min unsat cost LB: 254125 ... c Min unsat cost LB: 254172 ... c Min unsat cost LB: 254255 ... c Min unsat cost LB: 254260 ... c Min unsat cost LB: 254263 ... c Min unsat cost LB: 254284 ... c Min unsat cost LB: 254292 ... c Min unsat cost LB: 254310 ... c Min unsat cost LB: 254318 ... c Min unsat cost LB: 254326 ... c Min unsat cost LB: 254333 ... c Min unsat cost LB: 254354 ... c Min unsat cost LB: 254361 ... c Min unsat cost LB: 254370 ... c Min unsat cost LB: 254377 ... c Min unsat cost LB: 254389 ... c Min unsat cost LB: 254392 ... c Min unsat cost LB: 254395 ... c Min unsat cost LB: 254397 ... c Min unsat cost LB: 254405 ... c Min unsat cost LB: 254423 ... c Min unsat cost LB: 254448 ... c Min unsat cost LB: 255193 ... c Min unsat cost LB: 255964 ... c Min unsat cost LB: 256005 ... c Min unsat cost LB: 257189 ... c Min unsat cost LB: 257368 ... c Min unsat cost LB: 257506 ... c Min unsat cost LB: 257571 ... c Min unsat cost LB: 257590 ... c Min unsat cost LB: 257712 ... c Min unsat cost LB: 258058 ... c Min unsat cost LB: 258091 ... c Min unsat cost LB: 258415 ... c Min unsat cost LB: 258426 ... c Min unsat cost LB: 258634 ... c Min unsat cost LB: 258944 ... c Min unsat cost LB: 259198 ... c Min unsat cost LB: 259606 ... c Min unsat cost LB: 259623 ... c Min unsat cost LB: 259633 ... c Min unsat cost LB: 259932 ... c Min unsat cost LB: 259941 ... c Min unsat cost LB: 260024 ... c Min unsat cost LB: 260041 ... c Min unsat cost LB: 260060 ... c Min unsat cost LB: 260061 ... c Min unsat cost LB: 260078 ... c Min unsat cost LB: 260081 ... c Min unsat cost LB: 260158 ... c Min unsat cost LB: 260175 ... c Min unsat cost LB: 260194 ... c Min unsat cost LB: 260224 ... c Min unsat cost LB: 260532 ... c Min unsat cost LB: 260563 ... c Min unsat cost LB: 260599 ... c Min unsat cost LB: 260620 ... c Min unsat cost LB: 260703 ... c Min unsat cost LB: 260720 ... c Min unsat cost LB: 260729 ... c Min unsat cost LB: 260737 ... c Min unsat cost LB: 260741 ... c Min unsat cost LB: 260787 ... c Min unsat cost LB: 260847 ... c Min unsat cost LB: 260930 ... c Min unsat cost LB: 261180 ... c Min unsat cost LB: 261192 ... c Min unsat cost LB: 261196 ... c Min unsat cost LB: 261208 ... c Min unsat cost LB: 261211 ... c Min unsat cost LB: 261214 ... c Min unsat cost LB: 261218 ... c Min unsat cost LB: 261222 ... c Min unsat cost LB: 261223 ... c Min unsat cost LB: 261232 ... c Min unsat cost LB: 261236 ... c Min unsat cost LB: 261241 ... c Min unsat cost LB: 261249 ... c Min unsat cost LB: 261253 ... c Min unsat cost LB: 261262 ... c Min unsat cost LB: 261277 ... c Min unsat cost LB: 261288 ... c Min unsat cost LB: 261292 ... c Min unsat cost LB: 261293 ... c Min unsat cost LB: 261295 ... c Min unsat cost LB: 261296 ... c Min unsat cost LB: 261297 ... c Min unsat cost LB: 261304 ... c Min unsat cost LB: 261318 ... c Min unsat cost LB: 261319 ... c Min unsat cost LB: 261320 ... c Min unsat cost LB: 261321 ... c Min unsat cost LB: 261324 ... c Min unsat cost LB: 261328 ... c Min unsat cost LB: 261329 ... c Min unsat cost LB: 261331 ... c Min unsat cost LB: 261332 ... c Min unsat cost LB: 261333 ... c Min unsat cost LB: 261337 ... c Min unsat cost LB: 261339 ... c Min unsat cost LB: 261343 ... c Min unsat cost LB: 261344 ... c Min unsat cost LB: 261633 ... c Min unsat cost LB: 261639 ... c Min unsat cost LB: 261762 ... c Min unsat cost LB: 261797 ... c Min unsat cost LB: 261808 ... c Min unsat cost LB: 261815 ... c Min unsat cost LB: 262344 ... c Min unsat cost LB: 262401 ... c Min unsat cost LB: 262728 ... c Min unsat cost LB: 262841 ... c Min unsat cost LB: 262845 ... c Min unsat cost LB: 262854 ... c Min unsat cost LB: 262873 ... c Min unsat cost LB: 262874 ... c Min unsat cost LB: 262875 ... c Min unsat cost LB: 262876 ... c Min unsat cost LB: 262877 ... c Min unsat cost LB: 262880 ... c Min unsat cost LB: 262883 ... c Min unsat cost LB: 262888 ... c Min unsat cost LB: 262890 ... c Min unsat cost LB: 262893 ... c Min unsat cost LB: 262897 ... c Min unsat cost LB: 262902 ... c Min unsat cost LB: 262904 ... c Min unsat cost LB: 262905 ... c Min unsat cost LB: 262906 ... c Min unsat cost LB: 262918 ... c Min unsat cost LB: 262919 ... c Min unsat cost LB: 262927 ... c Min unsat cost LB: 262930 ... c Min unsat cost LB: 262932 ... c Min unsat cost LB: 262933 ... c Min unsat cost LB: 262936 ... c Min unsat cost LB: 262957 ... c Min unsat cost LB: 262960 ... c Min unsat cost LB: 262965 ... c Min unsat cost LB: 262968 ... c Min unsat cost LB: 262986 ... c Min unsat cost LB: 263004 ... c Min unsat cost LB: 263005 ... c Min unsat cost LB: 263014 ... c Min unsat cost LB: 263017 ... c Min unsat cost LB: 263022 ... c Min unsat cost LB: 263023 ... c Min unsat cost LB: 263030 ... c Min unsat cost LB: 263031 ... c Min unsat cost LB: 263032 ... c Min unsat cost LB: 263038 ... c Min unsat cost LB: 263042 ... c Min unsat cost LB: 263045 ... c Min unsat cost LB: 263050 ... c Min unsat cost LB: 263053 ... c Min unsat cost LB: 263056 ... c Min unsat cost LB: 263075 ... c Min unsat cost LB: 263079 ... c Min unsat cost LB: 263080 ... c Min unsat cost LB: 263082 ... c Min unsat cost LB: 263083 ... c Min unsat cost LB: 263086 ... c Min unsat cost LB: 263087 ... c Min unsat cost LB: 263088 ... c Min unsat cost LB: 263089 ... c Min unsat cost LB: 263095 ... c Min unsat cost LB: 263096 ... c Min unsat cost LB: 263097 ... c Min unsat cost LB: 263100 ... c Min unsat cost LB: 263103 ... c Min unsat cost LB: 263104 ... c Min unsat cost LB: 263107 ... c Min unsat cost LB: 263108 ... c Min unsat cost LB: 263109 ... c Min unsat cost LB: 263110 ... c Min unsat cost LB: 263112 ... c Min unsat cost LB: 263113 ... c Min unsat cost LB: 263114 ... c Min unsat cost LB: 263115 ... c Min unsat cost LB: 263116 ... c Min unsat cost LB: 263117 ... c Min unsat cost LB: 263118 ... o 263118 s OPTIMUM FOUND v 1 -2 -3 4 -5 -6 -7 8 -9 -10 11 12 -13 -14 15 -16 17 -18 -19 -20 -21 -22 23 -24 -25 -26 27 28 -29 -30 -31 32 -33 -34 -35 36 -37 -38 -39 -40 41 -42 -43 44 -45 46 -47 48 -49 -50 -51 -52 53 -54 55 -56 -57 -58 59 60 -61 62 -63 -64 -65 -66 -67 -68 69 -70 -71 72 -73 74 -75 -76 -77 78 -79 -80 -81 -82 83 -84 -85 -86 87 -88 -89 90 91 -92 -93 94 -95 -96 -97 -98 99 100 -101 -102 -103 -104 105 -106 107 -108 109 -110 111 -112 -113 114 -115 116 -117 -118 119 -120 121 -122 123 -124 -125 -126 127 -128 -129 130 131 -132 -133 134 -135 -136 -137 -138 139 -140 -141 142 143 -144 -145 146 -147 -148 149 150 -151 -152 -153 -154 155 -156 -157 -158 159 -160 161 -162 -163 -164 165 -166 -167 -168 -169 170 -171 172 -173 -174 -175 -176 -177 178 -179 180 -181 182 -183 184 -185 -186 -187 188 -189 -190 191 -192 193 -194 195 -196 -197 198 199 -200 -201 -202 -203 -204 205 -206 207 -208 209 210 -211 -212 213 214 -215 -216 -217 218 -219 -220 -221 222 -223 -224 225 -226 -227 228 -229 -230 231 -232 -233 -234 235 -236 -237 238 239 -240 -241 -242 243 -244 245 -246 -247 248 -249 -250 251 -252 -253 -254 255 -256 257 -258 -259 -260 -261 262 -263 264 -265 266 -267 -268 269 -270 271 -272 -273 274 275 -276 -277 -278 -279 -280 281 -282 283 -284 -285 -286 287 -288 289 -290 -291 292 -293 294 -295 296 -297 -298 -299 300 -301 -302 303 -304 -305 -306 -307 -308 309 310 -311 -312 313 314 -315 -316 317 -318 -319 -320 321 -322 -323 324 -325 -326 -327 -328 329 -330 -331 332 -333 -334 335 -336 337 -338 -339 -340 -341 342 -343 344 -345 -346 -347 348 349 -350 351 -352 -353 -354 -355 356 -357 -358 -359 360 -361 -362 -363 364 -365 366 367 -368 -369 370 -371 -372 373 -374 -375 -376 377 -378 -379 380 -381 -382 -383 384 -385 -386 -387 388 389 -390 -391 392 -393 -394 -395 -396 397 -398 -399 400 -401 -402 -403 -404 405 -406 407 -408 -409 -410 -411 -412 413 -414 415 -416 -417 418 419 -420 -421 422 -423 -424 -425 -426 427 -428 429 -430 -431 432 -433 -434 435 -436 -437 -438 439 -440 441 -442 -443 -444 445 -446 447 -448 -449 -450 -451 -452 453 -454 455 -456 -457 -458 -459 -460 461 -462 463 -464 465 -466 -467 -468 -469 470 -471 472 -473 474 -475 -476 -477 478 -479 -480 -481 482 -483 484 -485 486 -487 -488 -489 490 -491 -492 -493 -494 495 496 -497 498 -499 -500 -501 -502 503 -504 -505 -506 507 -508 -509 510 -511 -512 513 -514 -515 -516 517 518 -519 -520 -521 522 -523 524 -525 526 -527 -528 -529 -530 531 -532 533 -534 -535 -536 537 -538 -539 -540 541 -542 -543 544 -545 -546 547 -548 -549 -550 -551 552 553 -554 -555 -556 -557 558 -559 -560 561 -562 -563 564 -565 -566 -567 568 -569 570 -571 572 -573 -574 -575 -576 577 -578 579 -580 -581 582 -583 -584 -585 -586 -587 588 -589 -590 591 -592 -593 -594 595 -596 597 -598 -599 -600 601 -602 -603 -604 605 -606 -607 608 -609 610 -611 -612 -613 614 -615 -616 617 -618 -619 620 -621 -622 623 -624 -625 626 -627 628 -629 -630 631 -632 -633 634 -635 -636 -637 638 -639 640 -641 -642 643 -644 -645 -646 -647 648 -649 650 651 -652 -653 -654 -655 -656 657 658 -659 -660 -661 -662 663 -664 -665 -666 667 -668 -669 -670 671 672 -673 -674 -675 676 -677 678 -679 680 -681 -682 -683 -684 685 -686 687 -688 -689 690 -691 -692 -693 -694 695 -696 -697 698 -699 -700 -701 702 -703 -704 705 -706 707 -708 -709 710 -711 -712 713 -714 -715 716 -717 -718 -719 720 -721 722 -723 -724 -725 -726 727 -728 729 -730 -731 732 -733 734 -735 736 -737 -738 -739 -740 741 -742 -743 744 745 -746 c CPU Time: 574.131 574.240u 1.785s 9:36.24 99.9% 0+0k 0+0io 0pf+0w