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_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_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_PATHS/cat_paths_60_110_0004.txt.wcnf *** c c Min unsat cost LB: 709 ... c Min unsat cost LB: 1398 ... c Min unsat cost LB: 1674 ... c Min unsat cost LB: 1896 ... c Min unsat cost LB: 2655 ... c Min unsat cost LB: 3274 ... c Min unsat cost LB: 3741 ... c Min unsat cost LB: 3979 ... c Min unsat cost LB: 4246 ... c Min unsat cost LB: 4738 ... c Min unsat cost LB: 4993 ... c Min unsat cost LB: 5906 ... c Min unsat cost LB: 6334 ... c Min unsat cost LB: 6461 ... c Min unsat cost LB: 6855 ... c Min unsat cost LB: 7741 ... c Min unsat cost LB: 7871 ... c Min unsat cost LB: 8579 ... c Min unsat cost LB: 8947 ... c Min unsat cost LB: 9706 ... c Min unsat cost LB: 10406 ... c Min unsat cost LB: 10738 ... c Min unsat cost LB: 11142 ... c Min unsat cost LB: 11447 ... c Min unsat cost LB: 12155 ... c Min unsat cost LB: 12358 ... c Min unsat cost LB: 12551 ... c Min unsat cost LB: 13257 ... c Min unsat cost LB: 13946 ... c Min unsat cost LB: 13963 ... c Min unsat cost LB: 14202 ... c Min unsat cost LB: 14457 ... c Min unsat cost LB: 14488 ... c Min unsat cost LB: 14908 ... c Min unsat cost LB: 14947 ... c Min unsat cost LB: 15053 ... c Min unsat cost LB: 15055 ... c Min unsat cost LB: 15638 ... c Min unsat cost LB: 16110 ... c Min unsat cost LB: 16385 ... c Min unsat cost LB: 16877 ... c Min unsat cost LB: 17145 ... c Min unsat cost LB: 18023 ... c Min unsat cost LB: 18142 ... c Min unsat cost LB: 18683 ... c Min unsat cost LB: 19224 ... c Min unsat cost LB: 19460 ... c Min unsat cost LB: 19625 ... c Min unsat cost LB: 20382 ... c Min unsat cost LB: 20871 ... c Min unsat cost LB: 20923 ... c Min unsat cost LB: 21125 ... c Min unsat cost LB: 21596 ... c Min unsat cost LB: 21633 ... c Min unsat cost LB: 22353 ... c Min unsat cost LB: 23176 ... c Min unsat cost LB: 23717 ... c Min unsat cost LB: 24188 ... c Min unsat cost LB: 24729 ... c Min unsat cost LB: 24735 ... c Min unsat cost LB: 25424 ... c Min unsat cost LB: 25755 ... c Min unsat cost LB: 25792 ... c Min unsat cost LB: 26021 ... c Min unsat cost LB: 26778 ... c Min unsat cost LB: 26883 ... c Min unsat cost LB: 26991 ... c Min unsat cost LB: 27532 ... c Min unsat cost LB: 27883 ... c Min unsat cost LB: 28333 ... c Min unsat cost LB: 28814 ... c Min unsat cost LB: 28878 ... c Min unsat cost LB: 29086 ... c Min unsat cost LB: 29999 ... c Min unsat cost LB: 30104 ... c Min unsat cost LB: 30306 ... c Min unsat cost LB: 30673 ... c Min unsat cost LB: 30778 ... c Min unsat cost LB: 30926 ... c Min unsat cost LB: 31004 ... c Min unsat cost LB: 31093 ... c Min unsat cost LB: 31233 ... c Min unsat cost LB: 31574 ... c Min unsat cost LB: 31579 ... c Min unsat cost LB: 31631 ... c Min unsat cost LB: 31793 ... c Min unsat cost LB: 32056 ... c Min unsat cost LB: 32098 ... c Min unsat cost LB: 32203 ... c Min unsat cost LB: 32587 ... c Min unsat cost LB: 32608 ... c Min unsat cost LB: 33087 ... c Min unsat cost LB: 33844 ... c Min unsat cost LB: 34248 ... c Min unsat cost LB: 34385 ... c Min unsat cost LB: 34482 ... c Min unsat cost LB: 34653 ... c Min unsat cost LB: 34690 ... c Min unsat cost LB: 34811 ... c Min unsat cost LB: 34814 ... c Min unsat cost LB: 35158 ... c Min unsat cost LB: 35447 ... c Min unsat cost LB: 35537 ... c Min unsat cost LB: 35689 ... c Min unsat cost LB: 35703 ... c Min unsat cost LB: 35793 ... c Min unsat cost LB: 35830 ... c Min unsat cost LB: 36034 ... c Min unsat cost LB: 36057 ... c Min unsat cost LB: 36073 ... c Min unsat cost LB: 36076 ... c Min unsat cost LB: 36171 ... c Min unsat cost LB: 36206 ... c Min unsat cost LB: 36276 ... c Min unsat cost LB: 36309 ... c Min unsat cost LB: 36315 ... c Min unsat cost LB: 36329 ... c Min unsat cost LB: 36354 ... c Min unsat cost LB: 36488 ... c Min unsat cost LB: 36596 ... c Min unsat cost LB: 36628 ... c Min unsat cost LB: 36692 ... c Min unsat cost LB: 36755 ... c Min unsat cost LB: 36793 ... c Min unsat cost LB: 36857 ... c Min unsat cost LB: 36891 ... c Min unsat cost LB: 37020 ... c Min unsat cost LB: 37036 ... c Min unsat cost LB: 37107 ... c Min unsat cost LB: 37204 ... c Min unsat cost LB: 37207 ... c Min unsat cost LB: 37285 ... c Min unsat cost LB: 37310 ... c Min unsat cost LB: 37312 ... c Min unsat cost LB: 37320 ... c Min unsat cost LB: 37362 ... c Min unsat cost LB: 37385 ... c Min unsat cost LB: 37390 ... c Min unsat cost LB: 37407 ... c Min unsat cost LB: 37549 ... c Min unsat cost LB: 37702 ... c Min unsat cost LB: 37723 ... c Min unsat cost LB: 37786 ... c Min unsat cost LB: 37848 ... c Min unsat cost LB: 37951 ... c Min unsat cost LB: 38056 ... c Min unsat cost LB: 38168 ... c Min unsat cost LB: 38240 ... c Min unsat cost LB: 38336 ... c Min unsat cost LB: 38357 ... c Min unsat cost LB: 38376 ... c Min unsat cost LB: 38392 ... c Min unsat cost LB: 38394 ... c Min unsat cost LB: 38523 ... c Min unsat cost LB: 38530 ... c Min unsat cost LB: 38544 ... c Min unsat cost LB: 38676 ... c Min unsat cost LB: 38678 ... c Min unsat cost LB: 38824 ... c Min unsat cost LB: 38931 ... c Min unsat cost LB: 38970 ... c Min unsat cost LB: 39008 ... c Min unsat cost LB: 39249 ... c Min unsat cost LB: 39359 ... c Min unsat cost LB: 39419 ... c Min unsat cost LB: 39440 ... c Min unsat cost LB: 39486 ... c Min unsat cost LB: 39563 ... c Min unsat cost LB: 39754 ... c Min unsat cost LB: 39770 ... c Min unsat cost LB: 39775 ... c Min unsat cost LB: 39997 ... c Min unsat cost LB: 40016 ... c Min unsat cost LB: 40042 ... c Min unsat cost LB: 40052 ... c Min unsat cost LB: 40156 ... c Min unsat cost LB: 40271 ... c Min unsat cost LB: 40319 ... c Min unsat cost LB: 40324 ... c Min unsat cost LB: 40508 ... c Min unsat cost LB: 40665 ... c Min unsat cost LB: 40671 ... c Min unsat cost LB: 40803 ... c Min unsat cost LB: 40818 ... c Min unsat cost LB: 40823 ... c Min unsat cost LB: 40830 ... c Min unsat cost LB: 40931 ... c Min unsat cost LB: 40995 ... c Min unsat cost LB: 41023 ... c Min unsat cost LB: 41105 ... c Min unsat cost LB: 41117 ... c Min unsat cost LB: 41120 ... c Min unsat cost LB: 41123 ... c Min unsat cost LB: 41126 ... c Min unsat cost LB: 41183 ... c Min unsat cost LB: 41186 ... c Min unsat cost LB: 41189 ... c Min unsat cost LB: 41192 ... c Min unsat cost LB: 41196 ... c Min unsat cost LB: 41295 ... c Min unsat cost LB: 41377 ... c Min unsat cost LB: 41410 ... c Min unsat cost LB: 41430 ... c Min unsat cost LB: 41443 ... c Min unsat cost LB: 41450 ... c Min unsat cost LB: 41463 ... c Min unsat cost LB: 41479 ... c Min unsat cost LB: 41482 ... c Min unsat cost LB: 41490 ... c Min unsat cost LB: 41498 ... c Min unsat cost LB: 41504 ... c Min unsat cost LB: 41509 ... c Min unsat cost LB: 41519 ... c Min unsat cost LB: 41521 ... c Min unsat cost LB: 41576 ... c Min unsat cost LB: 41701 ... c Min unsat cost LB: 41712 ... c Min unsat cost LB: 41716 ... c Min unsat cost LB: 41736 ... c Min unsat cost LB: 41755 ... c Min unsat cost LB: 41757 ... c Min unsat cost LB: 41758 ... c Min unsat cost LB: 41759 ... c Min unsat cost LB: 41772 ... c Min unsat cost LB: 41777 ... c Min unsat cost LB: 41779 ... c Min unsat cost LB: 41795 ... c Min unsat cost LB: 41796 ... c Min unsat cost LB: 41805 ... c Min unsat cost LB: 41806 ... c Min unsat cost LB: 41817 ... c Min unsat cost LB: 41843 ... c Min unsat cost LB: 41855 ... c Min unsat cost LB: 41856 ... c Min unsat cost LB: 41857 ... c Min unsat cost LB: 41858 ... c Min unsat cost LB: 41860 ... c Min unsat cost LB: 41881 ... c Min unsat cost LB: 41883 ... c Min unsat cost LB: 41885 ... c Min unsat cost LB: 41891 ... c Min unsat cost LB: 41897 ... c Min unsat cost LB: 41899 ... c Min unsat cost LB: 41901 ... c Min unsat cost LB: 41914 ... c Min unsat cost LB: 41915 ... c Min unsat cost LB: 41926 ... c Min unsat cost LB: 41934 ... c Min unsat cost LB: 41936 ... c Min unsat cost LB: 41938 ... c Min unsat cost LB: 41951 ... c Min unsat cost LB: 41956 ... c Min unsat cost LB: 41961 ... c Min unsat cost LB: 41979 ... c Min unsat cost LB: 41985 ... c Min unsat cost LB: 41986 ... c Min unsat cost LB: 42001 ... c Min unsat cost LB: 42015 ... c Min unsat cost LB: 42016 ... c Min unsat cost LB: 42018 ... c Min unsat cost LB: 42019 ... c Min unsat cost LB: 42026 ... c Min unsat cost LB: 42048 ... c Min unsat cost LB: 42055 ... c Min unsat cost LB: 42075 ... c Min unsat cost LB: 42085 ... c Min unsat cost LB: 42089 ... c Min unsat cost LB: 42090 ... c Min unsat cost LB: 42091 ... c Min unsat cost LB: 42092 ... c Min unsat cost LB: 42093 ... c Min unsat cost LB: 42097 ... c Min unsat cost LB: 42099 ... c Min unsat cost LB: 42105 ... c Min unsat cost LB: 42107 ... c Min unsat cost LB: 42109 ... c Min unsat cost LB: 42111 ... c Min unsat cost LB: 42153 ... c Min unsat cost LB: 42171 ... c Min unsat cost LB: 42172 ... c Min unsat cost LB: 42176 ... c Min unsat cost LB: 42184 ... c Min unsat cost LB: 42195 ... c Min unsat cost LB: 42196 ... c Min unsat cost LB: 42198 ... c Min unsat cost LB: 42204 ... c Min unsat cost LB: 42218 ... c Min unsat cost LB: 42225 ... c Min unsat cost LB: 42226 ... c Min unsat cost LB: 42229 ... c Min unsat cost LB: 42281 ... c Min unsat cost LB: 42283 ... c Min unsat cost LB: 42285 ... c Min unsat cost LB: 42286 ... c Min unsat cost LB: 42287 ... c Min unsat cost LB: 42299 ... c Min unsat cost LB: 42300 ... c Min unsat cost LB: 42301 ... c Min unsat cost LB: 42302 ... c Min unsat cost LB: 42311 ... c Min unsat cost LB: 42314 ... c Min unsat cost LB: 42325 ... c Min unsat cost LB: 42368 ... c Min unsat cost LB: 42371 ... c Min unsat cost LB: 42380 ... c Min unsat cost LB: 42387 ... c Min unsat cost LB: 42389 ... c Min unsat cost LB: 42396 ... c Min unsat cost LB: 42397 ... c Min unsat cost LB: 42398 ... c Min unsat cost LB: 42399 ... c Min unsat cost LB: 42404 ... c Min unsat cost LB: 42414 ... c Min unsat cost LB: 42416 ... c Min unsat cost LB: 42417 ... c Min unsat cost LB: 42443 ... c Min unsat cost LB: 42444 ... c Min unsat cost LB: 42447 ... c Min unsat cost LB: 42450 ... c Min unsat cost LB: 42469 ... c Min unsat cost LB: 42470 ... c Min unsat cost LB: 42473 ... c Min unsat cost LB: 42481 ... c Min unsat cost LB: 42550 ... c Min unsat cost LB: 42553 ... c Min unsat cost LB: 42554 ... c Min unsat cost LB: 42562 ... c Min unsat cost LB: 42572 ... c Min unsat cost LB: 42573 ... c Min unsat cost LB: 42579 ... c Min unsat cost LB: 42580 ... c Min unsat cost LB: 42581 ... c Min unsat cost LB: 42588 ... c Min unsat cost LB: 42591 ... c Min unsat cost LB: 42593 ... c Min unsat cost LB: 42597 ... c Min unsat cost LB: 42599 ... c Min unsat cost LB: 42600 ... c Min unsat cost LB: 42601 ... c Min unsat cost LB: 42602 ... c Min unsat cost LB: 42603 ... c Min unsat cost LB: 42604 ... c Min unsat cost LB: 42612 ... c Min unsat cost LB: 42614 ... c Min unsat cost LB: 42615 ... c Min unsat cost LB: 42616 ... c Min unsat cost LB: 42622 ... c Min unsat cost LB: 42624 ... c Min unsat cost LB: 42625 ... c Min unsat cost LB: 42626 ... c Min unsat cost LB: 42627 ... c Min unsat cost LB: 42630 ... c Min unsat cost LB: 42633 ... c Min unsat cost LB: 42652 ... c Min unsat cost LB: 42657 ... c Min unsat cost LB: 42659 ... c Min unsat cost LB: 42664 ... c Min unsat cost LB: 42677 ... c Min unsat cost LB: 42678 ... c Min unsat cost LB: 42685 ... c Min unsat cost LB: 42686 ... c Min unsat cost LB: 42688 ... c Min unsat cost LB: 42690 ... c Min unsat cost LB: 42691 ... c Min unsat cost LB: 42692 ... c Min unsat cost LB: 42707 ... c Min unsat cost LB: 42708 ... c Min unsat cost LB: 42710 ... c Min unsat cost LB: 42711 ... c Min unsat cost LB: 42712 ... c Min unsat cost LB: 42722 ... c Min unsat cost LB: 42727 ... c Min unsat cost LB: 42730 ... c Min unsat cost LB: 42731 ... c Min unsat cost LB: 42732 ... c Min unsat cost LB: 42733 ... c Min unsat cost LB: 42734 ... c Min unsat cost LB: 42735 ... c Min unsat cost LB: 42736 ... c Min unsat cost LB: 42737 ... c Min unsat cost LB: 42742 ... c Min unsat cost LB: 42743 ... c Min unsat cost LB: 42748 ... c Min unsat cost LB: 42749 ... c Min unsat cost LB: 42750 ... c Min unsat cost LB: 42751 ... c Min unsat cost LB: 42753 ... c Min unsat cost LB: 42767 ... c Min unsat cost LB: 42768 ... c Min unsat cost LB: 42769 ... c Min unsat cost LB: 42770 ... c Min unsat cost LB: 42771 ... c Min unsat cost LB: 42772 ... c Min unsat cost LB: 42773 ... c Min unsat cost LB: 42774 ... c Min unsat cost LB: 42775 ... c Min unsat cost LB: 42776 ... c Min unsat cost LB: 42777 ... c Min unsat cost LB: 42778 ... c Min unsat cost LB: 42779 ... c Min unsat cost LB: 42780 ... c Min unsat cost LB: 42781 ... c Min unsat cost LB: 42782 ... c Min unsat cost LB: 42783 ... c Min unsat cost LB: 42784 ... c Min unsat cost LB: 42785 ... c Min unsat cost LB: 42788 ... c Min unsat cost LB: 42789 ... c Min unsat cost LB: 42790 ... c Min unsat cost LB: 42791 ... c Min unsat cost LB: 42792 ... c Min unsat cost LB: 42793 ... c Min unsat cost LB: 42794 ... c Min unsat cost LB: 42798 ... c Min unsat cost LB: 42799 ... c Min unsat cost LB: 42800 ... c Min unsat cost LB: 42801 ... c Min unsat cost LB: 42802 ... c Min unsat cost LB: 42803 ... c Min unsat cost LB: 42804 ... c Min unsat cost LB: 42805 ... c Min unsat cost LB: 42807 ... c Min unsat cost LB: 42809 ... c Min unsat cost LB: 42811 ... c Min unsat cost LB: 42813 ... c Min unsat cost LB: 42814 ... c Min unsat cost LB: 42816 ... c Min unsat cost LB: 42817 ... c Min unsat cost LB: 42818 ... c Min unsat cost LB: 42819 ... c Min unsat cost LB: 42821 ... c Min unsat cost LB: 42824 ... c Min unsat cost LB: 42825 ... c Min unsat cost LB: 42830 ... c Min unsat cost LB: 42831 ... c Min unsat cost LB: 42833 ... c Min unsat cost LB: 42834 ... c Min unsat cost LB: 42836 ... c Min unsat cost LB: 42839 ... c Min unsat cost LB: 42840 ... c Min unsat cost LB: 42841 ... c Min unsat cost LB: 42842 ... c Min unsat cost LB: 42843 ... c Min unsat cost LB: 42844 ... c Min unsat cost LB: 42845 ... c Min unsat cost LB: 42846 ... c Min unsat cost LB: 42847 ... c Min unsat cost LB: 42861 ... c Min unsat cost LB: 42877 ... c Min unsat cost LB: 42907 ... c Min unsat cost LB: 42923 ... c Min unsat cost LB: 42938 ... c Min unsat cost LB: 42939 ... c Min unsat cost LB: 42940 ... c Min unsat cost LB: 42941 ... c Min unsat cost LB: 42942 ... c Min unsat cost LB: 42943 ... c Min unsat cost LB: 42944 ... c Min unsat cost LB: 42945 ... c Min unsat cost LB: 42946 ... c Min unsat cost LB: 42947 ... c Min unsat cost LB: 42948 ... c Min unsat cost LB: 42949 ... c Min unsat cost LB: 42950 ... c Min unsat cost LB: 42952 ... c Min unsat cost LB: 42953 ... c Min unsat cost LB: 42954 ... c Min unsat cost LB: 42955 ... c Min unsat cost LB: 42957 ... c Min unsat cost LB: 42958 ... c Min unsat cost LB: 42960 ... c Min unsat cost LB: 43012 ... c Min unsat cost LB: 43019 ... c Min unsat cost LB: 43057 ... c Min unsat cost LB: 43059 ... c Min unsat cost LB: 43076 ... c Min unsat cost LB: 43081 ... c Min unsat cost LB: 43082 ... c Min unsat cost LB: 43106 ... c Min unsat cost LB: 43108 ... c Min unsat cost LB: 43110 ... c Min unsat cost LB: 43115 ... c Min unsat cost LB: 43116 ... c Min unsat cost LB: 43118 ... c Min unsat cost LB: 43158 ... c Min unsat cost LB: 43159 ... c Min unsat cost LB: 43160 ... c Min unsat cost LB: 43161 ... c Min unsat cost LB: 43162 ... c Min unsat cost LB: 43163 ... c Min unsat cost LB: 43165 ... c Min unsat cost LB: 43166 ... c Min unsat cost LB: 43170 ... c Min unsat cost LB: 43175 ... c Min unsat cost LB: 43176 ... c Min unsat cost LB: 43177 ... c Min unsat cost LB: 43180 ... c Min unsat cost LB: 43183 ... c Min unsat cost LB: 43190 ... c Min unsat cost LB: 43191 ... c Min unsat cost LB: 43192 ... c Min unsat cost LB: 43193 ... c Min unsat cost LB: 43195 ... c Min unsat cost LB: 43196 ... c Min unsat cost LB: 43201 ... c Min unsat cost LB: 43205 ... c Min unsat cost LB: 43206 ... c Min unsat cost LB: 43207 ... c Min unsat cost LB: 43208 ... c Min unsat cost LB: 43209 ... c Min unsat cost LB: 43210 ... c Min unsat cost LB: 43211 ... c Min unsat cost LB: 43212 ... c Min unsat cost LB: 43213 ... c Min unsat cost LB: 43219 ... c Min unsat cost LB: 43220 ... c Min unsat cost LB: 43221 ... c Min unsat cost LB: 43222 ... c Min unsat cost LB: 43224 ... c Min unsat cost LB: 43226 ... c Min unsat cost LB: 43227 ... c Min unsat cost LB: 43228 ... c Min unsat cost LB: 43230 ... c Min unsat cost LB: 43231 ... c Min unsat cost LB: 43232 ... c Min unsat cost LB: 43233 ... c Min unsat cost LB: 43234 ... c Min unsat cost LB: 43235 ... c Min unsat cost LB: 43237 ... c Min unsat cost LB: 43238 ... c Min unsat cost LB: 43239 ... c Min unsat cost LB: 43240 ... c Min unsat cost LB: 43244 ... c Min unsat cost LB: 43247 ... c Min unsat cost LB: 43252 ... c Min unsat cost LB: 43260 ... c Min unsat cost LB: 43265 ... c Min unsat cost LB: 43267 ... c Min unsat cost LB: 43268 ... c Min unsat cost LB: 43269 ... c Min unsat cost LB: 43270 ... c Min unsat cost LB: 43271 ... c Min unsat cost LB: 43272 ... c Min unsat cost LB: 43273 ... c Min unsat cost LB: 43274 ... c Min unsat cost LB: 43278 ... c Min unsat cost LB: 43287 ... c Min unsat cost LB: 43295 ... c Min unsat cost LB: 43299 ... c Min unsat cost LB: 43300 ... c Min unsat cost LB: 43301 ... c Min unsat cost LB: 43302 ... c Min unsat cost LB: 43305 ... c Min unsat cost LB: 43307 ... c Min unsat cost LB: 43308 ... c Min unsat cost LB: 43309 ... c Min unsat cost LB: 43310 ... c Min unsat cost LB: 43311 ... c Min unsat cost LB: 43312 ... c Min unsat cost LB: 43313 ... c Min unsat cost LB: 43314 ... c Min unsat cost LB: 43315 ... c Min unsat cost LB: 43316 ... c Min unsat cost LB: 43317 ... c Min unsat cost LB: 43318 ... c Min unsat cost LB: 43319 ... c Min unsat cost LB: 43320 ... c Min unsat cost LB: 43321 ... c Min unsat cost LB: 43322 ... c Min unsat cost LB: 43323 ... c Min unsat cost LB: 43324 ... c Min unsat cost LB: 43325 ... c Min unsat cost LB: 43326 ... c Min unsat cost LB: 43327 ... c Min unsat cost LB: 43328 ... c Min unsat cost LB: 43329 ... c Min unsat cost LB: 43330 ... c Min unsat cost LB: 43331 ... c Min unsat cost LB: 43333 ... c Min unsat cost LB: 43334 ... c Min unsat cost LB: 43335 ... c Min unsat cost LB: 43336 ... c Min unsat cost LB: 43337 ... c Min unsat cost LB: 43338 ... c Min unsat cost LB: 43339 ... c Min unsat cost LB: 43340 ... c Min unsat cost LB: 43341 ... c Min unsat cost LB: 43342 ... c Min unsat cost LB: 43343 ... c Min unsat cost LB: 43344 ... c Min unsat cost LB: 43345 ... c Min unsat cost LB: 43346 ... c Min unsat cost LB: 43347 ... c Min unsat cost LB: 43348 ... c Min unsat cost LB: 43349 ... c Min unsat cost LB: 43350 ... c Min unsat cost LB: 43351 ... c Min unsat cost LB: 43352 ... c Min unsat cost LB: 43353 ... c Min unsat cost LB: 43354 ... c Min unsat cost LB: 43355 ... c Min unsat cost LB: 43356 ... c Min unsat cost LB: 43357 ... c Min unsat cost LB: 43358 ... c Min unsat cost LB: 43359 ... c Min unsat cost LB: 43360 ... c Min unsat cost LB: 43361 ... c Min unsat cost LB: 43362 ... c Min unsat cost LB: 43363 ... c Min unsat cost LB: 43364 ... c Min unsat cost LB: 43365 ... c Min unsat cost LB: 43366 ... c Min unsat cost LB: 43367 ... c Min unsat cost LB: 43368 ... c Min unsat cost LB: 43369 ... c Min unsat cost LB: 43370 ... c Min unsat cost LB: 43371 ... c Min unsat cost LB: 43374 ... c Min unsat cost LB: 43375 ... c Min unsat cost LB: 43378 ... c Min unsat cost LB: 43379 ... c Min unsat cost LB: 43382 ... c Min unsat cost LB: 43383 ... c Min unsat cost LB: 43384 ... c Min unsat cost LB: 43385 ... c Min unsat cost LB: 43386 ... c Min unsat cost LB: 43387 ... c Min unsat cost LB: 43388 ... c Min unsat cost LB: 43389 ... c Min unsat cost LB: 43390 ... c Min unsat cost LB: 43391 ... c Min unsat cost LB: 43392 ... c Min unsat cost LB: 43393 ... c Min unsat cost LB: 43394 ... c Min unsat cost LB: 43395 ... c Min unsat cost LB: 43396 ... c Min unsat cost LB: 43397 ... c Min unsat cost LB: 43398 ... c Min unsat cost LB: 43399 ... c Min unsat cost LB: 43400 ... c Min unsat cost LB: 43401 ... c Min unsat cost LB: 43402 ... c Min unsat cost LB: 43403 ... c Min unsat cost LB: 43404 ... c Min unsat cost LB: 43405 ... c Min unsat cost LB: 43406 ... c Min unsat cost LB: 43407 ... c Min unsat cost LB: 43408 ... c Min unsat cost LB: 43409 ... c Min unsat cost LB: 43410 ... c Min unsat cost LB: 43411 ... c Min unsat cost LB: 43412 ... c Min unsat cost LB: 43413 ... c Min unsat cost LB: 43414 ... c Min unsat cost LB: 43415 ... c Min unsat cost LB: 43416 ... c Min unsat cost LB: 43425 ... c Min unsat cost LB: 43426 ... c Min unsat cost LB: 43427 ... c Min unsat cost LB: 43428 ... c Min unsat cost LB: 43430 ... c Min unsat cost LB: 43431 ... c Min unsat cost LB: 43432 ... c Min unsat cost LB: 43433 ... c Min unsat cost LB: 43434 ... c Min unsat cost LB: 43435 ... c Min unsat cost LB: 43436 ... c Min unsat cost LB: 43437 ... c Min unsat cost LB: 43438 ... c Min unsat cost LB: 43439 ... c Min unsat cost LB: 43440 ... c Min unsat cost LB: 43441 ... c Min unsat cost LB: 43442 ... c Min unsat cost LB: 43444 ... c Min unsat cost LB: 43445 ... c Min unsat cost LB: 43446 ... c Min unsat cost LB: 43447 ... c Min unsat cost LB: 43448 ... c Min unsat cost LB: 43449 ... c Min unsat cost LB: 43450 ... c Min unsat cost LB: 43451 ... c Min unsat cost LB: 43459 ... c Min unsat cost LB: 43463 ... c Min unsat cost LB: 43464 ... c Min unsat cost LB: 43465 ... c Min unsat cost LB: 43470 ... c Min unsat cost LB: 43471 ... c Min unsat cost LB: 43472 ... c Min unsat cost LB: 43473 ... c Min unsat cost LB: 43474 ... c Min unsat cost LB: 43475 ... c Min unsat cost LB: 43476 ... c Min unsat cost LB: 43477 ... c Min unsat cost LB: 43478 ... c Min unsat cost LB: 43479 ... c Min unsat cost LB: 43480 ... c Min unsat cost LB: 43481 ... c Min unsat cost LB: 43482 ... c Min unsat cost LB: 43483 ... c Min unsat cost LB: 43484 ... c Min unsat cost LB: 43485 ... c Min unsat cost LB: 43486 ... c Min unsat cost LB: 43487 ... c Min unsat cost LB: 43488 ... c Min unsat cost LB: 43489 ... c Min unsat cost LB: 43490 ... c Min unsat cost LB: 43491 ... c Min unsat cost LB: 43492 ... c Min unsat cost LB: 43493 ... c Min unsat cost LB: 43494 ... c Min unsat cost LB: 43495 ... c Min unsat cost LB: 43496 ... c Min unsat cost LB: 43497 ... c Min unsat cost LB: 43498 ... c Min unsat cost LB: 43499 ... c Min unsat cost LB: 43500 ... c Min unsat cost LB: 43501 ... c Min unsat cost LB: 43502 ... c Min unsat cost LB: 43503 ... c Min unsat cost LB: 43504 ... c Min unsat cost LB: 43505 ... c Min unsat cost LB: 43506 ... c Min unsat cost LB: 43507 ... c Min unsat cost LB: 43508 ... c Min unsat cost LB: 43509 ... c Min unsat cost LB: 43510 ... c Min unsat cost LB: 43511 ... c Min unsat cost LB: 43512 ... c Min unsat cost LB: 43513 ... c Min unsat cost LB: 43514 ... c Min unsat cost LB: 43515 ... c Min unsat cost LB: 43516 ... c Min unsat cost LB: 43517 ... c Min unsat cost LB: 43518 ... c Min unsat cost LB: 43519 ... c Min unsat cost LB: 43520 ... c Min unsat cost LB: 43521 ... c Min unsat cost LB: 43522 ... c Min unsat cost LB: 43523 ... c Min unsat cost LB: 43524 ... c Min unsat cost LB: 43525 ... c Min unsat cost LB: 43526 ... c Min unsat cost LB: 43527 ... c Min unsat cost LB: 43528 ... c Min unsat cost LB: 43529 ... c Min unsat cost LB: 43530 ... c Min unsat cost LB: 43531 ... c Min unsat cost LB: 43532 ... c Min unsat cost LB: 43533 ... c Min unsat cost LB: 43534 ... c Min unsat cost LB: 43535 ... c Min unsat cost LB: 43536 ... c Min unsat cost LB: 43537 ... c Min unsat cost LB: 43538 ... c Min unsat cost LB: 43539 ... c Min unsat cost LB: 43540 ... c Min unsat cost LB: 43541 ... c Min unsat cost LB: 43542 ... c Min unsat cost LB: 43543 ... c Min unsat cost LB: 43544 ... c Min unsat cost LB: 43545 ... c Min unsat cost LB: 43546 ... c Min unsat cost LB: 43547 ... c Min unsat cost LB: 43548 ... c Min unsat cost LB: 43550 ... c Min unsat cost LB: 43552 ... c Min unsat cost LB: 43553 ... c Min unsat cost LB: 43554 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 43557 ... c Min unsat cost LB: 43559 ... c Min unsat cost LB: 43560 ... c Min unsat cost LB: 43561 ... c Min unsat cost LB: 43562 ... c Min unsat cost LB: 43563 ... c Min unsat cost LB: 43564 ... c Min unsat cost LB: 43565 ... c Min unsat cost LB: 43566 ... c Min unsat cost LB: 43567 ... c Min unsat cost LB: 43568 ... c Min unsat cost LB: 43569 ... c Min unsat cost LB: 43570 ... c Min unsat cost LB: 43571 ... c Min unsat cost LB: 43572 ... c Min unsat cost LB: 43573 ... c Min unsat cost LB: 43574 ... c Min unsat cost LB: 43575 ... c Min unsat cost LB: 43576 ... c Min unsat cost LB: 43577 ... c Min unsat cost LB: 43578 ... c Min unsat cost LB: 43579 ... c Min unsat cost LB: 43580 ... c Min unsat cost LB: 43581 ... c Min unsat cost LB: 43582 ... c Min unsat cost LB: 43583 ... c Min unsat cost LB: 43585 ... c Min unsat cost LB: 43587 ... c Min unsat cost LB: 43588 ... c Min unsat cost LB: 43589 ... c Min unsat cost LB: 43593 ... c Min unsat cost LB: 43594 ... c Min unsat cost LB: 43595 ... c Min unsat cost LB: 43596 ... c Min unsat cost LB: 43597 ... c Min unsat cost LB: 43598 ... c Min unsat cost LB: 43599 ... c Min unsat cost LB: 43600 ... c Min unsat cost LB: 43601 ... c Min unsat cost LB: 43602 ... c Min unsat cost LB: 43603 ... c Min unsat cost LB: 43604 ... c Min unsat cost LB: 43605 ... c Min unsat cost LB: 43606 ... c Min unsat cost LB: 43607 ... c Min unsat cost LB: 43608 ... c Min unsat cost LB: 43609 ... c Min unsat cost LB: 43610 ... c Min unsat cost LB: 43611 ... c Min unsat cost LB: 43612 ... c Min unsat cost LB: 43613 ... c Min unsat cost LB: 43614 ... c Min unsat cost LB: 43615 ... c Min unsat cost LB: 43616 ... c Min unsat cost LB: 43617 ... c Min unsat cost LB: 43618 ... c Min unsat cost LB: 43619 ... c Min unsat cost LB: 43620 ... c Min unsat cost LB: 43621 ... c Min unsat cost LB: 43622 ... c Min unsat cost LB: 43623 ... c Min unsat cost LB: 43624 ... c Min unsat cost LB: 43625 ... c Min unsat cost LB: 43626 ... c Min unsat cost LB: 43627 ... c Min unsat cost LB: 43628 ... c Min unsat cost LB: 43629 ... c Min unsat cost LB: 43630 ... c Min unsat cost LB: 43631 ... c Min unsat cost LB: 43632 ... c Min unsat cost LB: 43643 ... c Min unsat cost LB: 43644 ... c Min unsat cost LB: 43645 ... c Min unsat cost LB: 43646 ... c Min unsat cost LB: 43647 ... c Min unsat cost LB: 43648 ... c Min unsat cost LB: 43650 ... c Min unsat cost LB: 43651 ... c Min unsat cost LB: 43652 ... c Min unsat cost LB: 43653 ... c Min unsat cost LB: 43654 ... c Min unsat cost LB: 43655 ... c Min unsat cost LB: 43656 ... c Min unsat cost LB: 43657 ... c Min unsat cost LB: 43658 ... c Min unsat cost LB: 43659 ... c Min unsat cost LB: 43660 ... c Min unsat cost LB: 43661 ... c Min unsat cost LB: 43662 ... c Min unsat cost LB: 43664 ... c Min unsat cost LB: 43665 ... c Min unsat cost LB: 43666 ... c Min unsat cost LB: 43667 ... c Min unsat cost LB: 43670 ... c Min unsat cost LB: 43671 ... c Min unsat cost LB: 43672 ... c Min unsat cost LB: 43673 ... c Min unsat cost LB: 43674 ... c Min unsat cost LB: 43676 ... c Min unsat cost LB: 43677 ... c Min unsat cost LB: 43678 ... c Min unsat cost LB: 43679 ... c Min unsat cost LB: 43680 ... c Min unsat cost LB: 43681 ... c Min unsat cost LB: 43682 ... c Min unsat cost LB: 43683 ... c Min unsat cost LB: 43684 ... c Min unsat cost LB: 43685 ... c Min unsat cost LB: 43686 ... c Min unsat cost LB: 43687 ... c Min unsat cost LB: 43688 ... c Min unsat cost LB: 43689 ... c Min unsat cost LB: 43691 ... c Min unsat cost LB: 43692 ... c Min unsat cost LB: 43693 ... c Min unsat cost LB: 43694 ... c Min unsat cost LB: 43695 ... c Min unsat cost LB: 43696 ... c Min unsat cost LB: 43697 ... c Min unsat cost LB: 43698 ... c Min unsat cost LB: 43699 ... c Min unsat cost LB: 43701 ... c Min unsat cost LB: 43702 ... c Min unsat cost LB: 43703 ... c Min unsat cost LB: 43704 ... c Min unsat cost LB: 43705 ... c Min unsat cost LB: 43706 ... c Min unsat cost LB: 43707 ... c Min unsat cost LB: 43708 ... c Min unsat cost LB: 43709 ... c Min unsat cost LB: 43710 ... c Min unsat cost LB: 43711 ... c Min unsat cost LB: 43712 ... c Min unsat cost LB: 43713 ... c Min unsat cost LB: 43714 ... c Min unsat cost LB: 43715 ... c Min unsat cost LB: 43716 ... c Min unsat cost LB: 43717 ... c Min unsat cost LB: 43718 ... c Min unsat cost LB: 43719 ... c Min unsat cost LB: 43720 ... c Min unsat cost LB: 43721 ... c Min unsat cost LB: 43722 ... c Min unsat cost LB: 43723 ... c Min unsat cost LB: 43724 ... c Min unsat cost LB: 43725 ... c Min unsat cost LB: 43726 ... c Min unsat cost LB: 43727 ... c Min unsat cost LB: 43728 ... c Min unsat cost LB: 43729 ... c Min unsat cost LB: 43730 ... c Min unsat cost LB: 43731 ... c Min unsat cost LB: 43732 ... c Min unsat cost LB: 43733 ... c Min unsat cost LB: 43734 ... c Min unsat cost LB: 43735 ... c Min unsat cost LB: 43736 ... c Min unsat cost LB: 43737 ... c Min unsat cost LB: 43738 ... c Min unsat cost LB: 43739 ... c Min unsat cost LB: 43740 ... c Min unsat cost LB: 43741 ... c Min unsat cost LB: 43742 ... c Min unsat cost LB: 43743 ... c Min unsat cost LB: 43744 ... c Min unsat cost LB: 43745 ... c Min unsat cost LB: 43746 ... c Min unsat cost LB: 43747 ... c Min unsat cost LB: 43748 ... c Min unsat cost LB: 43749 ... c Min unsat cost LB: 43750 ... c Min unsat cost LB: 43751 ... c Min unsat cost LB: 43752 ... c Min unsat cost LB: 43753 ... c Min unsat cost LB: 43754 ... c Min unsat cost LB: 43755 ... c Min unsat cost LB: 43756 ... c Min unsat cost LB: 43757 ... c Min unsat cost LB: 43758 ... c Min unsat cost LB: 43759 ... c Min unsat cost LB: 43760 ... c Min unsat cost LB: 43761 ... c Min unsat cost LB: 43762 ... c Min unsat cost LB: 43763 ... c Min unsat cost LB: 43764 ... c Min unsat cost LB: 43765 ... c Min unsat cost LB: 43766 ... c Min unsat cost LB: 43767 ... c Min unsat cost LB: 43768 ... c Min unsat cost LB: 43769 ... c Min unsat cost LB: 43770 ... c Min unsat cost LB: 43771 ... c Min unsat cost LB: 43772 ... c Min unsat cost LB: 43773 ... c Min unsat cost LB: 43774 ... c Min unsat cost LB: 43775 ... c Min unsat cost LB: 43776 ... c Min unsat cost LB: 43777 ... c Min unsat cost LB: 43778 ... c Min unsat cost LB: 43779 ... c Min unsat cost LB: 43780 ... c Min unsat cost LB: 43781 ... c Min unsat cost LB: 43782 ... c Min unsat cost LB: 43783 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43785 ... c Min unsat cost LB: 43786 ... c Min unsat cost LB: 43787 ... c Min unsat cost LB: 43788 ... c Min unsat cost LB: 43789 ... c Min unsat cost LB: 43790 ... c Min unsat cost LB: 43791 ... c Min unsat cost LB: 43792 ... c Min unsat cost LB: 43793 ... c Min unsat cost LB: 43794 ... c Min unsat cost LB: 43795 ... c Min unsat cost LB: 43796 ... c Min unsat cost LB: 43797 ... c Min unsat cost LB: 43798 ... c Min unsat cost LB: 43803 ... c Min unsat cost LB: 43804 ... c Min unsat cost LB: 43805 ... c Min unsat cost LB: 43806 ... c Min unsat cost LB: 43808 ... c Min unsat cost LB: 43809 ... c Min unsat cost LB: 43810 ... c Min unsat cost LB: 43811 ... c Min unsat cost LB: 43812 ... c Min unsat cost LB: 43813 ... c Min unsat cost LB: 43814 ... c Min unsat cost LB: 43815 ... c Min unsat cost LB: 43816 ... c Min unsat cost LB: 43817 ... c Min unsat cost LB: 43818 ... c Min unsat cost LB: 43819 ... c Min unsat cost LB: 43820 ... c Min unsat cost LB: 43821 ... c Min unsat cost LB: 43822 ... c Min unsat cost LB: 43823 ... c Min unsat cost LB: 43824 ... c Min unsat cost LB: 43825 ... c Min unsat cost LB: 43826 ... c Min unsat cost LB: 43827 ... c Min unsat cost LB: 43828 ... c Min unsat cost LB: 43829 ... c Min unsat cost LB: 43830 ... c Min unsat cost LB: 43831 ... c Min unsat cost LB: 43832 ... c Min unsat cost LB: 43833 ... c Min unsat cost LB: 43834 ... c Min unsat cost LB: 43835 ... c Min unsat cost LB: 43836 ... c Min unsat cost LB: 43837 ... c Min unsat cost LB: 43838 ... c Min unsat cost LB: 43839 ... c Min unsat cost LB: Killed 1809.992u 9.754s 30:23.47 99.7% 0+0k 0+0io 0pf+0w