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_130_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0001.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_130_0001.txt.wcnf *** c c Min unsat cost LB: 616 ... c Min unsat cost LB: 968 ... c Min unsat cost LB: 1232 ... c Min unsat cost LB: 2028 ... c Min unsat cost LB: 2979 ... c Min unsat cost LB: 3628 ... c Min unsat cost LB: 4235 ... c Min unsat cost LB: 5066 ... c Min unsat cost LB: 5693 ... c Min unsat cost LB: 5799 ... c Min unsat cost LB: 6503 ... c Min unsat cost LB: 6584 ... c Min unsat cost LB: 6848 ... c Min unsat cost LB: 7535 ... c Min unsat cost LB: 7707 ... c Min unsat cost LB: 8675 ... c Min unsat cost LB: 8939 ... c Min unsat cost LB: 9079 ... c Min unsat cost LB: 9563 ... c Min unsat cost LB: 9647 ... c Min unsat cost LB: 9765 ... c Min unsat cost LB: 10112 ... c Min unsat cost LB: 10739 ... c Min unsat cost LB: 10793 ... c Min unsat cost LB: 10998 ... c Min unsat cost LB: 11829 ... c Min unsat cost LB: 12075 ... c Min unsat cost LB: 12469 ... c Min unsat cost LB: 13300 ... c Min unsat cost LB: 13334 ... c Min unsat cost LB: 13463 ... c Min unsat cost LB: 14090 ... c Min unsat cost LB: 15076 ... c Min unsat cost LB: 15941 ... c Min unsat cost LB: 16927 ... c Min unsat cost LB: 17167 ... c Min unsat cost LB: 17760 ... c Min unsat cost LB: 18118 ... c Min unsat cost LB: 18870 ... c Min unsat cost LB: 19317 ... c Min unsat cost LB: 19641 ... c Min unsat cost LB: 19910 ... c Min unsat cost LB: 20565 ... c Min unsat cost LB: 20710 ... c Min unsat cost LB: 21303 ... c Min unsat cost LB: 21648 ... c Min unsat cost LB: 22906 ... c Min unsat cost LB: 23243 ... c Min unsat cost LB: 23983 ... c Min unsat cost LB: 24864 ... c Min unsat cost LB: 24921 ... c Min unsat cost LB: 24941 ... c Min unsat cost LB: 25231 ... c Min unsat cost LB: 25735 ... c Min unsat cost LB: 26599 ... c Min unsat cost LB: 26812 ... c Min unsat cost LB: 27137 ... c Min unsat cost LB: 27492 ... c Min unsat cost LB: 27727 ... c Min unsat cost LB: 28319 ... c Min unsat cost LB: 28388 ... c Min unsat cost LB: 29019 ... c Min unsat cost LB: 29356 ... c Min unsat cost LB: 29643 ... c Min unsat cost LB: 30274 ... c Min unsat cost LB: 30546 ... c Min unsat cost LB: 30800 ... c Min unsat cost LB: 30852 ... c Min unsat cost LB: 30979 ... c Min unsat cost LB: 31776 ... c Min unsat cost LB: 32661 ... c Min unsat cost LB: 33037 ... c Min unsat cost LB: 33114 ... c Min unsat cost LB: 33139 ... c Min unsat cost LB: 33140 ... c Min unsat cost LB: 33485 ... c Min unsat cost LB: 33861 ... c Min unsat cost LB: 33949 ... c Min unsat cost LB: 34007 ... c Min unsat cost LB: 34505 ... c Min unsat cost LB: 34817 ... c Min unsat cost LB: 35076 ... c Min unsat cost LB: 35310 ... c Min unsat cost LB: 35346 ... c Min unsat cost LB: 35962 ... c Min unsat cost LB: 36231 ... c Min unsat cost LB: 36607 ... c Min unsat cost LB: 36671 ... c Min unsat cost LB: 37359 ... c Min unsat cost LB: 37975 ... c Min unsat cost LB: 38084 ... c Min unsat cost LB: 38217 ... c Min unsat cost LB: 38833 ... c Min unsat cost LB: 38902 ... c Min unsat cost LB: 39010 ... c Min unsat cost LB: 39227 ... c Min unsat cost LB: 39382 ... c Min unsat cost LB: 39786 ... c Min unsat cost LB: 39819 ... c Min unsat cost LB: 39847 ... c Min unsat cost LB: 40582 ... c Min unsat cost LB: 40618 ... c Min unsat cost LB: 40798 ... c Min unsat cost LB: 41038 ... c Min unsat cost LB: 41274 ... c Min unsat cost LB: 41444 ... c Min unsat cost LB: 41544 ... c Min unsat cost LB: 41659 ... c Min unsat cost LB: 41901 ... c Min unsat cost LB: 42000 ... c Min unsat cost LB: 42036 ... c Min unsat cost LB: 42142 ... c Min unsat cost LB: 42269 ... c Min unsat cost LB: 42373 ... c Min unsat cost LB: 42510 ... c Min unsat cost LB: 42834 ... c Min unsat cost LB: 42904 ... c Min unsat cost LB: 43004 ... c Min unsat cost LB: 43059 ... c Min unsat cost LB: 43140 ... c Min unsat cost LB: 43353 ... c Min unsat cost LB: 43587 ... c Min unsat cost LB: 43700 ... c Min unsat cost LB: 43702 ... c Min unsat cost LB: 43730 ... c Min unsat cost LB: 43826 ... c Min unsat cost LB: 43995 ... c Min unsat cost LB: 44049 ... c Min unsat cost LB: 44111 ... c Min unsat cost LB: 44192 ... c Min unsat cost LB: 44278 ... c Min unsat cost LB: 44345 ... c Min unsat cost LB: 44415 ... c Min unsat cost LB: 44596 ... c Min unsat cost LB: 44865 ... c Min unsat cost LB: 44910 ... c Min unsat cost LB: 44911 ... c Min unsat cost LB: 44956 ... c Min unsat cost LB: 45474 ... c Min unsat cost LB: 45489 ... c Min unsat cost LB: 45590 ... c Min unsat cost LB: 46256 ... c Min unsat cost LB: 46723 ... c Min unsat cost LB: 46857 ... c Min unsat cost LB: 46933 ... c Min unsat cost LB: 47076 ... c Min unsat cost LB: 47187 ... c Min unsat cost LB: 47330 ... c Min unsat cost LB: 47421 ... c Min unsat cost LB: 47576 ... c Min unsat cost LB: 47840 ... c Min unsat cost LB: 47909 ... c Min unsat cost LB: 48010 ... c Min unsat cost LB: 48181 ... c Min unsat cost LB: 48233 ... c Min unsat cost LB: 48252 ... c Min unsat cost LB: 48405 ... c Min unsat cost LB: 48417 ... c Min unsat cost LB: 48528 ... c Min unsat cost LB: 48537 ... c Min unsat cost LB: 49167 ... c Min unsat cost LB: 49192 ... c Min unsat cost LB: 49244 ... c Min unsat cost LB: 49253 ... c Min unsat cost LB: 49364 ... c Min unsat cost LB: 49376 ... c Min unsat cost LB: 49442 ... c Min unsat cost LB: 49475 ... c Min unsat cost LB: 49543 ... c Min unsat cost LB: 49677 ... c Min unsat cost LB: 49810 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 49887 ... c Min unsat cost LB: 49988 ... c Min unsat cost LB: 50045 ... c Min unsat cost LB: 50157 ... c Min unsat cost LB: 50248 ... c Min unsat cost LB: 50321 ... c Min unsat cost LB: 50397 ... c Min unsat cost LB: 50542 ... c Min unsat cost LB: 50603 ... c Min unsat cost LB: 50611 ... c Min unsat cost LB: 50626 ... c Min unsat cost LB: 50660 ... c Min unsat cost LB: 50743 ... c Min unsat cost LB: 50768 ... c Min unsat cost LB: 50788 ... c Min unsat cost LB: 50819 ... c Min unsat cost LB: 50866 ... c Min unsat cost LB: 50902 ... c Min unsat cost LB: 50933 ... c Min unsat cost LB: 50947 ... c Min unsat cost LB: 50988 ... c Min unsat cost LB: 51125 ... c Min unsat cost LB: 51167 ... c Min unsat cost LB: 51267 ... c Min unsat cost LB: 51269 ... c Min unsat cost LB: 51297 ... c Min unsat cost LB: 51336 ... c Min unsat cost LB: 51344 ... c Min unsat cost LB: 51371 ... c Min unsat cost LB: 51388 ... c Min unsat cost LB: 51399 ... c Min unsat cost LB: 51413 ... c Min unsat cost LB: 51479 ... c Min unsat cost LB: 51512 ... c Min unsat cost LB: 51539 ... c Min unsat cost LB: 51637 ... c Min unsat cost LB: 51718 ... c Min unsat cost LB: 51757 ... c Min unsat cost LB: 51758 ... c Min unsat cost LB: 51811 ... c Min unsat cost LB: 51849 ... c Min unsat cost LB: 51894 ... c Min unsat cost LB: 52057 ... c Min unsat cost LB: 52091 ... c Min unsat cost LB: 52194 ... c Min unsat cost LB: 52197 ... c Min unsat cost LB: 52224 ... c Min unsat cost LB: 52243 ... c Min unsat cost LB: 52331 ... c Min unsat cost LB: 52365 ... c Min unsat cost LB: 52395 ... c Min unsat cost LB: 52473 ... c Min unsat cost LB: 52508 ... c Min unsat cost LB: 52620 ... c Min unsat cost LB: 52675 ... c Min unsat cost LB: 52692 ... c Min unsat cost LB: 52841 ... c Min unsat cost LB: 52909 ... c Min unsat cost LB: 53096 ... c Min unsat cost LB: 53131 ... c Min unsat cost LB: 53172 ... c Min unsat cost LB: 53201 ... c Min unsat cost LB: 53408 ... c Min unsat cost LB: 53516 ... c Min unsat cost LB: 53586 ... c Min unsat cost LB: 53681 ... c Min unsat cost LB: 53728 ... c Min unsat cost LB: 53783 ... c Min unsat cost LB: 53860 ... c Min unsat cost LB: 53861 ... c Min unsat cost LB: 53957 ... c Min unsat cost LB: 53978 ... c Min unsat cost LB: 54195 ... c Min unsat cost LB: 54549 ... c Min unsat cost LB: 54630 ... c Min unsat cost LB: 54677 ... c Min unsat cost LB: 54694 ... c Min unsat cost LB: 54731 ... c Min unsat cost LB: 54733 ... c Min unsat cost LB: 54749 ... c Min unsat cost LB: 54963 ... c Min unsat cost LB: 54993 ... c Min unsat cost LB: 55038 ... c Min unsat cost LB: 55061 ... c Min unsat cost LB: 55062 ... c Min unsat cost LB: 55063 ... c Min unsat cost LB: 55076 ... c Min unsat cost LB: 55085 ... c Min unsat cost LB: 55096 ... c Min unsat cost LB: 55130 ... c Min unsat cost LB: 55243 ... c Min unsat cost LB: 55262 ... c Min unsat cost LB: 55361 ... c Min unsat cost LB: 55415 ... c Min unsat cost LB: 55473 ... c Min unsat cost LB: 55482 ... c Min unsat cost LB: 55544 ... c Min unsat cost LB: 55637 ... c Min unsat cost LB: 55650 ... c Min unsat cost LB: 55667 ... c Min unsat cost LB: 55682 ... c Min unsat cost LB: 55701 ... c Min unsat cost LB: 55918 ... c Min unsat cost LB: 56148 ... c Min unsat cost LB: 56168 ... c Min unsat cost LB: 56182 ... c Min unsat cost LB: 56183 ... c Min unsat cost LB: 56187 ... c Min unsat cost LB: 56217 ... c Min unsat cost LB: 56239 ... c Min unsat cost LB: 56248 ... c Min unsat cost LB: 56268 ... c Min unsat cost LB: 56305 ... c Min unsat cost LB: 56316 ... c Min unsat cost LB: 56363 ... c Min unsat cost LB: 56374 ... c Min unsat cost LB: 56401 ... c Min unsat cost LB: 56402 ... c Min unsat cost LB: 56422 ... c Min unsat cost LB: 56435 ... c Min unsat cost LB: 56445 ... c Min unsat cost LB: 56453 ... c Min unsat cost LB: 56467 ... c Min unsat cost LB: 56536 ... c Min unsat cost LB: 56549 ... c Min unsat cost LB: 56551 ... c Min unsat cost LB: 56554 ... c Min unsat cost LB: 56565 ... c Min unsat cost LB: 56569 ... c Min unsat cost LB: 56583 ... c Min unsat cost LB: 56585 ... c Min unsat cost LB: 56586 ... c Min unsat cost LB: 56588 ... c Min unsat cost LB: 56590 ... c Min unsat cost LB: 56599 ... c Min unsat cost LB: 56605 ... c Min unsat cost LB: 56610 ... c Min unsat cost LB: 56621 ... c Min unsat cost LB: 56622 ... c Min unsat cost LB: 56627 ... c Min unsat cost LB: 56637 ... c Min unsat cost LB: 56655 ... c Min unsat cost LB: 56661 ... c Min unsat cost LB: 56666 ... c Min unsat cost LB: 56690 ... c Min unsat cost LB: 56701 ... c Min unsat cost LB: 56704 ... c Min unsat cost LB: 56715 ... c Min unsat cost LB: 56736 ... c Min unsat cost LB: 56742 ... c Min unsat cost LB: 56744 ... c Min unsat cost LB: 56747 ... c Min unsat cost LB: 56748 ... c Min unsat cost LB: 56750 ... c Min unsat cost LB: 56756 ... c Min unsat cost LB: 56759 ... c Min unsat cost LB: 56798 ... c Min unsat cost LB: 56811 ... c Min unsat cost LB: 56822 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56835 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56858 ... c Min unsat cost LB: 56889 ... c Min unsat cost LB: 56892 ... c Min unsat cost LB: 56922 ... c Min unsat cost LB: 56926 ... c Min unsat cost LB: 56936 ... c Min unsat cost LB: 56949 ... c Min unsat cost LB: 56953 ... c Min unsat cost LB: 56956 ... c Min unsat cost LB: 57011 ... c Min unsat cost LB: 57079 ... c Min unsat cost LB: 57085 ... c Min unsat cost LB: 57086 ... c Min unsat cost LB: 57104 ... c Min unsat cost LB: 57108 ... c Min unsat cost LB: 57109 ... c Min unsat cost LB: 57110 ... c Min unsat cost LB: 57111 ... c Min unsat cost LB: 57112 ... c Min unsat cost LB: 57119 ... c Min unsat cost LB: 57130 ... c Min unsat cost LB: 57132 ... c Min unsat cost LB: 57134 ... c Min unsat cost LB: 57135 ... c Min unsat cost LB: 57151 ... c Min unsat cost LB: 57152 ... c Min unsat cost LB: 57153 ... c Min unsat cost LB: 57156 ... c Min unsat cost LB: 57170 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57214 ... c Min unsat cost LB: 57231 ... c Min unsat cost LB: 57232 ... c Min unsat cost LB: 57246 ... c Min unsat cost LB: 57248 ... c Min unsat cost LB: 57252 ... c Min unsat cost LB: 57257 ... c Min unsat cost LB: 57284 ... c Min unsat cost LB: 57298 ... c Min unsat cost LB: 57316 ... c Min unsat cost LB: 57317 ... c Min unsat cost LB: 57323 ... c Min unsat cost LB: 57331 ... c Min unsat cost LB: 57341 ... c Min unsat cost LB: 57346 ... c Min unsat cost LB: 57352 ... c Min unsat cost LB: 57354 ... c Min unsat cost LB: 57355 ... c Min unsat cost LB: 57367 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57372 ... c Min unsat cost LB: 57385 ... c Min unsat cost LB: 57386 ... c Min unsat cost LB: 57389 ... c Min unsat cost LB: 57400 ... c Min unsat cost LB: 57401 ... c Min unsat cost LB: 57403 ... c Min unsat cost LB: 57417 ... c Min unsat cost LB: 57434 ... c Min unsat cost LB: 57444 ... c Min unsat cost LB: 57453 ... c Min unsat cost LB: 57472 ... c Min unsat cost LB: 57475 ... c Min unsat cost LB: 57489 ... c Min unsat cost LB: 57492 ... c Min unsat cost LB: 57495 ... c Min unsat cost LB: 57503 ... c Min unsat cost LB: 57505 ... c Min unsat cost LB: 57507 ... c Min unsat cost LB: 57512 ... c Min unsat cost LB: 57520 ... c Min unsat cost LB: 57523 ... c Min unsat cost LB: 57524 ... c Min unsat cost LB: 57526 ... c Min unsat cost LB: 57534 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57571 ... c Min unsat cost LB: 57612 ... c Min unsat cost LB: 57613 ... c Min unsat cost LB: 57625 ... c Min unsat cost LB: 57627 ... c Min unsat cost LB: 57630 ... c Min unsat cost LB: 57631 ... c Min unsat cost LB: 57632 ... c Min unsat cost LB: 57641 ... c Min unsat cost LB: 57643 ... c Min unsat cost LB: 57653 ... c Min unsat cost LB: 57654 ... c Min unsat cost LB: 57655 ... c Min unsat cost LB: 57659 ... c Min unsat cost LB: 57668 ... c Min unsat cost LB: 57669 ... c Min unsat cost LB: 57671 ... c Min unsat cost LB: 57689 ... c Min unsat cost LB: 57700 ... c Min unsat cost LB: 57701 ... c Min unsat cost LB: 57702 ... c Min unsat cost LB: 57704 ... c Min unsat cost LB: 57705 ... c Min unsat cost LB: 57710 ... c Min unsat cost LB: 57711 ... c Min unsat cost LB: 57712 ... c Min unsat cost LB: 57721 ... c Min unsat cost LB: 57732 ... c Min unsat cost LB: 57737 ... c Min unsat cost LB: 57740 ... c Min unsat cost LB: 57755 ... c Min unsat cost LB: 57756 ... c Min unsat cost LB: 57764 ... c Min unsat cost LB: 57766 ... c Min unsat cost LB: 57767 ... c Min unsat cost LB: 57769 ... c Min unsat cost LB: 57777 ... c Min unsat cost LB: 57780 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57796 ... c Min unsat cost LB: 57798 ... c Min unsat cost LB: 57802 ... c Min unsat cost LB: 57806 ... c Min unsat cost LB: 57807 ... c Min unsat cost LB: 57809 ... c Min unsat cost LB: 57820 ... c Min unsat cost LB: 57846 ... c Min unsat cost LB: 57853 ... c Min unsat cost LB: 57869 ... c Min unsat cost LB: 57870 ... c Min unsat cost LB: 57873 ... c Min unsat cost LB: 57874 ... c Min unsat cost LB: 57877 ... c Min unsat cost LB: 57878 ... c Min unsat cost LB: 57900 ... c Min unsat cost LB: 57901 ... c Min unsat cost LB: 57903 ... c Min unsat cost LB: 57914 ... c Min unsat cost LB: 57915 ... c Min unsat cost LB: 57917 ... c Min unsat cost LB: 57918 ... c Min unsat cost LB: 57923 ... c Min unsat cost LB: 57925 ... c Min unsat cost LB: 57926 ... c Min unsat cost LB: 57928 ... c Min unsat cost LB: 57930 ... c Min unsat cost LB: 57931 ... c Min unsat cost LB: 57933 ... c Min unsat cost LB: 57934 ... c Min unsat cost LB: 57935 ... c Min unsat cost LB: 57936 ... c Min unsat cost LB: 57940 ... c Min unsat cost LB: 57943 ... c Min unsat cost LB: 57960 ... c Min unsat cost LB: 57975 ... c Min unsat cost LB: 57979 ... c Min unsat cost LB: 57984 ... c Min unsat cost LB: 57996 ... c Min unsat cost LB: 58001 ... c Min unsat cost LB: 58002 ... c Min unsat cost LB: 58003 ... c Min unsat cost LB: 58004 ... c Min unsat cost LB: 58005 ... c Min unsat cost LB: 58007 ... c Min unsat cost LB: 58008 ... c Min unsat cost LB: 58009 ... c Min unsat cost LB: 58010 ... c Min unsat cost LB: 58011 ... c Min unsat cost LB: 58012 ... c Min unsat cost LB: 58027 ... c Min unsat cost LB: 58028 ... c Min unsat cost LB: 58034 ... c Min unsat cost LB: 58035 ... c Min unsat cost LB: 58038 ... c Min unsat cost LB: 58039 ... c Min unsat cost LB: 58040 ... c Min unsat cost LB: 58041 ... c Min unsat cost LB: 58042 ... c Min unsat cost LB: 58045 ... c Min unsat cost LB: 58047 ... c Min unsat cost LB: 58048 ... c Min unsat cost LB: 58049 ... c Min unsat cost LB: 58050 ... c Min unsat cost LB: 58051 ... c Min unsat cost LB: 58052 ... c Min unsat cost LB: 58054 ... c Min unsat cost LB: 58055 ... c Min unsat cost LB: 58057 ... c Min unsat cost LB: 58059 ... c Min unsat cost LB: 58060 ... c Min unsat cost LB: 58061 ... c Min unsat cost LB: 58065 ... c Min unsat cost LB: 58071 ... c Min unsat cost LB: 58072 ... c Min unsat cost LB: 58073 ... c Min unsat cost LB: 58074 ... c Min unsat cost LB: 58076 ... c Min unsat cost LB: 58077 ... c Min unsat cost LB: 58078 ... c Min unsat cost LB: 58079 ... c Min unsat cost LB: 58083 ... c Min unsat cost LB: 58084 ... c Min unsat cost LB: 58085 ... c Min unsat cost LB: 58086 ... c Min unsat cost LB: 58087 ... c Min unsat cost LB: 58088 ... c Min unsat cost LB: 58091 ... c Min unsat cost LB: 58093 ... c Min unsat cost LB: 58094 ... c Min unsat cost LB: 58099 ... c Min unsat cost LB: 58100 ... c Min unsat cost LB: 58105 ... c Min unsat cost LB: 58113 ... c Min unsat cost LB: 58114 ... c Min unsat cost LB: 58115 ... 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: 58124 ... c Min unsat cost LB: 58125 ... c Min unsat cost LB: 58127 ... c Min unsat cost LB: 58128 ... c Min unsat cost LB: 58129 ... c Min unsat cost LB: 58130 ... c Min unsat cost LB: 58131 ... c Min unsat cost LB: 58132 ... c Min unsat cost LB: 58139 ... c Min unsat cost LB: 58142 ... c Min unsat cost LB: 58144 ... c Min unsat cost LB: 58145 ... c Min unsat cost LB: 58148 ... c Min unsat cost LB: 58149 ... c Min unsat cost LB: 58163 ... c Min unsat cost LB: 58164 ... c Min unsat cost LB: 58165 ... c Min unsat cost LB: 58176 ... c Min unsat cost LB: 58177 ... c Min unsat cost LB: 58178 ... c Min unsat cost LB: 58179 ... c Min unsat cost LB: 58180 ... c Min unsat cost LB: 58181 ... c Min unsat cost LB: 58182 ... c Min unsat cost LB: 58183 ... c Min unsat cost LB: 58184 ... c Min unsat cost LB: 58185 ... c Min unsat cost LB: 58186 ... c Min unsat cost LB: 58187 ... c Min unsat cost LB: 58188 ... c Min unsat cost LB: 58189 ... c Min unsat cost LB: 58190 ... c Min unsat cost LB: 58191 ... c Min unsat cost LB: 58192 ... c Min unsat cost LB: 58193 ... c Min unsat cost LB: 58208 ... c Min unsat cost LB: 58214 ... c Min unsat cost LB: 58220 ... c Min unsat cost LB: 58225 ... c Min unsat cost LB: 58227 ... c Min unsat cost LB: 58234 ... c Min unsat cost LB: 58237 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58268 ... c Min unsat cost LB: 58323 ... c Min unsat cost LB: 58325 ... c Min unsat cost LB: 58340 ... c Min unsat cost LB: 58352 ... c Min unsat cost LB: 58396 ... c Min unsat cost LB: 58406 ... c Min unsat cost LB: 58409 ... c Min unsat cost LB: 58411 ... c Min unsat cost LB: 58413 ... c Min unsat cost LB: 58414 ... c Min unsat cost LB: 58416 ... c Min unsat cost LB: 58424 ... c Min unsat cost LB: 58425 ... c Min unsat cost LB: 58427 ... c Min unsat cost LB: 58429 ... c Min unsat cost LB: 58435 ... 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: 58446 ... c Min unsat cost LB: 58447 ... c Min unsat cost LB: 58450 ... c Min unsat cost LB: 58452 ... c Min unsat cost LB: 58453 ... c Min unsat cost LB: 58454 ... c Min unsat cost LB: 58460 ... c Min unsat cost LB: 58464 ... c Min unsat cost LB: 58465 ... c Min unsat cost LB: 58467 ... c Min unsat cost LB: 58471 ... c Min unsat cost LB: 58473 ... c Min unsat cost LB: 58476 ... c Min unsat cost LB: 58477 ... c Min unsat cost LB: 58478 ... c Min unsat cost LB: 58480 ... c Min unsat cost LB: 58482 ... c Min unsat cost LB: 58485 ... c Min unsat cost LB: 58486 ... c Min unsat cost LB: 58487 ... c Min unsat cost LB: 58492 ... c Min unsat cost LB: 58493 ... c Min unsat cost LB: 58495 ... c Min unsat cost LB: 58499 ... c Min unsat cost LB: 58500 ... 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: 58510 ... c Min unsat cost LB: 58534 ... c Min unsat cost LB: 58535 ... c Min unsat cost LB: 58536 ... c Min unsat cost LB: 58537 ... c Min unsat cost LB: 58540 ... c Min unsat cost LB: 58542 ... c Min unsat cost LB: 58543 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 58545 ... c Min unsat cost LB: 58547 ... c Min unsat cost LB: 58548 ... c Min unsat cost LB: 58549 ... c Min unsat cost LB: 58552 ... c Min unsat cost LB: 58553 ... c Min unsat cost LB: 58555 ... c Min unsat cost LB: 58556 ... c Min unsat cost LB: 58560 ... c Min unsat cost LB: 58561 ... c Min unsat cost LB: 58564 ... c Min unsat cost LB: 58569 ... c Min unsat cost LB: 58582 ... c Min unsat cost LB: 58584 ... c Min unsat cost LB: 58587 ... c Min unsat cost LB: 58588 ... c Min unsat cost LB: 58589 ... c Min unsat cost LB: 58590 ... c Min unsat cost LB: 58591 ... c Min unsat cost LB: 58592 ... c Min unsat cost LB: 58619 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58639 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 58641 ... c Min unsat cost LB: 58642 ... c Min unsat cost LB: 58645 ... c Min unsat cost LB: 58647 ... c Min unsat cost LB: 58649 ... c Min unsat cost LB: 58650 ... c Min unsat cost LB: 58653 ... c Min unsat cost LB: 58654 ... c Min unsat cost LB: 58656 ... c Min unsat cost LB: 58659 ... c Min unsat cost LB: 58660 ... c Min unsat cost LB: 58661 ... c Min unsat cost LB: 58663 ... c Min unsat cost LB: 58664 ... c Min unsat cost LB: 58665 ... c Min unsat cost LB: 58666 ... c Min unsat cost LB: 58667 ... c Min unsat cost LB: 58668 ... c Min unsat cost LB: 58669 ... c Min unsat cost LB: 58834 ... c Min unsat cost LB: 58837 ... c Min unsat cost LB: 58838 ... c Min unsat cost LB: 58839 ... c Min unsat cost LB: 58840 ... c Min unsat cost LB: 58841 ... c Min unsat cost LB: 58842 ... c Min unsat cost LB: 58843 ... c Min unsat cost LB: 58844 ... c Min unsat cost LB: 58845 ... c Min unsat cost LB: 58846 ... c Min unsat cost LB: 58847 ... c Min unsat cost LB: 58848 ... c Min unsat cost LB: 58849 ... c Min unsat cost LB: 58850 ... c Min unsat cost LB: 58852 ... c Min unsat cost LB: 58853 ... c Min unsat cost LB: 58864 ... 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: 58877 ... c Min unsat cost LB: 58878 ... c Min unsat cost LB: 58879 ... c Min unsat cost LB: 58880 ... c Min unsat cost LB: 58882 ... c Min unsat cost LB: 58883 ... c Min unsat cost LB: 58884 ... c Min unsat cost LB: 58885 ... c Min unsat cost LB: 58886 ... 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: 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: 58898 ... c Min unsat cost LB: 58899 ... c Min unsat cost LB: 58900 ... c Min unsat cost LB: 58901 ... c Min unsat cost LB: 58903 ... c Min unsat cost LB: 58904 ... c Min unsat cost LB: 58905 ... c Min unsat cost LB: 58906 ... c Min unsat cost LB: 58907 ... c Min unsat cost LB: 58908 ... c Min unsat cost LB: 58909 ... c Min unsat cost LB: 58910 ... c Min unsat cost LB: 58911 ... c Min unsat cost LB: 58913 ... c Min unsat cost LB: 58914 ... c Min unsat cost LB: 58915 ... c Min unsat cost LB: 58916 ... c Min unsat cost LB: 58917 ... c Min unsat cost LB: 58919 ... c Min unsat cost LB: 58920 ... c Min unsat cost LB: 58921 ... 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: 58929 ... c Min unsat cost LB: 58931 ... c Min unsat cost LB: 58934 ... 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: 58940 ... c Min unsat cost LB: 58945 ... c Min unsat cost LB: 58947 ... c Min unsat cost LB: 58949 ... c Min unsat cost LB: 58951 ... 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: 58956 ... c Min unsat cost LB: 58957 ... c Min unsat cost LB: 58958 ... c Min unsat cost LB: 58959 ... c Min unsat cost LB: 58960 ... c Min unsat cost LB: 58961 ... c Min unsat cost LB: 58962 ... c Min unsat cost LB: 58963 ... 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: 58972 ... c Min unsat cost LB: 58975 ... c Min unsat cost LB: 58977 ... c Min unsat cost LB: 58980 ... c Min unsat cost LB: 58990 ... c Min unsat cost LB: 58991 ... c Min unsat cost LB: 58992 ... c Min unsat cost LB: 58995 ... c Min unsat cost LB: 58996 ... c Min unsat cost LB: 58997 ... c Min unsat cost LB: 58998 ... c Min unsat cost LB: 58999 ... 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: 59004 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59006 ... c Min unsat cost LB: 59007 ... c Min unsat cost LB: 59013 ... c Min unsat cost LB: 59019 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59035 ... c Min unsat cost LB: 59036 ... c Min unsat cost LB: 59048 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59063 ... 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: 59073 ... c Min unsat cost LB: 59074 ... c Min unsat cost LB: 59076 ... c Min unsat cost LB: 59077 ... c Min unsat cost LB: 59078 ... c Min unsat cost LB: 59079 ... c Min unsat cost LB: 59081 ... c Min unsat cost LB: 59082 ... c Min unsat cost LB: 59083 ... c Min unsat cost LB: 59084 ... c Min unsat cost LB: 59103 ... c Min unsat cost LB: 59104 ... c Min unsat cost LB: 59108 ... c Min unsat cost LB: 59115 ... c Min unsat cost LB: 59116 ... c Min unsat cost LB: 59117 ... c Min unsat cost LB: 59118 ... c Min unsat cost LB: 59119 ... c Min unsat cost LB: 59120 ... c Min unsat cost LB: 59121 ... c Min unsat cost LB: 59122 ... c Min unsat cost LB: 59123 ... c Min unsat cost LB: 59124 ... c Min unsat cost LB: 59125 ... c Min unsat cost LB: 59135 ... c Min unsat cost LB: 59157 ... c Min unsat cost LB: 59163 ... c Min unsat cost LB: 59164 ... c Min unsat cost LB: 59165 ... c Min unsat cost LB: 59170 ... c Min unsat cost LB: 59171 ... c Min unsat cost LB: 59172 ... c Min unsat cost LB: 59173 ... c Min unsat cost LB: 59174 ... c Min unsat cost LB: 59175 ... c Min unsat cost LB: 59176 ... c Min unsat cost LB: 59177 ... c Min unsat cost LB: 59178 ... c Min unsat cost LB: 59179 ... c Min unsat cost LB: 59180 ... c Min unsat cost LB: 59181 ... c Min unsat cost LB: 59185 ... c Min unsat cost LB: 59186 ... c Min unsat cost LB: 59187 ... c Min unsat cost LB: 59188 ... c Min unsat cost LB: 59189 ... c Min unsat cost LB: 59190 ... c Min unsat cost LB: 59191 ... c Min unsat cost LB: 59192 ... c Min unsat cost LB: 59193 ... c Min unsat cost LB: 59194 ... c Min unsat cost LB: 59199 ... c Min unsat cost LB: 59200 ... c Min unsat cost LB: 59201 ... c Min unsat cost LB: 59202 ... c Min unsat cost LB: 59205 ... c Min unsat cost LB: 59206 ... c Min unsat cost LB: 59207 ... c Min unsat cost LB: 59208 ... c Min unsat cost LB: 59209 ... c Min unsat cost LB: 59210 ... c Min unsat cost LB: 59211 ... c Min unsat cost LB: 59212 ... c Min unsat cost LB: 59213 ... c Min unsat cost LB: 59214 ... c Min unsat cost LB: 59215 ... c Min unsat cost LB: 59216 ... c Min unsat cost LB: 59217 ... c Min unsat cost LB: 59218 ... c Min unsat cost LB: 59219 ... c Min unsat cost LB: 59220 ... c Min unsat cost LB: 59221 ... c Min unsat cost LB: 59222 ... c Min unsat cost LB: 59223 ... c Min unsat cost LB: 59224 ... c Min unsat cost LB: 59225 ... c Min unsat cost LB: 59226 ... c Min unsat cost LB: 59227 ... c Min unsat cost LB: 59228 ... c Min unsat cost LB: 59229 ... c Min unsat cost LB: 59230 ... c Min unsat cost LB: 59231 ... c Min unsat cost LB: 59232 ... c Min unsat cost LB: 59235 ... c Min unsat cost LB: 59236 ... c Min unsat cost LB: 59237 ... c Min unsat cost LB: 59238 ... c Min unsat cost LB: 59239 ... c Min unsat cost LB: 59240 ... c Min unsat cost LB: 59241 ... c Min unsat cost LB: 59242 ... c Min unsat cost LB: 59243 ... c Min unsat cost LB: 59244 ... c Min unsat cost LB: 59245 ... c Min unsat cost LB: 59246 ... c Min unsat cost LB: 59247 ... c Min unsat cost LB: 59248 ... c Min unsat cost LB: 59249 ... c Min unsat cost LB: 59250 ... c Min unsat cost LB: 59251 ... c Min unsat cost LB: 59252 ... c Min unsat cost LB: 59254 ... c Min unsat cost LB: 59258 ... c Min unsat cost LB: 59259 ... 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: 59264 ... c Min unsat cost LB: 59265 ... c Min unsat cost LB: 59266 ... c Min unsat cost LB: 59267 ... 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: 59273 ... c Min unsat cost LB: 59275 ... c Min unsat cost LB: 59277 ... c Min unsat cost LB: 59390 ... c Min unsat cost LB: 59391 ... c Min unsat cost LB: 59403 ... c Min unsat cost LB: 59404 ... c Min unsat cost LB: 59405 ... c Min unsat cost LB: 59406 ... c Min unsat cost LB: 59407 ... c Min unsat cost LB: 59408 ... c Min unsat cost LB: 59409 ... c Min unsat cost LB: 59410 ... c Min unsat cost LB: 59411 ... c Min unsat cost LB: 59412 ... c Min unsat cost LB: 59413 ... c Min unsat cost LB: 59414 ... c Min unsat cost LB: 59415 ... c Min unsat cost LB: 59416 ... c Min unsat cost LB: 59417 ... c Min unsat cost LB: 59418 ... c Min unsat cost LB: 59419 ... c Min unsat cost LB: 59420 ... c Min unsat cost LB: 59421 ... c Min unsat cost LB: 59422 ... c Min unsat cost LB: 59424 ... c Min unsat cost LB: 59425 ... c Min unsat cost LB: 59426 ... c Min unsat cost LB: 59427 ... c Min unsat cost LB: 59428 ... c Min unsat cost LB: 59429 ... c Min unsat cost LB: 59430 ... c Min unsat cost LB: 59431 ... c Min unsat cost LB: 59432 ... c Min unsat cost LB: 59433 ... c Min unsat cost LB: 59434 ... c Min unsat cost LB: 59435 ... c Min unsat cost LB: 59436 ... c Min unsat cost LB: 59438 ... c Min unsat cost LB: 59439 ... c Min unsat cost LB: 59440 ... c Min unsat cost LB: 59441 ... c Min unsat cost LB: 59442 ... c Min unsat cost LB: 59443 ... c Min unsat cost LB: 59446 ... c Min unsat cost LB: 59447 ... c Min unsat cost LB: 59448 ... c Min unsat cost LB: 59449 ... c Min unsat cost LB: 59450 ... c Min unsat cost LB: 59451 ... c Min unsat cost LB: 59452 ... c Min unsat cost LB: 59453 ... c Min unsat cost LB: 59454 ... c Min unsat cost LB: 59455 ... c Min unsat cost LB: 59456 ... c Min unsat cost LB: 59457 ... c Min unsat cost LB: 59458 ... c Min unsat cost LB: 59459 ... c Min unsat cost LB: 59460 ... c Min unsat cost LB: 59461 ... c Min unsat cost LB: 59462 ... c Min unsat cost LB: 59463 ... c Min unsat cost LB: 59464 ... c Min unsat cost LB: 59465 ... c Min unsat cost LB: 59466 ... c Min unsat cost LB: 59467 ... c Min unsat cost LB: 59468 ... c Min unsat cost LB: 59473 ... c Min unsat cost LB: 59474 ... c Min unsat cost LB: 59475 ... c Min unsat cost LB: 59476 ... c Min unsat cost LB: 59479 ... c Min unsat cost LB: 59480 ... c Min unsat cost LB: 59482 ... c Min unsat cost LB: 59483 ... c Min unsat cost LB: 59484 ... c Min unsat cost LB: 59486 ... c Min unsat cost LB: 59488 ... c Min unsat cost LB: 59491 ... c Min unsat cost LB: 59492 ... c Min unsat cost LB: 59493 ... c Min unsat cost LB: 59494 ... c Min unsat cost LB: 59495 ... c Min unsat cost LB: 59Killed 1809.921u 9.821s 30:23.64 99.7% 0+0k 0+0io 0pf+0w