Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_110_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0005.txt.wcnf *** c c Min unsat cost LB: 309 ... c Min unsat cost LB: 988 ... c Min unsat cost LB: 1249 ... c Min unsat cost LB: 1928 ... c Min unsat cost LB: 3185 ... c Min unsat cost LB: 3843 ... c Min unsat cost LB: 4930 ... c Min unsat cost LB: 5588 ... c Min unsat cost LB: 5849 ... c Min unsat cost LB: 6797 ... c Min unsat cost LB: 7006 ... c Min unsat cost LB: 8023 ... c Min unsat cost LB: 8702 ... c Min unsat cost LB: 8956 ... c Min unsat cost LB: 9441 ... c Min unsat cost LB: 10040 ... c Min unsat cost LB: 10698 ... c Min unsat cost LB: 11059 ... c Min unsat cost LB: 11172 ... c Min unsat cost LB: 12443 ... c Min unsat cost LB: 12601 ... c Min unsat cost LB: 12910 ... c Min unsat cost LB: 13109 ... c Min unsat cost LB: 13739 ... c Min unsat cost LB: 13938 ... c Min unsat cost LB: 14147 ... c Min unsat cost LB: 14920 ... c Min unsat cost LB: 15749 ... c Min unsat cost LB: 15993 ... c Min unsat cost LB: 16375 ... c Min unsat cost LB: 17462 ... c Min unsat cost LB: 17528 ... c Min unsat cost LB: 18197 ... c Min unsat cost LB: 18789 ... c Min unsat cost LB: 19161 ... c Min unsat cost LB: 20143 ... c Min unsat cost LB: 20440 ... c Min unsat cost LB: 21070 ... c Min unsat cost LB: 21770 ... c Min unsat cost LB: 21951 ... c Min unsat cost LB: 22470 ... c Min unsat cost LB: 22471 ... c Min unsat cost LB: 22670 ... c Min unsat cost LB: 22851 ... c Min unsat cost LB: 22913 ... c Min unsat cost LB: 23882 ... c Min unsat cost LB: 24153 ... c Min unsat cost LB: 24543 ... c Min unsat cost LB: 25241 ... c Min unsat cost LB: 25907 ... c Min unsat cost LB: 26218 ... c Min unsat cost LB: 26963 ... c Min unsat cost LB: 27185 ... c Min unsat cost LB: 27513 ... c Min unsat cost LB: 28574 ... c Min unsat cost LB: 28668 ... c Min unsat cost LB: 28892 ... c Min unsat cost LB: 29800 ... c Min unsat cost LB: 30357 ... c Min unsat cost LB: 30689 ... c Min unsat cost LB: 31842 ... c Min unsat cost LB: 32483 ... c Min unsat cost LB: 33134 ... c Min unsat cost LB: 33785 ... c Min unsat cost LB: 34426 ... c Min unsat cost LB: 34777 ... c Min unsat cost LB: 34942 ... c Min unsat cost LB: 35209 ... c Min unsat cost LB: 35418 ... c Min unsat cost LB: 36479 ... c Min unsat cost LB: 36920 ... c Min unsat cost LB: 37619 ... c Min unsat cost LB: 37712 ... c Min unsat cost LB: 37722 ... c Min unsat cost LB: 38363 ... c Min unsat cost LB: 38578 ... c Min unsat cost LB: 39167 ... c Min unsat cost LB: 39231 ... c Min unsat cost LB: 40023 ... c Min unsat cost LB: 40603 ... c Min unsat cost LB: 40815 ... c Min unsat cost LB: 41025 ... c Min unsat cost LB: 41065 ... c Min unsat cost LB: 41204 ... c Min unsat cost LB: 41645 ... c Min unsat cost LB: 41716 ... c Min unsat cost LB: 41796 ... c Min unsat cost LB: 42005 ... c Min unsat cost LB: 42170 ... c Min unsat cost LB: 42841 ... c Min unsat cost LB: 42860 ... c Min unsat cost LB: 42893 ... c Min unsat cost LB: 42901 ... c Min unsat cost LB: 43365 ... c Min unsat cost LB: 43426 ... c Min unsat cost LB: 43517 ... c Min unsat cost LB: 44025 ... c Min unsat cost LB: 44199 ... c Min unsat cost LB: 44224 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44822 ... c Min unsat cost LB: 44923 ... c Min unsat cost LB: 45011 ... c Min unsat cost LB: 45223 ... c Min unsat cost LB: 45289 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 45930 ... c Min unsat cost LB: 46305 ... c Min unsat cost LB: 46376 ... c Min unsat cost LB: 46687 ... c Min unsat cost LB: 47258 ... c Min unsat cost LB: 47516 ... c Min unsat cost LB: 47773 ... c Min unsat cost LB: 47798 ... c Min unsat cost LB: 47972 ... c Min unsat cost LB: 48199 ... c Min unsat cost LB: 48374 ... c Min unsat cost LB: 49040 ... c Min unsat cost LB: 49153 ... c Min unsat cost LB: 49171 ... c Min unsat cost LB: 49187 ... c Min unsat cost LB: 49195 ... c Min unsat cost LB: 49289 ... c Min unsat cost LB: 49352 ... c Min unsat cost LB: 49358 ... c Min unsat cost LB: 49374 ... c Min unsat cost LB: 49550 ... c Min unsat cost LB: 49597 ... c Min unsat cost LB: 49658 ... c Min unsat cost LB: 49667 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49730 ... c Min unsat cost LB: 49751 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 49989 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50025 ... c Min unsat cost LB: 50417 ... c Min unsat cost LB: 50464 ... c Min unsat cost LB: 50563 ... c Min unsat cost LB: 50613 ... c Min unsat cost LB: 50732 ... c Min unsat cost LB: 50820 ... c Min unsat cost LB: 50886 ... c Min unsat cost LB: 51096 ... c Min unsat cost LB: 51496 ... c Min unsat cost LB: 51502 ... c Min unsat cost LB: 51542 ... c Min unsat cost LB: 51679 ... c Min unsat cost LB: 51754 ... c Min unsat cost LB: 51767 ... c Min unsat cost LB: 51786 ... c Min unsat cost LB: 51900 ... c Min unsat cost LB: 51911 ... c Min unsat cost LB: 51912 ... c Min unsat cost LB: 51971 ... c Min unsat cost LB: 52180 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52343 ... c Min unsat cost LB: 52361 ... c Min unsat cost LB: 52526 ... c Min unsat cost LB: 52537 ... c Min unsat cost LB: 52606 ... c Min unsat cost LB: 52607 ... c Min unsat cost LB: 52782 ... c Min unsat cost LB: 52829 ... c Min unsat cost LB: 52849 ... c Min unsat cost LB: 52862 ... c Min unsat cost LB: 52863 ... c Min unsat cost LB: 52867 ... c Min unsat cost LB: 53075 ... c Min unsat cost LB: 53085 ... c Min unsat cost LB: 53563 ... c Min unsat cost LB: 53889 ... c Min unsat cost LB: 54002 ... c Min unsat cost LB: 54021 ... c Min unsat cost LB: 54207 ... c Min unsat cost LB: 54337 ... c Min unsat cost LB: 54388 ... c Min unsat cost LB: 54410 ... c Min unsat cost LB: 54474 ... c Min unsat cost LB: 54478 ... c Min unsat cost LB: 54561 ... c Min unsat cost LB: 54725 ... c Min unsat cost LB: 54934 ... c Min unsat cost LB: 54974 ... c Min unsat cost LB: 55137 ... c Min unsat cost LB: 55174 ... c Min unsat cost LB: 55185 ... c Min unsat cost LB: 55193 ... c Min unsat cost LB: 55332 ... c Min unsat cost LB: 55346 ... c Min unsat cost LB: 55354 ... c Min unsat cost LB: 55365 ... c Min unsat cost LB: 55398 ... c Min unsat cost LB: 55469 ... c Min unsat cost LB: 55478 ... c Min unsat cost LB: 55533 ... c Min unsat cost LB: 55758 ... c Min unsat cost LB: 55928 ... c Min unsat cost LB: 55956 ... c Min unsat cost LB: 56029 ... c Min unsat cost LB: 56030 ... c Min unsat cost LB: 56213 ... c Min unsat cost LB: 56275 ... c Min unsat cost LB: 56277 ... c Min unsat cost LB: 56302 ... c Min unsat cost LB: 56384 ... c Min unsat cost LB: 56388 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56406 ... c Min unsat cost LB: 56476 ... c Min unsat cost LB: 56504 ... c Min unsat cost LB: 56508 ... c Min unsat cost LB: 56510 ... c Min unsat cost LB: 56526 ... c Min unsat cost LB: 56542 ... c Min unsat cost LB: 56549 ... c Min unsat cost LB: 56888 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 56952 ... c Min unsat cost LB: 56954 ... c Min unsat cost LB: 56963 ... c Min unsat cost LB: 56966 ... c Min unsat cost LB: 56967 ... c Min unsat cost LB: 56977 ... c Min unsat cost LB: 56978 ... c Min unsat cost LB: 56982 ... c Min unsat cost LB: 56987 ... c Min unsat cost LB: 56988 ... c Min unsat cost LB: 56996 ... c Min unsat cost LB: 56999 ... c Min unsat cost LB: 57000 ... c Min unsat cost LB: 57009 ... c Min unsat cost LB: 57023 ... c Min unsat cost LB: 57063 ... c Min unsat cost LB: 57129 ... c Min unsat cost LB: 57136 ... c Min unsat cost LB: 57153 ... c Min unsat cost LB: 57175 ... c Min unsat cost LB: 57177 ... c Min unsat cost LB: 57181 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57187 ... c Min unsat cost LB: 57193 ... c Min unsat cost LB: 57202 ... c Min unsat cost LB: 57257 ... c Min unsat cost LB: 57295 ... c Min unsat cost LB: 57301 ... c Min unsat cost LB: 57321 ... c Min unsat cost LB: 57339 ... c Min unsat cost LB: 57340 ... c Min unsat cost LB: 57348 ... c Min unsat cost LB: 57349 ... c Min unsat cost LB: 57366 ... c Min unsat cost LB: 57409 ... c Min unsat cost LB: 57442 ... c Min unsat cost LB: 57443 ... c Min unsat cost LB: 57468 ... c Min unsat cost LB: 57494 ... c Min unsat cost LB: 57497 ... c Min unsat cost LB: 57499 ... c Min unsat cost LB: 57511 ... c Min unsat cost LB: 57517 ... c Min unsat cost LB: 57525 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57560 ... c Min unsat cost LB: 57574 ... c Min unsat cost LB: 57577 ... c Min unsat cost LB: 57580 ... c Min unsat cost LB: 57605 ... c Min unsat cost LB: 57610 ... c Min unsat cost LB: 57611 ... c Min unsat cost LB: 57618 ... c Min unsat cost LB: 57637 ... c Min unsat cost LB: 57667 ... c Min unsat cost LB: 57671 ... c Min unsat cost LB: 57674 ... c Min unsat cost LB: 57686 ... c Min unsat cost LB: 57691 ... c Min unsat cost LB: 57752 ... c Min unsat cost LB: 57757 ... c Min unsat cost LB: 57758 ... c Min unsat cost LB: 57761 ... c Min unsat cost LB: 57762 ... c Min unsat cost LB: 57781 ... c Min unsat cost LB: 57785 ... c Min unsat cost LB: 57791 ... c Min unsat cost LB: 57796 ... c Min unsat cost LB: 57800 ... c Min unsat cost LB: 57812 ... c Min unsat cost LB: 57813 ... c Min unsat cost LB: 57817 ... c Min unsat cost LB: 57818 ... c Min unsat cost LB: 57820 ... c Min unsat cost LB: 57821 ... c Min unsat cost LB: 57824 ... c Min unsat cost LB: 57825 ... c Min unsat cost LB: 57826 ... c Min unsat cost LB: 57828 ... c Min unsat cost LB: 57829 ... c Min unsat cost LB: 57830 ... c Min unsat cost LB: 57831 ... c Min unsat cost LB: 57835 ... c Min unsat cost LB: 57837 ... c Min unsat cost LB: 57845 ... c Min unsat cost LB: 57851 ... c Min unsat cost LB: 57855 ... c Min unsat cost LB: 57897 ... c Min unsat cost LB: 57898 ... c Min unsat cost LB: 57902 ... c Min unsat cost LB: 57914 ... c Min unsat cost LB: 57925 ... c Min unsat cost LB: 57926 ... c Min unsat cost LB: 58067 ... c Min unsat cost LB: 58075 ... c Min unsat cost LB: 58083 ... c Min unsat cost LB: 58086 ... c Min unsat cost LB: 58088 ... c Min unsat cost LB: 58089 ... c Min unsat cost LB: 58105 ... c Min unsat cost LB: 58111 ... c Min unsat cost LB: 58116 ... c Min unsat cost LB: 58117 ... c Min unsat cost LB: 58119 ... c Min unsat cost LB: 58120 ... c Min unsat cost LB: 58132 ... c Min unsat cost LB: 58144 ... c Min unsat cost LB: 58145 ... c Min unsat cost LB: 58152 ... c Min unsat cost LB: 58154 ... c Min unsat cost LB: 58162 ... c Min unsat cost LB: 58177 ... c Min unsat cost LB: 58178 ... c Min unsat cost LB: 58184 ... c Min unsat cost LB: 58195 ... c Min unsat cost LB: 58231 ... c Min unsat cost LB: 58233 ... c Min unsat cost LB: 58234 ... c Min unsat cost LB: 58239 ... c Min unsat cost LB: 58240 ... c Min unsat cost LB: 58249 ... c Min unsat cost LB: 58250 ... c Min unsat cost LB: 58255 ... c Min unsat cost LB: 58265 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58269 ... c Min unsat cost LB: 58270 ... c Min unsat cost LB: 58271 ... c Min unsat cost LB: 58272 ... c Min unsat cost LB: 58291 ... c Min unsat cost LB: 58301 ... c Min unsat cost LB: 58302 ... c Min unsat cost LB: 58311 ... c Min unsat cost LB: 58317 ... c Min unsat cost LB: 58319 ... c Min unsat cost LB: 58325 ... c Min unsat cost LB: 58327 ... c Min unsat cost LB: 58328 ... c Min unsat cost LB: 58332 ... c Min unsat cost LB: 58333 ... c Min unsat cost LB: 58346 ... c Min unsat cost LB: 58348 ... c Min unsat cost LB: 58349 ... c Min unsat cost LB: 58350 ... c Min unsat cost LB: 58352 ... c Min unsat cost LB: 58353 ... c Min unsat cost LB: 58357 ... c Min unsat cost LB: 58359 ... c Min unsat cost LB: 58362 ... c Min unsat cost LB: 58365 ... c Min unsat cost LB: 58368 ... c Min unsat cost LB: 58372 ... c Min unsat cost LB: 58380 ... c Min unsat cost LB: 58386 ... c Min unsat cost LB: 58388 ... c Min unsat cost LB: 58391 ... c Min unsat cost LB: 58392 ... c Min unsat cost LB: 58393 ... c Min unsat cost LB: 58395 ... c Min unsat cost LB: 58397 ... c Min unsat cost LB: 58398 ... c Min unsat cost LB: 58399 ... c Min unsat cost LB: 58400 ... c Min unsat cost LB: 58401 ... c Min unsat cost LB: 58402 ... c Min unsat cost LB: 58403 ... c Min unsat cost LB: 58406 ... c Min unsat cost LB: 58407 ... c Min unsat cost LB: 58408 ... c Min unsat cost LB: 58409 ... c Min unsat cost LB: 58411 ... c Min unsat cost LB: 58412 ... c Min unsat cost LB: 58413 ... c Min unsat cost LB: 58414 ... c Min unsat cost LB: 58415 ... c Min unsat cost LB: 58416 ... c Min unsat cost LB: 58417 ... c Min unsat cost LB: 58420 ... c Min unsat cost LB: 58426 ... c Min unsat cost LB: 58427 ... c Min unsat cost LB: 58432 ... c Min unsat cost LB: 58433 ... c Min unsat cost LB: 58434 ... c Min unsat cost LB: 58435 ... c Min unsat cost LB: 58486 ... c Min unsat cost LB: 58492 ... c Min unsat cost LB: 58500 ... c Min unsat cost LB: 58504 ... c Min unsat cost LB: 58507 ... c Min unsat cost LB: 58517 ... c Min unsat cost LB: 58519 ... c Min unsat cost LB: 58550 ... c Min unsat cost LB: 58598 ... c Min unsat cost LB: 58599 ... c Min unsat cost LB: 58600 ... c Min unsat cost LB: 58601 ... c Min unsat cost LB: 58602 ... c Min unsat cost LB: 58607 ... c Min unsat cost LB: 58608 ... c Min unsat cost LB: 58609 ... c Min unsat cost LB: 58610 ... c Min unsat cost LB: 58611 ... c Min unsat cost LB: 58612 ... c Min unsat cost LB: 58613 ... c Min unsat cost LB: 58616 ... c Min unsat cost LB: 58622 ... c Min unsat cost LB: 58627 ... c Min unsat cost LB: 58628 ... c Min unsat cost LB: 58629 ... c Min unsat cost LB: 58630 ... c Min unsat cost LB: 58631 ... c Min unsat cost LB: 58636 ... c Min unsat cost LB: 58641 ... c Min unsat cost LB: 58645 ... c Min unsat cost LB: 58646 ... c Min unsat cost LB: 58654 ... c Min unsat cost LB: 58668 ... c Min unsat cost LB: 58672 ... c Min unsat cost LB: 58675 ... c Min unsat cost LB: 58684 ... c Min unsat cost LB: 58685 ... c Min unsat cost LB: 58688 ... c Min unsat cost LB: 58693 ... c Min unsat cost LB: 58694 ... c Min unsat cost LB: 58696 ... 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: 58708 ... c Min unsat cost LB: 58710 ... 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: 58725 ... c Min unsat cost LB: 58726 ... c Min unsat cost LB: 58727 ... c Min unsat cost LB: 58790 ... c Min unsat cost LB: 58808 ... c Min unsat cost LB: 58809 ... c Min unsat cost LB: 58811 ... 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: 58820 ... c Min unsat cost LB: 58825 ... c Min unsat cost LB: 58840 ... c Min unsat cost LB: 58922 ... 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: 58946 ... 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: 58973 ... c Min unsat cost LB: 58976 ... c Min unsat cost LB: 58985 ... c Min unsat cost LB: 58990 ... c Min unsat cost LB: 58991 ... 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: 59008 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59014 ... c Min unsat cost LB: 59015 ... 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: 59025 ... 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: 59034 ... c Min unsat cost LB: 59035 ... c Min unsat cost LB: 59036 ... c Min unsat cost LB: 59037 ... c Min unsat cost LB: 59038 ... c Min unsat cost LB: 59039 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59041 ... c Min unsat cost LB: 59042 ... c Min unsat cost LB: 59043 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59069 ... 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: 59080 ... 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: 59085 ... c Min unsat cost LB: 59086 ... c Min unsat cost LB: 59087 ... c Min unsat cost LB: 59088 ... c Min unsat cost LB: 59089 ... c Min unsat cost LB: 59090 ... c Min unsat cost LB: 59091 ... c Min unsat cost LB: 59092 ... c Min unsat cost LB: 59093 ... c Min unsat cost LB: 59094 ... c Min unsat cost LB: 59095 ... c Min unsat cost LB: 59096 ... c Min unsat cost LB: 59097 ... c Min unsat cost LB: 59098 ... c Min unsat cost LB: 59099 ... c Min unsat cost LB: 59101 ... c Min unsat cost LB: 59102 ... c Min unsat cost LB: 59103 ... c Min unsat cost LB: 59104 ... c Min unsat cost LB: 59105 ... c Min unsat cost LB: 59106 ... c Min unsat cost LB: 59107 ... c Min unsat cost LB: 59108 ... c Min unsat cost LB: 59109 ... c Min unsat cost LB: 59110 ... c Min unsat cost LB: 59111 ... c Min unsat cost LB: 59112 ... c Min unsat cost LB: 59113 ... c Min unsat cost LB: 59114 ... c Min unsat cost LB: 59115 ... c Min unsat cost LB: 59116 ... 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: 59126 ... c Min unsat cost LB: 59127 ... c Min unsat cost LB: 59128 ... c Min unsat cost LB: 59129 ... c Min unsat cost LB: 59130 ... c Min unsat cost LB: 59131 ... c Min unsat cost LB: 59133 ... c Min unsat cost LB: 59134 ... c Min unsat cost LB: 59135 ... c Min unsat cost LB: 59136 ... c Min unsat cost LB: 59137 ... c Min unsat cost LB: 59138 ... c Min unsat cost LB: 59139 ... c Min unsat cost LB: 59140 ... c Min unsat cost LB: 59141 ... c Min unsat cost LB: 59142 ... c Min unsat cost LB: 59143 ... c Min unsat cost LB: 59144 ... c Min unsat cost LB: 59145 ... c Min unsat cost LB: 59146 ... c Min unsat cost LB: 59147 ... c Min unsat cost LB: 59148 ... c Min unsat cost LB: 59149 ... c Min unsat cost LB: 59150 ... c Min unsat cost LB: 59151 ... c Min unsat cost LB: 59152 ... c Min unsat cost LB: 59153 ... c Min unsat cost LB: 59154 ... c Min unsat cost LB: 59155 ... c Min unsat cost LB: 59156 ... c Min unsat cost LB: 59157 ... c Min unsat cost LB: 59158 ... c Min unsat cost LB: 59159 ... c Min unsat cost LB: 59160 ... c Min unsat cost LB: 59161 ... c Min unsat cost LB: 59162 ... c Min unsat cost LB: 59163 ... c Min unsat cost LB: 59164 ... c Min unsat cost LB: 59165 ... c Min unsat cost LB: 59166 ... c Min unsat cost LB: 59167 ... c Min unsat cost LB: 59168 ... c Min unsat cost LB: 59169 ... 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: 59182 ... c Min unsat cost LB: 59183 ... c Min unsat cost LB: 59184 ... 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: 59195 ... c Min unsat cost LB: 59196 ... c Min unsat cost LB: 59197 ... c Min unsat cost LB: 59198 ... 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: 59203 ... c Min unsat cost LB: 59204 ... 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: 59214 ... c Min unsat cost LB: 59220 ... c Min unsat cost LB: 59227 ... c Min unsat cost LB: 59232 ... c Min unsat cost LB: 59234 ... 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: 59248 ... c Min unsat cost LB: 59249 ... c Min unsat cost LB: 59255 ... c Min unsat cost LB: 59256 ... c Min unsat cost LB: 59257 ... 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: 59273 ... c Min unsat cost LB: 59274 ... c Min unsat cost LB: 59275 ... c Min unsat cost LB: 59276 ... c Min unsat cost LB: 59277 ... c Min unsat cost LB: 59278 ... c Min unsat cost LB: 59279 ... c Min unsat cost LB: 59280 ... c Min unsat cost LB: 59281 ... c Min unsat cost LB: 59282 ... c Min unsat cost LB: 59283 ... c Min unsat cost LB: 59284 ... c Min unsat cost LB: 59285 ... c Min unsat cost LB: 59286 ... c Min unsat cost LB: 59287 ... c Min unsat cost LB: 59288 ... c Min unsat cost LB: 59289 ... c Min unsat cost LB: 59290 ... c Min unsat cost LB: 59291 ... c Min unsat cost LB: 59292 ... c Min unsat cost LB: 59293 ... c Min unsat cost LB: 59294 ... c Min unsat cost LB: 59295 ... c Min unsat cost LB: 59296 ... c Min unsat cost LB: 59297 ... c Min unsat cost LB: 59298 ... c Min unsat cost LB: 59299 ... c Min unsat cost LB: 59300 ... c Min unsat cost LB: 59301 ... c Min unsat cost LB: 59302 ... c Min unsat cost LB: 59303 ... c Min unsat cost LB: 59304 ... c Min unsat cost LB: 59305 ... c Min unsat cost LB: 59306 ... c Min unsat cost LB: 59307 ... c Min unsat cost LB: 59308 ... c Min unsat cost LB: 59309 ... c Min unsat cost LB: 59310 ... c Min unsat cost LB: 59311 ... c Min unsat cost LB: 59312 ... c Min unsat cost LB: 59313 ... c Min unsat cost LB: 59314 ... c Min unsat cost LB: 59315 ... c Min unsat cost LB: 59316 ... c Min unsat cost LB: 59317 ... c Min unsat cost LB: 59319 ... c Min unsat cost LB: 59320 ... c Min unsat cost LB: 59321 ... c Min unsat cost LB: 59323 ... c Min unsat cost LB: 59324 ... c Min unsat cost LB: 59326 ... c Min unsat cost LB: 59335 ... c Min unsat cost LB: 59336 ... c Min unsat cost LB: 59337 ... c Min unsat cost LB: 59338 ... c Min unsat cost LB: 59339 ... c Min unsat cost LB: 59340 ... c Min unsat cost LB: 59341 ... c Min unsat cost LB: 59342 ... c Min unsat cost LB: 59343 ... c Min unsat cost LB: 59344 ... c Min unsat cost LB: 59345 ... c Min unsat cost LB: 59346 ... c Min unsat cost LB: 59347 ... c Min unsat cost LB: 59348 ... c Min unsat cost LB: 59349 ... c Min unsat cost LB: 59350 ... c Min unsat cost LB: 59351 ... c Min unsat cost LB: 59352 ... c Min unsat cost LB: 59353 ... c Min unsat cost LB: 59354 ... c Min unsat cost LB: 59355 ... c Min unsat cost LB: 59356 ... c Min unsat cost LB: 59357 ... c Min unsat cost LB: 59358 ... c Min unsat cost LB: 59359 ... c Min unsat cost LB: 59360 ... c Min unsat cost LB: 59361 ... c Min unsat cost LB: 59362 ... c Min unsat cost LB: 59363 ... c Min unsat cost LB: 59365 ... c Min unsat cost LB: 59366 ... c Min unsat cost LB: 59367 ... c Min unsat cost LB: 59368 ... c Min unsat cost LB: 59369 ... c Min unsat cost LB: 59370 ... c Min unsat cost LB: 59371 ... c Min unsat cost LB: 59372 ... c Min unsat cost LB: 59373 ... c Min unsat cost LB: 59374 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59376 ... c Min unsat cost LB: 59377 ... c Min unsat cost LB: 59378 ... c Min unsat cost LB: 59379 ... c Min unsat cost LB: 59380 ... c Min unsat cost LB: 59381 ... c Min unsat cost LB: 59382 ... c Min unsat cost LB: 59383 ... c Min unsat cost LB: 59384 ... c Min unsat cost LB: 59385 ... c Min unsat cost LB: 59386 ... c Min unsat cost LB: 59387 ... c Min unsat cost LB: 59388 ... c Min unsat cost LB: 59389 ... c Min unsat cost LB: 59391 ... c Min unsat cost LB: 59392 ... c Min unsat cost LB: 59393 ... c Min unsat cost LB: 59394 ... c Min unsat cost LB: 59395 ... c Min unsat cost LB: 59396 ... c Min unsat cost LB: 59397 ... c Min unsat cost LB: 59398 ... c Min unsat cost LB: 59399 ... c Min unsat cost LB: 59400 ... c Min unsat cost LB: 59401 ... c Min unsat cost LB: 59402 ... 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: 59423 ... 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: 59434 ... c Min unsat cost LB: 59435 ... 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: 59444 ... c Min unsat cost LB: 59445 ... 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: 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: 59480 ... c Min unsat cost LB: 59546 ... c Min unsat cost LB: 59576 ... c Min unsat cost LB: 59577 ... c Min unsat cost LB: 59965 ... c Min unsat cost LB: 60173 ... c Min unsat cost LB: 60290 ... c Min unsat cost LB: 60291 ... c Min unsat cost LB: 60292 ... c Min unsat cost LB: 60293 ... c Min unsat cost LB: 60294 ... c Min unsat cost LB: 60295 ... c Min unsat cost LB: 60296 ... c Min unsat cost LB: 60297 ... c Min unsat cost LB: 60298 ... c Min unsat cost LB: 60299 ... c Min unsat cost LB: 60300 ... c Min unsat cost LB: 60301 ... c Min unsat cost LB: 60302 ... c Min unsat cost LB: 60303 ... c Min unsat cost LB: 60304 ... c Min unsat cost LB: 60305 ... c Min unsat cost LB: 60306 ... c Min unsat cost LB: 60307 ... c Min unsat cost LB: 60308 ... c Min unsat cost LB: 60309 ... c Min unsat cost LB: 60310 ... c Min unsat cost LB: 60311 ... c Min unsat cost LB: 60312 ... c Min unsat cost LB: 60313 ... c Min unsat cost LB: 60314 ... c Min unsat cost LB: 60315 ... c Min unsat cost LB: 60316 ... c Min unsat cost LB: 60317 ... c Min unsat cost LB: 60318 ... c Min unsat cost LB: 60319 ... c Min unsat cost LB: 60320 ... c Min unsat cost LB: 60321 ... c Min unsat cost LB: 60322 ... c Min unsat cost LB: 60323 ... c Min unsat cost LB: 60324 ... c Min unsat cost LB: 60325 ... c Min unsat cost LB: 60326 ... c Min unsat cost LB: 60327 ... c Min unsat cost LB: 60328 ... c Min unsat cost LB: 60329 ... c Min unsat cost LB: 60330 ... c Min unsat cost LB: 60331 ... c Min unsat cost LB: 60332 ... c Min unsat cost LB: 60333 ... c Min unsat cost LB: 60334 ... c Min unsat cost LB: 60335 ... c Min unsat cost LB: 60336 ... c Min unsat cost LB: 60338 ... c Min unsat cost LB: 60339 ... c Min unsat cost LB: 60342 ... c Min unsat cost LB: 60343 ... c Min unsat cost LB: 60344 ... c Min unsat cost LB: 60345 ... c Min unsat cost LB: 60346 ... c Min unsat cost LB: 60347 ... c Min unsat cost LB: 60348 ... c Min unsat cost LB: 60349 ... c Min unsat cost LB: 60350 ... c Min unsat cost LB: 60351 ... c Min unsat cost LB: 60352 ... c Min unsat cost LB: 60353 ... c Min unsat cost LB: 60354 ... c Min unsat cost LB: 60355 ... c Min unsat cost LB: 60356 ... c Min unsat cost LB: 60357 ... c Min unsat cost LB: 60358 ... c Min unsat cost LB: 60359 ... c Min unsat cost LB: 60360 ... c Min unsat cost LB: 60361 ... c Min unsat cost LB: 60362 ... c Min unsat cost LB: 60363 ... c Min unsat cost LB: 60364 ... c Min unsat cost LB: 60365 ... c Min unsat cost LB: 60366 ... c Min unsat cost LB: 60367 ... c Min unsat cost LB: 60368 ... c Min unsat cost LB: 60369 ... c Min unsat cost LB: 60370 ... c Min unsat cost LB: 60371 ... c Min unsat cost LB: 60372 ... c Min unsat cost LB: 60373 ... c Min unsat cost LB: 60374 ... c Min unsat cost LB: 60375 ... c Min unsat cost LB: 60376 ... c Min unsat cost LB: 60377 ... c Min unsat cost LB: 60378 ... c Min unsat cost LB: 60379 ... c Min unsat cost LB: 60380 ... c Min unsat cost LB: 60381 ... c Min unsat cost LB: 60382 ... c Min unsat cost LB: 60383 ... c Min unsat cost LB: 60384 ... c Min unsat cost LB: 60385 ... c Min unsat cost LB: 60386 ... c Min unsat cost LB: 60387 ... c Min unsat cost LB: 60388 ... c Min unsat cost LB: 60389 ... c Min unsat cost LB: 60390 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60392 ... c Min unsat cost LB: 60393 ... c Min unsat cost LB: 60394 ... c Min unsat cost LB: 60395 ... c Min unsat cost LB: 60396 ... c Min unsat cost LB: 60397 ... c Min unsat cost LB: 60398 ... c Min unsat cost LB: 60399 ... c Min unsat cost LB: 60401 ... c Min unsat cost LB: 60402 ... c Min unsat cost LB: 60403 ... c Min unsat cost LB: 60404 ... c Min unsat cost LB: 60405 ... c Min unsat cost LB: 60406 ... c Min unsat cost LB: 60407 ... c Min unsat cost LB: 60408 ... c Min unsat cost LB: 60409 ... c Min unsat cost LB: 60410 ... c Min unsat cost LB: 60411 ... c Min unsat cost LB: 60412 ... c Min unsat cost LB: 60413 ... c Min unsat cost LB: 60414 ... c Min unsat cost LB: 60415 ... c Min unsat cost LB: 60416 ... c Min unsat cost LB: 60417 ... c Min unsat cost LB: 60418 ... c Min unsat cost LB: 60419 ... c Min unsat cost LB: 60420 ... c Min unsat cost LB: 60421 ... c Min unsat cost LB: 60422 ... c Min unsat cost LB: 60423 ... c Min unsat cost LB: 60424 ... c Min unsat cost LB: 60425 ... c Min unsat cost LB: 60426 ... c Min unsat cost LB: 60427 ... c Min unsat cost LB: 60428 ... c Min unsat cost Killed 1812.648u 7.094s 30:20.62 99.9% 0+0k 0+0io 0pf+0w