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_PATHS_cat_paths_60_110_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0006.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_PATHS/cat_paths_60_110_0006.txt.wcnf *** c c Min unsat cost LB: 687 ... c Min unsat cost LB: 704 ... c Min unsat cost LB: 1505 ... c Min unsat cost LB: 2283 ... c Min unsat cost LB: 3307 ... c Min unsat cost LB: 4045 ... c Min unsat cost LB: 4846 ... c Min unsat cost LB: 4850 ... c Min unsat cost LB: 5592 ... c Min unsat cost LB: 6296 ... c Min unsat cost LB: 6616 ... c Min unsat cost LB: 7358 ... c Min unsat cost LB: 7536 ... c Min unsat cost LB: 8278 ... c Min unsat cost LB: 9128 ... c Min unsat cost LB: 9337 ... c Min unsat cost LB: 9705 ... c Min unsat cost LB: 9808 ... c Min unsat cost LB: 10609 ... c Min unsat cost LB: 11055 ... c Min unsat cost LB: 11087 ... c Min unsat cost LB: 11726 ... c Min unsat cost LB: 12430 ... c Min unsat cost LB: 13203 ... c Min unsat cost LB: 13864 ... c Min unsat cost LB: 14084 ... c Min unsat cost LB: 14975 ... c Min unsat cost LB: 15667 ... c Min unsat cost LB: 15878 ... c Min unsat cost LB: 15882 ... c Min unsat cost LB: 16569 ... c Min unsat cost LB: 16957 ... c Min unsat cost LB: 17215 ... c Min unsat cost LB: 17232 ... c Min unsat cost LB: 17616 ... c Min unsat cost LB: 18142 ... c Min unsat cost LB: 18971 ... c Min unsat cost LB: 19149 ... c Min unsat cost LB: 19469 ... c Min unsat cost LB: 20071 ... c Min unsat cost LB: 20855 ... c Min unsat cost LB: 21692 ... c Min unsat cost LB: 21748 ... c Min unsat cost LB: 22112 ... c Min unsat cost LB: 22271 ... c Min unsat cost LB: 22926 ... c Min unsat cost LB: 23545 ... c Min unsat cost LB: 23836 ... c Min unsat cost LB: 23895 ... c Min unsat cost LB: 24455 ... c Min unsat cost LB: 25048 ... c Min unsat cost LB: 25641 ... c Min unsat cost LB: 26038 ... c Min unsat cost LB: 26640 ... c Min unsat cost LB: 26838 ... c Min unsat cost LB: 27257 ... c Min unsat cost LB: 27466 ... c Min unsat cost LB: 28072 ... c Min unsat cost LB: 28089 ... c Min unsat cost LB: 28592 ... c Min unsat cost LB: 28618 ... c Min unsat cost LB: 29322 ... c Min unsat cost LB: 29848 ... c Min unsat cost LB: 30112 ... c Min unsat cost LB: 31150 ... c Min unsat cost LB: 31644 ... c Min unsat cost LB: 31648 ... c Min unsat cost LB: 32062 ... c Min unsat cost LB: 32152 ... c Min unsat cost LB: 32890 ... c Min unsat cost LB: 32910 ... c Min unsat cost LB: 33491 ... c Min unsat cost LB: 33730 ... c Min unsat cost LB: 34272 ... c Min unsat cost LB: 34495 ... c Min unsat cost LB: 35229 ... c Min unsat cost LB: 35233 ... c Min unsat cost LB: 35891 ... c Min unsat cost LB: 36586 ... c Min unsat cost LB: 36603 ... c Min unsat cost LB: 36649 ... c Min unsat cost LB: 36692 ... c Min unsat cost LB: 36817 ... c Min unsat cost LB: 36891 ... c Min unsat cost LB: 37484 ... c Min unsat cost LB: 37911 ... c Min unsat cost LB: 38615 ... c Min unsat cost LB: 38666 ... c Min unsat cost LB: 38781 ... c Min unsat cost LB: 39169 ... c Min unsat cost LB: 39304 ... c Min unsat cost LB: 39446 ... c Min unsat cost LB: 39472 ... c Min unsat cost LB: 39685 ... c Min unsat cost LB: 39838 ... c Min unsat cost LB: 39886 ... c Min unsat cost LB: 40005 ... c Min unsat cost LB: 40269 ... c Min unsat cost LB: 40385 ... c Min unsat cost LB: 40444 ... c Min unsat cost LB: 40470 ... c Min unsat cost LB: 40607 ... c Min unsat cost LB: 41110 ... c Min unsat cost LB: 41200 ... c Min unsat cost LB: 41315 ... c Min unsat cost LB: 41481 ... c Min unsat cost LB: 41498 ... c Min unsat cost LB: 41614 ... c Min unsat cost LB: 41825 ... c Min unsat cost LB: 41889 ... c Min unsat cost LB: 42257 ... c Min unsat cost LB: 42303 ... c Min unsat cost LB: 42414 ... c Min unsat cost LB: 42528 ... c Min unsat cost LB: 42700 ... c Min unsat cost LB: 43277 ... c Min unsat cost LB: 43388 ... c Min unsat cost LB: 43434 ... c Min unsat cost LB: 43753 ... c Min unsat cost LB: 43861 ... c Min unsat cost LB: 44167 ... c Min unsat cost LB: 44257 ... c Min unsat cost LB: 44329 ... c Min unsat cost LB: 44454 ... c Min unsat cost LB: 44521 ... c Min unsat cost LB: 44696 ... c Min unsat cost LB: 44700 ... c Min unsat cost LB: 44770 ... c Min unsat cost LB: 44958 ... c Min unsat cost LB: 44974 ... c Min unsat cost LB: 45009 ... c Min unsat cost LB: 45162 ... c Min unsat cost LB: 45246 ... c Min unsat cost LB: 45328 ... c Min unsat cost LB: 45436 ... c Min unsat cost LB: 45578 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45858 ... c Min unsat cost LB: 45978 ... c Min unsat cost LB: 46018 ... c Min unsat cost LB: 46044 ... c Min unsat cost LB: 46206 ... c Min unsat cost LB: 46221 ... c Min unsat cost LB: 46242 ... c Min unsat cost LB: 46243 ... c Min unsat cost LB: 46275 ... c Min unsat cost LB: 46463 ... c Min unsat cost LB: 46480 ... c Min unsat cost LB: 46484 ... c Min unsat cost LB: 46663 ... c Min unsat cost LB: 46666 ... c Min unsat cost LB: 46714 ... c Min unsat cost LB: 46732 ... c Min unsat cost LB: 46739 ... c Min unsat cost LB: 46821 ... c Min unsat cost LB: 46844 ... c Min unsat cost LB: 46870 ... c Min unsat cost LB: 46909 ... c Min unsat cost LB: 46975 ... c Min unsat cost LB: 46981 ... c Min unsat cost LB: 47011 ... c Min unsat cost LB: 47026 ... c Min unsat cost LB: 47059 ... c Min unsat cost LB: 47082 ... c Min unsat cost LB: 47089 ... c Min unsat cost LB: 47152 ... c Min unsat cost LB: 47169 ... c Min unsat cost LB: 47181 ... c Min unsat cost LB: 47198 ... c Min unsat cost LB: 47308 ... c Min unsat cost LB: 47337 ... c Min unsat cost LB: 47361 ... c Min unsat cost LB: 47450 ... c Min unsat cost LB: 47487 ... c Min unsat cost LB: 47492 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48133 ... c Min unsat cost LB: 48145 ... c Min unsat cost LB: 48219 ... c Min unsat cost LB: 48262 ... c Min unsat cost LB: 48486 ... c Min unsat cost LB: 48555 ... c Min unsat cost LB: 48559 ... c Min unsat cost LB: 48572 ... c Min unsat cost LB: 48624 ... c Min unsat cost LB: 48790 ... c Min unsat cost LB: 48857 ... c Min unsat cost LB: 48863 ... c Min unsat cost LB: 48866 ... c Min unsat cost LB: 49080 ... c Min unsat cost LB: 49103 ... c Min unsat cost LB: 49117 ... c Min unsat cost LB: 49172 ... c Min unsat cost LB: 49233 ... c Min unsat cost LB: 49261 ... c Min unsat cost LB: 49307 ... c Min unsat cost LB: 49358 ... c Min unsat cost LB: 49403 ... c Min unsat cost LB: 49433 ... c Min unsat cost LB: 49448 ... c Min unsat cost LB: 49450 ... c Min unsat cost LB: 49544 ... c Min unsat cost LB: 49549 ... c Min unsat cost LB: 49587 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49608 ... c Min unsat cost LB: 49642 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49694 ... c Min unsat cost LB: 49706 ... c Min unsat cost LB: 49715 ... c Min unsat cost LB: 49732 ... c Min unsat cost LB: 49733 ... c Min unsat cost LB: 49814 ... c Min unsat cost LB: 49815 ... c Min unsat cost LB: 49838 ... c Min unsat cost LB: 49839 ... c Min unsat cost LB: 49841 ... c Min unsat cost LB: 49844 ... c Min unsat cost LB: 49847 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 49852 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 49865 ... c Min unsat cost LB: 49880 ... c Min unsat cost LB: 49913 ... c Min unsat cost LB: 49926 ... c Min unsat cost LB: 49931 ... c Min unsat cost LB: 49946 ... c Min unsat cost LB: 49950 ... c Min unsat cost LB: 49953 ... c Min unsat cost LB: 49962 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50023 ... c Min unsat cost LB: 50026 ... c Min unsat cost LB: 50029 ... c Min unsat cost LB: 50035 ... c Min unsat cost LB: 50038 ... c Min unsat cost LB: 50041 ... c Min unsat cost LB: 50052 ... c Min unsat cost LB: 50064 ... c Min unsat cost LB: 50088 ... c Min unsat cost LB: 50095 ... c Min unsat cost LB: 50114 ... c Min unsat cost LB: 50118 ... c Min unsat cost LB: 50125 ... c Min unsat cost LB: 50127 ... c Min unsat cost LB: 50129 ... c Min unsat cost LB: 50182 ... c Min unsat cost LB: 50199 ... c Min unsat cost LB: 50203 ... c Min unsat cost LB: 50211 ... c Min unsat cost LB: 50212 ... c Min unsat cost LB: 50232 ... c Min unsat cost LB: 50239 ... c Min unsat cost LB: 50252 ... c Min unsat cost LB: 50254 ... c Min unsat cost LB: 50315 ... c Min unsat cost LB: 50341 ... c Min unsat cost LB: 50348 ... c Min unsat cost LB: 50356 ... c Min unsat cost LB: 50359 ... c Min unsat cost LB: 50377 ... c Min unsat cost LB: 50384 ... c Min unsat cost LB: 50395 ... c Min unsat cost LB: 50397 ... c Min unsat cost LB: 50400 ... c Min unsat cost LB: 50416 ... c Min unsat cost LB: 50424 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50428 ... c Min unsat cost LB: 50430 ... c Min unsat cost LB: 50432 ... c Min unsat cost LB: 50433 ... c Min unsat cost LB: 50438 ... c Min unsat cost LB: 50439 ... c Min unsat cost LB: 50441 ... c Min unsat cost LB: 50445 ... c Min unsat cost LB: 50448 ... c Min unsat cost LB: 50453 ... c Min unsat cost LB: 50455 ... c Min unsat cost LB: 50457 ... c Min unsat cost LB: 50466 ... c Min unsat cost LB: 50477 ... c Min unsat cost LB: 50482 ... c Min unsat cost LB: 50497 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50512 ... c Min unsat cost LB: 50519 ... c Min unsat cost LB: 50527 ... c Min unsat cost LB: 50534 ... c Min unsat cost LB: 50538 ... c Min unsat cost LB: 50541 ... c Min unsat cost LB: 50565 ... c Min unsat cost LB: 50575 ... c Min unsat cost LB: 50576 ... c Min unsat cost LB: 50579 ... c Min unsat cost LB: 50580 ... c Min unsat cost LB: 50585 ... c Min unsat cost LB: 50587 ... c Min unsat cost LB: 50592 ... c Min unsat cost LB: 50593 ... c Min unsat cost LB: 50609 ... c Min unsat cost LB: 50618 ... c Min unsat cost LB: 50629 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50672 ... c Min unsat cost LB: 50681 ... c Min unsat cost LB: 50684 ... c Min unsat cost LB: 50695 ... c Min unsat cost LB: 50696 ... c Min unsat cost LB: 50697 ... c Min unsat cost LB: 50700 ... c Min unsat cost LB: 50702 ... c Min unsat cost LB: 50709 ... c Min unsat cost LB: 50720 ... c Min unsat cost LB: 50735 ... c Min unsat cost LB: 50740 ... c Min unsat cost LB: 50744 ... c Min unsat cost LB: 50747 ... c Min unsat cost LB: 50748 ... c Min unsat cost LB: 50750 ... c Min unsat cost LB: 50751 ... c Min unsat cost LB: 50762 ... c Min unsat cost LB: 50763 ... c Min unsat cost LB: 50784 ... c Min unsat cost LB: 50793 ... c Min unsat cost LB: 50794 ... c Min unsat cost LB: 50797 ... c Min unsat cost LB: 50808 ... c Min unsat cost LB: 50820 ... c Min unsat cost LB: 50826 ... c Min unsat cost LB: 50827 ... c Min unsat cost LB: 50850 ... c Min unsat cost LB: 50851 ... c Min unsat cost LB: 50852 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 50867 ... c Min unsat cost LB: 50871 ... c Min unsat cost LB: 50874 ... c Min unsat cost LB: 50891 ... c Min unsat cost LB: 50897 ... c Min unsat cost LB: 50906 ... c Min unsat cost LB: 50920 ... c Min unsat cost LB: 50921 ... c Min unsat cost LB: 50935 ... c Min unsat cost LB: 50939 ... c Min unsat cost LB: 50940 ... c Min unsat cost LB: 50941 ... c Min unsat cost LB: 50943 ... c Min unsat cost LB: 50945 ... c Min unsat cost LB: 50947 ... c Min unsat cost LB: 50948 ... c Min unsat cost LB: 50950 ... c Min unsat cost LB: 50954 ... c Min unsat cost LB: 50957 ... c Min unsat cost LB: 50969 ... c Min unsat cost LB: 50973 ... c Min unsat cost LB: 50996 ... c Min unsat cost LB: 50998 ... c Min unsat cost LB: 51007 ... c Min unsat cost LB: 51042 ... c Min unsat cost LB: 51070 ... c Min unsat cost LB: 51072 ... c Min unsat cost LB: 51081 ... c Min unsat cost LB: 51098 ... c Min unsat cost LB: 51169 ... c Min unsat cost LB: 51176 ... c Min unsat cost LB: 51181 ... c Min unsat cost LB: 51184 ... c Min unsat cost LB: 51186 ... c Min unsat cost LB: 51188 ... c Min unsat cost LB: 51194 ... c Min unsat cost LB: 51200 ... c Min unsat cost LB: 51203 ... c Min unsat cost LB: 51204 ... c Min unsat cost LB: 51206 ... c Min unsat cost LB: 51213 ... c Min unsat cost LB: 51214 ... c Min unsat cost LB: 51216 ... c Min unsat cost LB: 51217 ... c Min unsat cost LB: 51223 ... c Min unsat cost LB: 51225 ... c Min unsat cost LB: 51227 ... c Min unsat cost LB: 51230 ... c Min unsat cost LB: 51231 ... c Min unsat cost LB: 51232 ... c Min unsat cost LB: 51237 ... c Min unsat cost LB: 51238 ... c Min unsat cost LB: 51241 ... c Min unsat cost LB: 51244 ... c Min unsat cost LB: 51247 ... c Min unsat cost LB: 51249 ... c Min unsat cost LB: 51251 ... c Min unsat cost LB: 51255 ... c Min unsat cost LB: 51256 ... c Min unsat cost LB: 51257 ... c Min unsat cost LB: 51263 ... c Min unsat cost LB: 51270 ... c Min unsat cost LB: 51273 ... c Min unsat cost LB: 51274 ... c Min unsat cost LB: 51282 ... c Min unsat cost LB: 51284 ... c Min unsat cost LB: 51285 ... c Min unsat cost LB: 51286 ... c Min unsat cost LB: 51291 ... c Min unsat cost LB: 51292 ... c Min unsat cost LB: 51374 ... c Min unsat cost LB: 51384 ... c Min unsat cost LB: 51395 ... c Min unsat cost LB: 51396 ... c Min unsat cost LB: 51405 ... c Min unsat cost LB: 51408 ... c Min unsat cost LB: 51414 ... c Min unsat cost LB: 51415 ... c Min unsat cost LB: 51416 ... c Min unsat cost LB: 51417 ... c Min unsat cost LB: 51418 ... c Min unsat cost LB: 51420 ... c Min unsat cost LB: 51448 ... c Min unsat cost LB: 51449 ... c Min unsat cost LB: 51453 ... c Min unsat cost LB: 51456 ... c Min unsat cost LB: 51468 ... c Min unsat cost LB: 51469 ... c Min unsat cost LB: 51470 ... c Min unsat cost LB: 51472 ... c Min unsat cost LB: 51473 ... c Min unsat cost LB: 51474 ... c Min unsat cost LB: 51475 ... c Min unsat cost LB: 51477 ... c Min unsat cost LB: 51478 ... c Min unsat cost LB: 51481 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51486 ... c Min unsat cost LB: 51487 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51496 ... c Min unsat cost LB: 51506 ... c Min unsat cost LB: 51509 ... c Min unsat cost LB: 51514 ... c Min unsat cost LB: 51515 ... c Min unsat cost LB: 51516 ... c Min unsat cost LB: 51517 ... c Min unsat cost LB: 51518 ... c Min unsat cost LB: 51519 ... c Min unsat cost LB: 51520 ... c Min unsat cost LB: 51521 ... c Min unsat cost LB: 51524 ... c Min unsat cost LB: 51525 ... c Min unsat cost LB: 51526 ... c Min unsat cost LB: 51538 ... c Min unsat cost LB: 51576 ... c Min unsat cost LB: 51579 ... c Min unsat cost LB: 51580 ... c Min unsat cost LB: 51581 ... c Min unsat cost LB: 51585 ... c Min unsat cost LB: 51586 ... c Min unsat cost LB: 51587 ... c Min unsat cost LB: 51588 ... c Min unsat cost LB: 51591 ... c Min unsat cost LB: 51593 ... c Min unsat cost LB: 51594 ... c Min unsat cost LB: 51595 ... c Min unsat cost LB: 51596 ... c Min unsat cost LB: 51597 ... c Min unsat cost LB: 51598 ... c Min unsat cost LB: 51599 ... c Min unsat cost LB: 51600 ... c Min unsat cost LB: 51603 ... c Min unsat cost LB: 51633 ... c Min unsat cost LB: 51644 ... c Min unsat cost LB: 51692 ... c Min unsat cost LB: 51709 ... c Min unsat cost LB: 51721 ... c Min unsat cost LB: 51722 ... c Min unsat cost LB: 51723 ... c Min unsat cost LB: 51724 ... c Min unsat cost LB: 51725 ... c Min unsat cost LB: 51726 ... c Min unsat cost LB: 51727 ... c Min unsat cost LB: 51728 ... c Min unsat cost LB: 51729 ... c Min unsat cost LB: 51731 ... c Min unsat cost LB: 51735 ... c Min unsat cost LB: 51736 ... c Min unsat cost LB: 51737 ... c Min unsat cost LB: 51738 ... c Min unsat cost LB: 51739 ... c Min unsat cost LB: 51740 ... c Min unsat cost LB: 51741 ... c Min unsat cost LB: 51743 ... c Min unsat cost LB: 51748 ... c Min unsat cost LB: 51772 ... c Min unsat cost LB: 51773 ... c Min unsat cost LB: 51775 ... c Min unsat cost LB: 51777 ... c Min unsat cost LB: 51810 ... c Min unsat cost LB: 51825 ... c Min unsat cost LB: 51826 ... c Min unsat cost LB: 51832 ... c Min unsat cost LB: 51833 ... c Min unsat cost LB: 51834 ... c Min unsat cost LB: 51835 ... c Min unsat cost LB: 51836 ... c Min unsat cost LB: 51837 ... c Min unsat cost LB: 51838 ... c Min unsat cost LB: 51839 ... c Min unsat cost LB: 51845 ... c Min unsat cost LB: 51846 ... c Min unsat cost LB: 51862 ... c Min unsat cost LB: 51873 ... c Min unsat cost LB: 51876 ... c Min unsat cost LB: 51898 ... c Min unsat cost LB: 51975 ... c Min unsat cost LB: 51980 ... c Min unsat cost LB: 51981 ... c Min unsat cost LB: 51985 ... c Min unsat cost LB: 51986 ... c Min unsat cost LB: 51987 ... c Min unsat cost LB: 51991 ... c Min unsat cost LB: 52009 ... c Min unsat cost LB: 52011 ... c Min unsat cost LB: 52016 ... c Min unsat cost LB: 52020 ... c Min unsat cost LB: 52023 ... c Min unsat cost LB: 52024 ... c Min unsat cost LB: 52025 ... c Min unsat cost LB: 52034 ... c Min unsat cost LB: 52035 ... c Min unsat cost LB: 52036 ... c Min unsat cost LB: 52037 ... c Min unsat cost LB: 52038 ... c Min unsat cost LB: 52039 ... c Min unsat cost LB: 52040 ... c Min unsat cost LB: 52041 ... c Min unsat cost LB: 52042 ... c Min unsat cost LB: 52043 ... c Min unsat cost LB: 52045 ... c Min unsat cost LB: 52047 ... c Min unsat cost LB: 52050 ... c Min unsat cost LB: 52051 ... c Min unsat cost LB: 52052 ... c Min unsat cost LB: 52053 ... c Min unsat cost LB: 52054 ... c Min unsat cost LB: 52055 ... c Min unsat cost LB: 52056 ... c Min unsat cost LB: 52057 ... c Min unsat cost LB: 52058 ... c Min unsat cost LB: 52059 ... c Min unsat cost LB: 52060 ... c Min unsat cost LB: 52061 ... c Min unsat cost LB: 52062 ... c Min unsat cost LB: 52063 ... c Min unsat cost LB: 52064 ... c Min unsat cost LB: 52067 ... c Min unsat cost LB: 52068 ... c Min unsat cost LB: 52069 ... c Min unsat cost LB: 52071 ... c Min unsat cost LB: 52075 ... c Min unsat cost LB: 52078 ... c Min unsat cost LB: 52092 ... c Min unsat cost LB: 52093 ... c Min unsat cost LB: 52094 ... c Min unsat cost LB: 52095 ... c Min unsat cost LB: 52096 ... c Min unsat cost LB: 52099 ... c Min unsat cost LB: 52100 ... c Min unsat cost LB: 52101 ... c Min unsat cost LB: 52102 ... c Min unsat cost LB: 52103 ... c Min unsat cost LB: 52104 ... c Min unsat cost LB: 52105 ... c Min unsat cost LB: 52106 ... c Min unsat cost LB: 52112 ... c Min unsat cost LB: 52114 ... c Min unsat cost LB: 52115 ... c Min unsat cost LB: 52116 ... c Min unsat cost LB: 52117 ... c Min unsat cost LB: 52118 ... c Min unsat cost LB: 52119 ... c Min unsat cost LB: 52120 ... c Min unsat cost LB: 52121 ... c Min unsat cost LB: 52122 ... c Min unsat cost LB: 52123 ... c Min unsat cost LB: 52124 ... c Min unsat cost LB: 52125 ... c Min unsat cost LB: 52127 ... c Min unsat cost LB: 52132 ... c Min unsat cost LB: 52133 ... c Min unsat cost LB: 52134 ... c Min unsat cost LB: 52135 ... c Min unsat cost LB: 52136 ... c Min unsat cost LB: 52137 ... c Min unsat cost LB: 52142 ... c Min unsat cost LB: 52144 ... c Min unsat cost LB: 52145 ... c Min unsat cost LB: 52147 ... c Min unsat cost LB: 52148 ... c Min unsat cost LB: 52152 ... c Min unsat cost LB: 52165 ... c Min unsat cost LB: 52178 ... c Min unsat cost LB: 52193 ... c Min unsat cost LB: 52197 ... c Min unsat cost LB: 52198 ... c Min unsat cost LB: 52199 ... c Min unsat cost LB: 52203 ... c Min unsat cost LB: 52204 ... c Min unsat cost LB: 52205 ... c Min unsat cost LB: 52206 ... c Min unsat cost LB: 52207 ... c Min unsat cost LB: 52209 ... c Min unsat cost LB: 52210 ... c Min unsat cost LB: 52211 ... c Min unsat cost LB: 52216 ... c Min unsat cost LB: 52222 ... c Min unsat cost LB: 52223 ... c Min unsat cost LB: 52224 ... c Min unsat cost LB: 52225 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52227 ... c Min unsat cost LB: 52229 ... c Min unsat cost LB: 52230 ... c Min unsat cost LB: 52232 ... c Min unsat cost LB: 52233 ... c Min unsat cost LB: 52234 ... c Min unsat cost LB: 52235 ... c Min unsat cost LB: 52236 ... c Min unsat cost LB: 52237 ... c Min unsat cost LB: 52238 ... c Min unsat cost LB: 52239 ... c Min unsat cost LB: 52242 ... c Min unsat cost LB: 52249 ... c Min unsat cost LB: 52256 ... c Min unsat cost LB: 52257 ... c Min unsat cost LB: 52259 ... c Min unsat cost LB: 52260 ... c Min unsat cost LB: 52261 ... c Min unsat cost LB: 52262 ... c Min unsat cost LB: 52263 ... c Min unsat cost LB: 52264 ... c Min unsat cost LB: 52265 ... c Min unsat cost LB: 52266 ... c Min unsat cost LB: 52267 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52269 ... c Min unsat cost LB: 52270 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52272 ... c Min unsat cost LB: 52273 ... c Min unsat cost LB: 52274 ... c Min unsat cost LB: 52275 ... c Min unsat cost LB: 52276 ... c Min unsat cost LB: 52277 ... c Min unsat cost LB: 52278 ... c Min unsat cost LB: 52279 ... c Min unsat cost LB: 52280 ... c Min unsat cost LB: 52281 ... c Min unsat cost LB: 52282 ... c Min unsat cost LB: 52284 ... c Min unsat cost LB: 52285 ... c Min unsat cost LB: 52291 ... c Min unsat cost LB: 52293 ... c Min unsat cost LB: 52294 ... c Min unsat cost LB: 52298 ... c Min unsat cost LB: 52303 ... c Min unsat cost LB: 52316 ... c Min unsat cost LB: 52320 ... c Min unsat cost LB: 52321 ... c Min unsat cost LB: 52322 ... c Min unsat cost LB: 52323 ... c Min unsat cost LB: 52324 ... c Min unsat cost LB: 52325 ... c Min unsat cost LB: 52326 ... c Min unsat cost LB: 52327 ... c Min unsat cost LB: 52328 ... c Min unsat cost LB: 52329 ... c Min unsat cost LB: 52330 ... c Min unsat cost LB: 52331 ... c Min unsat cost LB: 52332 ... c Min unsat cost LB: 52334 ... c Min unsat cost LB: 52337 ... c Min unsat cost LB: 52343 ... c Min unsat cost LB: 52344 ... c Min unsat cost LB: 52345 ... c Min unsat cost LB: 52350 ... c Min unsat cost LB: 52351 ... c Min unsat cost LB: 52352 ... c Min unsat cost LB: 52353 ... c Min unsat cost LB: 52354 ... c Min unsat cost LB: 52355 ... c Min unsat cost LB: 52356 ... c Min unsat cost LB: 52358 ... c Min unsat cost LB: 52359 ... c Min unsat cost LB: 52360 ... c Min unsat cost LB: 52361 ... c Min unsat cost LB: 52363 ... c Min unsat cost LB: 52364 ... c Min unsat cost LB: 52367 ... c Min unsat cost LB: 52383 ... c Min unsat cost LB: 52384 ... c Min unsat cost LB: 52385 ... c Min unsat cost LB: 52390 ... c Min unsat cost LB: 52391 ... c Min unsat cost LB: 52392 ... c Min unsat cost LB: 52393 ... c Min unsat cost LB: 52394 ... c Min unsat cost LB: 52395 ... c Min unsat cost LB: 52396 ... c Min unsat cost LB: 52398 ... c Min unsat cost LB: 52399 ... c Min unsat cost LB: 52400 ... c Min unsat cost LB: 52401 ... c Min unsat cost LB: 52402 ... c Min unsat cost LB: 52407 ... c Min unsat cost LB: 52408 ... c Min unsat cost LB: 52409 ... c Min unsat cost LB: 52410 ... c Min unsat cost LB: 52412 ... c Min unsat cost LB: 52413 ... c Min unsat cost LB: 52414 ... c Min unsat cost LB: 52415 ... c Min unsat cost LB: 52420 ... c Min unsat cost LB: 52421 ... c Min unsat cost LB: 52438 ... c Min unsat cost LB: 52439 ... c Min unsat cost LB: 52441 ... c Min unsat cost LB: 52444 ... c Min unsat cost LB: 52445 ... c Min unsat cost LB: 52446 ... c Min unsat cost LB: 52447 ... c Min unsat cost LB: 52448 ... c Min unsat cost LB: 52449 ... c Min unsat cost LB: 52450 ... c Min unsat cost LB: 52451 ... c Min unsat cost LB: 52452 ... c Min unsat cost LB: 52453 ... c Min unsat cost LB: 52454 ... c Min unsat cost LB: 52455 ... c Min unsat cost LB: 52456 ... c Min unsat cost LB: 52457 ... c Min unsat cost LB: 52458 ... c Min unsat cost LB: 52459 ... c Min unsat cost LB: 52460 ... c Min unsat cost LB: 52461 ... c Min unsat cost LB: 52462 ... c Min unsat cost LB: 52463 ... c Min unsat cost LB: 52464 ... c Min unsat cost LB: 52465 ... c Min unsat cost LB: 52466 ... c Min unsat cost LB: 52467 ... c Min unsat cost LB: 52468 ... c Min unsat cost LB: 52469 ... c Min unsat cost LB: 52470 ... c Min unsat cost LB: 52471 ... c Min unsat cost LB: 52472 ... c Min unsat cost LB: 52473 ... c Min unsat cost LB: 52474 ... c Min unsat cost LB: 52475 ... c Min unsat cost LB: 52476 ... c Min unsat cost LB: 52477 ... c Min unsat cost LB: 52479 ... c Min unsat cost LB: 52483 ... c Min unsat cost LB: 52484 ... c Min unsat cost LB: 52485 ... c Min unsat cost LB: 52486 ... c Min unsat cost LB: 52487 ... c Min unsat cost LB: 52488 ... c Min unsat cost LB: 52489 ... c Min unsat cost LB: 52490 ... c Min unsat cost LB: 52491 ... c Min unsat cost LB: 52492 ... c Min unsat cost LB: 52493 ... c Min unsat cost LB: 52494 ... c Min unsat cost LB: 52495 ... c Min unsat cost LB: 52496 ... c Min unsat cost LB: 52497 ... c Min unsat cost LB: 52498 ... c Min unsat cost LB: 52499 ... c Min unsat cost LB: 52500 ... c Min unsat cost LB: 52501 ... c Min unsat cost LB: 52502 ... c Min unsat cost LB: 52503 ... c Min unsat cost LB: 52504 ... c Min unsat cost LB: 52505 ... c Min unsat cost LB: 52506 ... c Min unsat cost LB: 52507 ... c Min unsat cost LB: 52508 ... c Min unsat cost LB: 52509 ... c Min unsat cost LB: 52510 ... c Min unsat cost LB: 52511 ... c Min unsat cost LB: 52512 ... c Min unsat cost LB: 52519 ... c Min unsat cost LB: 52520 ... c Min unsat cost LB: 52521 ... c Min unsat cost LB: 52522 ... c Min unsat cost LB: 52523 ... c Min unsat cost LB: 52524 ... c Min unsat cost LB: 52525 ... c Min unsat cost LB: 52526 ... c Min unsat cost LB: 52527 ... c Min unsat cost LB: 52528 ... c Min unsat cost LB: 52529 ... c Min unsat cost LB: 52530 ... c Min unsat cost LB: 52531 ... c Min unsat cost LB: 52532 ... c Min unsat cost LB: 52537 ... c Min unsat cost LB: 52539 ... c Min unsat cost LB: 52540 ... c Min unsat cost LB: 52541 ... c Min unsat cost LB: 52543 ... c Min unsat cost LB: 52549 ... c Min unsat cost LB: 52552 ... c Min unsat cost LB: 52553 ... c Min unsat cost LB: 52554 ... c Min unsat cost LB: 52555 ... c Min unsat cost LB: 52556 ... c Min unsat cost LB: 52557 ... c Min unsat cost LB: 52558 ... c Min unsat cost LB: 52559 ... c Min unsat cost LB: 52560 ... c Min unsat cost LB: 52561 ... c Min unsat cost LB: 52562 ... c Min unsat cost LB: 52563 ... c Min unsat cost LB: 52565 ... c Min unsat cost LB: 52566 ... c Min unsat cost LB: 52567 ... c Min unsat cost LB: 52568 ... c Min unsat cost LB: 52569 ... c Min unsat cost LB: 52570 ... c Min unsat cost LB: 52571 ... c Min unsat cost LB: 52572 ... c Min unsat cost LB: 52573 ... c Min unsat cost LB: 52574 ... c Min unsat cost LB: 52575 ... c Min unsat cost LB: 52576 ... c Min unsat cost LB: 52577 ... c Min unsat cost LB: 52578 ... c Min unsat cost LB: 52579 ... c Min unsat cost LB: 52580 ... c Min unsat cost LB: 52581 ... c Min unsat cost LB: 52583 ... c Min unsat cost LB: 52584 ... c Min unsat cost LB: 52585 ... c Min unsat cost LB: 52586 ... c Min unsat cost LB: 52587 ... c Min unsat cost LB: 52588 ... c Min unsat cost LB: 52589 ... c Min unsat cost LB: 52590 ... c Min unsat cost LB: 52591 ... c Min unsat cost LB: 52592 ... c Min unsat cost LB: 52593 ... c Min unsat cost LB: 52594 ... c Min unsat cost LB: 52595 ... c Min unsat cost LB: 52596 ... c Min unsat cost LB: 52597 ... c Min unsat cost LB: 52598 ... c Min unsat cost LB: 52599 ... c Min unsat cost LB: 52600 ... c Min unsat cost LB: 52601 ... c Min unsat cost LB: 52602 ... c Min unsat cost LB: 52603 ... c Min unsat cost LB: 52604 ... c Min unsat cost LB: 52605 ... c Min unsat cost LB: 52606 ... c Min unsat cost LB: 52607 ... c Min unsat cost LB: 52608 ... c Min unsat cost LB: 52609 ... c Min unsat cost LB: 52610 ... c Min unsat cost LB: 52611 ... c Min unsat cost LB: 52612 ... c Min unsat cost LB: 52613 ... c Min unsat cost LB: 52614 ... c Min unsat cost LB: 52615 ... c Min unsat cost LB: 52616 ... c Min unsat cost LB: 52617 ... c Min unsat cost LB: 52618 ... c Min unsat cost LB: 52619 ... c Min unsat cost LB: 52620 ... c Min unsat cost LB: 52621 ... c Min unsat cost LB: 52622 ... c Min unsat cost LB: 52623 ... c Min unsat cost LB: 52624 ... c Min unsat cost LB: 52626 ... c Min unsat cost LB: 52628 ... c Min unsat cost LB: 52629 ... c Min unsat cost LB: 52630 ... c Min unsat cost LB: 52631 ... c Min unsat cost LB: 52632 ... c Min unsat cost LB: 52633 ... c Min unsat cost LB: 52634 ... c Min unsat cost LB: 52635 ... c Min unsat cost LB: 52636 ... c Min unsat cost LB: 52637 ... c Min unsat cost LB: 52640 ... c Min unsat cost LB: 52641 ... c Min unsat cost LB: 52642 ... c Min unsat cost LB: 52643 ... c Min unsat cost LB: 52644 ... c Min unsat cost LB: 52645 ... c Min unsat cost LB: 52646 ... c Min unsat cost LB: 52647 ... c Min unsat cost LB: 52648 ... c Min unsat cost LB: 52649 ... c Min unsat cost LB: 52650 ... c Min unsat cost LB: 52651 ... c Min unsat cost LB: 52652 ... c Min unsat cost LB: 52653 ... c Min unsat cost LB: 52654 ... c Min unsat cost LB: 52655 ... c Min unsat cost LB: 52656 ... c Min unsat cost LB: 52657 ... c Min unsat cost LB: 52658 ... c Min unsat cost LB: 52659 ... c Min unsat cost LB: 52660 ... c Min unsat cost LB: 52661 ... c Min unsat cost LB: 52662 ... c Min unsat cost LB: 52663 ... c Min unsat cost LB: 52664 ... c Min unsat cost LB: 52665 ... c Min unsat cost LB: 52666 ... c Min unsat cost LB: 52667 ... c Min unsat cost LB: 52668 ... c Min unsat cost LB: 52669 ... c Min unsat cost LB: 52670 ... c Min unsat cost LB: 52671 ... c Min unsat cost LB: 52672 ... c Min unsat cost LB: 52673 ... c Min unsat cost LB: 52674 ... c Min unsat cost LB: 52675 ... c Min unsat cost LB: 52676 ... c Min unsat cost LB: 52681 ... c Min unsat cost LB: 52682 ... c Min unsat cost LB: 52683 ... c Min unsat cost LB: 52684 ... c Min unsat cost LB: 52685 ... c Min unsat cost LB: 52686 ... c Min unsat cost LB: 52696 ... c Min unsat cost LB: 52697 ... c Min unsat cost LB: 52698 ... c Min unsat cost LB: 52699 ... c Min unsat cost LB: 52700 ... c Min unsat cost LB: 52701 ... c Min unsat cost LB: 52702 ... c Min unsat cost LB: 52703 ... c Min unsat cost LB: 52704 ... c Min unsat cost LB: 52705 ... c Min unsat cost LB: 52706 ... c Min unsat cost LB: 52707 ... c Min unsat cost LB: 52708 ... c Min unsat cost LB: 52709 ... c Min unsat cost LB: 52710 ... c Min unsat cost LB: 52711 ... c Min unsat cost LB: 52712 ... c Min unsat cost LB: 52713 ... c Min unsat cost LB: 52714 ... c Min unsat cost LB: 52715 ... c Min unsat cost LB: 52716 ... c Min unsat cost LB: 52726 ... c Min unsat cost LB: 52727 ... c Min unsat cost LB: 52728 ... c Min unsat cost LB: 52729 ... c Min unsat cost LB: 52730 ... c Min unsat cost LB: 52731 ... c Min unsat cost LB: 52732 ... c Min unsat cost LB: 52733 ... c Min unsat cost LB: 52734 ... c Min unsat cost LB: 52735 ... c Min unsat cost LB: 52736 ... c Min unsat cost LB: 52759 ... c Min unsat cost LB: 52760 ... c Min unsat cost LB: 52761 ... c Min unsat cost LB: 52762 ... c Min unsat cost LB: 52763 ... c Min unsat cost LB: 52765 ... c Min unsat cost LB: 52766 ... c Min unsat cost LB: 52767 ... c Min unsat cost LB: 52768 ... c Min unsat cost LB: 52769 ... c Min unsat cost LB: 52770 ... c Min unsat cost LB: 52771 ... c Min unsat cost LB: 52772 ... c Min unsat cost LB: 52773 ... c Min unsat cost LB: 52774 ... c Min unsat cost LB: 52775 ... c Min unsat cost LB: 52776 ... c Min unsat cost LB: 52777 ... c Min unsat cost LB: 52778 ... c Min unsat cost LB: 52779 ... c Min unsat cost LB: 52780 ... c Min unsat cost LB: 52781 ... c Min unsat cost LB: 52782 ... c Min unsat cost LB: 52783 ... c Min unsat cost LB: 52784 ... c Min unsat cost LB: 52785 ... c Min unsat cost LB: 52786 ... c Min unsat cost LB: 52787 ... c Min unsat cost LB: 52788 ... c Min unsat cost LB: 52789 ... c Min unsat cost LB: 52790 ... c Min unsat cost LB: 52791 ... c Min unsat cost LB: 52792 ... c Min unsat cost LB: 52793 ... c Min unsat cost LB: 52794 ... c Min unsat cost LB: 52795 ... c Min unsat cost LB: 52796 ... c Min unsat cost LB: 52797 ... c Min unsat cost LB: 52798 ... c Min unsat cost LB: 52799 ... c Min unsat cost LB: 52800 ... c Min unsat cost LB: 52801 ... c Min unsat cost LB: 52802 ... c Min unsat cost LB: 52803 ... c Min unsat cost LB: 52804 ... c Min unsat cost LB: 52805 ... c Min unsat cost LB: 52806 ... c Min unsat cost LB: 52807 ... c Min unsat cost LB: 52808 ... c Min unsat cost LB: 52809 ... c Min unsat cost LB: 52811 ... c Min unsat cost LB: 52813 ... c Min unsat cost LB: 52814 ... c Min unsat cost LB:Killed 1812.406u 7.333s 30:21.36 99.9% 0+0k 0+0io 0pf+0w