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_110_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_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_SCHEDULING/cat_sched_60_110_0004.txt.wcnf *** c c Min unsat cost LB: 1071 ... c Min unsat cost LB: 1447 ... c Min unsat cost LB: 1823 ... c Min unsat cost LB: 1948 ... c Min unsat cost LB: 3019 ... c Min unsat cost LB: 3144 ... c Min unsat cost LB: 3269 ... c Min unsat cost LB: 3394 ... c Min unsat cost LB: 3519 ... c Min unsat cost LB: 3644 ... c Min unsat cost LB: 3645 ... c Min unsat cost LB: 3770 ... c Min unsat cost LB: 3771 ... c Min unsat cost LB: 3896 ... c Min unsat cost LB: 4021 ... c Min unsat cost LB: 4022 ... c Min unsat cost LB: 4398 ... c Min unsat cost LB: 4523 ... c Min unsat cost LB: 5594 ... c Min unsat cost LB: 5719 ... c Min unsat cost LB: 5844 ... c Min unsat cost LB: 6665 ... c Min unsat cost LB: 6789 ... c Min unsat cost LB: 6914 ... c Min unsat cost LB: 7039 ... c Min unsat cost LB: 7040 ... c Min unsat cost LB: 7165 ... c Min unsat cost LB: 7290 ... c Min unsat cost LB: 7415 ... c Min unsat cost LB: 7540 ... c Min unsat cost LB: 7665 ... c Min unsat cost LB: 7666 ... c Min unsat cost LB: 7790 ... c Min unsat cost LB: 8861 ... c Min unsat cost LB: 9808 ... c Min unsat cost LB: 9932 ... c Min unsat cost LB: 10487 ... c Min unsat cost LB: 10611 ... c Min unsat cost LB: 10736 ... c Min unsat cost LB: 11683 ... c Min unsat cost LB: 11807 ... c Min unsat cost LB: 12754 ... c Min unsat cost LB: 12878 ... c Min unsat cost LB: 13825 ... c Min unsat cost LB: 13949 ... c Min unsat cost LB: 14504 ... c Min unsat cost LB: 14505 ... c Min unsat cost LB: 15452 ... c Min unsat cost LB: 15576 ... c Min unsat cost LB: 16523 ... c Min unsat cost LB: 16647 ... c Min unsat cost LB: 17202 ... c Min unsat cost LB: 18149 ... c Min unsat cost LB: 18665 ... c Min unsat cost LB: 19220 ... c Min unsat cost LB: 20291 ... c Min unsat cost LB: 20413 ... c Min unsat cost LB: 20968 ... c Min unsat cost LB: 21523 ... c Min unsat cost LB: 22039 ... c Min unsat cost LB: 22078 ... c Min unsat cost LB: 22633 ... c Min unsat cost LB: 23188 ... c Min unsat cost LB: 23312 ... c Min unsat cost LB: 23867 ... c Min unsat cost LB: 24422 ... c Min unsat cost LB: 24977 ... c Min unsat cost LB: 26048 ... c Min unsat cost LB: 26564 ... c Min unsat cost LB: 27119 ... c Min unsat cost LB: 27674 ... c Min unsat cost LB: 28745 ... c Min unsat cost LB: 29300 ... c Min unsat cost LB: 29425 ... c Min unsat cost LB: 29550 ... c Min unsat cost LB: 30066 ... c Min unsat cost LB: 30621 ... c Min unsat cost LB: 31176 ... c Min unsat cost LB: 31552 ... c Min unsat cost LB: 31677 ... c Min unsat cost LB: 31928 ... c Min unsat cost LB: 32053 ... c Min unsat cost LB: 32054 ... c Min unsat cost LB: 32179 ... c Min unsat cost LB: 32304 ... c Min unsat cost LB: 32305 ... c Min unsat cost LB: 32430 ... c Min unsat cost LB: 32554 ... c Min unsat cost LB: 32679 ... c Min unsat cost LB: 32804 ... c Min unsat cost LB: 32907 ... c Min unsat cost LB: 32929 ... c Min unsat cost LB: 33077 ... c Min unsat cost LB: 33158 ... c Min unsat cost LB: 33283 ... c Min unsat cost LB: 33407 ... c Min unsat cost LB: 33532 ... c Min unsat cost LB: 33533 ... c Min unsat cost LB: 33534 ... c Min unsat cost LB: 34605 ... c Min unsat cost LB: 34931 ... c Min unsat cost LB: 34932 ... c Min unsat cost LB: 35057 ... c Min unsat cost LB: 35182 ... c Min unsat cost LB: 35226 ... c Min unsat cost LB: 35227 ... c Min unsat cost LB: 35332 ... c Min unsat cost LB: 35352 ... c Min unsat cost LB: 35477 ... c Min unsat cost LB: 35478 ... c Min unsat cost LB: 35781 ... c Min unsat cost LB: 35862 ... c Min unsat cost LB: 36417 ... c Min unsat cost LB: 36722 ... c Min unsat cost LB: 36972 ... c Min unsat cost LB: 37137 ... c Min unsat cost LB: 37181 ... c Min unsat cost LB: 37196 ... c Min unsat cost LB: 37626 ... c Min unsat cost LB: 37751 ... c Min unsat cost LB: 37875 ... c Min unsat cost LB: 38206 ... c Min unsat cost LB: 38305 ... c Min unsat cost LB: 38534 ... c Min unsat cost LB: 38786 ... c Min unsat cost LB: 38860 ... c Min unsat cost LB: 38899 ... c Min unsat cost LB: 38985 ... c Min unsat cost LB: 39152 ... c Min unsat cost LB: 39257 ... c Min unsat cost LB: 39338 ... c Min unsat cost LB: 39358 ... c Min unsat cost LB: 39483 ... c Min unsat cost LB: 39617 ... c Min unsat cost LB: 39618 ... c Min unsat cost LB: 39619 ... c Min unsat cost LB: 39744 ... c Min unsat cost LB: 39764 ... c Min unsat cost LB: 39864 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 40172 ... c Min unsat cost LB: 40338 ... c Min unsat cost LB: 40365 ... c Min unsat cost LB: 40592 ... c Min unsat cost LB: 40923 ... c Min unsat cost LB: 41173 ... c Min unsat cost LB: 41174 ... c Min unsat cost LB: 41189 ... c Min unsat cost LB: 41436 ... c Min unsat cost LB: 41446 ... c Min unsat cost LB: 41754 ... c Min unsat cost LB: 41876 ... c Min unsat cost LB: 41991 ... c Min unsat cost LB: 42051 ... c Min unsat cost LB: 42060 ... c Min unsat cost LB: 42185 ... c Min unsat cost LB: 42481 ... c Min unsat cost LB: 42680 ... c Min unsat cost LB: 43302 ... c Min unsat cost LB: 43374 ... c Min unsat cost LB: 43467 ... c Min unsat cost LB: 43468 ... c Min unsat cost LB: 43818 ... c Min unsat cost LB: 44029 ... c Min unsat cost LB: 44128 ... c Min unsat cost LB: 44459 ... c Min unsat cost LB: 44583 ... c Min unsat cost LB: 44686 ... c Min unsat cost LB: 44889 ... c Min unsat cost LB: 45014 ... c Min unsat cost LB: 45960 ... c Min unsat cost LB: 46085 ... c Min unsat cost LB: 46906 ... c Min unsat cost LB: 47005 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47032 ... c Min unsat cost LB: 47146 ... c Min unsat cost LB: 47345 ... c Min unsat cost LB: 47354 ... c Min unsat cost LB: 47365 ... c Min unsat cost LB: 47478 ... c Min unsat cost LB: 47545 ... c Min unsat cost LB: 47626 ... c Min unsat cost LB: 47669 ... c Min unsat cost LB: 47673 ... c Min unsat cost LB: 47674 ... c Min unsat cost LB: 47793 ... c Min unsat cost LB: 47898 ... c Min unsat cost LB: 47918 ... c Min unsat cost LB: 47919 ... c Min unsat cost LB: 48039 ... c Min unsat cost LB: 48228 ... c Min unsat cost LB: 48308 ... c Min unsat cost LB: 48309 ... c Min unsat cost LB: 48401 ... c Min unsat cost LB: 48421 ... c Min unsat cost LB: 48493 ... c Min unsat cost LB: 48618 ... c Min unsat cost LB: 48729 ... c Min unsat cost LB: 48730 ... c Min unsat cost LB: 48762 ... c Min unsat cost LB: 48980 ... c Min unsat cost LB: 48981 ... c Min unsat cost LB: 49192 ... c Min unsat cost LB: 49203 ... c Min unsat cost LB: 49394 ... c Min unsat cost LB: 49729 ... c Min unsat cost LB: 49773 ... c Min unsat cost LB: 49863 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50341 ... c Min unsat cost LB: 50398 ... c Min unsat cost LB: 50465 ... c Min unsat cost LB: 50637 ... c Min unsat cost LB: 50676 ... c Min unsat cost LB: 50736 ... c Min unsat cost LB: 51207 ... c Min unsat cost LB: 51222 ... c Min unsat cost LB: 51331 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51563 ... c Min unsat cost LB: 51894 ... c Min unsat cost LB: 52019 ... c Min unsat cost LB: 52129 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52334 ... c Min unsat cost LB: 52458 ... c Min unsat cost LB: 52513 ... c Min unsat cost LB: 52561 ... c Min unsat cost LB: 52685 ... c Min unsat cost LB: 52788 ... c Min unsat cost LB: 52899 ... c Min unsat cost LB: 52909 ... c Min unsat cost LB: 52995 ... c Min unsat cost LB: 52998 ... c Min unsat cost LB: 53025 ... c Min unsat cost LB: 53036 ... c Min unsat cost LB: 53146 ... c Min unsat cost LB: 53156 ... c Min unsat cost LB: 53280 ... c Min unsat cost LB: 53318 ... c Min unsat cost LB: 53334 ... c Min unsat cost LB: 53537 ... c Min unsat cost LB: 53606 ... c Min unsat cost LB: 53642 ... c Min unsat cost LB: 53772 ... c Min unsat cost LB: 53803 ... c Min unsat cost LB: 53846 ... c Min unsat cost LB: 53999 ... c Min unsat cost LB: 54124 ... c Min unsat cost LB: 54331 ... c Min unsat cost LB: 54375 ... c Min unsat cost LB: 54397 ... c Min unsat cost LB: 54456 ... c Min unsat cost LB: 54457 ... c Min unsat cost LB: 54458 ... c Min unsat cost LB: 54500 ... c Min unsat cost LB: 54523 ... c Min unsat cost LB: 54538 ... c Min unsat cost LB: 54540 ... c Min unsat cost LB: 54582 ... c Min unsat cost LB: 54604 ... c Min unsat cost LB: 54663 ... c Min unsat cost LB: 54664 ... c Min unsat cost LB: 54730 ... c Min unsat cost LB: 54788 ... c Min unsat cost LB: 54874 ... c Min unsat cost LB: 54916 ... c Min unsat cost LB: 54931 ... c Min unsat cost LB: 54939 ... c Min unsat cost LB: 54966 ... c Min unsat cost LB: 54967 ... c Min unsat cost LB: 54976 ... c Min unsat cost LB: 55036 ... c Min unsat cost LB: 55037 ... c Min unsat cost LB: 55047 ... c Min unsat cost LB: 55056 ... c Min unsat cost LB: 55079 ... c Min unsat cost LB: 55090 ... c Min unsat cost LB: 55117 ... c Min unsat cost LB: 55121 ... c Min unsat cost LB: 55122 ... c Min unsat cost LB: 55153 ... c Min unsat cost LB: 55240 ... c Min unsat cost LB: 55241 ... c Min unsat cost LB: 55283 ... c Min unsat cost LB: 55284 ... c Min unsat cost LB: 55295 ... c Min unsat cost LB: 55296 ... c Min unsat cost LB: 55310 ... c Min unsat cost LB: 55311 ... c Min unsat cost LB: 55332 ... c Min unsat cost LB: 55333 ... c Min unsat cost LB: 55334 ... c Min unsat cost LB: 55335 ... c Min unsat cost LB: 55347 ... c Min unsat cost LB: 55353 ... c Min unsat cost LB: 55355 ... c Min unsat cost LB: 55356 ... c Min unsat cost LB: 55381 ... c Min unsat cost LB: 55382 ... c Min unsat cost LB: 55383 ... c Min unsat cost LB: 55384 ... c Min unsat cost LB: 55404 ... c Min unsat cost LB: 55502 ... c Min unsat cost LB: 55509 ... c Min unsat cost LB: 55510 ... c Min unsat cost LB: 55522 ... c Min unsat cost LB: 55523 ... c Min unsat cost LB: 55531 ... c Min unsat cost LB: 55532 ... c Min unsat cost LB: 55547 ... c Min unsat cost LB: 55571 ... c Min unsat cost LB: 55575 ... c Min unsat cost LB: 55576 ... c Min unsat cost LB: 55665 ... c Min unsat cost LB: 55680 ... c Min unsat cost LB: 55687 ... c Min unsat cost LB: 55688 ... c Min unsat cost LB: 55692 ... c Min unsat cost LB: 55693 ... c Min unsat cost LB: 55695 ... c Min unsat cost LB: 55698 ... c Min unsat cost LB: 55703 ... c Min unsat cost LB: 55710 ... c Min unsat cost LB: 55745 ... c Min unsat cost LB: 55746 ... c Min unsat cost LB: 55797 ... c Min unsat cost LB: 55816 ... c Min unsat cost LB: 55832 ... c Min unsat cost LB: 55858 ... c Min unsat cost LB: 55873 ... c Min unsat cost LB: 55899 ... c Min unsat cost LB: 55900 ... c Min unsat cost LB: 55917 ... c Min unsat cost LB: 55953 ... c Min unsat cost LB: 55970 ... c Min unsat cost LB: 55979 ... c Min unsat cost LB: 55988 ... c Min unsat cost LB: 56030 ... c Min unsat cost LB: 56050 ... c Min unsat cost LB: 56089 ... c Min unsat cost LB: 56202 ... c Min unsat cost LB: 56326 ... c Min unsat cost LB: 56327 ... c Min unsat cost LB: 56336 ... c Min unsat cost LB: 56340 ... c Min unsat cost LB: 56344 ... c Min unsat cost LB: 56347 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56418 ... c Min unsat cost LB: 56426 ... c Min unsat cost LB: 56481 ... c Min unsat cost LB: 56487 ... c Min unsat cost LB: 56502 ... c Min unsat cost LB: 56508 ... c Min unsat cost LB: 56592 ... c Min unsat cost LB: 56606 ... c Min unsat cost LB: 56629 ... c Min unsat cost LB: 56649 ... c Min unsat cost LB: 56650 ... c Min unsat cost LB: 56659 ... c Min unsat cost LB: 56660 ... c Min unsat cost LB: 56693 ... c Min unsat cost LB: 56697 ... c Min unsat cost LB: 56707 ... c Min unsat cost LB: 56708 ... c Min unsat cost LB: 56710 ... c Min unsat cost LB: 56717 ... c Min unsat cost LB: 56718 ... c Min unsat cost LB: 56720 ... c Min unsat cost LB: 56729 ... c Min unsat cost LB: 56751 ... c Min unsat cost LB: 56752 ... c Min unsat cost LB: 56764 ... c Min unsat cost LB: 56787 ... c Min unsat cost LB: 56790 ... c Min unsat cost LB: 56791 ... c Min unsat cost LB: 56796 ... c Min unsat cost LB: 56797 ... c Min unsat cost LB: 56798 ... c Min unsat cost LB: 56806 ... c Min unsat cost LB: 56807 ... c Min unsat cost LB: 56809 ... c Min unsat cost LB: 56810 ... c Min unsat cost LB: 56816 ... c Min unsat cost LB: 56817 ... c Min unsat cost LB: 56823 ... c Min unsat cost LB: 56824 ... c Min unsat cost LB: 56825 ... c Min unsat cost LB: 56826 ... c Min unsat cost LB: 56827 ... c Min unsat cost LB: 56828 ... c Min unsat cost LB: 56829 ... c Min unsat cost LB: 56830 ... c Min unsat cost LB: 56831 ... c Min unsat cost LB: 56832 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56834 ... c Min unsat cost LB: 56835 ... c Min unsat cost LB: 56836 ... c Min unsat cost LB: 56837 ... c Min unsat cost LB: 56838 ... c Min unsat cost LB: 56839 ... c Min unsat cost LB: 56840 ... c Min unsat cost LB: 56841 ... c Min unsat cost LB: 56842 ... c Min unsat cost LB: 56844 ... c Min unsat cost LB: 56845 ... c Min unsat cost LB: 56846 ... c Min unsat cost LB: 56847 ... c Min unsat cost LB: 56848 ... c Min unsat cost LB: 56849 ... c Min unsat cost LB: 56855 ... c Min unsat cost LB: 56856 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56858 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56860 ... c Min unsat cost LB: 56861 ... c Min unsat cost LB: 56862 ... c Min unsat cost LB: 56863 ... c Min unsat cost LB: 56864 ... c Min unsat cost LB: 56865 ... c Min unsat cost LB: 56866 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56868 ... c Min unsat cost LB: 56869 ... c Min unsat cost LB: 56871 ... c Min unsat cost LB: 56882 ... c Min unsat cost LB: 56883 ... c Min unsat cost LB: 56884 ... c Min unsat cost LB: 56885 ... c Min unsat cost LB: 56886 ... c Min unsat cost LB: 56887 ... c Min unsat cost LB: 56888 ... c Min unsat cost LB: 56889 ... c Min unsat cost LB: 56890 ... c Min unsat cost LB: 56891 ... c Min unsat cost LB: 56898 ... c Min unsat cost LB: 56951 ... c Min unsat cost LB: 56973 ... c Min unsat cost LB: 56974 ... c Min unsat cost LB: 56975 ... c Min unsat cost LB: 56982 ... c Min unsat cost LB: 56983 ... c Min unsat cost LB: 56984 ... c Min unsat cost LB: 56985 ... c Min unsat cost LB: 56986 ... c Min unsat cost LB: 56987 ... c Min unsat cost LB: 56988 ... c Min unsat cost LB: 56989 ... c Min unsat cost LB: 56990 ... c Min unsat cost LB: 56991 ... c Min unsat cost LB: 56992 ... c Min unsat cost LB: 56994 ... c Min unsat cost LB: 56995 ... c Min unsat cost LB: 57001 ... c Min unsat cost LB: 57010 ... c Min unsat cost LB: 57013 ... c Min unsat cost LB: 57016 ... c Min unsat cost LB: 57017 ... c Min unsat cost LB: 57019 ... c Min unsat cost LB: 57020 ... c Min unsat cost LB: 57021 ... c Min unsat cost LB: 57022 ... c Min unsat cost LB: 57023 ... c Min unsat cost LB: 57024 ... c Min unsat cost LB: 57026 ... c Min unsat cost LB: 57027 ... c Min unsat cost LB: 57028 ... c Min unsat cost LB: 57030 ... c Min unsat cost LB: 57031 ... c Min unsat cost LB: 57034 ... c Min unsat cost LB: 57036 ... c Min unsat cost LB: 57099 ... c Min unsat cost LB: 57100 ... c Min unsat cost LB: 57101 ... c Min unsat cost LB: 57105 ... c Min unsat cost LB: 57109 ... c Min unsat cost LB: 57110 ... c Min unsat cost LB: 57111 ... c Min unsat cost LB: 57113 ... c Min unsat cost LB: 57115 ... c Min unsat cost LB: 57116 ... c Min unsat cost LB: 57123 ... c Min unsat cost LB: 57138 ... c Min unsat cost LB: 57139 ... c Min unsat cost LB: 57140 ... c Min unsat cost LB: 57142 ... c Min unsat cost LB: 57143 ... c Min unsat cost LB: 57144 ... c Min unsat cost LB: 57145 ... c Min unsat cost LB: 57146 ... c Min unsat cost LB: 57147 ... c Min unsat cost LB: 57148 ... c Min unsat cost LB: 57149 ... c Min unsat cost LB: 57150 ... c Min unsat cost LB: 57153 ... c Min unsat cost LB: 57156 ... c Min unsat cost LB: 57159 ... c Min unsat cost LB: 57161 ... c Min unsat cost LB: 57162 ... c Min unsat cost LB: 57164 ... c Min unsat cost LB: 57169 ... c Min unsat cost LB: 57174 ... c Min unsat cost LB: 57176 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57179 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57187 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57190 ... c Min unsat cost LB: 57191 ... c Min unsat cost LB: 57192 ... c Min unsat cost LB: 57194 ... c Min unsat cost LB: 57195 ... c Min unsat cost LB: 57198 ... c Min unsat cost LB: 57199 ... c Min unsat cost LB: 57201 ... c Min unsat cost LB: 57202 ... c Min unsat cost LB: 57206 ... c Min unsat cost LB: 57209 ... c Min unsat cost LB: 57210 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57212 ... c Min unsat cost LB: 57213 ... c Min unsat cost LB: 57218 ... c Min unsat cost LB: 57220 ... c Min unsat cost LB: 57225 ... c Min unsat cost LB: 57237 ... c Min unsat cost LB: 57238 ... c Min unsat cost LB: 57239 ... c Min unsat cost LB: 57240 ... c Min unsat cost LB: 57261 ... c Min unsat cost LB: 57262 ... c Min unsat cost LB: 57281 ... c Min unsat cost LB: 57282 ... c Min unsat cost LB: 57284 ... c Min unsat cost LB: 57303 ... c Min unsat cost LB: 57304 ... c Min unsat cost LB: 57307 ... c Min unsat cost LB: 57308 ... c Min unsat cost LB: 57350 ... c Min unsat cost LB: 57360 ... c Min unsat cost LB: 57361 ... c Min unsat cost LB: 57445 ... c Min unsat cost LB: 57456 ... c Min unsat cost LB: 57457 ... c Min unsat cost LB: 57461 ... c Min unsat cost LB: 57511 ... c Min unsat cost LB: 57538 ... c Min unsat cost LB: 57541 ... c Min unsat cost LB: 57542 ... c Min unsat cost LB: 57543 ... c Min unsat cost LB: 57553 ... c Min unsat cost LB: 57554 ... c Min unsat cost LB: 57555 ... c Min unsat cost LB: 57562 ... c Min unsat cost LB: 57563 ... c Min unsat cost LB: 57565 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57570 ... c Min unsat cost LB: 57571 ... c Min unsat cost LB: 57573 ... c Min unsat cost LB: 57599 ... c Min unsat cost LB: 57601 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57605 ... c Min unsat cost LB: 57609 ... c Min unsat cost LB: 57646 ... c Min unsat cost LB: 57648 ... c Min unsat cost LB: 57649 ... c Min unsat cost LB: 57657 ... c Min unsat cost LB: 57660 ... c Min unsat cost LB: 57661 ... c Min unsat cost LB: 57665 ... c Min unsat cost LB: 57674 ... c Min unsat cost LB: 57675 ... c Min unsat cost LB: 57676 ... c Min unsat cost LB: 57677 ... c Min unsat cost LB: 57684 ... c Min unsat cost LB: 57685 ... c Min unsat cost LB: 57686 ... c Min unsat cost LB: 57687 ... c Min unsat cost LB: 57688 ... c Min unsat cost LB: 57689 ... c Min unsat cost LB: 57690 ... c Min unsat cost LB: 57691 ... c Min unsat cost LB: 57692 ... c Min unsat cost LB: 57693 ... c Min unsat cost LB: 57694 ... c Min unsat cost LB: 57695 ... c Min unsat cost LB: 57697 ... c Min unsat cost LB: 57708 ... c Min unsat cost LB: 57715 ... c Min unsat cost LB: 57716 ... c Min unsat cost LB: 57732 ... c Min unsat cost LB: 57740 ... c Min unsat cost LB: 57742 ... c Min unsat cost LB: 57749 ... c Min unsat cost LB: 57750 ... c Min unsat cost LB: 57751 ... c Min unsat cost LB: 57752 ... c Min unsat cost LB: 57753 ... c Min unsat cost LB: 57754 ... c Min unsat cost LB: 57755 ... c Min unsat cost LB: 57756 ... c Min unsat cost LB: 57757 ... c Min unsat cost LB: 57758 ... c Min unsat cost LB: 57759 ... c Min unsat cost LB: 57760 ... c Min unsat cost LB: 57776 ... c Min unsat cost LB: 57777 ... c Min unsat cost LB: 57779 ... c Min unsat cost LB: 57786 ... c Min unsat cost LB: 57787 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57794 ... c Min unsat cost LB: 57855 ... c Min unsat cost LB: 57995 ... c Min unsat cost LB: 58004 ... c Min unsat cost LB: 58005 ... c Min unsat cost LB: 58011 ... c Min unsat cost LB: 58014 ... c Min unsat cost LB: 58015 ... c Min unsat cost LB: 58017 ... c Min unsat cost LB: 58018 ... c Min unsat cost LB: 58022 ... c Min unsat cost LB: 58024 ... c Min unsat cost LB: 58025 ... c Min unsat cost LB: 58026 ... c Min unsat cost LB: 58027 ... c Min unsat cost LB: 58030 ... c Min unsat cost LB: 58031 ... c Min unsat cost LB: 58032 ... c Min unsat cost LB: 58033 ... c Min unsat cost LB: 58034 ... c Min unsat cost LB: 58037 ... c Min unsat cost LB: 58064 ... c Min unsat cost LB: 58067 ... c Min unsat cost LB: 58079 ... c Min unsat cost LB: 58080 ... c Min unsat cost LB: 58081 ... c Min unsat cost LB: 58111 ... c Min unsat cost LB: 58112 ... c Min unsat cost LB: 58113 ... c Min unsat cost LB: 58114 ... c Min unsat cost LB: 58115 ... c Min unsat cost LB: 58116 ... c Min unsat cost LB: 58117 ... c Min unsat cost LB: 58118 ... c Min unsat cost LB: 58119 ... c Min unsat cost LB: 58120 ... c Min unsat cost LB: 58121 ... c Min unsat cost LB: 58122 ... c Min unsat cost LB: 58123 ... c Min unsat cost LB: 58144 ... c Min unsat cost LB: 58145 ... c Min unsat cost LB: 58146 ... c Min unsat cost LB: 58147 ... c Min unsat cost LB: 58148 ... c Min unsat cost LB: 58181 ... c Min unsat cost LB: 58211 ... c Min unsat cost LB: 58212 ... c Min unsat cost LB: 58213 ... c Min unsat cost LB: 58214 ... c Min unsat cost LB: 58225 ... c Min unsat cost LB: 58314 ... c Min unsat cost LB: 58327 ... c Min unsat cost LB: 58328 ... c Min unsat cost LB: 58331 ... c Min unsat cost LB: 58351 ... c Min unsat cost LB: 58352 ... c Min unsat cost LB: 58356 ... c Min unsat cost LB: 58362 ... c Min unsat cost LB: 58363 ... c Min unsat cost LB: 58371 ... c Min unsat cost LB: 58372 ... c Min unsat cost LB: 58375 ... c Min unsat cost LB: 58387 ... c Min unsat cost LB: 58388 ... c Min unsat cost LB: 58402 ... c Min unsat cost LB: 58413 ... c Min unsat cost LB: 58417 ... c Min unsat cost LB: 58418 ... c Min unsat cost LB: 58420 ... c Min unsat cost LB: 58432 ... c Min unsat cost LB: 58433 ... c Min unsat cost LB: 58434 ... c Min unsat cost LB: 58437 ... c Min unsat cost LB: 58440 ... c Min unsat cost LB: 58441 ... c Min unsat cost LB: 58443 ... c Min unsat cost LB: 58444 ... c Min unsat cost LB: 58471 ... c Min unsat cost LB: 58472 ... c Min unsat cost LB: 58473 ... c Min unsat cost LB: 58474 ... c Min unsat cost LB: 58475 ... c Min unsat cost LB: 58476 ... c Min unsat cost LB: 58477 ... c Min unsat cost LB: 58478 ... c Min unsat cost LB: 58479 ... c Min unsat cost LB: 58480 ... c Min unsat cost LB: 58481 ... c Min unsat cost LB: 58482 ... c Min unsat cost LB: 58483 ... c Min unsat cost LB: 58484 ... c Min unsat cost LB: 58485 ... c Min unsat cost LB: 58486 ... c Min unsat cost LB: 58487 ... c Min unsat cost LB: 58488 ... c Min unsat cost LB: 58489 ... c Min unsat cost LB: 58490 ... c Min unsat cost LB: 58491 ... c Min unsat cost LB: 58492 ... c Min unsat cost LB: 58493 ... c Min unsat cost LB: 58494 ... c Min unsat cost LB: 58495 ... c Min unsat cost LB: 58496 ... c Min unsat cost LB: 58497 ... c Min unsat cost LB: 58498 ... c Min unsat cost LB: 58499 ... c Min unsat cost LB: 58501 ... c Min unsat cost LB: 58502 ... c Min unsat cost LB: 58503 ... c Min unsat cost LB: 58504 ... c Min unsat cost LB: 58505 ... c Min unsat cost LB: 58506 ... c Min unsat cost LB: 58507 ... c Min unsat cost LB: 58508 ... c Min unsat cost LB: 58509 ... c Min unsat cost LB: 58510 ... c Min unsat cost LB: 58511 ... c Min unsat cost LB: 58512 ... c Min unsat cost LB: 58513 ... c Min unsat cost LB: 58514 ... c Min unsat cost LB: 58515 ... c Min unsat cost LB: 58516 ... c Min unsat cost LB: 58517 ... c Min unsat cost LB: 58518 ... c Min unsat cost LB: 58519 ... c Min unsat cost LB: 58520 ... c Min unsat cost LB: 58521 ... c Min unsat cost LB: 58522 ... c Min unsat cost LB: 58523 ... c Min unsat cost LB: 58524 ... c Min unsat cost LB: 58525 ... c Min unsat cost LB: 58526 ... c Min unsat cost LB: 58527 ... c Min unsat cost LB: 58528 ... c Min unsat cost LB: 58529 ... c Min unsat cost LB: 58530 ... c Min unsat cost LB: 58533 ... c Min unsat cost LB: 58537 ... c Min unsat cost LB: 58539 ... c Min unsat cost LB: 58540 ... c Min unsat cost LB: 58541 ... c Min unsat cost LB: 58543 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 58547 ... c Min unsat cost LB: 58550 ... c Min unsat cost LB: 58552 ... c Min unsat cost LB: 58558 ... c Min unsat cost LB: 58559 ... c Min unsat cost LB: 58560 ... c Min unsat cost LB: 58561 ... c Min unsat cost LB: 58565 ... c Min unsat cost LB: 58566 ... c Min unsat cost LB: 58567 ... c Min unsat cost LB: 58571 ... c Min unsat cost LB: 58572 ... c Min unsat cost LB: 58573 ... c Min unsat cost LB: 58574 ... c Min unsat cost LB: 58575 ... c Min unsat cost LB: 58576 ... c Min unsat cost LB: 58577 ... c Min unsat cost LB: 58578 ... c Min unsat cost LB: 58579 ... c Min unsat cost LB: 58580 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58582 ... c Min unsat cost LB: 58583 ... c Min unsat cost LB: 58584 ... c Min unsat cost LB: 58585 ... c Min unsat cost LB: 58697 ... c Min unsat cost LB: 58698 ... c Min unsat cost LB: 58699 ... c Min unsat cost LB: 58700 ... c Min unsat cost LB: 58701 ... c Min unsat cost LB: 58702 ... c Min unsat cost LB: 58703 ... c Min unsat cost LB: 58704 ... c Min unsat cost LB: 58705 ... c Min unsat cost LB: 58706 ... c Min unsat cost LB: 58707 ... c Min unsat cost LB: 58708 ... c Min unsat cost LB: 58709 ... c Min unsat cost LB: 58710 ... c Min unsat cost LB: 58711 ... c Min unsat cost LB: 58712 ... c Min unsat cost LB: 58713 ... c Min unsat cost LB: 58714 ... c Min unsat cost LB: 58715 ... c Min unsat cost LB: 58716 ... c Min unsat cost LB: 58717 ... c Min unsat cost LB: 58718 ... c Min unsat cost LB: 58719 ... c Min unsat cost LB: 58720 ... c Min unsat cost LB: 58721 ... c Min unsat cost LB: 58722 ... c Min unsat cost LB: 58723 ... c Min unsat cost LB: 58724 ... c Min unsat cost LB: 58725 ... c Min unsat cost LB: 58726 ... c Min unsat cost LB: 58727 ... c Min unsat cost LB: 58728 ... c Min unsat cost LB: 58729 ... c Min unsat cost LB: 58730 ... c Min unsat cost LB: 58731 ... c Min unsat cost LB: 58732 ... c Min unsat cost LB: 58733 ... c Min unsat cost LB: 58734 ... c Min unsat cost LB: 58735 ... c Min unsat cost LB: 58736 ... c Min unsat cost LB: 58737 ... c Min unsat cost LB: 58738 ... c Min unsat cost LB: 58739 ... c Min unsat cost LB: 58740 ... c Min unsat cost LB: 58746 ... c Min unsat cost LB: 58748 ... c Min unsat cost LB: 58749 ... c Min unsat cost LB: 58750 ... c Min unsat cost LB: 58751 ... c Min unsat cost LB: 58752 ... c Min unsat cost LB: 58753 ... c Min unsat cost LB: 58754 ... c Min unsat cost LB: 58755 ... c Min unsat cost LB: 58756 ... c Min unsat cost LB: 58757 ... c Min unsat cost LB: 58758 ... c Min unsat cost LB: 58759 ... c Min unsat cost LB: 58760 ... c Min unsat cost LB: 58761 ... c Min unsat cost LB: 58762 ... c Min unsat cost LB: 58764 ... c Min unsat cost LB: 58769 ... c Min unsat cost LB: 58770 ... c Min unsat cost LB: 58771 ... c Min unsat cost LB: 58776 ... c Min unsat cost LB: 58777 ... c Min unsat cost LB: 58778 ... c Min unsat cost LB: 58779 ... c Min unsat cost LB: 58780 ... c Min unsat cost LB: 58781 ... c Min unsat cost LB: 58782 ... c Min unsat cost LB: 58783 ... c Min unsat cost LB: 58786 ... c Min unsat cost LB: 58787 ... c Min unsat cost LB: 58789 ... c Min unsat cost LB: 58791 ... c Min unsat cost LB: 58792 ... c Min unsat cost LB: 58793 ... c Min unsat cost LB: 58794 ... c Min unsat cost LB: 58802 ... c Min unsat cost LB: 58803 ... c Min unsat cost LB: 58804 ... c Min unsat cost LB: 58805 ... c Min unsat cost LB: 58806 ... c Min unsat cost LB: 58807 ... c Min unsat cost LB: 58809 ... c Min unsat cost LB: 58811 ... c Min unsat cost LB: 58812 ... c Min unsat cost LB: 58813 ... c Min unsat cost LB: 58814 ... c Min unsat cost LB: 58815 ... c Min unsat cost LB: 58816 ... c Min unsat cost LB: 58817 ... c Min unsat cost LB: 58818 ... c Min unsat cost LB: 58819 ... c Min unsat cost LB: 58821 ... c Min unsat cost LB: 58822 ... c Min unsat cost LB: 58823 ... c Min unsat cost LB: 58826 ... c Min unsat cost LB: 58827 ... c Min unsat cost LB: 58828 ... c Min unsat cost LB: 58829 ... c Min unsat cost LB: 58830 ... c Min unsat cost LB: 58831 ... c Min unsat cost LB: 58832 ... c Min unsat cost LB: 58833 ... c Min unsat cost LB: 58834 ... c Min unsat cost LB: 58835 ... c Min unsat cost LB: 58836 ... c Min unsat cost LB: 58837 ... c Min unsat cost LB: 58844 ... c Min unsat cost LB: 58845 ... c Min unsat cost LB: 58848 ... c Min unsat cost LB: 58855 ... c Min unsat cost LB: 58856 ... c Min unsat cost LB: 58857 ... c Min unsat cost LB: 58858 ... c Min unsat cost LB: 58859 ... c Min unsat cost LB: 58860 ... c Min unsat cost LB: 58861 ... c Min unsat cost LB: 58862 ... c Min unsat cost LB: 58863 ... c Min unsat cost LB: 58864 ... c Min unsat cost LB: 58865 ... c Min unsat cost LB: 58866 ... c Min unsat cost LB: 58867 ... c Min unsat cost LB: 58869 ... c Min unsat cost LB: 58870 ... c Min unsat cost LB: 58871 ... c Min unsat cost LB: 58872 ... c Min unsat cost LB: 58873 ... c Min unsat cost LB: 58874 ... c Min unsat cost LB: 58875 ... c Min unsat cost LB: 58876 ... c Min unsat cost LB: 58880 ... c Min unsat cost LB: 58887 ... c Min unsat cost LB: 58888 ... c Min unsat cost LB: 58889 ... c Min unsat cost LB: 58890 ... c Min unsat cost LB: 58894 ... c Min unsat cost LB: 58896 ... c Min unsat cost LB: 58898 ... c Min unsat cost LB: 58900 ... c Min unsat cost LB: 58901 ... c Min unsat cost LB: 58903 ... c Min unsat cost LB: 58912 ... c Min unsat cost LB: 58917 ... c Min unsat cost LB: 58923 ... c Min unsat cost LB: 58924 ... c Min unsat cost LB: 58925 ... c Min unsat cost LB: 58926 ... c Min unsat cost LB: 58927 ... c Min unsat cost LB: 58928 ... c Min unsat cost LB: 58929 ... c Min unsat cost LB: 58930 ... c Min unsat cost LB: 58931 ... c Min unsat cost LB: 58932 ... c Min unsat cost LB: 58933 ... c Min unsat cost LB: 58934 ... c Min unsat cost LB: 58935 ... c Min unsat cost LB: 58936 ... c Min unsat cost LB: 58937 ... c Min unsat cost LB: 58938 ... c Min unsat cost LB: 58939 ... c Min unsat cost LB: 58942 ... c Min unsat cost LB: 58943 ... c Min unsat cost LB: 58944 ... c Min unsat cost LB: 58947 ... c Min unsat cost LB: 58950 ... c Min unsat cost LB: 58951 ... c Min unsat cost LB: 58953 ... c Min unsat cost LB: 58964 ... c Min unsat cost LB: 58965 ... c Min unsat cost LB: 58966 ... c Min unsat cost LB: 58967 ... c Min unsat cost LB: 58968 ... c Min unsat cost LB: 58969 ... c Min unsat cost LB: 58970 ... c Min unsat cost LB: 58971 ... c Min unsat cost LB: 58974 ... c Min unsat cost LB: 58976 ... c Min unsat cost LB: 58979 ... c Min unsat cost LB: 58982 ... c Min unsat cost LB: 58983 ... c Min unsat cost LB: 58984 ... c Min unsat cost LB: 58987 ... c Min unsat cost LB: 58988 ... c Min unsat cost LB: 58989 ... c Min unsat cost LB: 58990 ... c Min unsat cost LB: 58991 ... c Min unsat cost LB: 58992 ... c Min unsat cost LB: 58993 ... c Min unsat cost LB: 58994 ... c Min unsat cost LB: 58995 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 58997 ... c Min unsat cost LB: 59000 ... c Min unsat cost LB: 59001 ... c Min unsat cost LB: 59002 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59006 ... c Min unsat cost LB: 59007 ... c Min unsat cost LB: 59008 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59015 ... c Min unsat cost LB: 59016 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59018 ... c Min unsat cost LB: 59019 ... c Min unsat cost LB: 59021 ... c Min unsat cost LB: 59022 ... c Min unsat cost LB: 59023 ... c Min unsat cost LB: 59024 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59026 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59029 ... c Min unsat cost LB: 59030 ... c Min unsat cost LB: 59031 ... c Min unsat cost LB: 59032 ... c Min unsat cost LB: 59033 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59041 ... c Min unsat cost LB: 59068 ... c Min unsat cost LB: 59069 ... c Min unsat cost LB: 59070 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59072 ... c Min unsat cost LB: 59074 ... c Min unsat cost LB: 59076 ... c Min unsat cost LB: 59080 ... c Min unsat cost LB: 59081 ... c Min unsat cost LB: 59082 ... c Min unsat cost LB: 59083 ... c MiKilled 1815.475u 4.260s 30:21.89 99.8% 0+0k 0+0io 0pf+0w