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-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-8.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-8.net.wcnf *** c c Min unsat cost LB: 55 ... c Min unsat cost LB: 1344 ... c Min unsat cost LB: 1696 ... c Min unsat cost LB: 1953 ... c Min unsat cost LB: 2852 ... c Min unsat cost LB: 4021 ... c Min unsat cost LB: 4597 ... c Min unsat cost LB: 6832 ... c Min unsat cost LB: 7748 ... c Min unsat cost LB: 8589 ... c Min unsat cost LB: 10050 ... c Min unsat cost LB: 11764 ... c Min unsat cost LB: 12420 ... c Min unsat cost LB: 12836 ... c Min unsat cost LB: 13379 ... c Min unsat cost LB: 14283 ... c Min unsat cost LB: 15869 ... c Min unsat cost LB: 18110 ... c Min unsat cost LB: 18260 ... c Min unsat cost LB: 18721 ... c Min unsat cost LB: 18727 ... c Min unsat cost LB: 19794 ... c Min unsat cost LB: 20507 ... c Min unsat cost LB: 21237 ... c Min unsat cost LB: 21469 ... c Min unsat cost LB: 21471 ... c Min unsat cost LB: 21511 ... c Min unsat cost LB: 21763 ... c Min unsat cost LB: 22729 ... c Min unsat cost LB: 22894 ... c Min unsat cost LB: 23754 ... c Min unsat cost LB: 25694 ... c Min unsat cost LB: 27455 ... c Min unsat cost LB: 27551 ... c Min unsat cost LB: 28517 ... c Min unsat cost LB: 29517 ... c Min unsat cost LB: 30268 ... c Min unsat cost LB: 30567 ... c Min unsat cost LB: 31881 ... c Min unsat cost LB: 32050 ... c Min unsat cost LB: 33178 ... c Min unsat cost LB: 33512 ... c Min unsat cost LB: 34541 ... c Min unsat cost LB: 35531 ... c Min unsat cost LB: 37232 ... c Min unsat cost LB: 38296 ... c Min unsat cost LB: 39269 ... c Min unsat cost LB: 39464 ... c Min unsat cost LB: 40894 ... c Min unsat cost LB: 42243 ... c Min unsat cost LB: 42272 ... c Min unsat cost LB: 42604 ... c Min unsat cost LB: 43588 ... c Min unsat cost LB: 45348 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45674 ... c Min unsat cost LB: 46420 ... c Min unsat cost LB: 47386 ... c Min unsat cost LB: 47820 ... c Min unsat cost LB: 49236 ... c Min unsat cost LB: 50054 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 50602 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51027 ... c Min unsat cost LB: 51419 ... c Min unsat cost LB: 52665 ... c Min unsat cost LB: 52743 ... c Min unsat cost LB: 53815 ... c Min unsat cost LB: 53904 ... c Min unsat cost LB: 54199 ... c Min unsat cost LB: 54377 ... c Min unsat cost LB: 55016 ... c Min unsat cost LB: 55825 ... c Min unsat cost LB: 55934 ... c Min unsat cost LB: 56254 ... c Min unsat cost LB: 56670 ... c Min unsat cost LB: 56696 ... c Min unsat cost LB: 57466 ... c Min unsat cost LB: 58553 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58849 ... c Min unsat cost LB: 58932 ... c Min unsat cost LB: 58962 ... c Min unsat cost LB: 59146 ... c Min unsat cost LB: 59416 ... c Min unsat cost LB: 59724 ... c Min unsat cost LB: 60157 ... c Min unsat cost LB: 60775 ... c Min unsat cost LB: 60893 ... c Min unsat cost LB: 60945 ... c Min unsat cost LB: 61017 ... c Min unsat cost LB: 61165 ... c Min unsat cost LB: 62108 ... c Min unsat cost LB: 62198 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62445 ... c Min unsat cost LB: 63552 ... c Min unsat cost LB: 63658 ... c Min unsat cost LB: 64238 ... c Min unsat cost LB: 64951 ... c Min unsat cost LB: 64971 ... c Min unsat cost LB: 65188 ... c Min unsat cost LB: 65330 ... c Min unsat cost LB: 65381 ... c Min unsat cost LB: 65596 ... c Min unsat cost LB: 66151 ... c Min unsat cost LB: 66547 ... c Min unsat cost LB: 67012 ... c Min unsat cost LB: 67152 ... c Min unsat cost LB: 67397 ... c Min unsat cost LB: 68408 ... c Min unsat cost LB: 68922 ... c Min unsat cost LB: 69262 ... c Min unsat cost LB: 70114 ... c Min unsat cost LB: 70212 ... c Min unsat cost LB: 70527 ... c Min unsat cost LB: 70893 ... c Min unsat cost LB: 71499 ... c Min unsat cost LB: 71861 ... c Min unsat cost LB: 72366 ... c Min unsat cost LB: 73164 ... c Min unsat cost LB: 73433 ... c Min unsat cost LB: 73435 ... c Min unsat cost LB: 73605 ... c Min unsat cost LB: 73885 ... c Min unsat cost LB: 73896 ... c Min unsat cost LB: 74472 ... c Min unsat cost LB: 74519 ... c Min unsat cost LB: 75590 ... c Min unsat cost LB: 75952 ... c Min unsat cost LB: 76000 ... c Min unsat cost LB: 76334 ... c Min unsat cost LB: 76504 ... c Min unsat cost LB: 77256 ... c Min unsat cost LB: 77532 ... c Min unsat cost LB: 77621 ... c Min unsat cost LB: 78665 ... c Min unsat cost LB: 79022 ... c Min unsat cost LB: 79466 ... c Min unsat cost LB: 79890 ... c Min unsat cost LB: 80534 ... c Min unsat cost LB: 80763 ... c Min unsat cost LB: 80795 ... c Min unsat cost LB: 80998 ... c Min unsat cost LB: 81435 ... c Min unsat cost LB: 82099 ... c Min unsat cost LB: 82166 ... c Min unsat cost LB: 82281 ... c Min unsat cost LB: 82311 ... c Min unsat cost LB: 82371 ... c Min unsat cost LB: 83015 ... c Min unsat cost LB: 83139 ... c Min unsat cost LB: 83478 ... c Min unsat cost LB: 84591 ... c Min unsat cost LB: 84788 ... c Min unsat cost LB: 85113 ... c Min unsat cost LB: 86379 ... c Min unsat cost LB: 86804 ... c Min unsat cost LB: 87494 ... c Min unsat cost LB: 87610 ... c Min unsat cost LB: 87948 ... c Min unsat cost LB: 88181 ... c Min unsat cost LB: 88182 ... c Min unsat cost LB: 88315 ... c Min unsat cost LB: 88759 ... c Min unsat cost LB: 89230 ... c Min unsat cost LB: 89480 ... c Min unsat cost LB: 89493 ... c Min unsat cost LB: 89589 ... c Min unsat cost LB: 89599 ... c Min unsat cost LB: 90106 ... c Min unsat cost LB: 90222 ... c Min unsat cost LB: 91002 ... c Min unsat cost LB: 91925 ... c Min unsat cost LB: 92006 ... c Min unsat cost LB: 92215 ... c Min unsat cost LB: 92288 ... c Min unsat cost LB: 92689 ... c Min unsat cost LB: 92821 ... c Min unsat cost LB: 93463 ... c Min unsat cost LB: 93776 ... c Min unsat cost LB: 94123 ... c Min unsat cost LB: 95004 ... c Min unsat cost LB: 95572 ... c Min unsat cost LB: 95722 ... c Min unsat cost LB: 96616 ... c Min unsat cost LB: 96674 ... c Min unsat cost LB: 97118 ... c Min unsat cost LB: 97434 ... c Min unsat cost LB: 97526 ... c Min unsat cost LB: 98084 ... c Min unsat cost LB: 98158 ... c Min unsat cost LB: 98802 ... c Min unsat cost LB: 98889 ... c Min unsat cost LB: 99322 ... c Min unsat cost LB: 99633 ... c Min unsat cost LB: 100545 ... c Min unsat cost LB: 100865 ... c Min unsat cost LB: 101191 ... c Min unsat cost LB: 101645 ... c Min unsat cost LB: 102007 ... c Min unsat cost LB: 102790 ... c Min unsat cost LB: 103056 ... c Min unsat cost LB: 103207 ... c Min unsat cost LB: 103299 ... c Min unsat cost LB: 103382 ... c Min unsat cost LB: 103469 ... c Min unsat cost LB: 103472 ... c Min unsat cost LB: 104665 ... c Min unsat cost LB: 104937 ... c Min unsat cost LB: 105396 ... c Min unsat cost LB: 105876 ... c Min unsat cost LB: 106230 ... c Min unsat cost LB: 106688 ... c Min unsat cost LB: 106873 ... c Min unsat cost LB: 107436 ... c Min unsat cost LB: 107512 ... c Min unsat cost LB: 107998 ... c Min unsat cost LB: 108222 ... c Min unsat cost LB: 108336 ... c Min unsat cost LB: 108548 ... c Min unsat cost LB: 108755 ... c Min unsat cost LB: 109244 ... c Min unsat cost LB: 109454 ... c Min unsat cost LB: 109949 ... c Min unsat cost LB: 110093 ... c Min unsat cost LB: 110165 ... c Min unsat cost LB: 111624 ... c Min unsat cost LB: 111682 ... c Min unsat cost LB: 112237 ... c Min unsat cost LB: 112402 ... c Min unsat cost LB: 112529 ... c Min unsat cost LB: 112679 ... c Min unsat cost LB: 113655 ... c Min unsat cost LB: 113729 ... c Min unsat cost LB: 113818 ... c Min unsat cost LB: 113863 ... c Min unsat cost LB: 114095 ... c Min unsat cost LB: 114146 ... c Min unsat cost LB: 114278 ... c Min unsat cost LB: 114473 ... c Min unsat cost LB: 115041 ... c Min unsat cost LB: 115212 ... c Min unsat cost LB: 115214 ... c Min unsat cost LB: 115392 ... c Min unsat cost LB: 115435 ... c Min unsat cost LB: 115516 ... c Min unsat cost LB: 116261 ... c Min unsat cost LB: 116284 ... c Min unsat cost LB: 117208 ... c Min unsat cost LB: 117227 ... c Min unsat cost LB: 117555 ... c Min unsat cost LB: 117658 ... c Min unsat cost LB: 117921 ... c Min unsat cost LB: 118166 ... c Min unsat cost LB: 118267 ... c Min unsat cost LB: 118357 ... c Min unsat cost LB: 118663 ... c Min unsat cost LB: 118673 ... c Min unsat cost LB: 118934 ... c Min unsat cost LB: 119033 ... c Min unsat cost LB: 119826 ... c Min unsat cost LB: 120500 ... c Min unsat cost LB: 120850 ... c Min unsat cost LB: 121075 ... c Min unsat cost LB: 121451 ... c Min unsat cost LB: 122149 ... c Min unsat cost LB: 122277 ... c Min unsat cost LB: 122583 ... c Min unsat cost LB: 122944 ... c Min unsat cost LB: 123638 ... c Min unsat cost LB: 123661 ... c Min unsat cost LB: 123724 ... c Min unsat cost LB: 123764 ... c Min unsat cost LB: 124035 ... c Min unsat cost LB: 124968 ... c Min unsat cost LB: 125338 ... c Min unsat cost LB: 125751 ... c Min unsat cost LB: 125781 ... c Min unsat cost LB: 125805 ... c Min unsat cost LB: 126601 ... c Min unsat cost LB: 126923 ... c Min unsat cost LB: 127138 ... c Min unsat cost LB: 127230 ... c Min unsat cost LB: 127783 ... c Min unsat cost LB: 127793 ... c Min unsat cost LB: 128051 ... c Min unsat cost LB: 128089 ... c Min unsat cost LB: 128181 ... c Min unsat cost LB: 128840 ... c Min unsat cost LB: 129609 ... c Min unsat cost LB: 129627 ... c Min unsat cost LB: 129757 ... c Min unsat cost LB: 130933 ... c Min unsat cost LB: 131756 ... c Min unsat cost LB: 131874 ... c Min unsat cost LB: 132245 ... c Min unsat cost LB: 132265 ... c Min unsat cost LB: 132440 ... c Min unsat cost LB: 132611 ... c Min unsat cost LB: 132626 ... c Min unsat cost LB: 132754 ... c Min unsat cost LB: 132771 ... c Min unsat cost LB: 132967 ... c Min unsat cost LB: 133410 ... c Min unsat cost LB: 133815 ... c Min unsat cost LB: 133946 ... c Min unsat cost LB: 134220 ... c Min unsat cost LB: 134787 ... c Min unsat cost LB: 135340 ... c Min unsat cost LB: 135499 ... c Min unsat cost LB: 135860 ... c Min unsat cost LB: 135868 ... c Min unsat cost LB: 135869 ... c Min unsat cost LB: 135911 ... c Min unsat cost LB: 135942 ... c Min unsat cost LB: 136305 ... c Min unsat cost LB: 136577 ... c Min unsat cost LB: 136579 ... c Min unsat cost LB: 137040 ... c Min unsat cost LB: 137354 ... c Min unsat cost LB: 137799 ... c Min unsat cost LB: 137887 ... c Min unsat cost LB: 138015 ... c Min unsat cost LB: 138046 ... c Min unsat cost LB: 138058 ... c Min unsat cost LB: 138062 ... c Min unsat cost LB: 138608 ... c Min unsat cost LB: 139087 ... c Min unsat cost LB: 139504 ... c Min unsat cost LB: 139615 ... c Min unsat cost LB: 139639 ... c Min unsat cost LB: 139652 ... c Min unsat cost LB: 139788 ... c Min unsat cost LB: 139815 ... c Min unsat cost LB: 139856 ... c Min unsat cost LB: 139866 ... c Min unsat cost LB: 139869 ... c Min unsat cost LB: 139876 ... c Min unsat cost LB: 139888 ... c Min unsat cost LB: 140065 ... c Min unsat cost LB: 140588 ... c Min unsat cost LB: 141504 ... c Min unsat cost LB: 142410 ... c Min unsat cost LB: 142441 ... c Min unsat cost LB: 143307 ... c Min unsat cost LB: 143379 ... c Min unsat cost LB: 143763 ... c Min unsat cost LB: 144568 ... c Min unsat cost LB: 145286 ... c Min unsat cost LB: 145310 ... c Min unsat cost LB: 145775 ... c Min unsat cost LB: 145927 ... c Min unsat cost LB: 146113 ... c Min unsat cost LB: 146290 ... c Min unsat cost LB: 146824 ... c Min unsat cost LB: 146926 ... c Min unsat cost LB: 147344 ... c Min unsat cost LB: 147462 ... c Min unsat cost LB: 147803 ... c Min unsat cost LB: 147847 ... c Min unsat cost LB: 148201 ... c Min unsat cost LB: 148488 ... c Min unsat cost LB: 148495 ... c Min unsat cost LB: 148825 ... c Min unsat cost LB: 148961 ... c Min unsat cost LB: 149214 ... c Min unsat cost LB: 149477 ... c Min unsat cost LB: 149763 ... c Min unsat cost LB: 150064 ... c Min unsat cost LB: 150091 ... c Min unsat cost LB: 150159 ... c Min unsat cost LB: 150189 ... c Min unsat cost LB: 150665 ... c Min unsat cost LB: 150668 ... c Min unsat cost LB: 150703 ... c Min unsat cost LB: 151043 ... c Min unsat cost LB: 151366 ... c Min unsat cost LB: 151621 ... c Min unsat cost LB: 151638 ... c Min unsat cost LB: 152407 ... c Min unsat cost LB: 152418 ... c Min unsat cost LB: 153027 ... c Min unsat cost LB: 153044 ... c Min unsat cost LB: 153215 ... c Min unsat cost LB: 153216 ... c Min unsat cost LB: 153218 ... c Min unsat cost LB: 153428 ... c Min unsat cost LB: 153550 ... c Min unsat cost LB: 154441 ... c Min unsat cost LB: 154458 ... c Min unsat cost LB: 154603 ... c Min unsat cost LB: 154617 ... c Min unsat cost LB: 154633 ... c Min unsat cost LB: 154688 ... c Min unsat cost LB: 154841 ... c Min unsat cost LB: 155138 ... c Min unsat cost LB: 155902 ... c Min unsat cost LB: 156373 ... c Min unsat cost LB: 156412 ... c Min unsat cost LB: 156637 ... c Min unsat cost LB: 157028 ... c Min unsat cost LB: 157443 ... c Min unsat cost LB: 157465 ... c Min unsat cost LB: 157855 ... c Min unsat cost LB: 157863 ... c Min unsat cost LB: 157886 ... c Min unsat cost LB: 158457 ... c Min unsat cost LB: 158560 ... c Min unsat cost LB: 159246 ... c Min unsat cost LB: 159287 ... c Min unsat cost LB: 159352 ... c Min unsat cost LB: 159834 ... c Min unsat cost LB: 159855 ... c Min unsat cost LB: 159864 ... c Min unsat cost LB: 159905 ... c Min unsat cost LB: 159928 ... c Min unsat cost LB: 160008 ... c Min unsat cost LB: 160143 ... c Min unsat cost LB: 160172 ... c Min unsat cost LB: 160240 ... c Min unsat cost LB: 160252 ... c Min unsat cost LB: 160270 ... c Min unsat cost LB: 160472 ... c Min unsat cost LB: 160499 ... c Min unsat cost LB: 160563 ... c Min unsat cost LB: 160667 ... c Min unsat cost LB: 160678 ... c Min unsat cost LB: 160714 ... c Min unsat cost LB: 160775 ... c Min unsat cost LB: 160792 ... c Min unsat cost LB: 160802 ... c Min unsat cost LB: 160808 ... c Min unsat cost LB: 160820 ... c Min unsat cost LB: 160824 ... c Min unsat cost LB: 160838 ... c Min unsat cost LB: 160896 ... c Min unsat cost LB: 161104 ... c Min unsat cost LB: 161125 ... c Min unsat cost LB: 161148 ... c Min unsat cost LB: 161152 ... c Min unsat cost LB: 161263 ... c Min unsat cost LB: 161269 ... c Min unsat cost LB: 161272 ... c Min unsat cost LB: 161305 ... c Min unsat cost LB: 161932 ... c Min unsat cost LB: 161960 ... c Min unsat cost LB: 161994 ... c Min unsat cost LB: 162001 ... c Min unsat cost LB: 162005 ... c Min unsat cost LB: 162015 ... c Min unsat cost LB: 162024 ... c Min unsat cost LB: 162038 ... c Min unsat cost LB: 162224 ... c Min unsat cost LB: 162697 ... c Min unsat cost LB: 162698 ... c Min unsat cost LB: 163180 ... c Min unsat cost LB: 163206 ... c Min unsat cost LB: 163216 ... c Min unsat cost LB: 163221 ... c Min unsat cost LB: 163630 ... c Min unsat cost LB: 164440 ... c Min unsat cost LB: 164798 ... c Min unsat cost LB: 164820 ... c Min unsat cost LB: 164853 ... c Min unsat cost LB: 164856 ... c Min unsat cost LB: 164878 ... c Min unsat cost LB: 165768 ... c Min unsat cost LB: 165782 ... c Min unsat cost LB: 166371 ... c Min unsat cost LB: 166796 ... c Min unsat cost LB: 167042 ... c Min unsat cost LB: 167987 ... c Min unsat cost LB: 167996 ... c Min unsat cost LB: 167998 ... c Min unsat cost LB: 168001 ... c Min unsat cost LB: 168007 ... c Min unsat cost LB: 168013 ... c Min unsat cost LB: 168021 ... c Min unsat cost LB: 168124 ... c Min unsat cost LB: 168454 ... c Min unsat cost LB: 168825 ... c Min unsat cost LB: 169482 ... c Min unsat cost LB: 170038 ... c Min unsat cost LB: 170414 ... c Min unsat cost LB: 170553 ... c Min unsat cost LB: 170708 ... c Min unsat cost LB: 170714 ... c Min unsat cost LB: 171155 ... c Min unsat cost LB: 171353 ... c Min unsat cost LB: 171412 ... c Min unsat cost LB: 172406 ... c Min unsat cost LB: 172441 ... c Min unsat cost LB: 172693 ... c Min unsat cost LB: 172721 ... c Min unsat cost LB: 172860 ... c Min unsat cost LB: 172889 ... c Min unsat cost LB: 173267 ... c Min unsat cost LB: 173321 ... c Min unsat cost LB: 173738 ... c Min unsat cost LB: 174140 ... c Min unsat cost LB: 174164 ... c Min unsat cost LB: 174963 ... c Min unsat cost LB: 174984 ... c Min unsat cost LB: 175086 ... c Min unsat cost LB: 175172 ... c Min unsat cost LB: 175361 ... c Min unsat cost LB: 175462 ... c Min unsat cost LB: 176461 ... c Min unsat cost LB: 176787 ... c Min unsat cost LB: 176792 ... c Min unsat cost LB: 176951 ... c Min unsat cost LB: 178115 ... c Min unsat cost LB: 178119 ... c Min unsat cost LB: 178120 ... c Min unsat cost LB: 178123 ... c Min unsat cost LB: 178125 ... c Min unsat cost LB: 178130 ... c Min unsat cost LB: 178131 ... c Min unsat cost LB: 178132 ... c Min unsat cost LB: 178133 ... c Min unsat cost LB: 178141 ... c Min unsat cost LB: 178142 ... c Min unsat cost LB: 178143 ... c Min unsat cost LB: 178144 ... c Min unsat cost LB: 178145 ... c Min unsat cost LB: 178151 ... c Min unsat cost LB: 178154 ... c Min unsat cost LB: 178409 ... c Min unsat cost LB: 178444 ... c Min unsat cost LB: 178567 ... c Min unsat cost LB: 178727 ... c Min unsat cost LB: 179094 ... c Min unsat cost LB: 179201 ... c Min unsat cost LB: 179626 ... c Min unsat cost LB: 180135 ... c Min unsat cost LB: 180168 ... c Min unsat cost LB: 180181 ... c Min unsat cost LB: 180217 ... c Min unsat cost LB: 180228 ... c Min unsat cost LB: 180242 ... c Min unsat cost LB: 180286 ... c Min unsat cost LB: 180375 ... c Min unsat cost LB: 180470 ... c Min unsat cost LB: 180806 ... c Min unsat cost LB: 180943 ... c Min unsat cost LB: 181660 ... c Min unsat cost LB: 181835 ... c Min unsat cost LB: 181918 ... c Min unsat cost LB: 182079 ... c Min unsat cost LB: 182276 ... c Min unsat cost LB: 182671 ... c Min unsat cost LB: 182767 ... c Min unsat cost LB: 183003 ... c Min unsat cost LB: 183382 ... c Min unsat cost LB: 183566 ... c Min unsat cost LB: 184856 ... c Min unsat cost LB: 184870 ... c Min unsat cost LB: 184968 ... c Min unsat cost LB: 185148 ... c Min unsat cost LB: 185992 ... c Min unsat cost LB: 186421 ... c Min unsat cost LB: 186449 ... c Min unsat cost LB: 186469 ... c Min unsat cost LB: 186646 ... c Min unsat cost LB: 186926 ... c Min unsat cost LB: 186954 ... c Min unsat cost LB: 186971 ... c Min unsat cost LB: 187436 ... c Min unsat cost LB: 187817 ... c Min unsat cost LB: 188233 ... c Min unsat cost LB: 188235 ... c Min unsat cost LB: 188236 ... c Min unsat cost LB: 188241 ... c Min unsat cost LB: 188242 ... c Min unsat cost LB: 188244 ... c Min unsat cost LB: 188247 ... c Min unsat cost LB: 188249 ... c Min unsat cost LB: 188252 ... c Min unsat cost LB: 188253 ... c Min unsat cost LB: 188740 ... c Min unsat cost LB: 188869 ... c Min unsat cost LB: 188870 ... c Min unsat cost LB: 189087 ... c Min unsat cost LB: 189207 ... c Min unsat cost LB: 189332 ... c Min unsat cost LB: 189579 ... c Min unsat cost LB: 189582 ... c Min unsat cost LB: 189583 ... c Min unsat cost LB: 189584 ... c Min unsat cost LB: 189585 ... c Min unsat cost LB: 189588 ... c Min unsat cost LB: 189593 ... c Min unsat cost LB: 189594 ... c Min unsat cost LB: 189597 ... c Min unsat cost LB: 189637 ... c Min unsat cost LB: 189638 ... c Min unsat cost LB: 189639 ... c Min unsat cost LB: 189640 ... c Min unsat cost LB: 189642 ... c Min unsat cost LB: 189643 ... c Min unsat cost LB: 189644 ... c Min unsat cost LB: 189645 ... c Min unsat cost LB: 189647 ... c Min unsat cost LB: 189648 ... c Min unsat cost LB: 189649 ... c Min unsat cost LB: 189650 ... c Min unsat cost LB: 189651 ... c Min unsat cost LB: 189652 ... c Min unsat cost LB: 189653 ... c Min unsat cost LB: 189654 ... c Min unsat cost LB: 189657 ... c Min unsat cost LB: 189658 ... c Min unsat cost LB: 189659 ... c Min unsat cost LB: 189660 ... c Min unsat cost LB: 189661 ... c Min unsat cost LB: 189662 ... c Min unsat cost LB: 189663 ... c Min unsat cost LB: 189664 ... c Min unsat cost LB: 189665 ... c Min unsat cost LB: 189736 ... c Min unsat cost LB: 190802 ... c Min unsat cost LB: 191135 ... c Min unsat cost LB: 191224 ... c Min unsat cost LB: 191383 ... c Min unsat cost LB: 191384 ... c Min unsat cost LB: 191865 ... c Min unsat cost LB: 192005 ... c Min unsat cost LB: 192445 ... c Min unsat cost LB: 192730 ... c Min unsat cost LB: 193295 ... c Min unsat cost LB: 193380 ... c Min unsat cost LB: 193701 ... c Min unsat cost LB: 193749 ... c Min unsat cost LB: 193989 ... c Min unsat cost LB: 194004 ... c Min unsat cost LB: 194328 ... c Min unsat cost LB: 195228 ... c Min unsat cost LB: 195587 ... c Min unsat cost LB: 195709 ... c Min unsat cost LB: 195742 ... c Min unsat cost LB: 195870 ... c Min unsat cost LB: 195871 ... c Min unsat cost LB: 195872 ... c Min unsat cost LB: 196227 ... c Min unsat cost LB: 196831 ... c Min unsat cost LB: 197452 ... c Min unsat cost LB: 197620 ... c Min unsat cost LB: 198003 ... c Min unsat cost LB: 198014 ... c Min unsat cost LB: 198468 ... c Min unsat cost LB: 198827 ... c Min unsat cost LB: 199236 ... c Min unsat cost LB: 199560 ... c Min unsat cost LB: 199641 ... c Min unsat cost LB: 200100 ... c Min unsat cost LB: 200104 ... c Min unsat cost LB: 200114 ... c Min unsat cost LB: 200273 ... c Min unsat cost LB: 200309 ... c Min unsat cost LB: 200358 ... c Min unsat cost LB: 200394 ... c Min unsat cost LB: 200447 ... c Min unsat cost LB: 200483 ... c Min unsat cost LB: 200536 ... c Min unsat cost LB: 200642 ... c Min unsat cost LB: 200710 ... c Min unsat cost LB: 200853 ... c Min unsat cost LB: 200860 ... c Min unsat cost LB: 202162 ... c Min unsat cost LB: 202195 ... c Min unsat cost LB: 202548 ... c Min unsat cost LB: 202718 ... c Min unsat cost LB: 202839 ... c Min unsat cost LB: 203588 ... c Min unsat cost LB: 204238 ... c Min unsat cost LB: 204286 ... c Min unsat cost LB: 204444 ... c Min unsat cost LB: 204516 ... c Min unsat cost LB: 204811 ... c Min unsat cost LB: 204857 ... c Min unsat cost LB: 204913 ... c Min unsat cost LB: 204977 ... c Min unsat cost LB: 205032 ... c Min unsat cost LB: 205056 ... c Min unsat cost LB: 205128 ... c Min unsat cost LB: 205140 ... c Min unsat cost LB: 205148 ... c Min unsat cost LB: 205152 ... c Min unsat cost LB: 205216 ... c Min unsat cost LB: 205219 ... c Min unsat cost LB: 205299 ... c Min unsat cost LB: 205312 ... c Min unsat cost LB: 205323 ... c Min unsat cost LB: 205331 ... c Min unsat cost LB: 205491 ... c Min unsat cost LB: 206269 ... c Min unsat cost LB: 206702 ... c Min unsat cost LB: 206711 ... c Min unsat cost LB: 206838 ... c Min unsat cost LB: 207677 ... c Min unsat cost LB: 207784 ... c Min unsat cost LB: 207945 ... c Min unsat cost LB: 207950 ... c Min unsat cost LB: 208015 ... c Min unsat cost LB: 208039 ... c Min unsat cost LB: 208060 ... c Min unsat cost LB: 208069 ... c Min unsat cost LB: 208191 ... c Min unsat cost LB: 208448 ... c Min unsat cost LB: 209019 ... c Min unsat cost LB: 209201 ... c Min unsat cost LB: 209384 ... c Min unsat cost LB: 209451 ... c Min unsat cost LB: 210012 ... c Min unsat cost LB: 210167 ... c Min unsat cost LB: 210265 ... c Min unsat cost LB: 210385 ... c Min unsat cost LB: 210395 ... c Min unsat cost LB: 210556 ... c Min unsat cost LB: 210627 ... c Min unsat cost LB: 210654 ... c Min unsat cost LB: 210663 ... c Min unsat cost LB: 211454 ... c Min unsat cost LB: 211464 ... c Min unsat cost LB: 211486 ... c Min unsat cost LB: 211538 ... c Min unsat cost LB: 211606 ... c Min unsat cost LB: 211832 ... c Min unsat cost LB: 212295 ... c Min unsat cost LB: 212318 ... c Min unsat cost LB: 213193 ... c Min unsat cost LB: 213260 ... c Min unsat cost LB: 213443 ... c Min unsat cost LB: 213889 ... c Min unsat cost LB: 214097 ... c Min unsat cost LB: 214971 ... c Min unsat cost LB: 215048 ... c Min unsat cost LB: 215053 ... c Min unsat cost LB: 215320 ... c Min unsat cost LB: 215716 ... c Min unsat cost LB: 215870 ... c Min unsat cost LB: 216304 ... c Min unsat cost LB: 216314 ... c Min unsat cost LB: 216358 ... c Min unsat cost LB: 216371 ... c Min unsat cost LB: 216434 ... c Min unsat cost LB: 216568 ... c Min unsat cost LB: 216587 ... c Min unsat cost LB: 216590 ... c Min unsat cost LB: 216600 ... c Min unsat cost LB: 216601 ... c Min unsat cost LB: 216611 ... c Min unsat cost LB: 216623 ... c Min unsat cost LB: 216627 ... c Min unsat cost LB: 216634 ... c Min unsat cost LB: 216637 ... c Min unsat cost LB: 216937 ... c Min unsat cost LB: 216951 ... c Min unsat cost LB: 216952 ... c Min unsat cost LB: 216969 ... c Min unsat cost LB: 217488 ... c Min unsat cost LB: 217788 ... c Min unsat cost LB: 218325 ... c Min unsat cost LB: 218331 ... c Min unsat cost LB: 218752 ... c Min unsat cost LB: 219116 ... c Min unsat cost LB: 219339 ... c Min unsat cost LB: 219860 ... c Min unsat cost LB: 219865 ... c Min unsat cost LB: 219880 ... c Min unsat cost LB: 219946 ... c Min unsat cost LB: 220209 ... c Min unsat cost LB: 220771 ... c Min unsat cost LB: 220887 ... c Min unsat cost LB: 220958 ... c Min unsat cost LB: 220973 ... c Min unsat cost LB: 221085 ... c Min unsat cost LB: 221397 ... c Min unsat cost LB: 221972 ... c Min unsat cost LB: 222385 ... c Min unsat cost LB: 222497 ... c Min unsat cost LB: 222607 ... c Min unsat cost LB: 222694 ... c Min unsat cost LB: 223456 ... c Min unsat cost LB: 223659 ... c Min unsat cost LB: 223660 ... c Min unsat cost LB: 223661 ... c Min unsat cost LB: 223662 ... c Min unsat cost LB: 223663 ... c Min unsat cost LB: 223664 ... c Min unsat cost LB: 223672 ... c Min unsat cost LB: 223673 ... c Min unsat cost LB: 223674 ... c Min unsat cost LB: 223675 ... c Min unsat cost LB: 223676 ... c Min unsat cost LB: 223679 ... c Min unsat cost LB: 223680 ... c Min unsat cost LB: 223682 ... c Min unsat cost LB: 224316 ... c Min unsat cost LB: 224456 ... c Min unsat cost LB: 224803 ... c Min unsat cost LB: 224934 ... c Min unsat cost LB: 225067 ... c Min unsat cost LB: 225550 ... c Min unsat cost LB: 225991 ... c Min unsat cost LB: 226296 ... c Min unsat cost LB: 226297 ... c Min unsat cost LB: 226545 ... c Min unsat cost LB: 227164 ... c Min unsat cost LB: 227225 ... c Min unsat cost LB: 227268 ... c Min unsat cost LB: 227478 ... c Min unsat cost LB: 227614 ... c Min unsat cost LB: 228151 ... c Min unsat cost LB: 228178 ... c Min unsat cost LB: 228296 ... c Min unsat cost LB: 228327 ... c Min unsat cost LB: 228337 ... c Min unsat cost LB: 228385 ... c Min unsat cost LB: 228457 ... c Min unsat cost LB: 228470 ... c Min unsat cost LB: 229049 ... c Min unsat cost LB: 229246 ... c Min unsat cost LB: 229930 ... c Min unsat cost LB: 230020 ... c Min unsat cost LB: 230082 ... c Min unsat cost LB: 230104 ... c Min unsat cost LB: 230114 ... c Min unsat cost LB: 230148 ... c Min unsat cost LB: 230263 ... c Min unsat cost LB: 230500 ... c Min unsat cost LB: 230545 ... c Min unsat cost LB: 230598 ... c Min unsat cost LB: 230694 ... c Min unsat cost LB: 230712 ... c Min unsat cost LB: 230746 ... c Min unsat cost LB: 230747 ... c Min unsat cost LB: 230748 ... c Min unsat cost LB: 230790 ... c Min unsat cost LB: 230900 ... c Min unsat cost LB: 230907 ... c Min unsat cost LB: 231443 ... c Min unsat cost LB: 231630 ... c Min unsat cost LB: 232668 ... c Min unsat cost LB: 232701 ... c Min unsat cost LB: 232953 ... c Min unsat cost LB: 233430 ... c Min unsat cost LB: 233433 ... c Min unsat cost LB: 233440 ... c Min unsat cost LB: 233452 ... c Min unsat cost LB: 233453 ... c Min unsat cost LB: 233866 ... c Min unsat cost LB: 233973 ... c Min unsat cost LB: 234039 ... c Min unsat cost LB: 234548 ... c Min unsat cost LB: 234917 ... c Min unsat cost LB: 235012 ... c Min unsat cost LB: 235346 ... c Min unsat cost LB: 235657 ... c Min unsat cost LB: 235812 ... c Min unsat cost LB: 235815 ... c Min unsat cost LB: 235830 ... c Min unsat cost LB: 235901 ... c Min unsat cost LB: 236497 ... c Min unsat cost LB: 236695 ... c Min unsat cost LB: 236769 ... c Min unsat cost LB: 238013 ... c Min unsat cost LB: 238194 ... c Min unsat cost LB: 238779 ... c Min unsat cost LB: 239157 ... c Min unsat cost LB: 239238 ... c Min unsat cost LB: 239243 ... c Min unsat cost LB: 239801 ... c Min unsat cost LB: 239920 ... c Min unsat cost LB: 240676 ... c Min unsat cost LB: 240748 ... c Min unsat cost LB: 240864 ... c Min unsat cost LB: 241707 ... c Min unsat cost LB: 241747 ... c Min unsat cost LB: 241870 ... c Min unsat cost LB: 241892 ... c Min unsat cost LB: 242640 ... c Min unsat cost LB: 242897 ... c Min unsat cost LB: 242935 ... c Min unsat cost LB: 244060 ... c Min unsat cost LB: 244312 ... c Min unsat cost LB: 244430 ... c Min unsat cost LB: 244442 ... c Min unsat cost LB: 244454 ... c Min unsat cost LB: 244580 ... c Min unsat cost LB: 244591 ... c Min unsat cost LB: 245471 ... c Min unsat cost LB: 245594 ... c Min unsat cost LB: 245597 ... c Min unsat cost LB: 246077 ... c Min unsat cost LB: 246189 ... c Min unsat cost LB: 246291 ... c Min unsat cost LB: 246536 ... c Min unsat cost LB: 246539 ... c Min unsat cost LB: 246764 ... c Min unsat cost LB: 247283 ... c Min unsat cost LB: 247529 ... c Min unsat cost LB: 247968 ... c Min unsat cost LB: 248433 ... c Min unsat cost LB: 248678 ... c Min unsat cost LB: 248981 ... c Min unsat cost LB: 249066 ... c Min unsat cost LB: 249069 ... c Min unsat cost LB: 249105 ... c Min unsat cost LB: 249143 ... c Min unsat cost LB: 249150 ... c Min unsat cost LB: 249515 ... c Min unsat cost LB: 249881 ... c Min unsat cost LB: 250086 ... c Min unsat cost LB: 250089 ... c Min unsat cost LB: 250118 ... c Min unsat cost LB: 250139 ... c Min unsat cost LB: 250164 ... c Min unsat cost LB: 250169 ... c Min unsat cost LB: 250173 ... c Min unsat cost LB: 250176 ... c Min unsat cost LB: 250205 ... c Min unsat cost LB: 250208 ... c Min unsat cost LB: 250212 ... c Min unsat cost LB: 250215 ... c Min unsat cost LB: 250780 ... c Min unsat cost LB: 251132 ... c Min unsat cost LB: 251192 ... c Min unsat cost LB: 251695 ... c Min unsat cost LB: 252025 ... c Min unsat cost LB: 252049 ... c Min unsat cost LB: 252247 ... c Min unsat cost LB: 252254 ... c Min unsat cost LB: 252266 ... c Min unsat cost LB: 252273 ... c Min unsat cost LB: 252294 ... c Min unsat cost LB: 252484 ... c Min unsat cost LB: 252494 ... c Min unsat cost LB: 252496 ... c Min unsat cost LB: 252506 ... c Min unsat cost LB: 252511 ... c Min unsat cost LB: 252513 ... c Min unsat cost LB: 252522 ... c Min unsat cost LB: 252524 ... c Min unsat cost LB: 252526 ... c Min unsat cost LB: 252532 ... c Min unsat cost LB: 252533 ... c Min unsat cost LB: 252705 ... c Min unsat cost LB: 252708 ... c Min unsat cost LB: 253547 ... c Min unsat cost LB: 253553 ... c Min unsat cost LB: 253559 ... c Min unsat cost LB: 253987 ... c Min unsat cost LB: 254542 ... c Min unsat cost LB: 254565 ... c Min unsat cost LB: 254699 ... c Min unsat cost LB: 255341 ... c Min unsat cost LB: 255354 ... c Min unsat cost LB: 255399 ... c Min unsat cost LB: 255400 ... c Min unsat cost LB: 255401 ... c Min unsat cost LB: 255402 ... c Min unsat cost LB: 255409 ... c Min unsat cost LB: 255410 ... c Min unsat cost LB: 255414 ... c Min unsat cost LB: 255415 ... c Min unsat cost LB: 255419 ... c Min unsat cost LB: 255421 ... c Min unsat cost LB: 255424 ... c Min unsat cost LB: 255427 ... c Min unsat cost LB: 255428 ... c Min unsat cost LB: 255440 ... c Min unsat cost LB: 255554 ... c Min unsat cost LB: 255555 ... c Min unsat cost LB: 255624 ... c Min unsat cost LB: 255771 ... c Min unsat cost LB: 255783 ... c Min unsat cost LB: 255795 ... c Min unsat cost LB: 255798 ... c Min unsat cost LB: 256167 ... c Min unsat cost LB: 256172 ... c Min unsat cost LB: 256197 ... c Min unsat cost LB: 256264 ... c Min unsat cost LB: 256281 ... c Min unsat cost LB: 256295 ... c Min unsat cost LB: 256296 ... c Min unsat cost LB: 256300 ... c Min unsat cost LB: 256301 ... c Min unsat cost LB: 256308 ... c Min unsat cost LB: 256313 ... c Min unsat cost LB: 256322 ... c Min unsat cost LB: 256348 ... c Min unsat cost LB: 256365 ... c Min unsat cost LB: 256379 ... c Min unsat cost LB: 256380 ... c Min unsat cost LB: 256384 ... c Min unsat cost LB: 256385 ... c Min unsa