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_90_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0004.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_90_0004.txt.wcnf *** c c Min unsat cost LB: 734 ... c Min unsat cost LB: 1127 ... c Min unsat cost LB: 2330 ... c Min unsat cost LB: 2445 ... c Min unsat cost LB: 3237 ... c Min unsat cost LB: 3971 ... c Min unsat cost LB: 4169 ... c Min unsat cost LB: 4472 ... c Min unsat cost LB: 4519 ... c Min unsat cost LB: 4811 ... c Min unsat cost LB: 5722 ... c Min unsat cost LB: 6770 ... c Min unsat cost LB: 7476 ... c Min unsat cost LB: 8041 ... c Min unsat cost LB: 8582 ... c Min unsat cost LB: 8588 ... c Min unsat cost LB: 9038 ... c Min unsat cost LB: 9336 ... c Min unsat cost LB: 9818 ... c Min unsat cost LB: 10121 ... c Min unsat cost LB: 10973 ... c Min unsat cost LB: 11623 ... c Min unsat cost LB: 11866 ... c Min unsat cost LB: 12873 ... c Min unsat cost LB: 13018 ... c Min unsat cost LB: 13724 ... c Min unsat cost LB: 14022 ... c Min unsat cost LB: 14295 ... c Min unsat cost LB: 14410 ... c Min unsat cost LB: 15241 ... c Min unsat cost LB: 16043 ... c Min unsat cost LB: 16812 ... c Min unsat cost LB: 16823 ... c Min unsat cost LB: 17000 ... c Min unsat cost LB: 17706 ... c Min unsat cost LB: 18458 ... c Min unsat cost LB: 19600 ... c Min unsat cost LB: 19917 ... c Min unsat cost LB: 20132 ... c Min unsat cost LB: 20325 ... c Min unsat cost LB: 20884 ... c Min unsat cost LB: 21082 ... c Min unsat cost LB: 21969 ... c Min unsat cost LB: 22714 ... c Min unsat cost LB: 23681 ... c Min unsat cost LB: 23820 ... c Min unsat cost LB: 23938 ... c Min unsat cost LB: 24776 ... c Min unsat cost LB: 25412 ... c Min unsat cost LB: 25723 ... c Min unsat cost LB: 25827 ... c Min unsat cost LB: 26219 ... c Min unsat cost LB: 26352 ... c Min unsat cost LB: 26385 ... c Min unsat cost LB: 27353 ... c Min unsat cost LB: 27864 ... c Min unsat cost LB: 27984 ... c Min unsat cost LB: 28142 ... c Min unsat cost LB: 28262 ... c Min unsat cost LB: 29310 ... c Min unsat cost LB: 30317 ... c Min unsat cost LB: 30658 ... c Min unsat cost LB: 31496 ... c Min unsat cost LB: 31555 ... c Min unsat cost LB: 32005 ... c Min unsat cost LB: 32038 ... c Min unsat cost LB: 32744 ... c Min unsat cost LB: 32750 ... c Min unsat cost LB: 33080 ... c Min unsat cost LB: 33315 ... c Min unsat cost LB: 33545 ... c Min unsat cost LB: 34016 ... c Min unsat cost LB: 34131 ... c Min unsat cost LB: 34186 ... c Min unsat cost LB: 34402 ... c Min unsat cost LB: 34732 ... c Min unsat cost LB: 34774 ... c Min unsat cost LB: 34807 ... c Min unsat cost LB: 35057 ... c Min unsat cost LB: 35090 ... c Min unsat cost LB: 35469 ... c Min unsat cost LB: 35702 ... c Min unsat cost LB: 35879 ... c Min unsat cost LB: 36018 ... c Min unsat cost LB: 36177 ... c Min unsat cost LB: 36232 ... c Min unsat cost LB: 36446 ... c Min unsat cost LB: 36514 ... c Min unsat cost LB: 36566 ... c Min unsat cost LB: 36841 ... c Min unsat cost LB: 37056 ... c Min unsat cost LB: 37329 ... c Min unsat cost LB: 37487 ... c Min unsat cost LB: 37529 ... c Min unsat cost LB: 37653 ... c Min unsat cost LB: 37885 ... c Min unsat cost LB: 37918 ... c Min unsat cost LB: 38027 ... c Min unsat cost LB: 38035 ... c Min unsat cost LB: 38241 ... c Min unsat cost LB: 38247 ... c Min unsat cost LB: 38259 ... c Min unsat cost LB: 38269 ... c Min unsat cost LB: 38392 ... c Min unsat cost LB: 38442 ... c Min unsat cost LB: 38646 ... c Min unsat cost LB: 38648 ... c Min unsat cost LB: 38703 ... c Min unsat cost LB: 38816 ... c Min unsat cost LB: 39054 ... c Min unsat cost LB: 39106 ... c Min unsat cost LB: 39177 ... c Min unsat cost LB: 39314 ... c Min unsat cost LB: 39706 ... c Min unsat cost LB: 39753 ... c Min unsat cost LB: 39817 ... c Min unsat cost LB: 39875 ... c Min unsat cost LB: 40056 ... c Min unsat cost LB: 40141 ... c Min unsat cost LB: 40260 ... c Min unsat cost LB: 40934 ... c Min unsat cost LB: 40970 ... c Min unsat cost LB: 41067 ... c Min unsat cost LB: 41078 ... c Min unsat cost LB: 41139 ... c Min unsat cost LB: 41232 ... c Min unsat cost LB: 41256 ... c Min unsat cost LB: 41291 ... c Min unsat cost LB: 41347 ... c Min unsat cost LB: 41401 ... c Min unsat cost LB: 41526 ... c Min unsat cost LB: 41574 ... c Min unsat cost LB: 41584 ... c Min unsat cost LB: 41761 ... c Min unsat cost LB: 41766 ... c Min unsat cost LB: 41870 ... c Min unsat cost LB: 42063 ... c Min unsat cost LB: 42232 ... c Min unsat cost LB: 42409 ... c Min unsat cost LB: 42466 ... c Min unsat cost LB: 42548 ... c Min unsat cost LB: 42550 ... c Min unsat cost LB: 42556 ... c Min unsat cost LB: 42605 ... c Min unsat cost LB: 42780 ... c Min unsat cost LB: 42796 ... c Min unsat cost LB: 42922 ... c Min unsat cost LB: 43002 ... c Min unsat cost LB: 43029 ... c Min unsat cost LB: 43070 ... c Min unsat cost LB: 43093 ... c Min unsat cost LB: 43161 ... c Min unsat cost LB: 43168 ... c Min unsat cost LB: 43174 ... c Min unsat cost LB: 43187 ... c Min unsat cost LB: 43345 ... c Min unsat cost LB: 43497 ... c Min unsat cost LB: 43500 ... c Min unsat cost LB: 43507 ... c Min unsat cost LB: 43540 ... c Min unsat cost LB: 43573 ... c Min unsat cost LB: 43597 ... c Min unsat cost LB: 43623 ... c Min unsat cost LB: 43628 ... c Min unsat cost LB: 43649 ... c Min unsat cost LB: 43663 ... c Min unsat cost LB: 43669 ... c Min unsat cost LB: 43675 ... c Min unsat cost LB: 43691 ... c Min unsat cost LB: 43693 ... c Min unsat cost LB: 43709 ... c Min unsat cost LB: 43746 ... c Min unsat cost LB: 43793 ... c Min unsat cost LB: 43810 ... c Min unsat cost LB: 43835 ... c Min unsat cost LB: 43851 ... c Min unsat cost LB: 43859 ... c Min unsat cost LB: 43877 ... c Min unsat cost LB: 43919 ... c Min unsat cost LB: 43945 ... c Min unsat cost LB: 43985 ... c Min unsat cost LB: 43996 ... c Min unsat cost LB: 43998 ... c Min unsat cost LB: 44002 ... c Min unsat cost LB: 44006 ... c Min unsat cost LB: 44010 ... c Min unsat cost LB: 44013 ... c Min unsat cost LB: 44017 ... c Min unsat cost LB: 44020 ... c Min unsat cost LB: 44024 ... c Min unsat cost LB: 44025 ... c Min unsat cost LB: 44027 ... c Min unsat cost LB: 44033 ... c Min unsat cost LB: 44034 ... c Min unsat cost LB: 44041 ... c Min unsat cost LB: 44065 ... c Min unsat cost LB: 44100 ... c Min unsat cost LB: 44121 ... c Min unsat cost LB: 44126 ... c Min unsat cost LB: 44162 ... c Min unsat cost LB: 44189 ... c Min unsat cost LB: 44202 ... c Min unsat cost LB: 44205 ... c Min unsat cost LB: 44282 ... c Min unsat cost LB: 44283 ... c Min unsat cost LB: 44299 ... c Min unsat cost LB: 44340 ... c Min unsat cost LB: 44352 ... c Min unsat cost LB: 44365 ... c Min unsat cost LB: 44394 ... c Min unsat cost LB: 44407 ... c Min unsat cost LB: 44444 ... c Min unsat cost LB: 44447 ... c Min unsat cost LB: 44449 ... c Min unsat cost LB: 44452 ... c Min unsat cost LB: 44453 ... c Min unsat cost LB: 44478 ... c Min unsat cost LB: 44480 ... c Min unsat cost LB: 44529 ... c Min unsat cost LB: 44532 ... c Min unsat cost LB: 44533 ... c Min unsat cost LB: 44551 ... c Min unsat cost LB: 44570 ... c Min unsat cost LB: 44602 ... c Min unsat cost LB: 44615 ... c Min unsat cost LB: 44631 ... c Min unsat cost LB: 44658 ... c Min unsat cost LB: 44660 ... c Min unsat cost LB: 44662 ... c Min unsat cost LB: 44663 ... c Min unsat cost LB: 44666 ... c Min unsat cost LB: 44668 ... c Min unsat cost LB: 44672 ... c Min unsat cost LB: 44673 ... c Min unsat cost LB: 44686 ... c Min unsat cost LB: 44690 ... c Min unsat cost LB: 44695 ... c Min unsat cost LB: 44696 ... c Min unsat cost LB: 44702 ... c Min unsat cost LB: 44704 ... c Min unsat cost LB: 44707 ... c Min unsat cost LB: 44717 ... c Min unsat cost LB: 44729 ... c Min unsat cost LB: 44818 ... c Min unsat cost LB: 44837 ... c Min unsat cost LB: 44842 ... c Min unsat cost LB: 44870 ... c Min unsat cost LB: 44871 ... c Min unsat cost LB: 44897 ... c Min unsat cost LB: 44900 ... c Min unsat cost LB: 44901 ... c Min unsat cost LB: 44960 ... c Min unsat cost LB: 45005 ... c Min unsat cost LB: 45022 ... c Min unsat cost LB: 45098 ... c Min unsat cost LB: 45099 ... c Min unsat cost LB: 45100 ... c Min unsat cost LB: 45101 ... c Min unsat cost LB: 45102 ... c Min unsat cost LB: 45103 ... c Min unsat cost LB: 45105 ... c Min unsat cost LB: 45106 ... c Min unsat cost LB: 45107 ... c Min unsat cost LB: 45112 ... c Min unsat cost LB: 45152 ... c Min unsat cost LB: 45156 ... c Min unsat cost LB: 45163 ... c Min unsat cost LB: 45179 ... c Min unsat cost LB: 45197 ... c Min unsat cost LB: 45198 ... c Min unsat cost LB: 45200 ... c Min unsat cost LB: 45201 ... c Min unsat cost LB: 45204 ... c Min unsat cost LB: 45207 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45236 ... c Min unsat cost LB: 45237 ... c Min unsat cost LB: 45238 ... c Min unsat cost LB: 45239 ... c Min unsat cost LB: 45240 ... c Min unsat cost LB: 45243 ... c Min unsat cost LB: 45244 ... c Min unsat cost LB: 45245 ... c Min unsat cost LB: 45262 ... c Min unsat cost LB: 45263 ... c Min unsat cost LB: 45264 ... c Min unsat cost LB: 45267 ... c Min unsat cost LB: 45268 ... c Min unsat cost LB: 45270 ... c Min unsat cost LB: 45271 ... c Min unsat cost LB: 45275 ... c Min unsat cost LB: 45278 ... c Min unsat cost LB: 45667 ... c Min unsat cost LB: 45675 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45690 ... c Min unsat cost LB: 45691 ... c Min unsat cost LB: 45692 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 45695 ... c Min unsat cost LB: 45696 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 45698 ... c Min unsat cost LB: 45704 ... c Min unsat cost LB: 45706 ... c Min unsat cost LB: 45707 ... c Min unsat cost LB: 45711 ... c Min unsat cost LB: 45712 ... c Min unsat cost LB: 45714 ... c Min unsat cost LB: 45716 ... c Min unsat cost LB: 45718 ... c Min unsat cost LB: 45732 ... c Min unsat cost LB: 45734 ... c Min unsat cost LB: 45738 ... c Min unsat cost LB: 45739 ... c Min unsat cost LB: 45742 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 45781 ... c Min unsat cost LB: 45782 ... c Min unsat cost LB: 45784 ... c Min unsat cost LB: 45785 ... c Min unsat cost LB: 45791 ... c Min unsat cost LB: 45797 ... c Min unsat cost LB: 45798 ... c Min unsat cost LB: 45800 ... c Min unsat cost LB: 45801 ... c Min unsat cost LB: 45804 ... c Min unsat cost LB: 45814 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45827 ... c Min unsat cost LB: 45828 ... c Min unsat cost LB: 45829 ... c Min unsat cost LB: 45830 ... c Min unsat cost LB: 45834 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45841 ... c Min unsat cost LB: 45842 ... c Min unsat cost LB: 45843 ... c Min unsat cost LB: 45846 ... c Min unsat cost LB: 45847 ... c Min unsat cost LB: 45849 ... c Min unsat cost LB: 45850 ... c Min unsat cost LB: 45851 ... c Min unsat cost LB: 45852 ... c Min unsat cost LB: 45853 ... c Min unsat cost LB: 45871 ... c Min unsat cost LB: 45872 ... c Min unsat cost LB: 45873 ... c Min unsat cost LB: 45874 ... c Min unsat cost LB: 45875 ... c Min unsat cost LB: 45876 ... c Min unsat cost LB: 45877 ... c Min unsat cost LB: 45878 ... c Min unsat cost LB: 45883 ... c Min unsat cost LB: 45884 ... c Min unsat cost LB: 45887 ... c Min unsat cost LB: 45893 ... c Min unsat cost LB: 45897 ... c Min unsat cost LB: 45903 ... c Min unsat cost LB: 45906 ... c Min unsat cost LB: 45915 ... c Min unsat cost LB: 45924 ... c Min unsat cost LB: 45926 ... c Min unsat cost LB: 45927 ... c Min unsat cost LB: 45928 ... c Min unsat cost LB: 45937 ... c Min unsat cost LB: 45939 ... c Min unsat cost LB: 45943 ... c Min unsat cost LB: 45957 ... c Min unsat cost LB: 45966 ... c Min unsat cost LB: 45969 ... c Min unsat cost LB: 45970 ... c Min unsat cost LB: 45972 ... c Min unsat cost LB: 45979 ... c Min unsat cost LB: 45981 ... c Min unsat cost LB: 45982 ... c Min unsat cost LB: 45984 ... c Min unsat cost LB: 45985 ... c Min unsat cost LB: 45986 ... c Min unsat cost LB: 45987 ... c Min unsat cost LB: 45988 ... c Min unsat cost LB: 45989 ... c Min unsat cost LB: 45990 ... c Min unsat cost LB: 46000 ... c Min unsat cost LB: 46001 ... c Min unsat cost LB: 46002 ... c Min unsat cost LB: 46006 ... c Min unsat cost LB: 46009 ... c Min unsat cost LB: 46011 ... c Min unsat cost LB: 46017 ... c Min unsat cost LB: 46018 ... c Min unsat cost LB: 46019 ... c Min unsat cost LB: 46028 ... c Min unsat cost LB: 46029 ... c Min unsat cost LB: 46031 ... c Min unsat cost LB: 46032 ... c Min unsat cost LB: 46040 ... c Min unsat cost LB: 46044 ... c Min unsat cost LB: 46045 ... c Min unsat cost LB: 46047 ... c Min unsat cost LB: 46048 ... c Min unsat cost LB: 46057 ... c Min unsat cost LB: 46067 ... c Min unsat cost LB: 46078 ... c Min unsat cost LB: 46090 ... c Min unsat cost LB: 46102 ... c Min unsat cost LB: 46103 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46105 ... c Min unsat cost LB: 46106 ... c Min unsat cost LB: 46108 ... c Min unsat cost LB: 46112 ... c Min unsat cost LB: 46119 ... c Min unsat cost LB: 46125 ... c Min unsat cost LB: 46141 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46145 ... c Min unsat cost LB: 46146 ... c Min unsat cost LB: 46147 ... c Min unsat cost LB: 46148 ... c Min unsat cost LB: 46149 ... c Min unsat cost LB: 46150 ... c Min unsat cost LB: 46151 ... c Min unsat cost LB: 46159 ... c Min unsat cost LB: 46163 ... c Min unsat cost LB: 46169 ... c Min unsat cost LB: 46171 ... c Min unsat cost LB: 46173 ... c Min unsat cost LB: 46175 ... c Min unsat cost LB: 46176 ... c Min unsat cost LB: 46177 ... c Min unsat cost LB: 46182 ... c Min unsat cost LB: 46183 ... c Min unsat cost LB: 46185 ... c Min unsat cost LB: 46187 ... c Min unsat cost LB: 46191 ... c Min unsat cost LB: 46192 ... c Min unsat cost LB: 46193 ... c Min unsat cost LB: 46214 ... c Min unsat cost LB: 46219 ... c Min unsat cost LB: 46220 ... c Min unsat cost LB: 46224 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46245 ... c Min unsat cost LB: 46246 ... c Min unsat cost LB: 46249 ... c Min unsat cost LB: 46266 ... c Min unsat cost LB: 46267 ... c Min unsat cost LB: 46276 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46280 ... c Min unsat cost LB: 46292 ... c Min unsat cost LB: 46293 ... c Min unsat cost LB: 46296 ... c Min unsat cost LB: 46297 ... c Min unsat cost LB: 46298 ... c Min unsat cost LB: 46299 ... c Min unsat cost LB: 46300 ... c Min unsat cost LB: 46301 ... c Min unsat cost LB: 46302 ... c Min unsat cost LB: 46306 ... c Min unsat cost LB: 46308 ... c Min unsat cost LB: 46311 ... c Min unsat cost LB: 46312 ... c Min unsat cost LB: 46317 ... c Min unsat cost LB: 46375 ... c Min unsat cost LB: 46376 ... c Min unsat cost LB: 46380 ... c Min unsat cost LB: 46381 ... c Min unsat cost LB: 46382 ... c Min unsat cost LB: 46383 ... c Min unsat cost LB: 46384 ... c Min unsat cost LB: 46387 ... c Min unsat cost LB: 46388 ... c Min unsat cost LB: 46389 ... c Min unsat cost LB: 46390 ... c Min unsat cost LB: 46392 ... c Min unsat cost LB: 46394 ... c Min unsat cost LB: 46406 ... c Min unsat cost LB: 46409 ... c Min unsat cost LB: 46410 ... c Min unsat cost LB: 46411 ... c Min unsat cost LB: 46415 ... c Min unsat cost LB: 46420 ... c Min unsat cost LB: 46421 ... c Min unsat cost LB: 46425 ... c Min unsat cost LB: 46426 ... c Min unsat cost LB: 46428 ... c Min unsat cost LB: 46429 ... c Min unsat cost LB: 46430 ... c Min unsat cost LB: 46431 ... c Min unsat cost LB: 46432 ... c Min unsat cost LB: 46433 ... c Min unsat cost LB: 46434 ... c Min unsat cost LB: 46435 ... c Min unsat cost LB: 46437 ... c Min unsat cost LB: 46439 ... c Min unsat cost LB: 46441 ... c Min unsat cost LB: 46442 ... c Min unsat cost LB: 46443 ... c Min unsat cost LB: 46449 ... c Min unsat cost LB: 46453 ... c Min unsat cost LB: 46456 ... c Min unsat cost LB: 46527 ... c Min unsat cost LB: 46528 ... c Min unsat cost LB: 46529 ... c Min unsat cost LB: 46530 ... c Min unsat cost LB: 46531 ... c Min unsat cost LB: 46532 ... c Min unsat cost LB: 46533 ... c Min unsat cost LB: 46534 ... c Min unsat cost LB: 46535 ... c Min unsat cost LB: 46536 ... c Min unsat cost LB: 46537 ... c Min unsat cost LB: 46538 ... c Min unsat cost LB: 46539 ... c Min unsat cost LB: 46540 ... c Min unsat cost LB: 46541 ... c Min unsat cost LB: 46542 ... c Min unsat cost LB: 46546 ... c Min unsat cost LB: 46547 ... c Min unsat cost LB: 46548 ... c Min unsat cost LB: 46549 ... c Min unsat cost LB: 46550 ... c Min unsat cost LB: 46551 ... c Min unsat cost LB: 46553 ... c Min unsat cost LB: 46554 ... c Min unsat cost LB: 46555 ... c Min unsat cost LB: 46556 ... c Min unsat cost LB: 46557 ... c Min unsat cost LB: 46558 ... c Min unsat cost LB: 46559 ... c Min unsat cost LB: 46560 ... c Min unsat cost LB: 46561 ... c Min unsat cost LB: 46562 ... c Min unsat cost LB: 46565 ... c Min unsat cost LB: 46566 ... c Min unsat cost LB: 46567 ... c Min unsat cost LB: 46568 ... c Min unsat cost LB: 46569 ... c Min unsat cost LB: 46570 ... c Min unsat cost LB: 46571 ... c Min unsat cost LB: 46572 ... c Min unsat cost LB: 46573 ... c Min unsat cost LB: 46574 ... c Min unsat cost LB: 46575 ... c Min unsat cost LB: 46576 ... c Min unsat cost LB: 46577 ... c Min unsat cost LB: 46578 ... c Min unsat cost LB: 46579 ... c Min unsat cost LB: 46581 ... c Min unsat cost LB: 46582 ... c Min unsat cost LB: 46584 ... c Min unsat cost LB: 46585 ... c Min unsat cost LB: 46586 ... c Min unsat cost LB: 46587 ... c Min unsat cost LB: 46588 ... c Min unsat cost LB: 46590 ... c Min unsat cost LB: 46591 ... c Min unsat cost LB: 46598 ... c Min unsat cost LB: 46599 ... c Min unsat cost LB: 46601 ... c Min unsat cost LB: 46602 ... c Min unsat cost LB: 46603 ... c Min unsat cost LB: 46604 ... c Min unsat cost LB: 46605 ... c Min unsat cost LB: 46606 ... c Min unsat cost LB: 46607 ... c Min unsat cost LB: 46609 ... c Min unsat cost LB: 46610 ... c Min unsat cost LB: 46611 ... c Min unsat cost LB: 46612 ... c Min unsat cost LB: 46613 ... c Min unsat cost LB: 46614 ... c Min unsat cost LB: 46615 ... c Min unsat cost LB: 46617 ... c Min unsat cost LB: 46618 ... c Min unsat cost LB: 46619 ... c Min unsat cost LB: 46620 ... c Min unsat cost LB: 46621 ... c Min unsat cost LB: 46622 ... c Min unsat cost LB: 46623 ... c Min unsat cost LB: 46624 ... c Min unsat cost LB: 46625 ... c Min unsat cost LB: 46626 ... c Min unsat cost LB: 46627 ... c Min unsat cost LB: 46628 ... c Min unsat cost LB: 46629 ... c Min unsat cost LB: 46630 ... c Min unsat cost LB: 46631 ... c Min unsat cost LB: 46632 ... c Min unsat cost LB: 46633 ... c Min unsat cost LB: 46634 ... c Min unsat cost LB: 46635 ... c Min unsat cost LB: 46636 ... c Min unsat cost LB: 46637 ... c Min unsat cost LB: 46638 ... c Min unsat cost LB: 46639 ... c Min unsat cost LB: 46640 ... c Min unsat cost LB: 46641 ... c Min unsat cost LB: 46642 ... c Min unsat cost LB: 46643 ... c Min unsat cost LB: 46644 ... c Min unsat cost LB: 46645 ... c Min unsat cost LB: 46646 ... c Min unsat cost LB: 46647 ... c Min unsat cost LB: 46648 ... c Min unsat cost LB: 46649 ... c Min unsat cost LB: 46650 ... c Min unsat cost LB: 46651 ... c Min unsat cost LB: 46652 ... c Min unsat cost LB: 46653 ... c Min unsat cost LB: 46654 ... c Min unsat cost LB: 46655 ... c Min unsat cost LB: 46656 ... c Min unsat cost LB: 46657 ... c Min unsat cost LB: 46658 ... c Min unsat cost LB: 46659 ... c Min unsat cost LB: 46660 ... c Min unsat cost LB: 46661 ... c Min unsat cost LB: 46662 ... c Min unsat cost LB: 46663 ... c Min unsat cost LB: 46665 ... c Min unsat cost LB: 46666 ... c Min unsat cost LB: 46667 ... c Min unsat cost LB: 46668 ... c Min unsat cost LB: 46669 ... c Min unsat cost LB: 46670 ... c Min unsat cost LB: 46671 ... c Min unsat cost LB: 46672 ... c Min unsat cost LB: 46673 ... c Min unsat cost LB: 46674 ... c Min unsat cost LB: 46675 ... c Min unsat cost LB: 46676 ... c Min unsat cost LB: 46677 ... c Min unsat cost LB: 46678 ... c Min unsat cost LB: 46679 ... c Min unsat cost LB: 46680 ... c Min unsat cost LB: 46681 ... c Min unsat cost LB: 46683 ... c Min unsat cost LB: 46684 ... c Min unsat cost LB: 46685 ... c Min unsat cost LB: 46686 ... c Min unsat cost LB: 46687 ... c Min unsat cost LB: 46688 ... c Min unsat cost LB: 46689 ... c Min unsat cost LB: 46690 ... c Min unsat cost LB: 46691 ... c Min unsat cost LB: 46692 ... c Min unsat cost LB: 46693 ... c Min unsat cost LB: 46694 ... c Min unsat cost LB: 46695 ... c Min unsat cost LB: 46696 ... c Min unsat cost LB: 46697 ... c Min unsat cost LB: 46698 ... c Min unsat cost LB: 46699 ... c Min unsat cost LB: 46700 ... c Min unsat cost LB: 46701 ... c Min unsat cost LB: 46702 ... c Min unsat cost LB: 46703 ... c Min unsat cost LB: 46704 ... c Min unsat cost LB: 46705 ... c Min unsat cost LB: 46706 ... c Min unsat cost LB: 46707 ... c Min unsat cost LB: 46708 ... c Min unsat cost LB: 46709 ... c Min unsat cost LB: 46710 ... c Min unsat cost LB: 46711 ... c Min unsat cost LB: 46712 ... c Min unsat cost LB: 46713 ... c Min unsat cost LB: 46714 ... c Min unsat cost LB: 46715 ... c Min unsat cost LB: 46716 ... c Min unsat cost LB: 46717 ... c Min unsat cost LB: 46718 ... c Min unsat cost LB: 46720 ... c Min unsat cost LB: 46721 ... c Min unsat cost LB: 46722 ... c Min unsat cost LB: 46723 ... c Min unsat cost LB: 46724 ... c Min unsat cost LB: 46725 ... c Min unsat cost LB: 46726 ... c Min unsat cost LB: 46728 ... c Min unsat cost LB: 46729 ... c Min unsat cost LB: 46730 ... c Min unsat cost LB: 46731 ... c Min unsat cost LB: 46733 ... c Min unsat cost LB: 46735 ... c Min unsat cost LB: 46736 ... c Min unsat cost LB: 46747 ... c Min unsat cost LB: 46748 ... c Min unsat cost LB: 46749 ... c Min unsat cost LB: 46750 ... c Min unsat cost LB: 46751 ... c Min unsat cost LB: 46752 ... c Min unsat cost LB: 46753 ... c Min unsat cost LB: 46754 ... c Min unsat cost LB: 46755 ... c Min unsat cost LB: 46756 ... c Min unsat cost LB: 46757 ... c Min unsat cost LB: 46758 ... c Min unsat cost LB: 46759 ... c Min unsat cost LB: 46760 ... c Min unsat cost LB: 46761 ... c Min unsat cost LB: 46762 ... c Min unsat cost LB: 46763 ... c Min unsat cost LB: 46764 ... c Min unsat cost LB: 46765 ... c Min unsat cost LB: 46766 ... c Min unsat cost LB: 46767 ... c Min unsat cost LB: 46770 ... c Min unsat cost LB: 46771 ... c Min unsat cost LB: 46772 ... c Min unsat cost LB: 46774 ... c Min unsat cost LB: 46775 ... c Min unsat cost LB: 46776 ... c Min unsat cost LB: 46777 ... c Min unsat cost LB: 46778 ... c Min unsat cost LB: 46779 ... c Min unsat cost LB: 46780 ... c Min unsat cost LB: 46781 ... c Min unsat cost LB: 46782 ... c Min unsat cost LB: 46783 ... c Min unsat cost LB: 46784 ... c Min unsat cost LB: 46785 ... c Min unsat cost LB: 46786 ... c Min unsat cost LB: 46787 ... c Min unsat cost LB: 46788 ... c Min unsat cost LB: 46789 ... c Min unsat cost LB: 46790 ... c Min unsat cost LB: 46791 ... c Min unsat cost LB: 46792 ... c Min unsat cost LB: 46793 ... c Min unsat cost LB: 46794 ... c Min unsat cost LB: 46795 ... c Min unsat cost LB: 46796 ... c Min unsat cost LB: 46797 ... c Min unsat cost LB: 46798 ... c Min unsat cost LB: 46799 ... c Min unsat cost LB: 46800 ... c Min unsat cost LB: 46801 ... c Min unsat cost LB: 46802 ... c Min unsat cost LB: 46803 ... c Min unsat cost LB: 46804 ... c Min unsat cost LB: 46805 ... c Min unsat cost LB: 46806 ... c Min unsat cost LB: 46807 ... c Min unsat cost LB: 46808 ... c Min unsat cost LB: 46809 ... c Min unsat cost LB: 46810 ... c Min unsat cost LB: 46811 ... c Min unsat cost LB: 46812 ... c Min unsat cost LB: 46813 ... c Min unsat cost LB: 46814 ... c Min unsat cost LB: 46815 ... c Min unsat cost LB: 46816 ... c Min unsat cost LB: 46817 ... c Min unsat cost LB: 46818 ... c Min unsat cost LB: 46819 ... c Min unsat cost LB: 46820 ... c Min unsat cost LB: 46821 ... c Min unsat cost LB: 46822 ... c Min unsat cost LB: 46823 ... c Min unsat cost LB: 46824 ... c Min unsat cost LB: 46825 ... c Min unsat cost LB: 46826 ... c Min unsat cost LB: 46827 ... c Min unsat cost LB: 46828 ... c Min unsat cost LB: 46829 ... c Min unsat cost LB: 46830 ... c Min unsat cost LB: 46831 ... c Min unsat cost LB: 46832 ... c Min unsat cost LB: 46833 ... c Min unsat cost LB: 46834 ... c Min unsat cost LB: 46835 ... c Min unsat cost LB: 46836 ... c Min unsat cost LB: 46837 ... c Min unsat cost LB: 46838 ... c Min unsat cost LB: 46839 ... c Min unsat cost LB: 46840 ... c Min unsat cost LB: 46841 ... c Min unsat cost LB: 46842 ... c Min unsat cost LB: 46843 ... c Min unsat cost LB: 46844 ... c Min unsat cost LB: 46845 ... c Min unsat cost LB: 46846 ... c Min unsat cost LB: 46847 ... c Min unsat cost LB: 46848 ... c Min unsat cost LB: 46849 ... c Min unsat cost LB: 46850 ... c Min unsat cost LB: 46851 ... c Min unsat cost LB: 46852 ... c Min unsat cost LB: 46855 ... c Min unsat cost LB: 46856 ... c Min unsat cost LB: 46868 ... c Min unsat cost LB: 46869 ... c Min unsat cost LB: 46870 ... c Min unsat cost LB: 46871 ... c Min unsat cost LB: 46872 ... c Min unsat cost LB: 46873 ... c Min unsat cost LB: 46874 ... c Min unsat cost LB: 46875 ... c Min unsat cost LB: 46876 ... c Min unsat cost LB: 46877 ... c Min unsat cost LB: 46878 ... c Min unsat cost LB: 46879 ... c Min unsat cost LB: 46880 ... c Min unsat cost LB: 46881 ... c Min unsat cost LB: 46882 ... c Min unsat cost LB: 46883 ... c Min unsat cost LB: 46884 ... c Min unsat cost LB: 46888 ... c Min unsat cost LB: 46890 ... c Min unsat cost LB: 46892 ... c Min unsat cost LB: 46902 ... c Min unsat cost LB: 46903 ... c Min unsat cost LB: 46904 ... c Min unsat cost LB: 46905 ... c Min unsat cost LB: 46906 ... c Min unsat cost LB: 46907 ... c Min unsat cost LB: 46908 ... c Min unsat cost LB: 46909 ... c Min unsat cost LB: 46910 ... c Min unsat cost LB: 46911 ... c Min unsat cost LB: 46912 ... c Min unsat cost LB: 46913 ... c Min unsat cost LB: 46914 ... c Min unsat cost LB: 46915 ... c Min unsat cost LB: 46916 ... c Min unsat cost LB: 46917 ... c Min unsat cost LB: 46918 ... c Min unsat cost LB: 46919 ... c Min unsat cost LB: 46920 ... c Min unsat cost LB: 46921 ... c Min unsat cost LB: 46922 ... c Min unsat cost LB: 46923 ... c Min unsat cost LB: 46924 ... c Min unsat cost LB: 46925 ... c Min unsat cost LB: 46926 ... c Min unsat cost LB: 46927 ... c Min unsat cost LB: 46928 ... c Min unsat cost LB: 46929 ... c Min unsat cost LB: 46930 ... c Min unsat cost LB: 46931 ... c Min unsat cost LB: 46932 ... c Min unsat cost LB: 46933 ... c Min unsat cost LB: 46934 ... c Min unsat cost LB: 46935 ... c Min unsat cost LB: 46936 ... c Min unsat cost LB: 46942 ... c Min unsat cost LB: 46943 ... c Min unsat cost LB: 46944 ... c Min unsat cost LB: 46945 ... c Min unsat cost LB: 46947 ... c Min unsat cost LB: 46948 ... c Min unsat cost LB: 46949 ... c Min unsat cost LB: 46950 ... c Min unsat cost LB: 46951 ... c Min unsat cost LB: 46952 ... c Min unsat cost LB: 46953 ... c Min unsat cost LB: 46954 ... c Min unsat cost LB: 46955 ... c Min unsat cost LB: 46956 ... c Min unsat cost LB: 46957 ... c Min unsat cost LB: 46958 ... c Min unsat cost LB: 46959 ... c Min unsat cost LB: 46960 ... c Min unsat cost LB: 46961 ... c Min unsat cost LB: 46962 ... c Min unsat cost LB: 46963 ... c Min unsat cost LB: 46964 ... c Min unsat cost LB: 46965 ... c Min unsat cost LB: 46966 ... c Min unsat cost LB: 46967 ... c Min unsat cost LB: 46968 ... c Min unsat cost LB: 46969 ... c Min unsat cost LB: 46970 ... c Min unsat cost LB: 46971 ... c Min unsat cost LB: 46972 ... c Min unsat cost LB: 46973 ... c Min unsat cost LB: 46974 ... c Min unsat cost LB: 46975 ... c Min unsat cost LB: 46976 ... c Min unsat cost LB: 46977 ... c Min unsat cost LB: 46978 ... c Min unsat cost LB: 46979 ... c Min unsat cost LB: 46980 ... c Min unsat cost LB: 46981 ... c Min unsat cost LB: 46982 ... c Min unsat cost LB: 46983 ... c Min unsat cost LB: 46984 ... c Min unsat cost LB: 46985 ... c Min unsat cost LB: 46986 ... c Min unsat cost LB: 46987 ... c Min unsat cost LB: 46988 ... c Min unsat cost LB: 46989 ... c Min unsat cost LB: 46990 ... c Min unsat cost LB: 46991 ... c Min unsat cost LB: 46992 ... c Min unsat cost LB: 46993 ... c Min unsat cost LB: 46994 ... c Min unsat cost LB: 46995 ... c Min unsat cost LB: 46996 ... c Min unsat cost LB: 46997 ... c Min unsat cost LB: 46998 ... c Min unsat cost LB: 46999 ... c Min unsat cost LB: 47000 ... c Min unsat cost LB: 47001 ... c Min unsat cost LB: 47002 ... c Min unsat cost LB: 47003 ... c Min unsat cost LB: 47004 ... c Min unsat cost LB: 47005 ... c Min unsat cost LB: 47006 ... c Min unsat cost LB: 47007 ... c Min unsat cost LB: 47008 ... c Min unsat cost LB: 47009 ... c Min unsat cost LB: 47010 ... c Min unsat cost LB: 47011 ... c Min unsat cost LB: 47012 ... c Min unsat cost LB: 47013 ... c Min unsat cost LB: 47014 ... c Min unsat cost LB: 47015 ... c Min unsat cost LB: 47016 ... c Min unsat cost LB: 47017 ... c Min unsat cost LB: 47018 ... c Min unsat cost LB: 47019 ... c Min unsat cost LB: 47020 ... c Min unsat cost LB: 47021 ... c Min unsat cost LB: 47022 ... c Min unsat cost LB: 47023 ... c Min unsat cost LB: 47024 ... c Min unsat cost LB: 47025 ... c Min unsat cost LB: 47026 ... c Min unsat cost LB: 47027 ... c Min unsat cost LB: 47028 ... c Min unsat cost LB: 47029 ... c Min unsat cost LB: 47030 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47032 ... c Min unsat cost LB: 47033 ... c Min unsat cost LB: 47034 ... c Min unsat cost LB: 47035 ... c Min unsat cost LB: 47036 ... c Min unsat cost LB: 47037 ... c Min unsat cost LB: 47038 ... c Min unsat cost LB: 47039 ... c Min unsat cost LB: 47040 ... c Min unsat cost LB: 47041 ... c Min unsat cost LB: 47042 ... c Min unsat cost LB: 47043 ... c Min unsat cost LB: 47044 ... c Min unsat cost LB: 47045 ... c Min unsat cost LB: 47046 ... c Min unsat cost LB: 47047 ... c Min unsat cost LB: 47048 ... c Min unsat cost LB: 47049 ... c Min unsat cost LB: 47050 ... c Min unsat cost LB: 47051 ... c Min unsat cost LB: 47052 ... c Min unsat cost LB: 47053 ... c Min unsat cost LB: 47054 ... c Min unsat cost LB: 47055 ... c Min unsat cost LB: 47056 ... c Min unsat cost LB: 47057 ... c Min unsat cost LB: 47058 ... c Min unsat cost LB: 47059 ... c Min unsat cost LB: 47060 ... c Min unsat cost LB: 47061 ... c Min unsat cost LB: 47062 ... c Min unsat cost LB: 47063 ... c Min unsat cost LB: 47064 ... c Min unsat cost LB: 47065 ... c Min unsat cost LB: 47066 ... c Min unsat cost LB: 47067 ... c Min unsat cost LB: 47068 ... c Min unsat cost LB: 47069 ... c Min unsat cost LB: 47070 ... c Min unsat cost LB: 47071 ... c Min unsat cost LB: 47072 ... c Min unsat cost LB: 47073 ... c Min unsat cost LB: 47074 ... c Min unsat cost LB: 47075 ... c Min unsat cost LB: 47076 ... c Min unsat cost LB: 47077 ... c Min unsat cost LB: 47078 ... c Min unsat cost LB: 47079 ... c Min unsat cost LB: 47080 ... c Min unsat cost LB: 47081 ... c Min unsat cost LB: 47082 ... c Min unsat cost LB: 47083 ... c Min unsat cost LB: 47084 ... c Min unsat cost LB: 47085 ... c Min unsat cost LB: 47086 ... c Min unsat cost LB: 47087 ... c Min unsat cost LB: 47088 ... c Min unsat cost LB: 47089 ... c Min unsat cost LB: 47090 ... c Min unsat cost LB: 47091 ... c Min unsat cost LB: 47092 ... c Min unsat cost LB: 47093 ... c Min unsat cost LB: 47094 ... c Min unsat cost LB: 47095 ... c Min unsat cost LB: 47096 ... c Min unsat cost LB: 47097 ... c Min unsat cost LB: 47098 ... c Min unsat cost LB: 47099 ... c Min unsat cost LB: 47100 ... c Min unsat cost LB: 47101 ... c Min unsat cost LB: 47102 ... c Min unsat cost LB: 47103 ... c Min unsat cost LB: 47104 ... c Min unsat cost LB: 47105 ... c Min unsat cost LB: 47106 ... c Min unsat cost LB: 47107 ... c Min unsat cost LB: 47108 ... c Min unsat cost LB: 47109 ... c Min unsat cost LB: 47110 ... c Min unsat cost LB: 47111 ... c Min unsat cost LB: 47112 ... c Min unsat cost LB: 47113 ... c Min unsat cost LB: 47114 ... c Min unsat cost LB: 47115 ... c Min unsat cost LB: 47116 ... c Min unsat cost LB:Killed 1815.827u 3.913s 32:38.36 92.9% 0+0k 0+0io 0pf+0w