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_190_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0003.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_190_0003.txt.wcnf *** c c Min unsat cost LB: 313 ... c Min unsat cost LB: 1145 ... c Min unsat cost LB: 1458 ... c Min unsat cost LB: 1712 ... c Min unsat cost LB: 2025 ... c Min unsat cost LB: 2084 ... c Min unsat cost LB: 2700 ... c Min unsat cost LB: 2916 ... c Min unsat cost LB: 3316 ... c Min unsat cost LB: 4148 ... c Min unsat cost LB: 4580 ... c Min unsat cost LB: 4764 ... c Min unsat cost LB: 4996 ... c Min unsat cost LB: 5428 ... c Min unsat cost LB: 5612 ... c Min unsat cost LB: 5925 ... c Min unsat cost LB: 6238 ... c Min unsat cost LB: 6407 ... c Min unsat cost LB: 6576 ... c Min unsat cost LB: 6720 ... c Min unsat cost LB: 6974 ... c Min unsat cost LB: 7122 ... c Min unsat cost LB: 7270 ... c Min unsat cost LB: 7439 ... c Min unsat cost LB: 7456 ... c Min unsat cost LB: 7587 ... c Min unsat cost LB: 8019 ... c Min unsat cost LB: 8332 ... c Min unsat cost LB: 8455 ... c Min unsat cost LB: 8603 ... c Min unsat cost LB: 8787 ... c Min unsat cost LB: 8935 ... c Min unsat cost LB: 9367 ... c Min unsat cost LB: 9562 ... c Min unsat cost LB: 9598 ... c Min unsat cost LB: 10030 ... c Min unsat cost LB: 10148 ... c Min unsat cost LB: 10811 ... c Min unsat cost LB: 10959 ... c Min unsat cost LB: 11268 ... c Min unsat cost LB: 11437 ... c Min unsat cost LB: 11606 ... c Min unsat cost LB: 11915 ... c Min unsat cost LB: 11919 ... c Min unsat cost LB: 12224 ... c Min unsat cost LB: 12393 ... c Min unsat cost LB: 12971 ... c Min unsat cost LB: 12975 ... c Min unsat cost LB: 13038 ... c Min unsat cost LB: 13176 ... c Min unsat cost LB: 13312 ... c Min unsat cost LB: 13621 ... c Min unsat cost LB: 13930 ... c Min unsat cost LB: 14239 ... c Min unsat cost LB: 14548 ... c Min unsat cost LB: 14758 ... c Min unsat cost LB: 14857 ... c Min unsat cost LB: 14995 ... c Min unsat cost LB: 15304 ... c Min unsat cost LB: 15422 ... c Min unsat cost LB: 15613 ... c Min unsat cost LB: 15922 ... c Min unsat cost LB: 16231 ... c Min unsat cost LB: 16540 ... c Min unsat cost LB: 16849 ... c Min unsat cost LB: 17158 ... c Min unsat cost LB: 17280 ... c Min unsat cost LB: 17467 ... c Min unsat cost LB: 17636 ... c Min unsat cost LB: 17945 ... c Min unsat cost LB: 18254 ... c Min unsat cost LB: 18563 ... c Min unsat cost LB: 18872 ... c Min unsat cost LB: 19181 ... c Min unsat cost LB: 19436 ... c Min unsat cost LB: 19490 ... c Min unsat cost LB: 19799 ... c Min unsat cost LB: 20112 ... c Min unsat cost LB: 20148 ... c Min unsat cost LB: 20385 ... c Min unsat cost LB: 20412 ... c Min unsat cost LB: 20667 ... c Min unsat cost LB: 20690 ... c Min unsat cost LB: 20915 ... c Min unsat cost LB: 21146 ... c Min unsat cost LB: 21455 ... c Min unsat cost LB: 21764 ... c Min unsat cost LB: 21789 ... c Min unsat cost LB: 22098 ... c Min unsat cost LB: 22182 ... c Min unsat cost LB: 22437 ... c Min unsat cost LB: 22746 ... c Min unsat cost LB: 22800 ... c Min unsat cost LB: 22860 ... c Min unsat cost LB: 23097 ... c Min unsat cost LB: 23326 ... c Min unsat cost LB: 23938 ... c Min unsat cost LB: 24779 ... c Min unsat cost LB: 24830 ... c Min unsat cost LB: 25055 ... c Min unsat cost LB: 25587 ... c Min unsat cost LB: 25816 ... c Min unsat cost LB: 25985 ... c Min unsat cost LB: 26517 ... c Min unsat cost LB: 26824 ... c Min unsat cost LB: 26878 ... c Min unsat cost LB: 27719 ... c Min unsat cost LB: 28024 ... c Min unsat cost LB: 28856 ... c Min unsat cost LB: 29111 ... c Min unsat cost LB: 29343 ... c Min unsat cost LB: 29424 ... c Min unsat cost LB: 29512 ... c Min unsat cost LB: 29821 ... c Min unsat cost LB: 29825 ... c Min unsat cost LB: 29906 ... c Min unsat cost LB: 29931 ... c Min unsat cost LB: 30244 ... c Min unsat cost LB: 30445 ... c Min unsat cost LB: 30614 ... c Min unsat cost LB: 30652 ... c Min unsat cost LB: 30702 ... c Min unsat cost LB: 30783 ... c Min unsat cost LB: 30965 ... c Min unsat cost LB: 31037 ... c Min unsat cost LB: 31869 ... c Min unsat cost LB: 32182 ... c Min unsat cost LB: 32191 ... c Min unsat cost LB: 32200 ... c Min unsat cost LB: 32495 ... c Min unsat cost LB: 32613 ... c Min unsat cost LB: 32808 ... c Min unsat cost LB: 33121 ... c Min unsat cost LB: 33434 ... c Min unsat cost LB: 33747 ... c Min unsat cost LB: 33828 ... c Min unsat cost LB: 33958 ... c Min unsat cost LB: 34267 ... c Min unsat cost LB: 34271 ... c Min unsat cost LB: 34799 ... c Min unsat cost LB: 34973 ... c Min unsat cost LB: 35022 ... c Min unsat cost LB: 35335 ... c Min unsat cost LB: 35550 ... c Min unsat cost LB: 35599 ... c Min unsat cost LB: 35607 ... c Min unsat cost LB: 35649 ... c Min unsat cost LB: 35737 ... c Min unsat cost LB: 35875 ... c Min unsat cost LB: 35956 ... c Min unsat cost LB: 35981 ... c Min unsat cost LB: 36035 ... c Min unsat cost LB: 36068 ... c Min unsat cost LB: 36150 ... c Min unsat cost LB: 36204 ... c Min unsat cost LB: 36405 ... c Min unsat cost LB: 36459 ... c Min unsat cost LB: 36628 ... c Min unsat cost LB: 36690 ... c Min unsat cost LB: 36834 ... c Min unsat cost LB: 36859 ... c Min unsat cost LB: 36860 ... c Min unsat cost LB: 36996 ... c Min unsat cost LB: 37059 ... c Min unsat cost LB: 37206 ... c Min unsat cost LB: 37207 ... c Min unsat cost LB: 37302 ... c Min unsat cost LB: 37325 ... c Min unsat cost LB: 37379 ... c Min unsat cost LB: 37548 ... c Min unsat cost LB: 37598 ... c Min unsat cost LB: 37853 ... c Min unsat cost LB: 37968 ... c Min unsat cost LB: 37972 ... c Min unsat cost LB: 38115 ... c Min unsat cost LB: 38428 ... c Min unsat cost LB: 38817 ... c Min unsat cost LB: 38871 ... c Min unsat cost LB: 38953 ... c Min unsat cost LB: 39126 ... c Min unsat cost LB: 39172 ... c Min unsat cost LB: 39222 ... c Min unsat cost LB: 39261 ... c Min unsat cost LB: 39354 ... c Min unsat cost LB: 39452 ... c Min unsat cost LB: 39574 ... c Min unsat cost LB: 39697 ... c Min unsat cost LB: 39706 ... c Min unsat cost LB: 39751 ... c Min unsat cost LB: 39765 ... c Min unsat cost LB: 39828 ... c Min unsat cost LB: 40131 ... c Min unsat cost LB: 40346 ... c Min unsat cost LB: 40444 ... c Min unsat cost LB: 40490 ... c Min unsat cost LB: 40552 ... c Min unsat cost LB: 40633 ... c Min unsat cost LB: 40705 ... c Min unsat cost LB: 40849 ... c Min unsat cost LB: 40858 ... c Min unsat cost LB: 40867 ... c Min unsat cost LB: 40912 ... c Min unsat cost LB: 41405 ... c Min unsat cost LB: 41700 ... c Min unsat cost LB: 41895 ... c Min unsat cost LB: 42124 ... c Min unsat cost LB: 42205 ... c Min unsat cost LB: 42251 ... c Min unsat cost LB: 42284 ... c Min unsat cost LB: 42433 ... c Min unsat cost LB: 42434 ... c Min unsat cost LB: 42500 ... c Min unsat cost LB: 42551 ... c Min unsat cost LB: 43129 ... c Min unsat cost LB: 43189 ... c Min unsat cost LB: 43270 ... c Min unsat cost LB: 43275 ... c Min unsat cost LB: 43324 ... c Min unsat cost LB: 43468 ... c Min unsat cost LB: 43540 ... c Min unsat cost LB: 43755 ... c Min unsat cost LB: 43817 ... c Min unsat cost LB: 43866 ... c Min unsat cost LB: 43899 ... c Min unsat cost LB: 44102 ... c Min unsat cost LB: 44208 ... c Min unsat cost LB: 44212 ... c Min unsat cost LB: 44213 ... c Min unsat cost LB: 44263 ... c Min unsat cost LB: 44342 ... c Min unsat cost LB: 44945 ... c Min unsat cost LB: 45067 ... c Min unsat cost LB: 45160 ... c Min unsat cost LB: 45241 ... c Min unsat cost LB: 45290 ... c Min unsat cost LB: 45388 ... c Min unsat cost LB: 45389 ... c Min unsat cost LB: 45414 ... c Min unsat cost LB: 45415 ... c Min unsat cost LB: 45485 ... c Min unsat cost LB: 45508 ... c Min unsat cost LB: 45548 ... c Min unsat cost LB: 45696 ... c Min unsat cost LB: 46282 ... c Min unsat cost LB: 46359 ... c Min unsat cost LB: 46528 ... c Min unsat cost LB: 46555 ... c Min unsat cost LB: 46624 ... c Min unsat cost LB: 46816 ... c Min unsat cost LB: 47143 ... c Min unsat cost LB: 47456 ... c Min unsat cost LB: 47465 ... c Min unsat cost LB: 47711 ... c Min unsat cost LB: 47925 ... c Min unsat cost LB: 48130 ... c Min unsat cost LB: 48184 ... c Min unsat cost LB: 48223 ... c Min unsat cost LB: 48238 ... c Min unsat cost LB: 48269 ... c Min unsat cost LB: 48323 ... c Min unsat cost LB: 48367 ... c Min unsat cost LB: 48493 ... c Min unsat cost LB: 48604 ... c Min unsat cost LB: 48685 ... c Min unsat cost LB: 48757 ... c Min unsat cost LB: 48774 ... c Min unsat cost LB: 48817 ... c Min unsat cost LB: 48836 ... c Min unsat cost LB: 48865 ... c Min unsat cost LB: 48890 ... c Min unsat cost LB: 48906 ... c Min unsat cost LB: 48910 ... c Min unsat cost LB: 48973 ... c Min unsat cost LB: 48985 ... c Min unsat cost LB: 49240 ... c Min unsat cost LB: 49282 ... c Min unsat cost LB: 49549 ... c Min unsat cost LB: 49589 ... c Min unsat cost LB: 49603 ... c Min unsat cost LB: 49641 ... c Min unsat cost LB: 49736 ... c Min unsat cost LB: 49928 ... c Min unsat cost LB: 50036 ... c Min unsat cost LB: 50237 ... c Min unsat cost LB: 50259 ... c Min unsat cost LB: 50267 ... c Min unsat cost LB: 50352 ... c Min unsat cost LB: 50452 ... c Min unsat cost LB: 50496 ... c Min unsat cost LB: 50523 ... c Min unsat cost LB: 50661 ... c Min unsat cost LB: 50935 ... c Min unsat cost LB: 50970 ... c Min unsat cost LB: 51019 ... c Min unsat cost LB: 51023 ... c Min unsat cost LB: 51057 ... c Min unsat cost LB: 51158 ... c Min unsat cost LB: 51366 ... c Min unsat cost LB: 51467 ... c Min unsat cost LB: 51567 ... c Min unsat cost LB: 51571 ... c Min unsat cost LB: 51758 ... c Min unsat cost LB: 51767 ... c Min unsat cost LB: 51828 ... c Min unsat cost LB: 51875 ... c Min unsat cost LB: 51997 ... c Min unsat cost LB: 52026 ... c Min unsat cost LB: 52076 ... c Min unsat cost LB: 52101 ... c Min unsat cost LB: 52121 ... c Min unsat cost LB: 52146 ... c Min unsat cost LB: 52174 ... c Min unsat cost LB: 52185 ... c Min unsat cost LB: 52188 ... c Min unsat cost LB: 52267 ... c Min unsat cost LB: 52269 ... c Min unsat cost LB: 52278 ... c Min unsat cost LB: 52342 ... c Min unsat cost LB: 52401 ... c Min unsat cost LB: 52403 ... c Min unsat cost LB: 52708 ... c Min unsat cost LB: 52712 ... c Min unsat cost LB: 52774 ... c Min unsat cost LB: 52801 ... c Min unsat cost LB: 52851 ... c Min unsat cost LB: 52856 ... c Min unsat cost LB: 52910 ... c Min unsat cost LB: 52911 ... c Min unsat cost LB: 52912 ... c Min unsat cost LB: 52935 ... c Min unsat cost LB: 52984 ... c Min unsat cost LB: 53009 ... c Min unsat cost LB: 53186 ... c Min unsat cost LB: 53221 ... c Min unsat cost LB: 53267 ... c Min unsat cost LB: 53313 ... c Min unsat cost LB: 53385 ... c Min unsat cost LB: 53389 ... c Min unsat cost LB: 53461 ... c Min unsat cost LB: 53477 ... c Min unsat cost LB: 53497 ... c Min unsat cost LB: 53528 ... c Min unsat cost LB: 53540 ... c Min unsat cost LB: 53610 ... c Min unsat cost LB: 53611 ... c Min unsat cost LB: 53738 ... c Min unsat cost LB: 53778 ... c Min unsat cost LB: 53795 ... c Min unsat cost LB: 53845 ... c Min unsat cost LB: 53899 ... c Min unsat cost LB: 53913 ... c Min unsat cost LB: 53932 ... c Min unsat cost LB: 53940 ... c Min unsat cost LB: 54056 ... c Min unsat cost LB: 54201 ... c Min unsat cost LB: 54332 ... c Min unsat cost LB: 54344 ... c Min unsat cost LB: 54348 ... c Min unsat cost LB: 54433 ... c Min unsat cost LB: 54496 ... c Min unsat cost LB: 54565 ... c Min unsat cost LB: 54581 ... c Min unsat cost LB: 54612 ... c Min unsat cost LB: 54694 ... c Min unsat cost LB: 54759 ... c Min unsat cost LB: 54863 ... c Min unsat cost LB: 54896 ... c Min unsat cost LB: 54934 ... c Min unsat cost LB: 55007 ... c Min unsat cost LB: 55088 ... c Min unsat cost LB: 55176 ... c Min unsat cost LB: 55191 ... c Min unsat cost LB: 55286 ... c Min unsat cost LB: 55294 ... c Min unsat cost LB: 55360 ... c Min unsat cost LB: 55381 ... c Min unsat cost LB: 55395 ... c Min unsat cost LB: 55415 ... c Min unsat cost LB: 55464 ... c Min unsat cost LB: 55468 ... c Min unsat cost LB: 55529 ... c Min unsat cost LB: 55551 ... c Min unsat cost LB: 55630 ... c Min unsat cost LB: 55657 ... c Min unsat cost LB: 55664 ... c Min unsat cost LB: 55671 ... c Min unsat cost LB: 55697 ... c Min unsat cost LB: 55805 ... c Min unsat cost LB: 55882 ... c Min unsat cost LB: 55900 ... c Min unsat cost LB: 55909 ... c Min unsat cost LB: 55939 ... c Min unsat cost LB: 56002 ... c Min unsat cost LB: 56011 ... c Min unsat cost LB: 56029 ... c Min unsat cost LB: 56071 ... c Min unsat cost LB: 56073 ... c Min unsat cost LB: 56122 ... c Min unsat cost LB: 56220 ... c Min unsat cost LB: 56288 ... c Min unsat cost LB: 56292 ... c Min unsat cost LB: 56344 ... c Min unsat cost LB: 56359 ... c Min unsat cost LB: 56369 ... c Min unsat cost LB: 56386 ... c Min unsat cost LB: 56398 ... c Min unsat cost LB: 56414 ... c Min unsat cost LB: 56429 ... c Min unsat cost LB: 56439 ... c Min unsat cost LB: 56473 ... c Min unsat cost LB: 56564 ... c Min unsat cost LB: 56587 ... c Min unsat cost LB: 56590 ... c Min unsat cost LB: 56601 ... c Min unsat cost LB: 56617 ... c Min unsat cost LB: 56650 ... c Min unsat cost LB: 56659 ... c Min unsat cost LB: 56717 ... c Min unsat cost LB: 56724 ... c Min unsat cost LB: 56808 ... c Min unsat cost LB: 56825 ... c Min unsat cost LB: 56862 ... c Min unsat cost LB: 56909 ... c Min unsat cost LB: 57071 ... c Min unsat cost LB: 57096 ... c Min unsat cost LB: 57099 ... c Min unsat cost LB: 57128 ... c Min unsat cost LB: 57142 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57214 ... c Min unsat cost LB: 57268 ... c Min unsat cost LB: 57303 ... c Min unsat cost LB: 57318 ... c Min unsat cost LB: 57334 ... c Min unsat cost LB: 57343 ... c Min unsat cost LB: 57344 ... c Min unsat cost LB: 57358 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57393 ... c Min unsat cost LB: 57443 ... c Min unsat cost LB: 57497 ... c Min unsat cost LB: 57573 ... c Min unsat cost LB: 57591 ... c Min unsat cost LB: 57810 ... c Min unsat cost LB: 57832 ... c Min unsat cost LB: 57881 ... c Min unsat cost LB: 57907 ... c Min unsat cost LB: 57949 ... c Min unsat cost LB: 58033 ... c Min unsat cost LB: 58041 ... c Min unsat cost LB: 58087 ... c Min unsat cost LB: 58167 ... c Min unsat cost LB: 58171 ... c Min unsat cost LB: 58187 ... c Min unsat cost LB: 58202 ... c Min unsat cost LB: 58210 ... c Min unsat cost LB: 58235 ... c Min unsat cost LB: 58240 ... c Min unsat cost LB: 58252 ... c Min unsat cost LB: 58284 ... c Min unsat cost LB: 58317 ... c Min unsat cost LB: 58322 ... c Min unsat cost LB: 58325 ... c Min unsat cost LB: 58333 ... c Min unsat cost LB: 58334 ... c Min unsat cost LB: 58342 ... c Min unsat cost LB: 58355 ... c Min unsat cost LB: 58372 ... c Min unsat cost LB: 58373 ... c Min unsat cost LB: 58380 ... c Min unsat cost LB: 58409 ... c Min unsat cost LB: 58441 ... c Min unsat cost LB: 58455 ... c Min unsat cost LB: 58460 ... c Min unsat cost LB: 58463 ... c Min unsat cost LB: 58467 ... c Min unsat cost LB: 58506 ... c Min unsat cost LB: 58507 ... c Min unsat cost LB: 58509 ... c Min unsat cost LB: 58526 ... c Min unsat cost LB: 58539 ... c Min unsat cost LB: 58548 ... c Min unsat cost LB: 58564 ... c Min unsat cost LB: 58573 ... c Min unsat cost LB: 58574 ... c Min unsat cost LB: 58575 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58587 ... c Min unsat cost LB: 58589 ... c Min unsat cost LB: 58592 ... c Min unsat cost LB: 58598 ... c Min unsat cost LB: 58599 ... c Min unsat cost LB: 58623 ... c Min unsat cost LB: 58629 ... c Min unsat cost LB: 58630 ... c Min unsat cost LB: 58646 ... c Min unsat cost LB: 58647 ... c Min unsat cost LB: 58656 ... c Min unsat cost LB: 58657 ... c Min unsat cost LB: 58661 ... c Min unsat cost LB: 58662 ... c Min unsat cost LB: 58663 ... c Min unsat cost LB: 58664 ... c Min unsat cost LB: 58666 ... c Min unsat cost LB: 58672 ... c Min unsat cost LB: 58676 ... c Min unsat cost LB: 58678 ... c Min unsat cost LB: 58680 ... c Min unsat cost LB: 58681 ... c Min unsat cost LB: 58682 ... c Min unsat cost LB: 58683 ... c Min unsat cost LB: 58685 ... c Min unsat cost LB: 58687 ... c Min unsat cost LB: 58692 ... c Min unsat cost LB: 58698 ... c Min unsat cost LB: 58702 ... c Min unsat cost LB: 58713 ... c Min unsat cost LB: 58714 ... c Min unsat cost LB: 58718 ... c Min unsat cost LB: 58736 ... c Min unsat cost LB: 58745 ... c Min unsat cost LB: 58748 ... c Min unsat cost LB: 58763 ... c Min unsat cost LB: 58777 ... c Min unsat cost LB: 58782 ... c Min unsat cost LB: 58790 ... c Min unsat cost LB: 58792 ... c Min unsat cost LB: 58800 ... c Min unsat cost LB: 58801 ... c Min unsat cost LB: 58804 ... c Min unsat cost LB: 58814 ... c Min unsat cost LB: 58817 ... c Min unsat cost LB: 58818 ... c Min unsat cost LB: 58819 ... c Min unsat cost LB: 58822 ... c Min unsat cost LB: 58825 ... c Min unsat cost LB: 58826 ... c Min unsat cost LB: 58828 ... c Min unsat cost LB: 58829 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58836 ... c Min unsat cost LB: 58852 ... c Min unsat cost LB: 58883 ... c Min unsat cost LB: 58890 ... c Min unsat cost LB: 58891 ... c Min unsat cost LB: 58892 ... c Min unsat cost LB: 58893 ... c Min unsat cost LB: 58894 ... c Min unsat cost LB: 58895 ... c Min unsat cost LB: 58896 ... c Min unsat cost LB: 58898 ... c Min unsat cost LB: 58899 ... c Min unsat cost LB: 58901 ... c Min unsat cost LB: 58904 ... c Min unsat cost LB: 58928 ... c Min unsat cost LB: 58947 ... c Min unsat cost LB: 58948 ... c Min unsat cost LB: 58952 ... c Min unsat cost LB: 58953 ... c Min unsat cost LB: 58954 ... c Min unsat cost LB: 58955 ... c Min unsat cost LB: 58957 ... c Min unsat cost LB: 58958 ... c Min unsat cost LB: 58959 ... c Min unsat cost LB: 58961 ... c Min unsat cost LB: 58964 ... c Min unsat cost LB: 58965 ... c Min unsat cost LB: 58966 ... c Min unsat cost LB: 58968 ... c Min unsat cost LB: 58969 ... c Min unsat cost LB: 58971 ... c Min unsat cost LB: 58972 ... c Min unsat cost LB: 58973 ... c Min unsat cost LB: 58974 ... c Min unsat cost LB: 58988 ... c Min unsat cost LB: 58989 ... c Min unsat cost LB: 59000 ... c Min unsat cost LB: 59002 ... c Min unsat cost LB: 59004 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59008 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59016 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59020 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59036 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59043 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59052 ... c Min unsat cost LB: 59053 ... c Min unsat cost LB: 59055 ... c Min unsat cost LB: 59056 ... c Min unsat cost LB: 59057 ... c Min unsat cost LB: 59058 ... c Min unsat cost LB: 59059 ... c Min unsat cost LB: 59061 ... c Min unsat cost LB: 59062 ... c Min unsat cost LB: 59063 ... c Min unsat cost LB: 59064 ... c Min unsat cost LB: 59065 ... c Min unsat cost LB: 59070 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59072 ... c Min unsat cost LB: 59076 ... c Min unsat cost LB: 59077 ... c Min unsat cost LB: 59081 ... c Min unsat cost LB: 59094 ... c Min unsat cost LB: 59098 ... c Min unsat cost LB: 59100 ... c Min unsat cost LB: 59101 ... c Min unsat cost LB: 59103 ... c Min unsat cost LB: 59104 ... c Min unsat cost LB: 59106 ... c Min unsat cost LB: 59108 ... c Min unsat cost LB: 59109 ... c Min unsat cost LB: 59111 ... c Min unsat cost LB: 59113 ... c Min unsat cost LB: 59116 ... c Min unsat cost LB: 59119 ... c Min unsat cost LB: 59121 ... c Min unsat cost LB: 59127 ... c Min unsat cost LB: 59157 ... c Min unsat cost LB: 59158 ... c Min unsat cost LB: 59159 ... c Min unsat cost LB: 59230 ... c Min unsat cost LB: 59232 ... c Min unsat cost LB: 59234 ... c Min unsat cost LB: 59237 ... c Min unsat cost LB: 59239 ... c Min unsat cost LB: 59240 ... c Min unsat cost LB: 59244 ... c Min unsat cost LB: 59245 ... c Min unsat cost LB: 59246 ... c Min unsat cost LB: 59248 ... c Min unsat cost LB: 59251 ... c Min unsat cost LB: 59256 ... c Min unsat cost LB: 59258 ... c Min unsat cost LB: 59260 ... c Min unsat cost LB: 59261 ... c Min unsat cost LB: 59262 ... c Min unsat cost LB: 59263 ... c Min unsat cost LB: 59265 ... c Min unsat cost LB: 59266 ... c Min unsat cost LB: 59268 ... c Min unsat cost LB: 59269 ... c Min unsat cost LB: 59270 ... c Min unsat cost LB: 59271 ... c Min unsat cost LB: 59272 ... c Min unsat cost LB: 59275 ... c Min unsat cost LB: 59276 ... c Min unsat cost LB: 59277 ... c Min unsat cost LB: 59287 ... c Min unsat cost LB: 59294 ... c Min unsat cost LB: 59348 ... c Min unsat cost LB: 59349 ... c Min unsat cost LB: 59352 ... c Min unsat cost LB: 59364 ... c Min unsat cost LB: 59374 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59383 ... c Min unsat cost LB: 59420 ... c Min unsat cost LB: 59424 ... c Min unsat cost LB: 59470 ... c Min unsat cost LB: 59471 ... c Min unsat cost LB: 59475 ... c Min unsat cost LB: 59487 ... c Min unsat cost LB: 59534 ... c Min unsat cost LB: 59536 ... c Min unsat cost LB: 59559 ... c Min unsat cost LB: 59567 ... c Min unsat cost LB: 59579 ... c Min unsat cost LB: 59580 ... c Min unsat cost LB: 59650 ... c Min unsat cost LB: 59652 ... c Min unsat cost LB: 59662 ... c Min unsat cost LB: 59664 ... c Min unsat cost LB: 59672 ... c Min unsat cost LB: 59678 ... c Min unsat cost LB: 59680 ... c Min unsat cost LB: 59682 ... c Min unsat cost LB: 59697 ... c Min unsat cost LB: 59704 ... c Min unsat cost LB: 59792 ... c Min unsat cost LB: 59793 ... c Min unsat cost LB: 59794 ... c Min unsat cost LB: 59795 ... c Min unsat cost LB: 59859 ... c Min unsat cost LB: 59860 ... c Min unsat cost LB: 59876 ... c Min unsat cost LB: 59880 ... c Min unsat cost LB: 59991 ... c Min unsat cost LB: 59993 ... c Min unsat cost LB: 59995 ... c Min unsat cost LB: 59997 ... c Min unsat cost LB: 59999 ... c Min unsat cost LB: 60001 ... c Min unsat cost LB: 60003 ... c Min unsat cost LB: 60005 ... c Min unsat cost LB: 60007 ... c Min unsat cost LB: 60009 ... c Min unsat cost LB: 60013 ... c Min unsat cost LB: 60026 ... c Min unsat cost LB: 60028 ... c Min unsat cost LB: 60029 ... c Min unsat cost LB: 60030 ... c Min unsat cost LB: 60031 ... c Min unsat cost LB: 60032 ... c Min unsat cost LB: 60033 ... c Min unsat cost LB: 60034 ... c Min unsat cost LB: 60035 ... c Min unsat cost LB: 60036 ... c Min unsat cost LB: 60037 ... c Min unsat cost LB: 60038 ... c Min unsat cost LB: 60057 ... c Min unsat cost LB: 60059 ... c Min unsat cost LB: 60060 ... c Min unsat cost LB: 60061 ... c Min unsat cost LB: 60062 ... c Min unsat cost LB: 60063 ... c Min unsat cost LB: 60064 ... c Min unsat cost LB: 60067 ... c Min unsat cost LB: 60068 ... c Min unsat cost LB: 60069 ... c Min unsat cost LB: 60072 ... c Min unsat cost LB: 60074 ... c Min unsat cost LB: 60075 ... c Min unsat cost LB: 60076 ... c Min unsat cost LB: 60077 ... c Min unsat cost LB: 60079 ... c Min unsat cost LB: 60091 ... c Min unsat cost LB: 60104 ... c Min unsat cost LB: 60107 ... c Min unsat cost LB: 60145 ... c Min unsat cost LB: 60167 ... c Min unsat cost LB: 60170 ... c Min unsat cost LB: 60171 ... c Min unsat cost LB: 60183 ... c Min unsat cost LB: 60192 ... c Min unsat cost LB: 60197 ... c Min unsat cost LB: 60204 ... c Min unsat cost LB: 60205 ... c Min unsat cost LB: 60208 ... c Min unsat cost LB: 60211 ... c Min unsat cost LB: 60212 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60217 ... c Min unsat cost LB: 60218 ... c Min unsat cost LB: 60223 ... c Min unsat cost LB: 60224 ... c Min unsat cost LB: 60226 ... c Min unsat cost LB: 60227 ... c Min unsat cost LB: 60229 ... c Min unsat cost LB: 60236 ... c Min unsat cost LB: 60237 ... c Min unsat cost LB: 60239 ... c Min unsat cost LB: 60243 ... c Min unsat cost LB: 60250 ... c Min unsat cost LB: 60264 ... c Min unsat cost LB: 60271 ... c Min unsat cost LB: 60275 ... c Min unsat cost LB: 60285 ... c Min unsat cost LB: 60288 ... c Min unsat cost LB: 60290 ... c Min unsat cost LB: 60328 ... c Min unsat cost LB: 60361 ... c Min unsat cost LB: 60362 ... c Min unsat cost LB: 60363 ... c Min unsat cost LB: 60364 ... c Min unsat cost LB: 60372 ... c Min unsat cost LB: 60373 ... c Min unsat cost LB: 60376 ... c Min unsat cost LB: 60382 ... c Min unsat cost LB: 60388 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60401 ... c Min unsat cost LB: 60405 ... c Min unsat cost LB: 60406 ... c Min unsat cost LB: 60411 ... c Min unsat cost LB: 60423 ... c Min unsat cost LB: 60435 ... c Min unsat cost LB: 60436 ... c Min unsat cost LB: 60438 ... c Min unsat cost LB: 60439 ... c Min unsat cost LB: 60440 ... c Min unsat cost LB: 60441 ... c Min unsat cost LB: 60442 ... c Min unsat cost LB: 60444 ... c Min unsat cost LB: 60447 ... c Min unsat cost LB: 60454 ... c Min unsat cost LB: 60456 ... c Min unsat cost LB: 60457 ... c Min unsat cost LB: 60458 ... c Min unsat cost LB: 60460 ... c Min unsat cost LB: 60461 ... c Min unsat cost LB: 60462 ... c Min unsat cost LB: 60463 ... c Min unsat cost LB: 60464 ... c Min unsat cost LB: 60467 ... c Min unsat cost LB: 60468 ... c Min unsat cost LB: 60469 ... c Min unsat cost LB: 60470 ... c Min unsat cost LB: 60473 ... c Min unsat cost LB: 60474 ... c Min unsat cost LB: 60475 ... c Min unsat cost LB: 60478 ... c Min unsat cost LB: 60480 ... c Min unsat cost LB: 60481 ... c Min unsat cost LB: 60482 ... c Min unsat cost LB: 60483 ... c Min unsat cost LB: 60484 ... c Min unsat cost LB: 60485 ... c Min unsat cost LB: 60486 ... c Min unsat cost LB: 60487 ... c Min unsat cost LB: 60488 ... c Min unsat cost LB: 60491 ... c Min unsat cost LB: 60492 ... c Min unsat cost LB: 60515 ... c Min unsat cost LB: 60516 ... c Min unsat cost LB: 60517 ... c Min unsat cost LB: 60520 ... c Min unsat cost LB: 60522 ... c Min unsat cost LB: 60526 ... c Min unsat cost LB: 60530 ... c Min unsat cost LB: 60531 ... c Min unsat cost LB: 60532 ... c Min unsat cost LB: 60533 ... c Min unsat cost LB: 60534 ... c Min unsat cost LB: 60549 ... c Min unsat cost LB: 60550 ... c Min unsat cost LB: 60551 ... c Min unsat cost LB: 60552 ... c Min unsat cost LB: 60554 ... c Min unsat cost LB: 60555 ... c Min unsat cost LB: 60557 ... c Min unsat cost LB: 60561 ... c Min unsat cost LB: 60565 ... c Min unsat cost LB: 60566 ... c Min unsat cost LB: 60567 ... c Min unsat cost LB: 60568 ... c Min unsat cost LB: 60569 ... c Min unsat cost LB: 60570 ... c Min unsat cost LB: 60571 ... c Min unsat cost LB: 60572 ... c Min unsat cost LB: 60574 ... c Min unsat cost LB: 60575 ... c Min unsat cost LB: 60576 ... c Min unsat cost LB: 60577 ... c Min unsat cost LB: 60578 ... c Min unsat cost LB: 60579 ... c Min unsat cost LB: 60621 ... c Min unsat cost LB: 60622 ... c Min unsat cost LB: 60623 ... c Min unsat cost LB: 60624 ... c Min unsat cost LB: 60625 ... c Min unsat cost LB: 60626 ... c Min unsat cost LB: 60628 ... c Min unsat cost LB: 60629 ... c Min unsat cost LB: 60630 ... c Min unsat cost LB: 60631 ... c Min unsat cost LB: 60632 ... c Min unsat cost LB: 60633 ... c Min unsat cost LB: 60634 ... c Min unsat cost LB: 60635 ... c Min unsat cost LB: 60636 ... c Min unsat cost LB: 60637 ... c Min unsat cost LB: 60638 ... c Min unsat cost LB: 60639 ... c Min unsat cost LB: 60640 ... c Min unsat cost LB: 60645 ... c Min unsat cost LB: 60646 ... c Min unsat cost LB: 60647 ... c Min unsat cost LB: 60650 ... c Min unsat cost LB: 60651 ... c Min unsat cost LB: 60652 ... c Min unsat cost LB: 60653 ... c Min unsat cost LB: 60656 ... c Min unsat cost LB: 60657 ... c Min unsat cost LB: 60658 ... c Min unsat cost LB: 60659 ... c Min unsat cost LB: 60660 ... c Min unsat cost LB: 60661 ... c Min unsat cost LB: 60663 ... c Min unsat cost LB: 60664 ... c Min unsat cost LB: 60665 ... c Min unsat cost LB: 60666 ... c Min unsat cost LB: 60667 ... c Min unsat cost LB: 60668 ... c Min unsat cost LB: 60669 ... c Min unsat cost LB: 60688 ... c Min unsat cost LB: 60690 ... c Min unsat cost LB: 60691 ... c Min unsat cost LB: 60692 ... c Min unsat cost LB: 60693 ... c Min unsat cost LB: 60694 ... c Min unsat cost LB: 60695 ... c Min unsat cost LB: 60696 ... c Min unsat cost LB: 60697 ... c Min unsat cost LB: 60698 ... c Min unsat cost LB: 60699 ... c Min unsat cost LB: 60700 ... c Min unsat cost LB: 60701 ... c Min unsat cost LB: 60702 ... c Min unsat cost LB: 60704 ... c Min unsat cost LB: 60709 ... c Min unsat cost LB: 60711 ... c Min unsat cost LB: 60712 ... c Min unsat cost LB: 60714 ... c Min unsat cost LB: 60715 ... c Min unsat cost LB: 60716 ... c Min unsat cost LB: 60717 ... c Min unsat cost LB: 60718 ... c Min unsat cost LB: 60719 ... c Min unsat cost LB: 60720 ... c Min unsat cost LB: 60721 ... c Min unsat cost LB: 60722 ... c Min unsat cost LB: 60723 ... c Min unsat cost LB: 60724 ... c Min unsat cost LB: 60725 ... c Min unsat cost LB: 60726 ... c Min unsat cost LB: 60729 ... c Min unsat cost LB: 60730 ... c Min unsat cost LB: 60731 ... c Min unsat cost LB: 60732 ... c Min unsat cost LB: 60733 ... c Min unsat cost LB: 60734 ... c Min unsat cost LB: 60735 ... c Min unsat cost LB: 60861 ... c Min unsat cost LB: 60877 ... c Min unsat cost LB: 60878 ... c Min unsat cost LB: 60880 ... c Min unsat cost LB: 60881 ... c Min unsat cost LB: 60885 ... c Min unsat cost LB: 60888 ... c Min unsat cost LB: 60891 ... c Min unsat cost LB: 60894 ... c Min unsat cost LB: 60903 ... c Min unsat cost LB: 60909 ... c Min unsat cost LB: 60910 ... c Min unsat cost LB: 60911 ... c Min unsat cost LB: 60912 ... c Min unsat cost LB: 60920 ... c Min unsat cost LB: 60921 ... c Min unsat cost LB: 60922 ... c Min unsat cost LB: 60923 ... c Min unsat cost LB: 60924 ... c Min unsat cost LB: 60928 ... c Min unsat cost LB: 60929 ... c Min unsat cost LB: 60930 ... c Min unsat cost LB: 60931 ... c Min unsat cost LB: 60932 ... c Min unsat cost LB: 60933 ... c Min unsat cost LB: 60934 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 60936 ... c Min unsat cost LB: 60937 ... c Min unsat cost LB: 60938 ... c Min unsat cost LB: 60939 ... c Min unsat cost LB: 60940 ... c Min unsat cost LB: 60941 ... c Min unsat cost LB: 60942 ... c Min unsat cost LB: 60943 ... c Min unsat cost LB: 60944 ... c Min unsat cost LB: 60945 ... c Min unsat cost LB: 60946 ... c Min unsat cost LB: 60947 ... c Min unsat cost LB: 60948 ... c Min unsat cost LB: 60949 ... c Min unsat cost LB: 60950 ... c Min unsat cost LB: 60951 ... c Min unsat cost LB: 60952 ... c Min unsat cost LB: 60953 ... c Min unsat cost LB: 60954 ... c Min unsat cost LB: 60955 ... c Min unsat cost LB: 60956 ... c Min unsat cost LB: 60963 ... c Min unsat cost LB: 60964 ... c Min unsat cost LB: 60966 ... c Min unsat cost LB: 60967 ... c Min unsat cost LB: 60969 ... c Min unsat cost LB: 60970 ... c Min unsat cost LB: 60971 ... c Min unsat cost LB: 60972 ... c Min unsat cost LB: 60973 ... c Min unsat cost LB: 60974 ... c Min unsat cost LB: 60975 ... c Min unsat cost LB: 60976 ... c Min unsat cost LB: 60977 ... c Min unsat cost LB: 60978 ... c Min unsat cost LB: 60981 ... c Min unsat cost LB: 60983 ... c Min unsat cost LB: 60997 ... c Min unsat cost LB: 60998 ... c Min unsat cost LB: 61006 ... c Min unsat cost LB: 61007 ... c Min unsat cost LB: 61008 ... c Min unsat cost LB: 61014 ... c Min unsat cost LB: 61040 ... c Min unsat cost LB: 61043 ... c Min unsat cost LB: 61044 ... c Min unsat cost LB: 61048 ... c Min unsat cost LB: 61059 ... c Min unsat cost LB: 61060 ... c Min unsat cost LB: 61061 ... c Min unsat cost LB: 61062 ... c Min unsat cost LB: 61074 ... c Min unsat cost LB: 61076 ... c Min unsat cost LB: 61078 ... c Min unsat cost LB: 61079 ... c Min unsat cost LB: 61080 ... c Min unsat cost LB: 61081 ... c Min unsat cost LB: 61082 ... c Min unsat cost LB: 61085 ... c Min unsat cost LB: 61086 ... c Min unsat cost LB: 61087 ... c Min unsat cost LB: 61088 ... c Min unsat cost LB: 61089 ... c Min unsat cost LB: 61090 ... c Min unsat cost LB: 61091 ... c Min unsat cost LB: 61092 ... c Min unsat cost LB: 61093 ... c Min unsat cost LB: 61094 ... c Min unsat cost LB: 61095 ... c MiKilled 1808.625u 11.117s 30:22.99 99.8% 0+0k 0+0io 0pf+0w