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-300-1_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-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-300-1_network-9.net.wcnf *** c c Min unsat cost LB: 890 ... c Min unsat cost LB: 2209 ... c Min unsat cost LB: 2463 ... c Min unsat cost LB: 3246 ... c Min unsat cost LB: 4166 ... c Min unsat cost LB: 4731 ... c Min unsat cost LB: 6067 ... c Min unsat cost LB: 6174 ... c Min unsat cost LB: 7069 ... c Min unsat cost LB: 7670 ... c Min unsat cost LB: 8904 ... c Min unsat cost LB: 10155 ... c Min unsat cost LB: 11200 ... c Min unsat cost LB: 12193 ... c Min unsat cost LB: 12497 ... c Min unsat cost LB: 13057 ... c Min unsat cost LB: 14504 ... c Min unsat cost LB: 14605 ... c Min unsat cost LB: 15420 ... c Min unsat cost LB: 17039 ... c Min unsat cost LB: 17826 ... c Min unsat cost LB: 19221 ... c Min unsat cost LB: 20458 ... c Min unsat cost LB: 20829 ... c Min unsat cost LB: 21631 ... c Min unsat cost LB: 23414 ... c Min unsat cost LB: 24987 ... c Min unsat cost LB: 25110 ... c Min unsat cost LB: 25693 ... c Min unsat cost LB: 26608 ... c Min unsat cost LB: 26937 ... c Min unsat cost LB: 27670 ... c Min unsat cost LB: 28264 ... c Min unsat cost LB: 28592 ... c Min unsat cost LB: 29745 ... c Min unsat cost LB: 29863 ... c Min unsat cost LB: 29953 ... c Min unsat cost LB: 30613 ... c Min unsat cost LB: 30619 ... c Min unsat cost LB: 30946 ... c Min unsat cost LB: 31085 ... c Min unsat cost LB: 31245 ... c Min unsat cost LB: 32854 ... c Min unsat cost LB: 33937 ... c Min unsat cost LB: 34697 ... c Min unsat cost LB: 36296 ... c Min unsat cost LB: 37631 ... c Min unsat cost LB: 38386 ... c Min unsat cost LB: 38653 ... c Min unsat cost LB: 39315 ... c Min unsat cost LB: 39803 ... c Min unsat cost LB: 40723 ... c Min unsat cost LB: 42028 ... c Min unsat cost LB: 42296 ... c Min unsat cost LB: 42781 ... c Min unsat cost LB: 44196 ... c Min unsat cost LB: 45746 ... c Min unsat cost LB: 46732 ... c Min unsat cost LB: 47162 ... c Min unsat cost LB: 47417 ... c Min unsat cost LB: 48128 ... c Min unsat cost LB: 48957 ... c Min unsat cost LB: 49376 ... c Min unsat cost LB: 49892 ... c Min unsat cost LB: 50751 ... c Min unsat cost LB: 50864 ... c Min unsat cost LB: 51280 ... c Min unsat cost LB: 51281 ... c Min unsat cost LB: 51416 ... c Min unsat cost LB: 51782 ... c Min unsat cost LB: 51872 ... c Min unsat cost LB: 52568 ... c Min unsat cost LB: 52623 ... c Min unsat cost LB: 52722 ... c Min unsat cost LB: 53986 ... c Min unsat cost LB: 54180 ... c Min unsat cost LB: 55462 ... c Min unsat cost LB: 55921 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 58157 ... c Min unsat cost LB: 58215 ... c Min unsat cost LB: 58358 ... c Min unsat cost LB: 58670 ... c Min unsat cost LB: 59096 ... c Min unsat cost LB: 59127 ... c Min unsat cost LB: 59166 ... c Min unsat cost LB: 60035 ... c Min unsat cost LB: 60449 ... c Min unsat cost LB: 60894 ... c Min unsat cost LB: 61085 ... c Min unsat cost LB: 61311 ... c Min unsat cost LB: 61418 ... c Min unsat cost LB: 61663 ... c Min unsat cost LB: 61822 ... c Min unsat cost LB: 61960 ... c Min unsat cost LB: 62171 ... c Min unsat cost LB: 62505 ... c Min unsat cost LB: 62964 ... c Min unsat cost LB: 63181 ... c Min unsat cost LB: 63604 ... c Min unsat cost LB: 63684 ... c Min unsat cost LB: 64993 ... c Min unsat cost LB: 64994 ... c Min unsat cost LB: 65248 ... c Min unsat cost LB: 65321 ... c Min unsat cost LB: 65322 ... c Min unsat cost LB: 65442 ... c Min unsat cost LB: 66563 ... c Min unsat cost LB: 66959 ... c Min unsat cost LB: 67332 ... c Min unsat cost LB: 67486 ... c Min unsat cost LB: 67907 ... c Min unsat cost LB: 68159 ... c Min unsat cost LB: 68442 ... c Min unsat cost LB: 69224 ... c Min unsat cost LB: 69465 ... c Min unsat cost LB: 70306 ... c Min unsat cost LB: 70427 ... c Min unsat cost LB: 70517 ... c Min unsat cost LB: 70722 ... c Min unsat cost LB: 70750 ... c Min unsat cost LB: 71111 ... c Min unsat cost LB: 71198 ... c Min unsat cost LB: 71553 ... c Min unsat cost LB: 72041 ... c Min unsat cost LB: 72195 ... c Min unsat cost LB: 72490 ... c Min unsat cost LB: 72566 ... c Min unsat cost LB: 72778 ... c Min unsat cost LB: 72788 ... c Min unsat cost LB: 73576 ... c Min unsat cost LB: 73615 ... c Min unsat cost LB: 73722 ... c Min unsat cost LB: 73897 ... c Min unsat cost LB: 74084 ... c Min unsat cost LB: 74094 ... c Min unsat cost LB: 74150 ... c Min unsat cost LB: 74836 ... c Min unsat cost LB: 75072 ... c Min unsat cost LB: 75243 ... c Min unsat cost LB: 75560 ... c Min unsat cost LB: 75630 ... c Min unsat cost LB: 75876 ... c Min unsat cost LB: 76520 ... c Min unsat cost LB: 76793 ... c Min unsat cost LB: 77167 ... c Min unsat cost LB: 77406 ... c Min unsat cost LB: 78141 ... c Min unsat cost LB: 78227 ... c Min unsat cost LB: 78837 ... c Min unsat cost LB: 78847 ... c Min unsat cost LB: 79123 ... c Min unsat cost LB: 79227 ... c Min unsat cost LB: 79301 ... c Min unsat cost LB: 79858 ... c Min unsat cost LB: 80099 ... c Min unsat cost LB: 80346 ... c Min unsat cost LB: 80675 ... c Min unsat cost LB: 81290 ... c Min unsat cost LB: 81404 ... c Min unsat cost LB: 81622 ... c Min unsat cost LB: 82289 ... c Min unsat cost LB: 82698 ... c Min unsat cost LB: 83083 ... c Min unsat cost LB: 83086 ... c Min unsat cost LB: 83422 ... c Min unsat cost LB: 83836 ... c Min unsat cost LB: 83916 ... c Min unsat cost LB: 84198 ... c Min unsat cost LB: 84694 ... c Min unsat cost LB: 84715 ... c Min unsat cost LB: 84944 ... c Min unsat cost LB: 85759 ... c Min unsat cost LB: 85873 ... c Min unsat cost LB: 85908 ... c Min unsat cost LB: 85909 ... c Min unsat cost LB: 85957 ... c Min unsat cost LB: 87052 ... c Min unsat cost LB: 88370 ... c Min unsat cost LB: 88411 ... c Min unsat cost LB: 88414 ... c Min unsat cost LB: 88586 ... c Min unsat cost LB: 88677 ... c Min unsat cost LB: 89458 ... c Min unsat cost LB: 89877 ... c Min unsat cost LB: 90505 ... c Min unsat cost LB: 90578 ... c Min unsat cost LB: 90701 ... c Min unsat cost LB: 91049 ... c Min unsat cost LB: 91050 ... c Min unsat cost LB: 91097 ... c Min unsat cost LB: 91494 ... c Min unsat cost LB: 92365 ... c Min unsat cost LB: 92426 ... c Min unsat cost LB: 93453 ... c Min unsat cost LB: 93540 ... c Min unsat cost LB: 93587 ... c Min unsat cost LB: 94268 ... c Min unsat cost LB: 94285 ... c Min unsat cost LB: 94430 ... c Min unsat cost LB: 94706 ... c Min unsat cost LB: 94712 ... c Min unsat cost LB: 94730 ... c Min unsat cost LB: 95287 ... c Min unsat cost LB: 95523 ... c Min unsat cost LB: 95592 ... c Min unsat cost LB: 95595 ... c Min unsat cost LB: 95598 ... c Min unsat cost LB: 96534 ... c Min unsat cost LB: 96682 ... c Min unsat cost LB: 97331 ... c Min unsat cost LB: 97593 ... c Min unsat cost LB: 97627 ... c Min unsat cost LB: 97634 ... c Min unsat cost LB: 97772 ... c Min unsat cost LB: 97818 ... c Min unsat cost LB: 97978 ... c Min unsat cost LB: 98157 ... c Min unsat cost LB: 98822 ... c Min unsat cost LB: 98963 ... c Min unsat cost LB: 99240 ... c Min unsat cost LB: 99903 ... c Min unsat cost LB: 100111 ... c Min unsat cost LB: 100365 ... c Min unsat cost LB: 100503 ... c Min unsat cost LB: 102026 ... c Min unsat cost LB: 102143 ... c Min unsat cost LB: 102281 ... c Min unsat cost LB: 102527 ... c Min unsat cost LB: 102979 ... c Min unsat cost LB: 103003 ... c Min unsat cost LB: 103005 ... c Min unsat cost LB: 103693 ... c Min unsat cost LB: 103861 ... c Min unsat cost LB: 104367 ... c Min unsat cost LB: 104913 ... c Min unsat cost LB: 105053 ... c Min unsat cost LB: 105140 ... c Min unsat cost LB: 105258 ... c Min unsat cost LB: 105332 ... c Min unsat cost LB: 105918 ... c Min unsat cost LB: 106056 ... c Min unsat cost LB: 106087 ... c Min unsat cost LB: 106219 ... c Min unsat cost LB: 107133 ... c Min unsat cost LB: 107487 ... c Min unsat cost LB: 107496 ... c Min unsat cost LB: 107561 ... c Min unsat cost LB: 107780 ... c Min unsat cost LB: 107796 ... c Min unsat cost LB: 107891 ... c Min unsat cost LB: 108017 ... c Min unsat cost LB: 108101 ... c Min unsat cost LB: 108117 ... c Min unsat cost LB: 108300 ... c Min unsat cost LB: 109016 ... c Min unsat cost LB: 109071 ... c Min unsat cost LB: 109233 ... c Min unsat cost LB: 109294 ... c Min unsat cost LB: 109387 ... c Min unsat cost LB: 110542 ... c Min unsat cost LB: 110624 ... c Min unsat cost LB: 110699 ... c Min unsat cost LB: 111012 ... c Min unsat cost LB: 111973 ... c Min unsat cost LB: 112263 ... c Min unsat cost LB: 113255 ... c Min unsat cost LB: 113381 ... c Min unsat cost LB: 113618 ... c Min unsat cost LB: 113622 ... c Min unsat cost LB: 114152 ... c Min unsat cost LB: 114205 ... c Min unsat cost LB: 114561 ... c Min unsat cost LB: 114828 ... c Min unsat cost LB: 114874 ... c Min unsat cost LB: 115310 ... c Min unsat cost LB: 115420 ... c Min unsat cost LB: 115430 ... c Min unsat cost LB: 116422 ... c Min unsat cost LB: 116823 ... c Min unsat cost LB: 117000 ... c Min unsat cost LB: 117162 ... c Min unsat cost LB: 117644 ... c Min unsat cost LB: 117913 ... c Min unsat cost LB: 117928 ... c Min unsat cost LB: 118040 ... c Min unsat cost LB: 118422 ... c Min unsat cost LB: 118580 ... c Min unsat cost LB: 118691 ... c Min unsat cost LB: 118708 ... c Min unsat cost LB: 118718 ... c Min unsat cost LB: 118747 ... c Min unsat cost LB: 118795 ... c Min unsat cost LB: 119286 ... c Min unsat cost LB: 119757 ... c Min unsat cost LB: 119824 ... c Min unsat cost LB: 119904 ... c Min unsat cost LB: 119927 ... c Min unsat cost LB: 120387 ... c Min unsat cost LB: 120698 ... c Min unsat cost LB: 120751 ... c Min unsat cost LB: 120990 ... c Min unsat cost LB: 121510 ... c Min unsat cost LB: 121566 ... c Min unsat cost LB: 121638 ... c Min unsat cost LB: 121808 ... c Min unsat cost LB: 123068 ... c Min unsat cost LB: 123467 ... c Min unsat cost LB: 123829 ... c Min unsat cost LB: 125150 ... c Min unsat cost LB: 125209 ... c Min unsat cost LB: 125225 ... c Min unsat cost LB: 125642 ... c Min unsat cost LB: 125799 ... c Min unsat cost LB: 126311 ... c Min unsat cost LB: 126353 ... c Min unsat cost LB: 126555 ... c Min unsat cost LB: 127324 ... c Min unsat cost LB: 127938 ... c Min unsat cost LB: 127944 ... c Min unsat cost LB: 128051 ... c Min unsat cost LB: 128361 ... c Min unsat cost LB: 129541 ... c Min unsat cost LB: 129542 ... c Min unsat cost LB: 129753 ... c Min unsat cost LB: 129968 ... c Min unsat cost LB: 130987 ... c Min unsat cost LB: 131079 ... c Min unsat cost LB: 131094 ... c Min unsat cost LB: 131775 ... c Min unsat cost LB: 132224 ... c Min unsat cost LB: 132693 ... c Min unsat cost LB: 133069 ... c Min unsat cost LB: 133319 ... c Min unsat cost LB: 133802 ... c Min unsat cost LB: 134479 ... c Min unsat cost LB: 134558 ... c Min unsat cost LB: 134764 ... c Min unsat cost LB: 134996 ... c Min unsat cost LB: 136011 ... c Min unsat cost LB: 136104 ... c Min unsat cost LB: 136206 ... c Min unsat cost LB: 136845 ... c Min unsat cost LB: 137215 ... c Min unsat cost LB: 137399 ... c Min unsat cost LB: 138159 ... c Min unsat cost LB: 138336 ... c Min unsat cost LB: 138789 ... c Min unsat cost LB: 139399 ... c Min unsat cost LB: 139864 ... c Min unsat cost LB: 140133 ... c Min unsat cost LB: 140534 ... c Min unsat cost LB: 140650 ... c Min unsat cost LB: 140802 ... c Min unsat cost LB: 141107 ... c Min unsat cost LB: 141345 ... c Min unsat cost LB: 141643 ... c Min unsat cost LB: 142232 ... c Min unsat cost LB: 142337 ... c Min unsat cost LB: 142489 ... c Min unsat cost LB: 142949 ... c Min unsat cost LB: 143119 ... c Min unsat cost LB: 143404 ... c Min unsat cost LB: 143418 ... c Min unsat cost LB: 143687 ... c Min unsat cost LB: 144058 ... c Min unsat cost LB: 144110 ... c Min unsat cost LB: 144656 ... c Min unsat cost LB: 145915 ... c Min unsat cost LB: 146170 ... c Min unsat cost LB: 146248 ... c Min unsat cost LB: 146259 ... c Min unsat cost LB: 146293 ... c Min unsat cost LB: 146340 ... c Min unsat cost LB: 146443 ... c Min unsat cost LB: 146461 ... c Min unsat cost LB: 146804 ... c Min unsat cost LB: 146844 ... c Min unsat cost LB: 146876 ... c Min unsat cost LB: 147133 ... c Min unsat cost LB: 147143 ... c Min unsat cost LB: 147177 ... c Min unsat cost LB: 147254 ... c Min unsat cost LB: 147265 ... c Min unsat cost LB: 147266 ... c Min unsat cost LB: 147533 ... c Min unsat cost LB: 147989 ... c Min unsat cost LB: 148007 ... c Min unsat cost LB: 148023 ... c Min unsat cost LB: 148038 ... c Min unsat cost LB: 148217 ... c Min unsat cost LB: 148301 ... c Min unsat cost LB: 148687 ... c Min unsat cost LB: 149043 ... c Min unsat cost LB: 150096 ... c Min unsat cost LB: 150387 ... c Min unsat cost LB: 150554 ... c Min unsat cost LB: 150704 ... c Min unsat cost LB: 150856 ... c Min unsat cost LB: 151148 ... c Min unsat cost LB: 151152 ... c Min unsat cost LB: 151378 ... c Min unsat cost LB: 151431 ... c Min unsat cost LB: 151456 ... c Min unsat cost LB: 151531 ... c Min unsat cost LB: 151660 ... c Min unsat cost LB: 152310 ... c Min unsat cost LB: 152650 ... c Min unsat cost LB: 153623 ... c Min unsat cost LB: 153859 ... c Min unsat cost LB: 153920 ... c Min unsat cost LB: 154560 ... c Min unsat cost LB: 154795 ... c Min unsat cost LB: 155149 ... c Min unsat cost LB: 155231 ... c Min unsat cost LB: 155432 ... c Min unsat cost LB: 156133 ... c Min unsat cost LB: 156420 ... c Min unsat cost LB: 156564 ... c Min unsat cost LB: 156573 ... c Min unsat cost LB: 156597 ... c Min unsat cost LB: 156674 ... c Min unsat cost LB: 156675 ... c Min unsat cost LB: 156724 ... c Min unsat cost LB: 156767 ... c Min unsat cost LB: 156865 ... c Min unsat cost LB: 156893 ... c Min unsat cost LB: 156935 ... c Min unsat cost LB: 157015 ... c Min unsat cost LB: 157048 ... c Min unsat cost LB: 157609 ... c Min unsat cost LB: 157628 ... c Min unsat cost LB: 157651 ... c Min unsat cost LB: 157670 ... c Min unsat cost LB: 158136 ... c Min unsat cost LB: 158139 ... c Min unsat cost LB: 158154 ... c Min unsat cost LB: 158187 ... c Min unsat cost LB: 158206 ... c Min unsat cost LB: 158215 ... c Min unsat cost LB: 158230 ... c Min unsat cost LB: 158234 ... c Min unsat cost LB: 158235 ... c Min unsat cost LB: 158249 ... c Min unsat cost LB: 158276 ... c Min unsat cost LB: 158291 ... c Min unsat cost LB: 158296 ... c Min unsat cost LB: 158333 ... c Min unsat cost LB: 158347 ... c Min unsat cost LB: 158349 ... c Min unsat cost LB: 158352 ... c Min unsat cost LB: 158367 ... c Min unsat cost LB: 158371 ... c Min unsat cost LB: 158372 ... c Min unsat cost LB: 158375 ... c Min unsat cost LB: 158376 ... c Min unsat cost LB: 158377 ... c Min unsat cost LB: 158380 ... c Min unsat cost LB: 158381 ... c Min unsat cost LB: 158384 ... c Min unsat cost LB: 158385 ... c Min unsat cost LB: 158391 ... c Min unsat cost LB: 158510 ... c Min unsat cost LB: 158645 ... c Min unsat cost LB: 159252 ... c Min unsat cost LB: 159411 ... c Min unsat cost LB: 160009 ... c Min unsat cost LB: 160224 ... c Min unsat cost LB: 160257 ... c Min unsat cost LB: 160941 ... c Min unsat cost LB: 161129 ... c Min unsat cost LB: 161172 ... c Min unsat cost LB: 161197 ... c Min unsat cost LB: 161268 ... c Min unsat cost LB: 161743 ... c Min unsat cost LB: 162426 ... c Min unsat cost LB: 162511 ... c Min unsat cost LB: 162519 ... c Min unsat cost LB: 162555 ... c Min unsat cost LB: 162676 ... c Min unsat cost LB: 163501 ... c Min unsat cost LB: 163526 ... c Min unsat cost LB: 163573 ... c Min unsat cost LB: 163766 ... c Min unsat cost LB: 163772 ... c Min unsat cost LB: 163809 ... c Min unsat cost LB: 163869 ... c Min unsat cost LB: 165351 ... c Min unsat cost LB: 165555 ... c Min unsat cost LB: 165804 ... c Min unsat cost LB: 166519 ... c Min unsat cost LB: 166665 ... c Min unsat cost LB: 166696 ... c Min unsat cost LB: 166867 ... c Min unsat cost LB: 166930 ... c Min unsat cost LB: 167107 ... c Min unsat cost LB: 167113 ... c Min unsat cost LB: 167135 ... c Min unsat cost LB: 167138 ... c Min unsat cost LB: 167139 ... c Min unsat cost LB: 167142 ... c Min unsat cost LB: 167143 ... c Min unsat cost LB: 167231 ... c Min unsat cost LB: 167486 ... c Min unsat cost LB: 167488 ... c Min unsat cost LB: 167594 ... c Min unsat cost LB: 167603 ... c Min unsat cost LB: 167614 ... c Min unsat cost LB: 167697 ... c Min unsat cost LB: 167726 ... c Min unsat cost LB: 168405 ... c Min unsat cost LB: 168950 ... c Min unsat cost LB: 169073 ... c Min unsat cost LB: 169128 ... c Min unsat cost LB: 170456 ... c Min unsat cost LB: 170561 ... c Min unsat cost LB: 170891 ... c Min unsat cost LB: 171168 ... c Min unsat cost LB: 171226 ... c Min unsat cost LB: 171493 ... c Min unsat cost LB: 171538 ... c Min unsat cost LB: 171851 ... c Min unsat cost LB: 171867 ... c Min unsat cost LB: 171930 ... c Min unsat cost LB: 172276 ... c Min unsat cost LB: 172400 ... c Min unsat cost LB: 172813 ... c Min unsat cost LB: 172814 ... c Min unsat cost LB: 173009 ... c Min unsat cost LB: 173407 ... c Min unsat cost LB: 173645 ... c Min unsat cost LB: 173713 ... c Min unsat cost LB: 173751 ... c Min unsat cost LB: 174176 ... c Min unsat cost LB: 174240 ... c Min unsat cost LB: 174872 ... c Min unsat cost LB: 175392 ... c Min unsat cost LB: 175664 ... c Min unsat cost LB: 175773 ... c Min unsat cost LB: 176484 ... c Min unsat cost LB: 177173 ... c Min unsat cost LB: 177259 ... c Min unsat cost LB: 177514 ... c Min unsat cost LB: 177551 ... c Min unsat cost LB: 177574 ... c Min unsat cost LB: 177799 ... c Min unsat cost LB: 177805 ... c Min unsat cost LB: 178551 ... c Min unsat cost LB: 179013 ... c Min unsat cost LB: 179728 ... c Min unsat cost LB: 179851 ... c Min unsat cost LB: 180537 ... c Min unsat cost LB: 181165 ... c Min unsat cost LB: 181430 ... c Min unsat cost LB: 181446 ... c Min unsat cost LB: 181619 ... c Min unsat cost LB: 181985 ... c Min unsat cost LB: 182262 ... c Min unsat cost LB: 182829 ... c Min unsat cost LB: 182958 ... c Min unsat cost LB: 183328 ... c Min unsat cost LB: 183358 ... c Min unsat cost LB: 183525 ... c Min unsat cost LB: 183594 ... c Min unsat cost LB: 183812 ... c Min unsat cost LB: 183851 ... c Min unsat cost LB: 184424 ... c Min unsat cost LB: 184572 ... c Min unsat cost LB: 184642 ... c Min unsat cost LB: 184681 ... c Min unsat cost LB: 185254 ... c Min unsat cost LB: 185367 ... c Min unsat cost LB: 185681 ... c Min unsat cost LB: 185783 ... c Min unsat cost LB: 186022 ... c Min unsat cost LB: 186431 ... c Min unsat cost LB: 186525 ... c Min unsat cost LB: 186715 ... c Min unsat cost LB: 186898 ... c Min unsat cost LB: 187110 ... c Min unsat cost LB: 187157 ... c Min unsat cost LB: 187166 ... c Min unsat cost LB: 187167 ... c Min unsat cost LB: 187170 ... c Min unsat cost LB: 187441 ... c Min unsat cost LB: 187443 ... c Min unsat cost LB: 187470 ... c Min unsat cost LB: 187472 ... c Min unsat cost LB: 187498 ... c Min unsat cost LB: 187591 ... c Min unsat cost LB: 187630 ... c Min unsat cost LB: 187639 ... c Min unsat cost LB: 187644 ... c Min unsat cost LB: 187660 ... c Min unsat cost LB: 187748 ... c Min unsat cost LB: 187750 ... c Min unsat cost LB: 187762 ... c Min unsat cost LB: 187763 ... c Min unsat cost LB: 187840 ... c Min unsat cost LB: 187850 ... c Min unsat cost LB: 187924 ... c Min unsat cost LB: 187925 ... c Min unsat cost LB: 187926 ... c Min unsat cost LB: 187928 ... c Min unsat cost LB: 187929 ... c Min unsat cost LB: 187930 ... c Min unsat cost LB: 187933 ... c Min unsat cost LB: 187937 ... c Min unsat cost LB: 188397 ... c Min unsat cost LB: 188584 ... c Min unsat cost LB: 188609 ... c Min unsat cost LB: 188856 ... c Min unsat cost LB: 188892 ... c Min unsat cost LB: 190240 ... c Min unsat cost LB: 190302 ... c Min unsat cost LB: 190528 ... c Min unsat cost LB: 190677 ... c Min unsat cost LB: 190958 ... c Min unsat cost LB: 191732 ... c Min unsat cost LB: 191751 ... c Min unsat cost LB: 192172 ... c Min unsat cost LB: 192337 ... c Min unsat cost LB: 192934 ... c Min unsat cost LB: 193427 ... c Min unsat cost LB: 193729 ... c Min unsat cost LB: 194349 ... c Min unsat cost LB: 194435 ... c Min unsat cost LB: 195359 ... c Min unsat cost LB: 195587 ... c Min unsat cost LB: 195721 ... c Min unsat cost LB: 196233 ... c Min unsat cost LB: 196347 ... c Min unsat cost LB: 196349 ... c Min unsat cost LB: 196521 ... c Min unsat cost LB: 196665 ... c Min unsat cost LB: 196682 ... c Min unsat cost LB: 196743 ... c Min unsat cost LB: 196978 ... c Min unsat cost LB: 197673 ... c Min unsat cost LB: 197955 ... c Min unsat cost LB: 198336 ... c Min unsat cost LB: 198787 ... c Min unsat cost LB: 199058 ... c Min unsat cost LB: 199234 ... c Min unsat cost LB: 199280 ... c Min unsat cost LB: 199315 ... c Min unsat cost LB: 199430 ... c Min unsat cost LB: 199669 ... c Min unsat cost LB: 199988 ... c Min unsat cost LB: 200251 ... c Min unsat cost LB: 200269 ... c Min unsat cost LB: 200410 ... c Min unsat cost LB: 200817 ... c Min unsat cost LB: 200935 ... c Min unsat cost LB: 201087 ... c Min unsat cost LB: 201978 ... c Min unsat cost LB: 202090 ... c Min unsat cost LB: 202120 ... c Min unsat cost LB: 202147 ... c Min unsat cost LB: 202455 ... c Min unsat cost LB: 202576 ... c Min unsat cost LB: 202725 ... c Min unsat cost LB: 203835 ... c Min unsat cost LB: 204182 ... c Min unsat cost LB: 204454 ... c Min unsat cost LB: 204979 ... c Min unsat cost LB: 205267 ... c Min unsat cost LB: 205860 ... c Min unsat cost LB: 205888 ... c Min unsat cost LB: 206136 ... c Min unsat cost LB: 206190 ... c Min unsat cost LB: 206963 ... c Min unsat cost LB: 207250 ... c Min unsat cost LB: 207306 ... c Min unsat cost LB: 207461 ... c Min unsat cost LB: 207968 ... c Min unsat cost LB: 208193 ... c Min unsat cost LB: 209135 ... c Min unsat cost LB: 209136 ... c Min unsat cost LB: 209311 ... c Min unsat cost LB: 209383 ... c Min unsat cost LB: 209916 ... c Min unsat cost LB: 209950 ... c Min unsat cost LB: 210226 ... c Min unsat cost LB: 210232 ... c Min unsat cost LB: 210287 ... c Min unsat cost LB: 210992 ... c Min unsat cost LB: 211123 ... c Min unsat cost LB: 211237 ... c Min unsat cost LB: 211369 ... c Min unsat cost LB: 211490 ... c Min unsat cost LB: 211685 ... c Min unsat cost LB: 211806 ... c Min unsat cost LB: 211911 ... c Min unsat cost LB: 213165 ... c Min unsat cost LB: 213291 ... c Min unsat cost LB: 213346 ... c Min unsat cost LB: 213835 ... c Min unsat cost LB: 213874 ... c Min unsat cost LB: 213979 ... c Min unsat cost LB: 214564 ... c Min unsat cost LB: 214855 ... c Min unsat cost LB: 214920 ... c Min unsat cost LB: 215378 ... c Min unsat cost LB: 215392 ... c Min unsat cost LB: 215393 ... c Min unsat cost LB: 215434 ... c Min unsat cost LB: 215545 ... c Min unsat cost LB: 215578 ... c Min unsat cost LB: 215646 ... c Min unsat cost LB: 215952 ... c Min unsat cost LB: 215955 ... c Min unsat cost LB: 215972 ... c Min unsat cost LB: 216152 ... c Min unsat cost LB: 216475 ... c Min unsat cost LB: 216496 ... c Min unsat cost LB: 216760 ... c Min unsat cost LB: 216891 ... c Min unsat cost LB: 216900 ... c Min unsat cost LB: 216928 ... c Min unsat cost LB: 216929 ... c Min unsat cost LB: 216931 ... c Min unsat cost LB: 217140 ... c Min unsat cost LB: 217329 ... c Min unsat cost LB: 217560 ... c Min unsat cost LB: 217563 ... c Min unsat cost LB: 217763 ... c Min unsat cost LB: 217890 ... c Min unsat cost LB: 218889 ... c Min unsat cost LB: 219157 ... c Min unsat cost LB: 220059 ... c Min unsat cost LB: 220086 ... c Min unsat cost LB: 220291 ... c Min unsat cost LB: 220407 ... c Min unsat cost LB: 221116 ... c Min unsat cost LB: 221345 ... c Min unsat cost LB: 221783 ... c Min unsat cost LB: 221822 ... c Min unsat cost LB: 222076 ... c Min unsat cost LB: 222525 ... c Min unsat cost LB: 223137 ... c Min unsat cost LB: 223243 ... c Min unsat cost LB: 223253 ... c Min unsat cost LB: 223258 ... c Min unsat cost LB: 223353 ... c Min unsat cost LB: 223363 ... c Min unsat cost LB: 224214 ... c Min unsat cost LB: 224327 ... c Min unsat cost LB: 224797 ... c Min unsat cost LB: 225285 ... c Min unsat cost LB: 225471 ... c Min unsat cost LB: 225658 ... c Min unsat cost LB: 225710 ... c Min unsat cost LB: 226713 ... c Min unsat cost LB: 227571 ... c Min unsat cost LB: 227702 ... c Min unsat cost LB: 227713 ... c Min unsat cost LB: 228219 ... c Min unsat cost LB: 228330 ... c Min unsat cost LB: 228354 ... c Min unsat cost LB: 228465 ... c Min unsat cost LB: 228475 ... c Min unsat cost LB: 228535 ... c Min unsat cost LB: 228539 ... c Min unsat cost LB: 228542 ... c Min unsat cost LB: 228552 ... c Min unsat cost LB: 228556 ... c Min unsat cost LB: 228559 ... c Min unsat cost LB: 228605 ... c Min unsat cost LB: 228606 ... c Min unsat cost LB: 228608 ... c Min unsat cost LB: 228613 ... c Min unsat cost LB: 228889 ... c Min unsat cost LB: 228972 ... c Min unsat cost LB: 228986 ... c Min unsat cost LB: 229034 ... c Min unsat cost LB: 229235 ... c Min unsat cost LB: 229409 ... c Min unsat cost LB: 229457 ... c Min unsat cost LB: 229471 ... c Min unsat cost LB: 229640 ... c Min unsat cost LB: 229672 ... c Min unsat cost LB: 229685 ... c Min unsat cost LB: 229686 ... c Min unsat cost LB: 229689 ... c Min unsat cost LB: 229699 ... c Min unsat cost LB: 229707 ... c Min unsat cost LB: 229708 ... c Min unsat cost LB: 229709 ... c Min unsat cost LB: 229710 ... c Min unsat cost LB: 229711 ... c Min unsat cost LB: 229712 ... c Min unsat cost LB: 229720 ... c Min unsat cost LB: 229721 ... c Min unsat cost LB: 229724 ... c Min unsat cost LB: 229726 ... c Min unsat cost LB: 229728 ... c Min unsat cost LB: 229729 ... c Min unsat cost LB: 229733 ... c Min unsat cost LB: 229736 ... c Min unsat cost LB: 229743 ... c Min unsat cost LB: 229775 ... c Min unsat cost LB: 229796 ... c Min unsat cost LB: 229798 ... c Min unsat cost LB: 229799 ... c Min unsat cost LB: 229800 ... c Min unsat cost LB: 229847 ... c Min unsat cost LB: 229875 ... c Min unsat cost LB: 230050 ... c Min unsat cost LB: 230268 ... c Min unsat cost LB: 230381 ... c Min unsat cost LB: 230812 ... c Min unsat cost LB: 230871 ... c Min unsat cost LB: 231712 ... c Min unsat cost LB: 231771 ... c Min unsat cost LB: 231919 ... c Min unsat cost LB: 232193 ... c Min unsat cost LB: 232231 ... c Min unsat cost LB: 232521 ... c Min unsat cost LB: 232915 ... c Min unsat cost LB: 233322 ... c Min unsat cost LB: 233324 ... c Min unsat cost LB: 233325 ... c Min unsat cost LB: 233326 ... c Min unsat cost LB: 233341 ... c Min unsat cost LB: 233421 ... c Min unsat cost LB: 233432 ... c Min unsat cost LB: 233447 ... c Min unsat cost LB: 233714 ... c Min unsat cost LB: 233715 ... c Min unsat cost LB: 233716 ... c Min unsat cost LB: 233719 ... c Min unsat cost LB: 233724 ... c Min unsat cost LB: 233764 ... c Min unsat cost LB: 233765 ... c Min unsat cost LB: 233859 ... c Min unsat cost LB: 233993 ... c Min unsat cost LB: 234002 ... c Min unsat cost LB: 234086 ... c Min unsat cost LB: 234087 ... c Min unsat cost LB: 234165 ... c Min unsat cost LB: 234371 ... c Min unsat cost LB: 234990 ... c Min unsat cost LB: 235015 ... c Min unsat cost LB: 235825 ... c Min unsat cost LB: 235949 ... c Min unsat cost LB: 236008 ... c Min unsat cost LB: 236555 ... c Min unsat cost LB: 237609 ... c Min unsat cost LB: 237868 ... c Min unsat cost LB: 238074 ... c Min unsat cost LB: 238193 ... c Min unsat cost LB: 238415 ... c Min unsat cost LB: 238555 ... c Min unsat cost LB: 238771 ... c Min unsat cost LB: 239205 ... c Min unsat cost LB: 239243 ... c Min unsat cost LB: 239256 ... c Min unsat cost LB: 239266 ... c Min unsat cost LB: 239373 ... c Min unsat cost LB: 239574 ... c Min unsat cost LB: 239711 ... c Min unsat cost LB: 239793 ... c Min unsat cost LB: 240217 ... c Min unsat cost LB: 240683 ... c Min unsat cost LB: 241365 ... c Min unsat cost LB: 241897 ... c Min unsat cost LB: 241918 ... c Min unsat cost LB: 241925 ... c Min unsat cost LB: 242045 ... c Min unsat cost LB: 242060 ... c Min unsat cost LB: 242098 ... c Min unsat cost LB: 242363 ... c Min unsat cost LB: 243082 ... c Min unsat cost LB: 243114 ... c Min unsat cost LB: 243314 ... c Min unsat cost LB: 243414 ... c Min unsat cost LB: 243643 ... c Min unsat cost LB: 243750 ... c Min unsat cost LB: 243994 ... c Min unsat cost LB: 244563 ... c Min unsat cost LB: 244743 ... c Min unsat cost LB: 244857 ... c Min unsat cost LB: 244911 ... c Min unsat cost LB: 245088 ... c Min unsat cost LB: 245650 ... c Min unsat cost LB: 246150 ... c Min unsat cost LB: 246832 ... c Min unsat cost LB: 247017 ... c Min unsat cost LB: 247084 ... c Min unsat cost LB: 247424 ... c Min unsat cost LB: 247586 ... c Min unsat cost LB: 247660 ... c Min unsat cost LB: 247759 ... c Min unsat cost LB: 247781 ... c Min unsat cost LB: 247784 ... c Min unsat cost LB: 247788 ... c Min unsat cost LB: 247789 ... c Min unsat cost LB: 248125 ... c Min unsat cost LB: 248214 ... c Min unsat cost LB: 248319 ... c Min unsat cost LB: 248424 ... c Min unsat cost LB: 248439 ... c Min unsat cost LB: 248468 ... c Min unsat cost LB: 248679 ... c Min unsat cost LB: 248715 ... c Min unsat cost LB: 248739 ... c Min unsat cost LB: 248950 ... c Min unsat cost LB: 248967 ... c Min unsat cost LB: 249028 ... c Min unsat cost LB: 249070 ... c Min unsat cost LB: 249079 ... c Min unsat cost LB: 249185 ... c Min unsat cost LB: 249817 ... c Min unsat cost LB: 249963 ... c Min unsat cost LB: 250422 ... c Min unsat cost LB: 250480 ... c Min unsat cost LB: 250582 ... c Min unsat cost LB: 250599 ... c Min unsat cost LB: 250664 ... c Min unsat cost LB: 250839 ... c Min unsat cost LB: 251296 ... c Min unsat cost LB: 251317 ... c Min unsat cost LB: 251361 ... c Min unsat cost LB: 251378 ... c Min unsat cost LB: 251401 ... c Min unsat cost LB: 251482 ... c Min unsat cost LB: 252017 ... c Min unsat cost LB: 252683 ... c Min unsat cost LB: 252876 ... c Min unsat cost LB: 253717 ... c Min unsat cost LB: 253810 ... c Min unsat cost LB: 253877 ... c Min unsat cost LB: 254022 ... c Min unsat cost LB: 254031 ... c Min unsat cost LB: 254056 ... c Min unsat cost LB: 254508 ... c Min unsat cost LB: 255557 ... c Min unsat cost LB: 255568 ... c Min unsat cost LB: 255811 ... c Min unsat cost LB: 255830 ... c Min unsat cost LB: 255969 ... c Min unsat cost LB: 255980 ... c Min unsat cost LB: 255984 ... c Min unsat cost LB: 255998 ... c Min unsat cost LB: 256075 ... c Min unsat cost LB: 257352 ... c Min unsat cost LB: 257393 ... c Min unsat cost LB: 257426 ... c Min unsat cost LB: 257430 ... c Min unsat cost LB: 257441 ... c Min unsat cost LB: 257873 ... c Min unsat cost LB: 257899 ... c Min unsat cost LB: 258297 ... c Min unsat cost LB: 258527 ... c Min unsat cost LB: 258553 ... c Min unsat cost LB: 258710 ... c Min unsat cost LB: 259394 ... c Min unsat cost LB: 259675 ... c Min unsat cost LB: 260034 ... c Min unsat cost LB: 260554 ... c Min unsat cost LB: 261324 ... c Min unsat cost LB: 261380 ... c Min unsat cost LB: 261435 ... c Min unsat cost LB: 261474 ... c Min unsat cost LB: 261689 ... c Min unsat cost LB: 262206 ... c Min unsat cost LB: 262225 ... c Min unsat cost LB: 262300 ... c Min unsat cost LB: 262328 ... c Min unsat cost LB: 262477 ... c Min unsat cost LB: 262833 ... c Min unsat cost LB: 263019 ... c Min unsat cost LB: 263309 ... c Min unsat cost LB: 263441 ... c Min unsat cost LB: 263468 ... c Min unsat cost LB: 263638 ... c Min unsat cost LB: 263654 ... c Min unsat cost LB: 263700 ... c Min unsat cost LB: 263713 ... c Min unsat cost LB: 263750 ... c Min unsat cost LB: 263760 ... c Min unsat cost LB: 263789 ... c Min unsat cost LB: 264002 ... c Min unsat cost LB: 264267 ... c Min unsat cost LB: 264855 ... c Min unsat cost LB: 264861 ... c Min unsat cost LB: 264905 ... c Min unsat cost LB: 264927 ... c Min unsat cost LB: 265074 ... c Min unsat cost LB: 265212 ... c Min unsat cost LB: 265380 ... c Min unsat cost LB: 265561 ... c Min unsat cost LB: 266250 ... c Min unsat cost LB: 266506 ... c Min unsat cost LB: 267277 ... c Min unsat cost LB: 267534 ... c Min unsat cost LB: 267675 ... c Min unsat cost LB: 267701 ... c Min unsat cost LB: 267703 ... c