Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_170_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0005.txt.wcnf *** c c Min unsat cost LB: 746 ... c Min unsat cost LB: 1492 ... c Min unsat cost LB: 2238 ... c Min unsat cost LB: 2984 ... c Min unsat cost LB: 3730 ... c Min unsat cost LB: 4722 ... c Min unsat cost LB: 5468 ... c Min unsat cost LB: 6214 ... c Min unsat cost LB: 7206 ... c Min unsat cost LB: 8198 ... c Min unsat cost LB: 9190 ... c Min unsat cost LB: 9936 ... c Min unsat cost LB: 10928 ... c Min unsat cost LB: 11920 ... c Min unsat cost LB: 12666 ... c Min unsat cost LB: 12912 ... c Min unsat cost LB: 13158 ... c Min unsat cost LB: 13904 ... c Min unsat cost LB: 14499 ... c Min unsat cost LB: 14650 ... c Min unsat cost LB: 15396 ... c Min unsat cost LB: 16142 ... c Min unsat cost LB: 16737 ... c Min unsat cost LB: 16983 ... c Min unsat cost LB: 17578 ... c Min unsat cost LB: 18078 ... c Min unsat cost LB: 18673 ... c Min unsat cost LB: 19268 ... c Min unsat cost LB: 20260 ... c Min unsat cost LB: 20752 ... c Min unsat cost LB: 21270 ... c Min unsat cost LB: 22262 ... c Min unsat cost LB: 22490 ... c Min unsat cost LB: 23236 ... c Min unsat cost LB: 23500 ... c Min unsat cost LB: 24228 ... c Min unsat cost LB: 24974 ... c Min unsat cost LB: 24992 ... c Min unsat cost LB: 25966 ... c Min unsat cost LB: 26002 ... c Min unsat cost LB: 27012 ... c Min unsat cost LB: 27758 ... c Min unsat cost LB: 28022 ... c Min unsat cost LB: 28978 ... c Min unsat cost LB: 29032 ... c Min unsat cost LB: 29778 ... c Min unsat cost LB: 30560 ... c Min unsat cost LB: 31498 ... c Min unsat cost LB: 31762 ... c Min unsat cost LB: 32772 ... c Min unsat cost LB: 33518 ... c Min unsat cost LB: 34264 ... c Min unsat cost LB: 34510 ... c Min unsat cost LB: 34528 ... c Min unsat cost LB: 35274 ... c Min unsat cost LB: 36284 ... c Min unsat cost LB: 37135 ... c Min unsat cost LB: 37276 ... c Min unsat cost LB: 37956 ... c Min unsat cost LB: 39625 ... c Min unsat cost LB: 39937 ... c Min unsat cost LB: 40009 ... c Min unsat cost LB: 41019 ... c Min unsat cost LB: 41765 ... c Min unsat cost LB: 42599 ... c Min unsat cost LB: 42703 ... c Min unsat cost LB: 43537 ... c Min unsat cost LB: 45206 ... c Min unsat cost LB: 45382 ... c Min unsat cost LB: 45542 ... c Min unsat cost LB: 46376 ... c Min unsat cost LB: 47210 ... c Min unsat cost LB: 47350 ... c Min unsat cost LB: 48184 ... c Min unsat cost LB: 48693 ... c Min unsat cost LB: 49176 ... c Min unsat cost LB: 49922 ... c Min unsat cost LB: 50010 ... c Min unsat cost LB: 50597 ... c Min unsat cost LB: 51431 ... c Min unsat cost LB: 52265 ... c Min unsat cost LB: 52266 ... c Min unsat cost LB: 53012 ... c Min unsat cost LB: 53607 ... c Min unsat cost LB: 55276 ... c Min unsat cost LB: 55970 ... c Min unsat cost LB: 56294 ... c Min unsat cost LB: 56738 ... c Min unsat cost LB: 57730 ... c Min unsat cost LB: 57870 ... c Min unsat cost LB: 58129 ... c Min unsat cost LB: 58388 ... c Min unsat cost LB: 58616 ... c Min unsat cost LB: 59450 ... c Min unsat cost LB: 60442 ... c Min unsat cost LB: 61434 ... c Min unsat cost LB: 61523 ... c Min unsat cost LB: 62723 ... c Min unsat cost LB: 63923 ... c Min unsat cost LB: 64354 ... c Min unsat cost LB: 64605 ... c Min unsat cost LB: 64852 ... c Min unsat cost LB: 66052 ... c Min unsat cost LB: 66711 ... c Min unsat cost LB: 66929 ... c Min unsat cost LB: 67016 ... c Min unsat cost LB: 67428 ... c Min unsat cost LB: 68539 ... c Min unsat cost LB: 69739 ... c Min unsat cost LB: 70433 ... c Min unsat cost LB: 71633 ... c Min unsat cost LB: 71984 ... c Min unsat cost LB: 73184 ... c Min unsat cost LB: 74384 ... c Min unsat cost LB: 75337 ... c Min unsat cost LB: 76083 ... c Min unsat cost LB: 77283 ... c Min unsat cost LB: 78275 ... c Min unsat cost LB: 78483 ... c Min unsat cost LB: 79078 ... c Min unsat cost LB: 79862 ... c Min unsat cost LB: 80278 ... c Min unsat cost LB: 80936 ... c Min unsat cost LB: 81770 ... c Min unsat cost LB: 82346 ... c Min unsat cost LB: 82970 ... c Min unsat cost LB: 83476 ... c Min unsat cost LB: 83844 ... c Min unsat cost LB: 84512 ... c Min unsat cost LB: 84648 ... c Min unsat cost LB: 85243 ... c Min unsat cost LB: 86443 ... c Min unsat cost LB: 86855 ... c Min unsat cost LB: 87359 ... c Min unsat cost LB: 87535 ... c Min unsat cost LB: 87662 ... c Min unsat cost LB: 88451 ... c Min unsat cost LB: 89367 ... c Min unsat cost LB: 89512 ... c Min unsat cost LB: 89796 ... c Min unsat cost LB: 90338 ... c Min unsat cost LB: 91084 ... c Min unsat cost LB: 91938 ... c Min unsat cost LB: 92049 ... c Min unsat cost LB: 92900 ... c Min unsat cost LB: 92903 ... c Min unsat cost LB: 93751 ... c Min unsat cost LB: 93859 ... c Min unsat cost LB: 93927 ... c Min unsat cost LB: 94016 ... c Min unsat cost LB: 94762 ... c Min unsat cost LB: 94816 ... c Min unsat cost LB: 95270 ... c Min unsat cost LB: 95480 ... c Min unsat cost LB: 95558 ... c Min unsat cost LB: 95770 ... c Min unsat cost LB: 96094 ... c Min unsat cost LB: 96358 ... c Min unsat cost LB: 96548 ... c Min unsat cost LB: 96550 ... c Min unsat cost LB: 96568 ... c Min unsat cost LB: 96587 ... c Min unsat cost LB: 96851 ... c Min unsat cost LB: 97314 ... c Min unsat cost LB: 97824 ... c Min unsat cost LB: 97843 ... c Min unsat cost LB: 97879 ... c Min unsat cost LB: 97912 ... c Min unsat cost LB: 98016 ... c Min unsat cost LB: 98105 ... c Min unsat cost LB: 98177 ... c Min unsat cost LB: 98413 ... c Min unsat cost LB: 98616 ... c Min unsat cost LB: 99362 ... c Min unsat cost LB: 100108 ... c Min unsat cost LB: 100285 ... c Min unsat cost LB: 100626 ... c Min unsat cost LB: 100714 ... c Min unsat cost LB: 100854 ... c Min unsat cost LB: 100874 ... c Min unsat cost LB: 100972 ... c Min unsat cost LB: 101666 ... c Min unsat cost LB: 101708 ... c Min unsat cost LB: 102500 ... c Min unsat cost LB: 102542 ... c Min unsat cost LB: 102718 ... c Min unsat cost LB: 102866 ... c Min unsat cost LB: 102974 ... c Min unsat cost LB: 103464 ... c Min unsat cost LB: 103790 ... c Min unsat cost LB: 104066 ... c Min unsat cost LB: 104313 ... c Min unsat cost LB: 104405 ... c Min unsat cost LB: 105151 ... c Min unsat cost LB: 105266 ... c Min unsat cost LB: 105327 ... c Min unsat cost LB: 105415 ... c Min unsat cost LB: 105553 ... c Min unsat cost LB: 106073 ... c Min unsat cost LB: 106116 ... c Min unsat cost LB: 106545 ... c Min unsat cost LB: 106547 ... c Min unsat cost LB: 106870 ... c Min unsat cost LB: 106898 ... c Min unsat cost LB: 107498 ... c Min unsat cost LB: 107549 ... c Min unsat cost LB: 107690 ... c Min unsat cost LB: 107736 ... c Min unsat cost LB: 107778 ... c Min unsat cost LB: 107834 ... c Min unsat cost LB: 107854 ... c Min unsat cost LB: 107873 ... c Min unsat cost LB: 108543 ... c Min unsat cost LB: 108600 ... c Min unsat cost LB: 108776 ... c Min unsat cost LB: 108955 ... c Min unsat cost LB: 108978 ... c Min unsat cost LB: 109207 ... c Min unsat cost LB: 109299 ... c Min unsat cost LB: 109346 ... c Min unsat cost LB: 109458 ... c Min unsat cost LB: 109463 ... c Min unsat cost LB: 110215 ... c Min unsat cost LB: 110245 ... c Min unsat cost LB: 110658 ... c Min unsat cost LB: 111131 ... c Min unsat cost LB: 111255 ... c Min unsat cost LB: 111291 ... c Min unsat cost LB: 111455 ... c Min unsat cost LB: 111568 ... c Min unsat cost LB: 111614 ... c Min unsat cost LB: 111632 ... c Min unsat cost LB: 111640 ... c Min unsat cost LB: 111673 ... c Min unsat cost LB: 112047 ... c Min unsat cost LB: 112118 ... c Min unsat cost LB: 112459 ... c Min unsat cost LB: 112492 ... c Min unsat cost LB: 113039 ... c Min unsat cost LB: 113408 ... c Min unsat cost LB: 113418 ... c Min unsat cost LB: 113626 ... c Min unsat cost LB: 113762 ... c Min unsat cost LB: 114031 ... c Min unsat cost LB: 114324 ... c Min unsat cost LB: 114723 ... c Min unsat cost LB: 114919 ... c Min unsat cost LB: 115070 ... c Min unsat cost LB: 115091 ... c Min unsat cost LB: 115316 ... c Min unsat cost LB: 115415 ... c Min unsat cost LB: 115448 ... c Min unsat cost LB: 115514 ... c Min unsat cost LB: 115862 ... c Min unsat cost LB: 115895 ... c Min unsat cost LB: 115930 ... c Min unsat cost LB: 115998 ... c Min unsat cost LB: 116106 ... c Min unsat cost LB: 116158 ... c Min unsat cost LB: 116194 ... c Min unsat cost LB: 116712 ... c Min unsat cost LB: 116828 ... c Min unsat cost LB: 116940 ... c Min unsat cost LB: 116954 ... c Min unsat cost LB: 117147 ... c Min unsat cost LB: 117182 ... c Min unsat cost LB: 117805 ... c Min unsat cost LB: 117808 ... c Min unsat cost LB: 117827 ... c Min unsat cost LB: 117876 ... c Min unsat cost LB: 117899 ... c Min unsat cost LB: 118039 ... c Min unsat cost LB: 118139 ... c Min unsat cost LB: 118182 ... c Min unsat cost LB: 118217 ... c Min unsat cost LB: 118250 ... c Min unsat cost LB: 118337 ... c Min unsat cost LB: 118661 ... c Min unsat cost LB: 118788 ... c Min unsat cost LB: 118996 ... c Min unsat cost LB: 119212 ... c Min unsat cost LB: 119627 ... c Min unsat cost LB: 120046 ... c Min unsat cost LB: 120066 ... c Min unsat cost LB: 120412 ... c Min unsat cost LB: 120812 ... c Min unsat cost LB: 120813 ... c Min unsat cost LB: 120902 ... c Min unsat cost LB: 120972 ... c Min unsat cost LB: 120993 ... c Min unsat cost LB: 121295 ... c Min unsat cost LB: 121365 ... c Min unsat cost LB: 121588 ... c Min unsat cost LB: 121624 ... c Min unsat cost LB: 121704 ... c Min unsat cost LB: 121905 ... c Min unsat cost LB: 121964 ... c Min unsat cost LB: 122148 ... c Min unsat cost LB: 122500 ... c Min unsat cost LB: 122700 ... c Min unsat cost LB: 122851 ... c Min unsat cost LB: 122934 ... c Min unsat cost LB: 122952 ... c Min unsat cost LB: 122995 ... c Min unsat cost LB: 123131 ... c Min unsat cost LB: 123280 ... c Min unsat cost LB: 123643 ... c Min unsat cost LB: 123698 ... c Min unsat cost LB: 123810 ... c Min unsat cost LB: 123878 ... c Min unsat cost LB: 124026 ... c Min unsat cost LB: 124062 ... c Min unsat cost LB: 124142 ... c Min unsat cost LB: 124158 ... c Min unsat cost LB: 124224 ... c Min unsat cost LB: 124442 ... c Min unsat cost LB: 124660 ... c Min unsat cost LB: 124772 ... c Min unsat cost LB: 124869 ... c Min unsat cost LB: 124952 ... c Min unsat cost LB: 124970 ... c Min unsat cost LB: 125059 ... c Min unsat cost LB: 125216 ... c Min unsat cost LB: 125265 ... c Min unsat cost LB: 125420 ... c Min unsat cost LB: 125439 ... c Min unsat cost LB: 125462 ... c Min unsat cost LB: 125907 ... c Min unsat cost LB: 125926 ... c Min unsat cost LB: 126207 ... c Min unsat cost LB: 126616 ... c Min unsat cost LB: 126693 ... c Min unsat cost LB: 126711 ... c Min unsat cost LB: 126987 ... c Min unsat cost LB: 127011 ... c Min unsat cost LB: 127022 ... c Min unsat cost LB: 127037 ... c Min unsat cost LB: 127078 ... c Min unsat cost LB: 127106 ... c Min unsat cost LB: 127111 ... c Min unsat cost LB: 127119 ... c Min unsat cost LB: 127876 ... c Min unsat cost LB: 127937 ... c Min unsat cost LB: 127964 ... c Min unsat cost LB: 128102 ... c Min unsat cost LB: 128216 ... c Min unsat cost LB: 128270 ... c Min unsat cost LB: 128281 ... c Min unsat cost LB: 128370 ... c Min unsat cost LB: 129074 ... c Min unsat cost LB: 129079 ... c Min unsat cost LB: 129116 ... c Min unsat cost LB: 129162 ... c Min unsat cost LB: 129197 ... c Min unsat cost LB: 129257 ... c Min unsat cost LB: 129308 ... c Min unsat cost LB: 129350 ... c Min unsat cost LB: 129397 ... c Min unsat cost LB: 129463 ... c Min unsat cost LB: 129489 ... c Min unsat cost LB: 129509 ... c Min unsat cost LB: 129587 ... c Min unsat cost LB: 129691 ... c Min unsat cost LB: 129702 ... c Min unsat cost LB: 129751 ... c Min unsat cost LB: 129762 ... c Min unsat cost LB: 129771 ... c Min unsat cost LB: 129774 ... c Min unsat cost LB: 129807 ... c Min unsat cost LB: 129809 ... c Min unsat cost LB: 129827 ... c Min unsat cost LB: 129900 ... c Min unsat cost LB: 129975 ... c Min unsat cost LB: 130006 ... c Min unsat cost LB: 130016 ... c Min unsat cost LB: 130049 ... c Min unsat cost LB: 130083 ... c Min unsat cost LB: 130120 ... c Min unsat cost LB: 130169 ... c Min unsat cost LB: 130184 ... c Min unsat cost LB: 130186 ... c Min unsat cost LB: 130214 ... c Min unsat cost LB: 130229 ... c Min unsat cost LB: 130265 ... c Min unsat cost LB: 130277 ... c Min unsat cost LB: 130358 ... c Min unsat cost LB: 130405 ... c Min unsat cost LB: 130439 ... c Min unsat cost LB: 130501 ... c Min unsat cost LB: 130606 ... c Min unsat cost LB: 130642 ... c Min unsat cost LB: 130733 ... c Min unsat cost LB: 130738 ... c Min unsat cost LB: 130795 ... c Min unsat cost LB: 130825 ... c Min unsat cost LB: 131021 ... c Min unsat cost LB: 131059 ... c Min unsat cost LB: 131064 ... c Min unsat cost LB: 131072 ... c Min unsat cost LB: 131144 ... c Min unsat cost LB: 131161 ... c Min unsat cost LB: 131187 ... c Min unsat cost LB: 131206 ... c Min unsat cost LB: 131390 ... c Min unsat cost LB: 131522 ... c Min unsat cost LB: 131621 ... c Min unsat cost LB: 131626 ... c Min unsat cost LB: 131656 ... c Min unsat cost LB: 131663 ... c Min unsat cost LB: 131668 ... c Min unsat cost LB: 131690 ... c Min unsat cost LB: 131714 ... c Min unsat cost LB: 131757 ... c Min unsat cost LB: 131769 ... c Min unsat cost LB: 131808 ... c Min unsat cost LB: 131996 ... c Min unsat cost LB: 132392 ... c Min unsat cost LB: 132401 ... c Min unsat cost LB: 132418 ... c Min unsat cost LB: 132426 ... c Min unsat cost LB: 132449 ... c Min unsat cost LB: 132452 ... c Min unsat cost LB: 132459 ... c Min unsat cost LB: 132463 ... c Min unsat cost LB: 132533 ... c Min unsat cost LB: 132547 ... c Min unsat cost LB: 132554 ... c Min unsat cost LB: 132569 ... c Min unsat cost LB: 132605 ... c Min unsat cost LB: 132612 ... c Min unsat cost LB: 132627 ... c Min unsat cost LB: 132634 ... c Min unsat cost LB: 132707 ... c Min unsat cost LB: 132730 ... c Min unsat cost LB: 132735 ... c Min unsat cost LB: 132786 ... c Min unsat cost LB: 132800 ... c Min unsat cost LB: 132801 ... c Min unsat cost LB: 132822 ... c Min unsat cost LB: 132934 ... c Min unsat cost LB: 133029 ... c Min unsat cost LB: 133043 ... c Min unsat cost LB: 133064 ... c Min unsat cost LB: 133086 ... c Min unsat cost LB: 133117 ... c Min unsat cost LB: 133138 ... c Min unsat cost LB: 133222 ... c Min unsat cost LB: 133243 ... c Min unsat cost LB: 133319 ... c Min unsat cost LB: 133340 ... c Min unsat cost LB: 133345 ... c Min unsat cost LB: 133352 ... c Min unsat cost LB: 133360 ... c Min unsat cost LB: 133376 ... c Min unsat cost LB: 133377 ... c Min unsat cost LB: 133396 ... c Min unsat cost LB: 133405 ... c Min unsat cost LB: 133421 ... c Min unsat cost LB: 133450 ... c Min unsat cost LB: 133485 ... c Min unsat cost LB: 133490 ... c Min unsat cost LB: 133496 ... c Min unsat cost LB: 133499 ... c Min unsat cost LB: 133518 ... c Min unsat cost LB: 133520 ... c Min unsat cost LB: 133579 ... c Min unsat cost LB: 133597 ... c Min unsat cost LB: 133621 ... c Min unsat cost LB: 133658 ... c Min unsat cost LB: 133659 ... c Min unsat cost LB: 133672 ... c Min unsat cost LB: 133676 ... c Min unsat cost LB: 133691 ... c Min unsat cost LB: 133694 ... c Min unsat cost LB: 133700 ... c Min unsat cost LB: 133727 ... c Min unsat cost LB: 133728 ... c Min unsat cost LB: 133733 ... c Min unsat cost LB: 133736 ... c Min unsat cost LB: 133742 ... c Min unsat cost LB: 133809 ... c Min unsat cost LB: 133810 ... c Min unsat cost LB: 133811 ... c Min unsat cost LB: 133814 ... c Min unsat cost LB: 133842 ... c Min unsat cost LB: 133845 ... c Min unsat cost LB: 133849 ... c Min unsat cost LB: 133850 ... c Min unsat cost LB: 133855 ... c Min unsat cost LB: 133889 ... c Min unsat cost LB: 133893 ... c Min unsat cost LB: 133894 ... c Min unsat cost LB: 133896 ... c Min unsat cost LB: 133899 ... c Min unsat cost LB: 133953 ... c Min unsat cost LB: 133966 ... c Min unsat cost LB: 133975 ... c Min unsat cost LB: 133979 ... c Min unsat cost LB: 133984 ... c Min unsat cost LB: 133985 ... c Min unsat cost LB: 133990 ... c Min unsat cost LB: 133995 ... c Min unsat cost LB: 134011 ... c Min unsat cost LB: 134012 ... c Min unsat cost LB: 134013 ... c Min unsat cost LB: 134014 ... c Min unsat cost LB: 134058 ... c Min unsat cost LB: 134063 ... c Min unsat cost LB: 134068 ... c Min unsat cost LB: 134137 ... c Min unsat cost LB: 134147 ... c Min unsat cost LB: 134149 ... c Min unsat cost LB: 134151 ... c Min unsat cost LB: 134152 ... c Min unsat cost LB: 134157 ... c Min unsat cost LB: 134160 ... c Min unsat cost LB: 134161 ... c Min unsat cost LB: 134162 ... c Min unsat cost LB: 134163 ... c Min unsat cost LB: 134164 ... c Min unsat cost LB: 134165 ... c Min unsat cost LB: 134166 ... c Min unsat cost LB: 134167 ... c Min unsat cost LB: 134168 ... c Min unsat cost LB: 134169 ... c Min unsat cost LB: 134170 ... c Min unsat cost LB: 134171 ... c Min unsat cost LB: 134172 ... c Min unsat cost LB: 134173 ... c Min unsat cost LB: 134174 ... c Min unsat cost LB: 134175 ... c Min unsat cost LB: 134176 ... c Min unsat cost LB: 134177 ... c Min unsat cost LB: 134178 ... c Min unsat cost LB: 134179 ... c Min unsat cost LB: 134180 ... c Min unsat cost LB: 134181 ... c Min unsat cost LB: 134182 ... c Min unsat cost LB: 134183 ... c Min unsat cost LB: 134184 ... c Min unsat cost LB: 134193 ... c Min unsat cost LB: 134194 ... c Min unsat cost LB: 134195 ... c Min unsat cost LB: 134196 ... c Min unsat cost LB: 134201 ... c Min unsat cost LB: 134203 ... c Min unsat cost LB: 134214 ... c Min unsat cost LB: 134227 ... c Min unsat cost LB: 134229 ... c Min unsat cost LB: 134247 ... c Min unsat cost LB: 134294 ... c Min unsat cost LB: 134297 ... c Min unsat cost LB: 134307 ... c Min unsat cost LB: 134332 ... c Min unsat cost LB: 134334 ... c Min unsat cost LB: 134337 ... c Min unsat cost LB: 134353 ... c Min unsat cost LB: 134364 ... c Min unsat cost LB: 134367 ... c Min unsat cost LB: 134369 ... c Min unsat cost LB: 134370 ... c Min unsat cost LB: 134378 ... c Min unsat cost LB: 134382 ... c Min unsat cost LB: 134399 ... c Min unsat cost LB: 134401 ... c Min unsat cost LB: 134402 ... c Min unsat cost LB: 134420 ... c Min unsat cost LB: 134429 ... c Min unsat cost LB: 134431 ... c Min unsat cost LB: 134432 ... c Min unsat cost LB: 134434 ... c Min unsat cost LB: 134435 ... c Min unsat cost LB: 134438 ... c Min unsat cost LB: 134440 ... c Min unsat cost LB: 134454 ... c Min unsat cost LB: 134458 ... c Min unsat cost LB: 134466 ... c Min unsat cost LB: 134472 ... c Min unsat cost LB: 134473 ... c Min unsat cost LB: 134474 ... c Min unsat cost LB: 134475 ... c Min unsat cost LB: 134476 ... c Min unsat cost LB: 134477 ... c Min unsat cost LB: 134478 ... c Min unsat cost LB: 134479 ... c Min unsat cost LB: 134480 ... c Min unsat cost LB: 134488 ... c Min unsat cost LB: 134496 ... c Min unsat cost LB: 134502 ... c Min unsat cost LB: 134503 ... c Min unsat cost LB: 134504 ... c Min unsat cost LB: 134505 ... c Min unsat cost LB: 134506 ... c Min unsat cost LB: 134507 ... c Min unsat cost LB: 134527 ... c Min unsat cost LB: 134539 ... c Min unsat cost LB: 134540 ... c Min unsat cost LB: 134541 ... c Min unsat cost LB: 134542 ... c Min unsat cost LB: 134543 ... c Min unsat cost LB: 134544 ... c Min unsat cost LB: 134545 ... c Min unsat cost LB: 134546 ... c Min unsat cost LB: 134547 ... c Min unsat cost LB: 134548 ... c Min unsat cost LB: 134549 ... c Min unsat cost LB: 134551 ... c Min unsat cost LB: 134552 ... c Min unsat cost LB: 134553 ... c Min unsat cost LB: 134554 ... c Min unsat cost LB: 134555 ... c Min unsat cost LB: 134556 ... c Min unsat cost LB: 134557 ... c Min unsat cost LB: 134558 ... c Min unsat cost LB: 134559 ... c Min unsat cost LB: 134560 ... c Min unsat cost LB: 134561 ... c Min unsat cost LB: 134564 ... c Min unsat cost LB: 134568 ... c Min unsat cost LB: 134569 ... c Min unsat cost LB: 134570 ... c Min unsat cost LB: 134571 ... c Min unsat cost LB: 134572 ... c Min unsat cost LB: 134573 ... c Min unsat cost LB: 134574 ... c Min unsat cost LB: 134575 ... c Min unsat cost LB: 134576 ... c Min unsat cost LB: 134577 ... c Min unsat cost LB: 134578 ... c Min unsat cost LB: 134579 ... c Min unsat cost LB: 134580 ... c Min unsat cost LB: 134581 ... c Min unsat cost LB: 134615 ... c Min unsat cost LB: 134806 ... c Min unsat cost LB: 134828 ... c Min unsat cost LB: 134831 ... c Min unsat cost LB: 134833 ... c Min unsat cost LB: 134866 ... c Min unsat cost LB: 134869 ... c Min unsat cost LB: 134880 ... c Min unsat cost LB: 134971 ... c Min unsat cost LB: 134980 ... c Min unsat cost LB: 134995 ... c Min unsat cost LB: 135001 ... c Min unsat cost LB: 135032 ... c Min unsat cost LB: 135072 ... c Min unsat cost LB: 135081 ... c Min unsat cost LB: 135093 ... c Min unsat cost LB: 135234 ... c Min unsat cost LB: 135235 ... c Min unsat cost LB: 135236 ... c Min unsat cost LB: 135237 ... c Min unsat cost LB: 135240 ... c Min unsat cost LB: 135254 ... c Min unsat cost LB: 135269 ... c Min unsat cost LB: 135291 ... c Min unsat cost LB: 135292 ... c Min unsat cost LB: 135295 ... c Min unsat cost LB: 135296 ... c Min unsat cost LB: 135297 ... c Min unsat cost LB: 135305 ... c Min unsat cost LB: 135307 ... c Min unsat cost LB: 135310 ... c Min unsat cost LB: 135314 ... c Min unsat cost LB: 135343 ... c Min unsat cost LB: 135345 ... c Min unsat cost LB: 135346 ... c Min unsat cost LB: 135348 ... c Min unsat cost LB: 135350 ... c Min unsat cost LB: 135353 ... c Min unsat cost LB: 135358 ... c Min unsat cost LB: 135361 ... c Min unsat cost LB: 135366 ... c Min unsat cost LB: 135379 ... c Min unsat cost LB: 135382 ... c Min unsat cost LB: 135385 ... c Min unsat cost LB: 135390 ... c Min unsat cost LB: 135392 ... c Min unsat cost LB: 135393 ... c Min unsat cost LB: 135411 ... c Min unsat cost LB: 135419 ... c Min unsat cost LB: 135421 ... c Min unsat cost LB: 135424 ... c Min unsat cost LB: 135426 ... c Min unsat cost LB: 135427 ... c Min unsat cost LB: 135432 ... c Min unsat cost LB: 135438 ... c Min unsat cost LB: 135442 ... c Min unsat cost LB: 135465 ... c Min unsat cost LB: 135469 ... c Min unsat cost LB: 135480 ... c Min unsat cost LB: 135481 ... c Min unsat cost LB: 135482 ... c Min unsat cost LB: 135483 ... c Min unsat cost LB: 135484 ... c Min unsat cost LB: 135485 ... c Min unsat cost LB: 135489 ... c Min unsat cost LB: 135490 ... c Min unsat cost LB: 135492 ... c Min unsat cost LB: 135497 ... c Min unsat cost LB: 135498 ... c Min unsat cost LB: 135499 ... c Min unsat cost LB: 135500 ... c Min unsat cost LB: 135501 ... c Min unsat cost LB: 135506 ... c Min unsat cost LB: 135508 ... c Min unsat cost LB: 135509 ... c Min unsat cost LB: 135510 ... c Min unsat cost LB: 135511 ... c Min unsat cost LB: 135518 ... c Min unsat cost LB: 135519 ... c Min unsat cost LB: 135521 ... c Min unsat cost LB: 135530 ... c Min unsat cost LB: 135531 ... c Min unsat cost LB: 135545 ... c Min unsat cost LB: 135556 ... c Min unsat cost LB: 135557 ... c Min unsat cost LB: 135558 ... c Min unsat cost LB: 135560 ... c Min unsat cost LB: 135571 ... c Min unsat cost LB: 135572 ... c Min unsat cost LB: 135576 ... c Min unsat cost LB: 135577 ... c Min unsat cost LB: 135619 ... c Min unsat cost LB: 135622 ... c Min unsat cost LB: 135623 ... c Min unsat cost LB: 135624 ... c Min unsat cost LB: 135625 ... c Min unsat cost LB: 135629 ... c Min unsat cost LB: 135631 ... c Min unsat cost LB: 135632 ... c Min unsat cost LB: 135633 ... c Min unsat cost LB: 135634 ... c Min unsat cost LB: 135636 ... c Min unsat cost LB: 135637 ... c Min unsat cost LB: 135638 ... c Min unsat cost LB: 135641 ... c Min unsat cost LB: 135643 ... c Min unsat cost LB: 135644 ... c Min unsat cost LB: 135645 ... c Min unsat cost LB: 135647 ... c Min unsat cost LB: 135651 ... c Min unsat cost LB: 135654 ... c Min unsat cost LB: 135657 ... c Min unsat cost LB: 135660 ... c Min unsat cost LB: 135663 ... c Min unsat cost LB: 135669 ... c Min unsat cost LB: 135670 ... c Min unsat cost LB: 135674 ... c Min unsat cost LB: 135675 ... c Min unsat cost LB: 135676 ... c Min unsat cost LB: 135677 ... c Min unsat cost LB: 135678 ... c Min unsat cost LB: 135679 ... c Min unsat cost LB: 135680 ... c Min unsat cost LB: 135681 ... c Min unsat cost LB: 135682 ... c Min unsat cost LB: 135683 ... c Min unsat cost LB: 135684 ... c Min unsat cost LB: 135685 ... c Min unsat cost LB: 135686 ... c Min unsat cost LB: 135687 ... c Min unsat cost LB: 135688 ... c Min unsat cost LB: 135689 ... c Min unsat cost LB: 135690 ... c Min unsat cost LB: 135691 ... c Min unsat cost LB: 135692 ... c Min unsat cost LB: 135693 ... c Min unsat cost LB: 135694 ... c Min unsat cost LB: 135695 ... c Min unsat cost LB: 135696 ... c Min unsat cost LB: 135698 ... c Min unsat cost LB: 135699 ... c Min unsat cost LB: 135700 ... c Min unsat cost LB: 135712 ... c Min unsat cost LB: 135714 ... c Min unsat cost LB: 135716 ... c Min unsat cost LB: 135720 ... c Min unsat cost LB: 135730 ... c Min unsat cost LB: 135756 ... c Min unsat cost LB: 135757 ... c Min unsat cost LB: 135759 ... c Min unsat cost LB: 135760 ... c Min unsat cost LB: 135761 ... c Min unsat cost LB: 135762 ... c Min unsat cost LB: 135763 ... c Min unsat cost LB: 135764 ... c Min unsat cost LB: 135765 ... c Min unsat cost LB: 135766 ... c Min unsat cost LB: 135767 ... c Min unsat cost LB: 135768 ... c Min unsat cost LB: 135769 ... c Min unsat cost LB: 135770 ... c Min unsat cost LB: 135771 ... c Min unsat cost LB: 135772 ... c Min unsat cost LB: 135773 ... c Min unsat cost LB: 135774 ... c Min unsat cost LB: 135775 ... c Min unsat cost LB: 135776 ... c Min unsat cost LB: 135777 ... c Min unsat cost LB: 135778 ... c Min unsat cost LB: 135780 ... c Min unsat cost LB: 135781 ... c Min unsat cost LB: 135783 ... c Min unsat cost LB: 135788 ... c Min unsat cost LB: 135789 ... c Min unsat cost LB: 135790 ... c Min unsat cost LB: 135791 ... c Min unsat cost LB: 135793 ... c Min unsat cost LB: 135794 ... c Min unsat cost LB: 135796 ... c Min unsat cost LB: 135797 ... c Min unsat cost LB: 135798 ... c Min unsat cost LB: 135799 ... c Min unsat cost LB: 135800 ... c Min unsat cost LB: 135801 ... c Min unsat cost LB: 135802 ... c Min unsat cost LB: 135803 ... c Min unsat cost LB: 135805 ... c Min unsat cost LB: 135806 ... c Min unsat cost LB: 135807 ... c Min unsat cost LB: 135808 ... c Min unsat cost LB: 135810 ... c Min unsat cost LB: 135811 ... c Min unsat cost LB: 135812 ... c Min unsat cost LB: 135813 ... c Min unsat cost LB: 135814 ... c Min unsat cost LB: 135819 ... c Min unsat cost LB: 135878 ... c Min unsat cost LB: 135889 ... c Min unsat cost LB: 135890 ... c Min unsat cost LB: 135901 ... c Min unsat cost LB: 135906 ... c Min unsat cost LB: 135918 ... c Min unsat cost LB: 136028 ... c Min unsat cost LB: 136029 ... c Min unsat cost LB: 136040 ... c Min unsat cost LB: 136041 ... c Min unsat cost LB: 136042 ... c Min unsat cost LB: 136045 ... c Min unsat cost LB: 136046 ... c Min unsat cost LB: 136047 ... c Min unsat cost LB: 136048 ... c Min unsat cost LB: 136049 ... c Min unsat cost LB: 136063 ... c Min unsat cost LB: 136064 ... c Min unsat cost LB: 136066 ... c Min unsat cost LB: 136068 ... c Min unsat cost LB: 136073 ... c Min unsat cost LB: 136079 ... c Min unsat cost LB: 136080 ... c Min unsat cost LB: 136097 ... c Min unsat cost LB: 136098 ... c Min unsat cost LB: 136102 ... c Min unsat cost LB: 136103 ... c Min unsat cost LB: 136105 ... c Min unsat cost LB: 136109 ... c Min unsat cost LB: 136110 ... c Min unsat cost LB: 136112 ... c Min unsat cost LB: 136114 ... c Min unsat cost LB: 136116 ... c Min unsat cost LB: 136119 ... c Min unsat cost LB: 136120 ... c Min unsat cost LB: 136124 ... c Min unsat cost LB: 136125 ... c Min unsat cost LB: 136137 ... c Min unsat cost LB: 136143 ... c Min unsat cost LB: 136147 ... c Min unsat cost LB: 136153 ... c Min unsat cost LB: 136154 ... c Min unsat cost LB: 136155 ... c Min unsat cost LB: 136156 ... c Min unsat cost LB: 136157 ... c Min unsat cost LB: 136158 ... c Min unsat cost LB: 136159 ... c Min unsat cost LB: 136160 ... c Min unsat cost LB: 136162 ... c Min unsat cost LB: 136164 ... c Min unsat cost LB: 136165 ... c Min unsat cost LB: 136171 ... c Min unsat cost LB: 136180 ... c Min unsat cost LB: 136181 ... c Min unsat cost LB: 136189 ... c Min unsat cost LB: 136190 ... c Min unsat cost LB: 136193 ... c Min unsat cost LB: 136195 ... c Min unsat cost LB: 136197 ... c Min unsat cost LB: 136200 ... c Min unsat cost LB: 136202 ... c Min unsat cost LB: 136203 ... c Min unsat cost LB: 136206 ... c Min unsat cost LB: 136216 ... c Min unsat cost LB: 136217 ... c Min unsat cost LB: 136222 ... c Min unsat cost LB: 136223 ... c Min unsat cost LB: 136231 ... c Min unsat cost LB: 136232 ... c Min unsat cost LB: 136233 ... c Min unsat cost LB: 136235 ... c Min unsat cost LB: 136236 ... c Min unsat cost LB: 136237 ... c Min unsat cost LB: 136240 ... c Min unsat cost LB: 136541 ... c Min unsat cost LB: 136542 ... c Min unsat cost LB: 136543 ... c Min unsat cost LB: 136544 ... c Min unsat cost LB: 136545 ... c Min unsat cost LB: 136546 ... c Min unsat cost LB: 136547 ... c Min unsat cost LB: 136548 ... c Min unsat cost LB: 136549 ... c Min unsat cost LB: 136551 ... c Min unsat cost LB: 136553 ... c Min unsat cost LB: 136555 ... c Min unsat cost LB: 136574 ... c Min unsat cost LB: 136639 ... c Min unsat cost LB: 136690 ... c Min unsat cost LB: 136784 ... c Min unsat cost LB: 136811 ... c Min unsat cost LB: 136832 ... c Min unsat cost LB: 136833 ... c Min unsat cost LB: 136834 ... c Min unsat cost LB: 136835 ... c Min unsat cost LB: 136836 ... c Min unsat cost LB: 136842 ... c Min unsat cost LB: 136850 ... c Min unsat cost LB: 136851 ... c Min unsat cost LB: 136852 ... c Min unsat cost LB: 136853 ... c Min unsat cost LB: 136856 ... c Min unsat cost LB: 136857 ... c Min unsat cost LB: 136858 ... c Min unsat cost LB: 136860 ... c Min unsat cost LB: 136865 ... c Min unsat cost LB: 136866 ... c Min unsat cost LB: 136867 ... c Min unsat cost LB: 136869 ... c Min unsat cost LB: 136870 ... c Min unsat cost LB: 136872 ... c Min unsat cost LB: 136873 ... c Min unsat cost LB: 136875 ... c Min unsat cost LB: 136876 ... c Min unsat cost LB: 136877 ... c Min unsat cost LB: 136879 ... c Min unsat cost LB: 136881 ... c Min unsat cost LB: 136882 ... c Min unsat cost LB: 136883 ... c Min unsat cost LB: 136896 ... c Min unsat cost LB: 136898 ... c Min unsat cost LB: 136900 ... c Min unsat cost LB: 136904 ... c Min unsat cost LB: 136908 ... c Min unsat cost LB: 136911 ... c Min unsat cost LB: 136912 ... c Min unsat cost LB: 136913 ... c Min unsat cost LB: 136914 ... c Min unsat cost LB: 136915 ... c Min unsat cost LB: 136916 ... c Min unsat cost LB: 136917 ... c Min unsat cost LB: 136919 ... c Min unsat cost LB: 136921 ... c Min unsat cost LB: 136922 ... c Min unsat cost LB: 136924 ... c Min unsat cost LB: 136926 ... c Min unsat cost LB: 136930 ... c Min unsat cost LB: 136932 ... c Min unsat cost LB: 136934 ... c Min unsat cost LB: 136936 ... c Min unsat cost LB: 136938 ... c Min unsat cost LB: 136940 ... c Min unsat cost LB: 136943 ... c Min unsat cost LB: 136944 ... c Min unsat cost LB: 136945 ... c Min unsat cost LB: 136947 ... c Min unsat cost LB: 136948 ... c Min unsat cost LB: 136950 ... c Min unsat cost LB: 136951 ... c Min unsat cost LB: 136952 ... c Min unsat cost LB: 136954 ... c Min unsat cost LB: 136955 ... c Min unsat cost LB: 136957 ... c Min unsat cost LB: 136958 ... c Min unsat cost LB: 136959 ... c Min unsat cost LB: 136962 ... c Min unsat cost LB: 136967 ... c Min unsat cost LB: 136968 ... c Min unsat cost LB: 136970 ... c Min unsat cost LB: 136974 ... c Min unsat cost LB: 136975 ... c Min unsat cost LB: 136979 ... c Min unsat cost LB: 136987 ... c Min unsat cost LB: 137020 ... c Min unsat cost LB: 137021 ... c Min unsat cost LB: 137022 ... c Min unsat cost LB: 137023 ... c Min unsat cost LB: 137024 ... c Min unsat cost LB: 137025 ... c Min unsat cost LB: 137026 ... c Min unsat cost LB: 137027 ... c Min unsat cost LB: 137028 ... c Min unsat cost LB: 137029 ... c Min unsat cost LB: 137030 ... c Min unsat cost LB: 137031 ... c Min unsat cost LB: 137032 ... c Min unsat cost LB: 137033 ... c Min unsat cost LB: 137034 ... c Min unsat cost LB: 137035 ... c Min unsat cost LB: 137036 ... c Min unsat cost LB: 137037 ... c Min unsat cost LB: 137038 ... c Min unsat cost LB: 137039 ... c Min unsat cost LB: 137040 ... c Min unsat cost LB: 137041 ... c Min unsat cost LB: 137042 ... c Min unsat cost LB: 137043 ... c Min unsat cost LB: 137044 ... c Min unsat cost LB: 137045 ... c Min unsat cost LB: 137046 ... c Min unsat cost LB: 137047 ... c Min unsat cost LB: 137048 ... c Min unsat cost LB: 137049 ... c Min unsat cost LB: 137050 ... c Min unsat cost LB: 137051 ... c Min unsat cost LB: 137052 ... c Min unsat cost LB: 137053 ... c Min unsat cost LB: 137054 ... c Min unsat cost LB: 137055 ... c Min unsat cost LB: 137056 ... c Min unsat cost LB: 137057 ... c Min unsat cost LB: 137058 ... c Min unsat cost LB: 137059 ... c Min unsat cost LB: 137060 ... c Min unsat cost LB: 137061 ... c Min unsat cost LB: 137062 ... c Min unsat cost LB: 137063 ... c Min unsat cost LB: 137068 ... c Min unsat cost LB: 137086 ... c Min unsat cost LB: 137100 ... c Min unsat cost LB: 137114 ... c Min unsat cost LB: 137117 ... c Min unsat cost LB: 137119 ... c Min unsat cost LB: 137120 ... c Min unsat cost LB: 137121 ... c Min unsat cost LB: 137122 ... c Min unsat cost LB: 137123 ... c Min unsat cost LB: 137124 ... c Min unsat cost LB: 137125 ... c Min unsat cost LB: 137126 ... c Min unsat cost LB: 137127 ... c Min unsat cost LB: 137128 ... c Min unsat cost LB: 137130 ... c Min unsat cost LB: 137132 ... c Min unsat cost LB: 137133 ... c Min unsat cost LB: 137134 ... c Min unsat cost LB: 137136 ... c Min unsat cost LB: 137137 ... c Min unsat cost LB: 137140 ... c Min unsat cost LB: 137141 ... c Min unsat cost LB: 137143 ... c Min unsat cost LB: 137144 ... c Min unsat cost LB: 137145 ... c Min unsat cost LB: 137146 ... c Min unsat cost LB: 137147 ... c Min unsat cost LB: 137148 ... c Min unsat cost LB: 137149 ... c Min unsat cost LB: 137151 ... c Min unsat cost LB: 137153 ... c Min unsat cost LB: 137154 ... c Min unsat cost LB: 137155 ... c Min unsat cost LB: 137160 ... c Min unsat cost LB: 137161 ... c Min unsat cost LB: 137162 ... c Min unsat cost LB: 137163 ... c Min unsat cost LB: 137164 ... c Min unsat cost LB: 137165 ... c Min unsat cost LB: 137166 ... c Min unsat cost LB: 137167 ... c Min unsat cost LB: 137169 ... c Min unsat cost LB: 137170 ... c Min unsat cost LB: 137172 ... c Min unsat cost LB: 137173 ... c Min unsat cost LB: 137174 ... c Min unsat cost LB: 137175 ... c Min unsat cost LB: 137176 ... c Min unsat cost LB: 137177 ... c Min unsat cost LB: 137178 ... c Min unsat cost LB: 137179 ... c Min unsat cost LB: 137180 ... c Min unsat cost LB: 137181 ... c Min unsat cost LB: 137182 ... c Min unsat cost LB: 137183 ... c Min unsat cost LB: 137184 ... c Min unsat cost LB: 137185 ... c Min unsat cost LB: 137186 ... c Min unsat cost LB: 137187 ... c Min unsat cost LB: 137188 ... c Min unsat cost LB: 137189 ... c Min unsat cost LB: 137190 ... c Min unsat cost LB: 137191 ... c Min unsat cost LB: 137192 ... c Min unsat cost LB: 137193 ... c Min unsat cost LB: 137194 ... c Min unsat cost LB: 137195 ... c Min unsat cost LB: 137196 ... c Min unsat cost LB: 137197 ... c Min unsat cost LB: 137198 ... c Min unsat cost LB: 137199 ... c Min unsat cost LB: 137200 ... c Min unsat cost LB: 137201 ... c Min unsat cost LB: 137202 ... c Min unsat cost LB: 137203 ... c Min unsat cost LB: 137204 ... c Min unsat cost LB: 137223 ... c Min unsat cost LB: 137227 ... c Min unsat cost LB: 137256 ... c Min unsat cost LB: 137292 ... c Min unsat cost LB: 137293 ... c Min unsat cost LB: 137297 ... c Min unsat cost LB: 137362 ... c Min unsat cost LB: 137363 ... c Min unsat cost LB: 137365 ... c Min unsat cost LB: 137366 ... c Min unsat cost LB: 137371 ... c Min unsat cost LB: 137377 ... c Min unsat cost LB: 137379 ... c Min unsat cost LB: 137387 ... c Min unsat cost LB: 137396 ... c Min unsat cost LB: 137399 ... c Min unsat cost LB: 137400 ... c Min unsat cost LB: 137402 ... c Min unsat cost LB: 137403 ... c Min unsat cost LB: 137408 ... c Min unsat cost LB: 137410 ... c Min unsat cost LB: 137415 ... c Min unsat cost LB: 137417 ... c Min unsat cost LB: 137419 ... c Min unsat cost LB: 137420 ... c Min unsat cost LB: 137421 ... c Min unsat cost LB: 137423 ... c Min unsat cost LB: 137424 ... c Min unsat cost LB: 137425 ... c Min unsat cost LB: 137426 ... c Min unsat cost LB: 137427 ... c Min unsat cost LB: 137428 ... c Min unsat cost LB: 137429 ... c Min unsat cost LB: 137430 ... c Min unsat cost LB: 137431 ... c Min unsat cost LB: 137432 ... c Min unsat cost LB: 137433 ... c Min unsat cost LB: 137442 ... c Min unsat cost LB: 137443 ... c Min unsat cost LB: 137447 ... c Min unsat cost LB: 137452 ... c Min unsat cost LB: 137453 ... c Min unsat cost LB: 137455 ... c Min unsat cost LB: 137456 ... c Min unsat cost LB: 137457 ... c Min unsat cost LB: 137462 ... c Min unsat cost LB: 137463 ... c Min unsat cost LB: 137465 ... c Min unsat cost LB: 137466 ... c Min unsat cost LB: 137468 ... c Min unsat cost LB: 137470 ... c Min unsat cost LB: 137472 ... c Min unsat cost LB: 137473 ... c Min unsat cost LB: 137474 ... c Min unsat cost LB: 137475 ... c Min unsat cost LB: 137476 ... c Min unsat cost LB: 137477 ... c Min unsat cost LB: 137478 ... c Min unsat cost LB: 137479 ... c Min unsat cost LB: 137480 ... c Min unsat cost LB: 137482 ... c Min unsat cost LB: 137483 ... c Min unsat cost LB: 137484 ... c Min unsat cost LB: 137485 ... c Min unsat cost LB: 137486 ... c Min unsat cost LB: 137487 ... c Min unsat cost LB: 137488 ... c Min unsat cost LB: 137489 ... c Min unsat cost LB: 137490 ... c Min unsat cost LB: 137501 ... c Min unsat cost LB: 137504 ... c Min unsat cost LB: 137508 ... c Min unsat cost LB: 137514 ... c Min unsat cost LB: 137521 ... c Min unsat cost LB: 137526 ... c Min unsat cost LB: 137527 ... c Min unsat cost LB: 137528 ... c Min unsat cost LB: 137529 ... c Min unsat cost LB: 137530 ... c Min unsat cost LB: 137547 ... c Min unsat cost LB: 137548 ... c Min unsat cost LB: 137549 ... c Min unsat cost LB: 137550 ... c Min unsat cost LB: 137551 ... c Min unsat cost LB: 137552 ... c Min unsat cost LB: 137553 ... c Min unsat cost LB: 137554 ... c Min unsat cost LB: 137556 ... c Min unsat cost LB: 137559 ... c Min unsat cost LB: 137560 ... c Min unsat cost LB: 137637 ... c Min unsat cost LB: 137644 ... c Min unsat cost LB: 137647 ... c Min unsat cost LB: 137654 ... c Min unsat cost LB: 137670 ... c Min unsat cost LB: 137671 ... c Min unsat cost LB: 137672 ... c Min unsat cost LB: 137673 ... c Min unsat cost LB: 137674 ... c Min unsat cost LB: 137713 ... c Min unsat cost LB: 137716 ... c Min unsat cost LB: 137742 ... c Min unsat cost LB: 137746 ... c Min unsat cost LB: 137752 ... c Min unsat cost LB: 137789 ... c Min unsat cost LB: 137790 ... c Min unsat cost LB: 137791 ... c Min unsat cost LB: 137811 ... c Min unsat cost LB: 137812 ... c Min unsat cost LB: 137813 ... c Min unsat cost LB: 137814 ... c Min unsat cost LB: 137815 ... c Min unsat cost LB: 137816 ... c Min unsat cost LB: 137818 ... c Min unsat cost LB: 137820 ... c Min unsat cost LB: 137821 ... c Min unsat cost LB: 137822 ... c Min unsat cost LB: 137823 ... c Min unsat cost LB: 137824 ... c Min unsat cost LB: 137825 ... c Min unsat cost LB: 137826 ... c Min unsat cost LB: 137832 ... c Min unsat cost LB: 137834 ... c Min unsat cost LB: 137845 ... c Min unsat cost LB: 137846 ... c Min unsat cost LB: 137847 ... c Min unsat cost LB: 137849 ... c Min unsat cost LB: 137850 ... c Min unsat cost LB: 137851 ... c Min unsat cost LB: 137854 ... c Min unsat cost LB: 137989 ... c Min unsat cost LB: 138052 ... c Min unsat cost LB: 138053 ... c Min unsat cost LB: 138060 ... c Min unsat cost LB: 138065 ... c Min unsat cost LB: 138099 ... c Min unsat cost LB: 138100 ... c Min unsat cost LB: 138102 ... c Min unsat cost LB: 138103 ... c Min unsat cost LB: 138236 ... c Min unsat cost LB: 138254 ... c Min unsat cost LB: 138273 ... c Min unsat cost LB: 138285 ... c Min unsat cost LB: 138300 ... c Min unsat cost LB: 138330 ... c Min unsat cost LB: 138394 ... c Min unsat cost LB: 138395 ... c Min unsat cost LB: 138396 ... c Min unsat cost LB: 138397 ... c Min unsat cost LB: 138398 ... c Min unsat cost LB: 138399 ... c Min unsat cost LB: 138401 ... c Min unsat cost LB: 138403 ... c Min unsat cost LB: 138404 ... c Min unsat cost LB: 138405 ... c Min unsat cost LB: 138406 ... c Min unsat cost LB: 138407 ... c Min unsat cost LB: 138408 ... c Min unsat cost LB: 138409 ... c Min unsat cost LB: 138410 ... c Min unsat cost LB: 138411 ... c Min unsat cost LB: 138412 ... c Min unsat cost LB: 138413 ... c Min unsat cost LB: 138414 ... c Min unsat cost LB: 138415 ... c Min unsat cost LB: 138417 ... c Min unsat cost LB: 138419 ... c Min unsat cost LB: 138420 ... c Min unsat cost LB: 138421 ... c Min unsat cost LB: 138425 ... c Min unsat cost LB: 138426 ... c Min unsat cost LB: 138427 ... c Min unsat cost LB: 138442 ... c Min unsat cost LB: 138530 ... c Min unsat cost LB: 138531 ... c Min unsat cost LB: 138534 ... c Min unsat cost LB: 138535 ... c Min unsat cost LB: 138537 ... c Min unsat cost LB: 138538 ... c Min unsat cost LB: 138541 ... c Min unsat cost LB: 138543 ... c Min unsat cost LB: 138544 ... c Min unsat cost LB: 138545 ... c Min unsat cost LB: 138546 ... c Min unsat cost LB: 138547 ... c Min unsat cost LB: 138548 ... c Min unsat cost LB: 138549 ... c Min unsat cost LB: 138550 ... c Min unsat cost LB: 138551 ... c Min unsat cost LB: 138552 ... c Min unsat cost LB: 138553 ... c Min unsat cost LB: 138554 ... c Min unsat cost LB: 138555 ... c Min unsat cost LB: 138556 ... c Min unsat cost LB: 138563 ... c Min unsat cost LB: 138640 ... c Min unsat cost LB: 138641 ... c Min unsat cost LB: 138646 ... c Min unsat cost LB: 138650 ... c Min unsat cost LB: 138651 ... c Min unsat cost LB: 138653 ... c Min unsat cost LB: 138655 ... c Min unsat cost LB: 138656 ... c Min unsat cost LB: 138657 ... c Min unsat cost LB: 138658 ... c Min unsat cost LB: 138664 ... c Min unsat cost LB: 138679 ... c Min unsat cost LB: 138680 ... c Min unsat cost LB: 138681 ... c Min unsat cost LB: 138682 ... c Min unsat cost LB: 138683 ... c Min unsat cost LB: 138684 ... c Min unsat cost LB: 138685 ... c Min unsat cost LB: 138686 ... c Min unsat cost LB: 138687 ... c Min unsat cost LB: 138688 ... c Min unsat cost LB: 138689 ... c Min unsat cost LB: 138690 ... c Min unsat cost LB: 138691 ... c Min unsat cost LB: 138692 ... c Min unsat cost LB: 138693 ... c Min unsat cost LB: 138694 ... c Min unsat cost LB: 138733 ... c Min unsat cost LB: 138748 ... c Min unsat cost LB: 138807 ... c Min unsat cost LB: 138811 ... c Min unsat cost LB: 138814 ... c Min unsat cost LB: 138838 ... c Min unsat cost LB: 138846 ... c Min unsat cost LB: 138853 ... c Min unsat cost LB: 138854 ... c Min unsat cost LB: 138855 ... c Min unsat cost LB: 138859 ... c Min unsat cost LB: 138862 ... c Min unsat cost LB: 138864 ... c Min unsat cost LB: 138865 ... c Min unsat cost LB: 138868 ... c Min unsat cost LB: 138894 ... c Min unsat cost LB: 138910 ... c Min unsat cost LB: 138926 ... c Min unsat cost LB: 138933 ... c Min unsat cost LB: 138936 ... c Min unsat cost LB: 138937 ... c Min unsat cost LB: 138939 ... c Min unsat cost LB: 138977 ... c Min unsat cost LB: 138978 ... c Min unsat cost LB: 138979 ... c Min unsat cost LB: 138980 ... c Min unsat cost LB: 138981 ... c Min unsat cost LB: 138982 ... c Min unsat cost LB: 138984 ... c Min unsat cost LB: 138987 ... c Min unsat cost LB: 138990 ... c Min unsat cost LB: 138991 ... c Min unsat cost LB: 139007 ... c Min unsat cost LB: 139038 ... c Min unsat cost LB: 139039 ... c Min unsat cost LB: 139046 ... c Min unsat cost LB: 139050 ... c Min unsat cost LB: 139051 ... c Min unsat cost LB: 139052 ... c Min unsat cost LB: 139053 ... c Min unsat cost LB: 139056 ... c Min unsat cost LB: 139062 ... c Min unsat cost LB: 139063 ... c Min unsat cost LB: 139065 ... c Min unsat cost LB: 139066 ... c Min unsat cost LB: 139067 ... c Min unsat cost LB: 139069 ... c Min unsat cost LB: 139070 ... c Min unsat cost LB: 139071 ... c Min unsat cost LB: 139074 ... c Min unsat cost LB: 139076 ... c Min unsat cost LB: 139077 ... c Min unsat cost LB: 139078 ... c Min unsat cost LB: 139079 ... c Min unsat cost LB: 139081 ... c Min unsat cost LB: 139083 ... c Min unsat cost LB: 139084 ... c Min unsat cost LB: 139085 ... c Min unsat cost LB: 139086 ... c Min unsat cost LB: 139087 ... c Min unsat cost LB: 139088 ... c Min unsat cost LB: 139089 ... c Min unsat cost LB: 139090 ... c Min unsat cost LB: 139091 ... c Min unsat cost LB: 139092 ... c Min unsat cost LB: 139093 ... c Min unsat cost LB: 139094 ... c Min unsat cost LB: 139095 ... c Min unsat cost LB: 139096 ... c Min unsat cost LB: 139097 ... c Min unsat cost LB: 139100 ... c Min unsat cost LB: 139102 ... c Min unsat cost LB: 139103 ... c Min unsat cost LB: 139104 ... c Min unsat cost LB: 139105 ... c Min unsat cost LB: 139106 ... c Min unsat cost LB: 139147 ... c Min unsat cost LB: 139148 ... c Min unsat cost LB: 139149 ... c Min unsat cost LB: 139150 ... c Min unsat cost LB: 139152 ... c Min unsat cost LB: 139153 ... c Min unsat cost LB: 139155 ... c Min unsat cost LB: 139156 ... c Min unsat cost LB: 139157 ... c Min unsat cost LB: 139158 ... c Min unsat cost LB: 139159 ... c Min unsat cost LB: 139160 ... c Min unsat cost LB: 139163 ... c Min unsat cost LB: 139164 ... c Min unsat cost LB: 139165 ... c Min unsat cost LB: 139167 ... c Min unsat cost LB: 139168 ... c Min unsat cost LB: 139170 ... c Min unsat cost LB: 139171 ... c Min unsat cost LB: 139175 ... c Min unsat cost LB: 139182 ... c Min unsat cost LB: 139185 ... c Min unsat cost LB: 139187 ... c Min unsat cost LB: 139189 ... c Min unsat cost LB: 139213 ... c Min unsat cost LB: 139216 ... c Min unsat cost LB: 139217 ... c Min unsat cost LB: 139221 ... c Min unsat cost LB: 139227 ... c Min unsat cost LB: 139231 ... c Min unsat cost LB: 139244 ... c Min unsat cost LB: 139248 ... c Min unsat cost LB: 139249 ... c Min unsat cost LB: 139484 ... c Min unsat cost LB: 139485 ... c Min unsat cost LB: 139486 ... c Min unsat cost LB: 139487 ... c Min unsat cost LB: 139489 ... c Min unsat cost LB: 139490 ... c Min unsat cost LB: 139491 ... c Min unsat cost LB: 139492 ... c Min unsat cost LB: 139493 ... c Min unsat cost LB: 139494 ... c Min unsat cost LB: 139495 ... c Min unsat cost LB: 139496 ... c Min unsat cost LB: 139497 ... c Min unsat cost LB: 139498 ... c Min unsat cost LB: 139499 ... c Min unsat cost LB: 139500 ... c Min unsat cost LB: 139501 ... c Min unsat cost LB: 139502 ... c Min unsat cost LB: 139503 ... c Min unsat cost LB: 139504 ... c Min unsat cost LB: 139505 ... c Min unsat cost LB: 139506 ... c Min unsat cost LB: 139507 ... c Min unsat cost LB: 139514 ... c Min unsat cost LB: 139515 ... c Min unsat cost LB: 139518 ... c Min unsat cost LB: 139519 ... c Min unsat cost LB: 139520 ... c Min unsat cost LB: 139521 ... c Min unsat cost LB: 139522 ... c Min unsat cost LB: 139523 ... c Min unsat cost LB: 139524 ... c Min unsat cost LB: 139526 ... c Min unsat cost LB: 139527 ... c Min unsat cost LB: 139528 ... c Min unsat cost LB: 139529 ... c Min unsat cost LB: 139530 ... c Min unsat cost LB: 139531 ... c Min unsat cost LB: 139532 ... c Min unsat cost LB: 139533 ... c Min unsat cost LB: 139534 ... c Min unsat cost LB: 139535 ... c Min unsat cost LB: 139536 ... c Min unsat cost LB: 139539 ... c Min unsat cost LB: 139540 ... c Min unsat cost LB: 139541 ... c Min unsat cost LB: 139542 ... c Min unsat cost LB: 139543 ... c Min unsat cost LB: 139544 ... c Min unsat cost LB: 139545 ... c Min unsat cost LB: 139546 ... c Min unsat cost LB: 139547 ... c Min unsat cost LB: 139548 ... c Min unsat cost LB: 139549 ... c Min unsat cost LB: 139550 ... c Min unsat cost LB: 139551 ... c Min unsat cost LB: 139554 ... c Min unsat cost LB: 139559 ... c Min unsat cost LB: 139563 ... c Min unsat cost LB: 139583 ... c Min unsat cost LB: 139584 ... c Min unsat cost LB: 139585 ... c Min unsat cost LB: 139586 ... c Min unsat cost LB: 139587 ... c Min unsat cost LB: 139588 ... c Min unsat cost LB: 139589 ... c Min unsat cost LB: 139590 ... c Min unsat cost LB: 139591 ... c Min unsat cost LB: 139592 ... c Min unsat cost LB: 139593 ... c Min unsat cost LB: 139595 ... c Min unsat cost LB: 139596 ... c Min unsat cost LB: 139597 ... c Min unsat cost LB: 139598 ... c Min unsat cost LB: 139599 ... c Min unsat cost LB: 139600 ... c Min unsat cost LB: 139601 ... c Min unsat cost LB: 139602 ... c Min unsat cost LB: 139603 ... c Min unsat cost LB: 139632 ... c Min unsat cost LB: 139636 ... c Min unsat cost LB: 139637 ... c Min unsat cost LB: 139638 ... c Min unsat cost LB: 139640 ... c Min unsat cost LB: 139641 ... c Min unsat cost LB: 139642 ... c Min unsat cost LB: 139643 ... c Min unsat cost LB: 139644 ... c Min unsat cost LB: 139645 ... c Min unsat cost LB: 139646 ... c Min unsat cost LB: 139648 ... c Min unsat cost LB: 139649 ... c Min unsat cost LB: 139650 ... c Min unsat cost LB: 139651 ... c Min unsat cost LB: 139652 ... c Min unsat cost LB: 139653 ... c Min unsat cost LB: 139654 ... c Min unsat cost LB: 139655 ... c Min unsat cost LB: 139656 ... c Min unsat cost LB: 139657 ... c Min unsat cost LB: 139658 ... c Min unsat cost LB: 139659 ... c Min unsat cost LB: 139660 ... c Min unsat cost LB: 139661 ... c Min unsat cost LB: 139662 ... c Min unsat cost LB: 139663 ... c Min unsat cost LB: 139664 ... c Min unsat cost LB: 139665 ... c Min unsat cost LB: 139666 ... c Min unsat cost LB: 139667 ... c Min unsat cost LB: 139668 ... c Min unsat cost LB: 139669 ... c Min unsat cost LB: 139670 ... c Min unsat cost LB: 139671 ... c Min unsat cost LB: 139672 ... c Min unsat cost LB: 139673 ... c Min unsat cost LB: 139674 ... c Min unsat cost LB: 139675 ... c Min unsat cost LB: 139676 ... c Min unsat cost LB: 139677 ... c Min unsat cost LB: 139679 ... c Min unsat cost LB: 139688 ... c Min unsat cost LB: 139690 ... c Min unsat cost LB: 139692 ... c Min unsat cost LB: 139693 ... c Min unsat cost LB: 139694 ... c Min unsat cost LB: 139695 ... c Min unsat cost LB: 139696 ... c Min unsat cost LB: 139697 ... c Min unsat cost LB: 139698 ... c Min unsat cost LB: 139699 ... c Min unsat cost LB: 139700 ... c Min unsat cost LB: 139701 ... c Min unsat cost LB: 139708 ... c Min unsat cost LB: 139709 ... c Min unsat cost LB: 139710 ... c Min unsat cost LB: 139711 ... c Min unsat cost LB: 139712 ... c Min unsat cost LB: 139713 ... c Min unsat cost LB: 139714 ... c Min unsat cost LB: 139715 ... c Min unsat cost LB: 139718 ... c Min unsat cost LB: 139719 ... c Min unsat cost LB: 139720 ... c Min unsat cost LB: 139723 ... c Min unsat cost LB: 139725 ... c Min unsat cost LB: 139726 ... c Min unsat cost LB: 139727 ... c Min unsat cost LB: 139728 ... c Min unsat cost LB: 139738 ... c Min unsat cost LB: 139763 ... c Min unsat cost LB: 139765 ... c Min unsat cost LB: 139769 ... c Min unsat cost LB: 139770 ... c Min unsat cost LB: 139771 ... c Min unsat cost LB: 139829 ... c Min unsat cost LB: 139830 ... c Min unsat cost LB: 139832 ... c Min unsat cost LB: 139833 ... c Min unsat cost LB: 139841 ... c Min unsat cost LB: 139890 ... c Min unsat cost LB: 139891 ... c Min unsat cost LB: 139892 ... c Min unsat cost LB: 139893 ... c Min unsat cost LB: 139894 ... c Min unsat cost LB: 139896 ... c Min unsat cost LB: 139897 ... c Min unsat cost LB: 139898 ... c Min unsat cost LB: 139899 ... c Min unsat cost LB: 139900 ... c Min unsat cost LB: 139901 ... c Min unsat cost LB: 139902 ... c Min unsat cost LB: 139903 ... c Min unsat cost LB: 139904 ... c Min unsat cost LB: 139905 ... c Min unsat cost LB: 139906 ... c Min unsat cost LB: 139907 ... c Min unsat cost LB: 139909 ... c Min unsat cost LB: 139910 ... c Min unsat cost LB: 139911 ... c Min unsat cost LB: 139920 ... c Min unsat cost LB: 139922 ... c Min unsat cost LB: 139923 ... c Min unsat cost LB: 139926 ... c Min unsat cost LB: 139929 ... c Min unsat cost LB: 139939 ... c Min unsat cost LB: 139943 ... c Min unsat cost LB: 139944 ... c Min unsat cost LB: 139945 ... c Min unsat cost LB: 139946 ... c Min unsat cost LB: 139988 ... c Min unsat cost LB: 140089 ... c Min unsat cost LB: 140090 ... c Min unsat cost LB: 140091 ... c Min unsat cost LB: 140092 ... c Min unsat cost LB: 140093 ... c Min unsat cost LB: 140094 ... c Min unsat cost LB: 140095 ... c Min unsat cost LB: 140096 ... c Min unsat cost LB: 140097 ... c Min unsat cost LB: 140098 ... c Min unsat cost LB: 140099 ... c Min unsat cost LB: 140100 ... c Min unsat cost LB: 140101 ... c Min unsat cost LB: 140107 ... c Min unsat cost LB: 140130 ... c Min unsat cost LB: 140131 ... c Min unsat cost LB: 140132 ... c Min unsat cost LB: 140133 ... c Min unsat cost LB: 140134 ... c Min unsat cost LB: 140135 ... c Min unsat cost LB: 140136 ... c Min unsat cost LB: 140158 ... c Min unsat cost LB: 140159 ... c Min unsat cost LB: 140160 ... c Min unsat cost LB: 140163 ... c Min unsat cost LB: 140164 ... c Min unsat cost LB: 140165 ... c Min unsat cost LB: 140166 ... c Min unsat cost LB: 140167 ... c Min unsat cost LB: 140168 ... c Min unsat cost LB: 140170 ... c Min unsat cost LB: 140173 ... c Min unsat cost LB: 140174 ... c Min unsat cost LB: 140176 ... c Min unsat cost LB: 140177 ... c Min unsat cost LB: 140178 ... c Min unsat cost LB: 140179 ... c Min unsat cost LB: 140180 ... c Min unsat cost LB: 140181 ... c Min unsat cost LB: 140182 ... c Min unsat cost LB: 140183 ... c Min unsat cost LB: 140184 ... c Min unsat cost LB: 140185 ... c Min unsat cost LB: 140186 ... c Min unsat cost LB: 140187 ... c Min unsat cost LB: 140188 ... c Min unsat cost LB: 140189 ... c Min unsat cost LB: 140190 ... c Min unsat cost LB: 140191 ... c Min unsat cost LB: 140192 ... c Min unsat cost LB: 140193 ... c Min unsat cost LB: 140194 ... c Min unsat cost LB: 140196 ... c Min unsat cost LB: 140197 ... c Min unsat cost LB: 140200 ... c Min unsat cost LB: 140201 ... c Min unsat cost LB: 140202 ... c Min unsat cost LB: 140203 ... c Min unsat cost LB: 140204 ... c Min unsat cost LB: 140205 ... c Min unsat cost LB: 140206 ... c Min unsat cost LB: 140207 ... c Min unsat cost LB: 140208 ... c Min unsat cost LB: 140209 ... c Min unsat cost LB: 140210 ... c Min unsat cost LB: 140211 ... c Min unsat cost LB: 140212 ... c Min unsat cost LB: 140213 ... c Min unsat cost LB: 140214 ... c Min unsat cost LB: 140215 ... c Min unsat cost LB: 140216 ... c Min unsat cost LB: 140217 ... c Min unsat cost LB: 140218 ... c Min unsat cost LB: 140219 ... c Min unsat cost LB: 140220 ... c Min unsat cost LB: 140221 ... c Min unsat cost LB: 140222 ... c Min unsat cost LB: 140223 ... c Min unsat cost LB: 140224 ... c Min unsat cost LB: 140225 ... c Min unsat cost LB: 140226 ... c Min unsat cost LB: 140227 ... c Min unsat cost LB: 140228 ... c Min unsat cost LB: 140229 ... c Min unsat cost LB: 140230 ... c Min unsat cost LB: 140231 ... c Min unsat cost LB: 140232 ... c Min unsat cost LB: 140233 ... c Min unsat cost LB: 140234 ... c Min unsat cost LB: 140235 ... c Min unsat cost LB: 140236 ... c Min unsat cost LB: 140237 ... c Min unsat cost LB: 140240 ... c Min unsat cost LB: 140241 ... c Min unsat cost LB: 140242 ... c Min unsat cost LB: 140243 ... c Min unsat cost LB: 140244 ... c Min unsat cost LB: 140245 ... c Min unsat cost LB: 140246 ... c Min unsat cost LB: 140247 ... c Min unsat cost LB: 140248 ... c Min unsat cost LB: 140249 ... c Min unsat cost LB: 140250 ... c Min unsat cost LB: 140251 ... c Min unsat cost LB: 140252 ... c Min unsat cost LB: 140253 ... c Min unsat cost LB: 140254 ... c Min unsat cost LB: 140255 ... c Min unsat cost LB: 140256 ... c Min unsat cost LB: 140257 ... c Min unsat cost LB: 140258 ... c Min unsat cost LB: 140259 ... c Min unsat cost LB: 140260 ... c Min unsat cost LB: 140261 ... c Min unsat cost LB: 140262 ... c Min unsat cost LB: 140263 ... c Min unsat cost LB: 140264 ... c Min unsat cost LB: 140265 ... c Min unsat cost LB: 140281 ... c Min unsat cost LB: 140282 ... c Min unsat cost LB: 140283 ... c Min unsat cost LB: 140284 ... c Min unsat cost LB: 140285 ... c Min unsat cost LB: 140286 ... c Min unsat cost LB: 140287 ... c Min unsat cost LB: 140288 ... c Min unsat cost LB: 140290 ... c Min unsat cost LB: 140291 ... c Min unsat cost LB: 140292 ... c Min unsat cost LB: 140328 ... c Min unsat cost LB: 140329 ... c Min unsat cost LB: 140330 ... c Min unsat cost LB: 140331 ... c Min unsat cost LB: 140334 ... c Min unsat cost LB: 140335 ... c Min unsat cost LB: 140339 ... c Min unsat cost LB: 140344 ... c Min unsat cost LB: 140355 ... c Min unsat cost LB: 140356 ... c Min unsat cost LB: 140365 ... c Min unsat cost LB: 140366 ... c Min unsat cost LB: 140367 ... c Min unsat cost LB: 140373 ... c Min unsat cost LB: 140374 ... c Min unsat cost LB: 140375 ... c Min unsat cost LB: 140387 ... c Min unsat cost LB: 140389 ... c Min unsat cost LB: 140390 ... c Min unsat cost LB: 140391 ... c Min unsat cost LB: 140392 ... c Min unsat cost LB: 140396 ... c Min unsat cost LB: 140397 ... c Min unsat cost LB: 140400 ... c Min unsat cost LB: 140402 ... c Min unsat cost LB: 140403 ... c Min unsat cost LB: 140404 ... c Min unsat cost LB: 140405 ... c Min unsat cost LB: 140406 ... c Min unsat cost LB: 140407 ... c Min unsat cost LB: 140408 ... c Min unsat cost LB: 140409 ... c Min unsat cost LB: 140411 ... c Min unsat cost LB: 140414 ... c Min unsat cost LB: 140415 ... c Min unsat cost LB: 140416 ... c Min unsat cost LB: 140418 ... c Min unsat cost LB: 140419 ... c Min unsat cost LB: 140422 ... c Min unsat cost LB: 140430 ... c Min unsat cost LB: 140431 ... c Min unsat cost LB: 140432 ... c Min unsat cost LB: 140436 ... c Min unsat cost LB: 140437 ... c Min unsat cost LB: 140438 ... c Min unsat cost LB: 140439 ... c Min unsat cost LB: 140440 ... c Min unsat cost LB: 140441 ... c Min unsat cost LB: 140442 ... c Min unsat cost LB: 140443 ... c Min unsat cost LB: 140444 ... c Min unsat cost LB: 140445 ... c Min unsat cost LB: 140446 ... c Min unsat cost LB: 140447 ... c Min unsat cost LB: 140448 ... c Min unsat cost LB: 140449 ... c Min unsat cost LB: 140451 ... c Min unsat cost LB: 140452 ... c Min unsat cost LB: 140453 ... c Min unsat cost LB: 140455 ... c Min unsat cost LB: 140456 ... c Min unsat cost LB: 140457 ... c Min unsat cost LB: 140458 ... c Min unsat cost LB: 140460 ... c Min unsat cost LB: 140465 ... c Min unsat cost LB: 140467 ... c Min unsat cost LB: 140468 ... c Min unsat cost LB: 140469 ... c Min unsat cost LB: 140470 ... c Min unsat cost LB: 140471 ... c Min unsat cost LB: 140477 ... c Min unsat cost LB: 140480 ... c Min unsat cost LB: 140481 ... c Min unsat cost LB: 140483 ... c Min unsat cost LB: 140485 ... c Min unsat cost LB: 140489 ... c Min unsat cost LB: 140494 ... c Min unsat cost LB: 140496 ... c Min unsat cost LB: 140497 ... c Min unsat cost LB: 140498 ... c Min unsat cost LB: 140499 ... c Min unsat cost LB: 140500 ... c Min unsat cost LB: 140502 ... c Min unsat cost LB: 140503 ... c Min unsat cost LB: 140504 ... c Min unsat cost LB: 140505 ... c Min unsat cost LB: 140506 ... c Min unsat cost LB: 140510 ... c Min unsat cost LB: 140511 ... c Min unsat cost LB: 140512 ... c Min unsat cost LB: 140513 ... c Min unsat cost LB: 140514 ... c Min unsat cost LB: 140515 ... c Min unsat cost LB: 140517 ... c Min unsat cost LB: 140519 ... c Min unsat cost LB: 140525 ... c Min unsat cost LB: 140530 ... c Min unsat cost LB: 140545 ... c Min unsat cost LB: 140546 ... c Min unsat cost LB: 140547 ... c Min unsat cost LB: 140548 ... c Min unsat cost LB: 140549 ... c Min unsat cost LB: 140550 ... c Min unsat cost LB: 140551 ... c Min unsat cost LB: 140552 ... c Min unsat cost LB: 140553 ... c Min unsat cost LB: 140554 ... c Min unsat cost LB: 140555 ... c Min unsat cost LB: 140556 ... c Min unsat cost LB: 140557 ... c Min unsat cost LB: 140558 ... c Min unsat cost LB: 140559 ... c Min unsat cost LB: 140561 ... c Min unsat cost LB: 140562 ... c Min unsat cost LB: 140563 ... c Min unsat cost LB: 140564 ... c Min unsat cost LB: 140566 ... c Min unsat cost LB: 140567 ... c Min unsat cost LB: 140568 ... c Min unsat cost LB: 140569 ... c Min unsat cost LB: 140570 ... c Min unsat cost LB: 140571 ... c Min unsat cost LB: 140572 ... c Min unsat cost LB: 140573 ... c Min unsat cost LB: 140574 ... c Min unsat cost LB: 140575 ... c Min unsat cost LB: 140576 ... c Min unsat cost LB: 140577 ... c Min unsat cost LB: 140578 ... c Min unsat cost LB: 140579 ... c Min unsat cost LB: 140580 ... c Min unsat cost LB: 140581 ... c Min unsat cost LB: 140582 ... c Min unsat cost LB: 140583 ... c Min unsat cost LB: 140584 ... c Min unsat cost LB: 140585 ... c Min unsat cost LB: 140586 ... c Min unsat cost LB: 140587 ... c Min unsat cost LB: 140589 ... c Min unsat cost LB: 140590 ... c Min unsat cost LB: 141178 ... c Min unsat cost LB: 141179 ... c Min unsat cost LB: 141180 ... c Min unsat cost LB: 141181 ... c Min unsat cost LB: 141182 ... c Min unsat cost LB: 141183 ... c Min unsat cost LB: 141184 ... c Min unsat cost LB: 141185 ... c Min unsat cost LB: 141186 ... c Min unsat cost LB: 141187 ... c Min unsat cost LB: 141188 ... c Min unsat cost LB: 141189 ... c Min unsat cost LB: 141190 ... c Min unsat cost LB: 141191 ... c Min unsat cost LB: 141192 ... c Min unsat cost LB: 141193 ... c Min unsat cost LB: 141194 ... c Min unsat cost LB: 141195 ... c Min unsat cost LB: 141196 ... c Min unsat cost LB: 141197 ... c Min unsat cost LB: 141198 ... c Min unsat cost LB: 141199 ... c Min unsat cost LB: 141200 ... c Min unsat cost LB: 141201 ... c Min unsat cost LB: 141202 ... c Min unsat cost LB: 141203 ... c Min unsat cost LB: 141204 ... c Min unsat cost LB: 141205 ... c Min unsat cost LB: 141206 ... c Min unsat cost LB: 141207 ... c Min unsat cost LB: 141208 ... c Min unsat cost LB: 141209 ... c Min unsat cost LB: 141210 ... c Min unsat cost LB: 141211 ... c Min unsat cost LB: 141212 ... c Min unsat cost LB: 141213 ... c Min unsat cost LB: 141214 ... c Min unsat cost LB: 141456 ... c Min unsat cost LB: 141457 ... c Min unsat cost LB: 141458 ... c Min unsat cost LB: 141459 ... c Min unsat cost LB: 141460 ... c Min unsat cost LB: 141461 ... c Min unsat cost LB: 141462 ... c Min unsat cost LB: 141463 ... c Min unsat cost LB: 141464 ... c Min unsat cost LB: 141465 ... c Min unsat cost LB: 141466 ... c Min unsat cost LB: 141467 ... c Min unsat cost LB: 141468 ... c Min unsat cost LB: 141469 ... c Min unsat cost LB: 141470 ... c Min unsat cost LB: 141471 ... c Min unsat cost LB: 141472 ... c Min unsat cost LB: 141473 ... c Min unsat cost LB: 141474 ... c Min unsat cost LB: 141475 ... c Min unsat cost LB: 141476 ... c Min unsat cost LB: 141477 ... c Min unsat cost LB: 141500 ... c Min unsat cost LB: 141501 ... c Min unsat cost LB: 141502 ... c Min unsat cost LB: 141503 ... c Min unsat cost LB: 141504 ... c Min unsat cost LB: 141505 ... c Min unsat cost LB: 141506 ... c Min unsat cost LB: 141507 ... c Min unsat cost LB: 141508 ... c Min unsat cost LB: 141509 ... c Min unsat cost LB: 141510 ... c Min unsat cost LB: 141511 ... c Min unsat cost LB: 141512 ... c Min unsat cost LB: 141513 ... c Min unsat cost LB: 141514 ... c Min unsat cost LB: 141515 ... c Min unsat cost LB: 141516 ... c Min unsat cost LB: 141517 ... c Min unsat cost LB: 141518 ... c Min unsat cost LB: 141519 ... c Min unsat cost LB: 141520 ... c Min unsat cost LB: 141521 ... c Min unsat cost LB: 141522 ... c Min unsat cost LB: 141523 ... c Min unsat cost LB: 141524 ... c Min unsat cost LB: 141525 ... c Min unsat cost LB: 141526 ... c Min unsat cost LB: 141527 ... c Min unsat cost LB: 141528 ... c Min unsat cost LB:Killed 1814.244u 5.492s 30:23.59 99.7% 0+0k 0+0io 0pf+0w