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_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_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_130_0005.txt.wcnf *** c c Min unsat cost LB: 750 ... c Min unsat cost LB: 1163 ... c Min unsat cost LB: 1644 ... c Min unsat cost LB: 1996 ... c Min unsat cost LB: 2409 ... c Min unsat cost LB: 2599 ... c Min unsat cost LB: 2778 ... c Min unsat cost LB: 3083 ... c Min unsat cost LB: 3301 ... c Min unsat cost LB: 3861 ... c Min unsat cost LB: 4269 ... c Min unsat cost LB: 5237 ... c Min unsat cost LB: 5987 ... c Min unsat cost LB: 6325 ... c Min unsat cost LB: 7107 ... c Min unsat cost LB: 7872 ... c Min unsat cost LB: 7981 ... c Min unsat cost LB: 8374 ... c Min unsat cost LB: 9069 ... c Min unsat cost LB: 9374 ... c Min unsat cost LB: 9783 ... c Min unsat cost LB: 10425 ... c Min unsat cost LB: 11207 ... c Min unsat cost LB: 11262 ... c Min unsat cost LB: 11899 ... c Min unsat cost LB: 12241 ... c Min unsat cost LB: 12969 ... c Min unsat cost LB: 13855 ... c Min unsat cost LB: 14034 ... c Min unsat cost LB: 14952 ... c Min unsat cost LB: 15087 ... c Min unsat cost LB: 15852 ... c Min unsat cost LB: 15893 ... c Min unsat cost LB: 16571 ... c Min unsat cost LB: 16967 ... c Min unsat cost LB: 17256 ... c Min unsat cost LB: 17503 ... c Min unsat cost LB: 17554 ... c Min unsat cost LB: 18030 ... c Min unsat cost LB: 18319 ... c Min unsat cost LB: 18653 ... c Min unsat cost LB: 19129 ... c Min unsat cost LB: 19595 ... c Min unsat cost LB: 19687 ... c Min unsat cost LB: 20718 ... c Min unsat cost LB: 20927 ... c Min unsat cost LB: 21709 ... c Min unsat cost LB: 22185 ... c Min unsat cost LB: 22560 ... c Min unsat cost LB: 22700 ... c Min unsat cost LB: 23176 ... c Min unsat cost LB: 23289 ... c Min unsat cost LB: 23667 ... c Min unsat cost LB: 23728 ... c Min unsat cost LB: 24036 ... c Min unsat cost LB: 24954 ... c Min unsat cost LB: 25089 ... c Min unsat cost LB: 25663 ... c Min unsat cost LB: 25959 ... c Min unsat cost LB: 26112 ... c Min unsat cost LB: 26310 ... c Min unsat cost LB: 26665 ... c Min unsat cost LB: 27086 ... c Min unsat cost LB: 27134 ... c Min unsat cost LB: 27185 ... c Min unsat cost LB: 27856 ... c Min unsat cost LB: 28190 ... c Min unsat cost LB: 28211 ... c Min unsat cost LB: 28521 ... c Min unsat cost LB: 28671 ... c Min unsat cost LB: 29363 ... c Min unsat cost LB: 30187 ... c Min unsat cost LB: 30281 ... c Min unsat cost LB: 30435 ... c Min unsat cost LB: 30877 ... c Min unsat cost LB: 31353 ... c Min unsat cost LB: 31482 ... c Min unsat cost LB: 32177 ... c Min unsat cost LB: 32466 ... c Min unsat cost LB: 32480 ... c Min unsat cost LB: 33107 ... c Min unsat cost LB: 33566 ... c Min unsat cost LB: 34323 ... c Min unsat cost LB: 34797 ... c Min unsat cost LB: 35139 ... c Min unsat cost LB: 35626 ... c Min unsat cost LB: 35829 ... c Min unsat cost LB: 36329 ... c Min unsat cost LB: 36526 ... c Min unsat cost LB: 37276 ... c Min unsat cost LB: 37322 ... c Min unsat cost LB: 37887 ... c Min unsat cost LB: 38298 ... c Min unsat cost LB: 38494 ... c Min unsat cost LB: 38994 ... c Min unsat cost LB: 39338 ... c Min unsat cost LB: 40288 ... c Min unsat cost LB: 40710 ... c Min unsat cost LB: 40742 ... c Min unsat cost LB: 40949 ... c Min unsat cost LB: 41739 ... c Min unsat cost LB: 42014 ... c Min unsat cost LB: 42198 ... c Min unsat cost LB: 42640 ... c Min unsat cost LB: 42964 ... c Min unsat cost LB: 43019 ... c Min unsat cost LB: 43151 ... c Min unsat cost LB: 43165 ... c Min unsat cost LB: 43728 ... c Min unsat cost LB: 43916 ... c Min unsat cost LB: 44121 ... c Min unsat cost LB: 44136 ... c Min unsat cost LB: 44215 ... c Min unsat cost LB: 44410 ... c Min unsat cost LB: 44451 ... c Min unsat cost LB: 44545 ... c Min unsat cost LB: 44677 ... c Min unsat cost LB: 44905 ... c Min unsat cost LB: 44950 ... c Min unsat cost LB: 45100 ... c Min unsat cost LB: 45145 ... c Min unsat cost LB: 45298 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45393 ... c Min unsat cost LB: 45528 ... c Min unsat cost LB: 45689 ... c Min unsat cost LB: 45730 ... c Min unsat cost LB: 45740 ... c Min unsat cost LB: 45810 ... c Min unsat cost LB: 45932 ... c Min unsat cost LB: 46012 ... c Min unsat cost LB: 46252 ... c Min unsat cost LB: 46343 ... c Min unsat cost LB: 46408 ... c Min unsat cost LB: 46522 ... c Min unsat cost LB: 46638 ... c Min unsat cost LB: 46639 ... c Min unsat cost LB: 46652 ... c Min unsat cost LB: 46831 ... c Min unsat cost LB: 46836 ... c Min unsat cost LB: 46860 ... c Min unsat cost LB: 46880 ... c Min unsat cost LB: 46962 ... c Min unsat cost LB: 47494 ... c Min unsat cost LB: 47607 ... c Min unsat cost LB: 47736 ... c Min unsat cost LB: 47853 ... c Min unsat cost LB: 47870 ... c Min unsat cost LB: 47921 ... c Min unsat cost LB: 47923 ... c Min unsat cost LB: 47935 ... c Min unsat cost LB: 47967 ... c Min unsat cost LB: 48191 ... c Min unsat cost LB: 48246 ... c Min unsat cost LB: 48354 ... c Min unsat cost LB: 48464 ... c Min unsat cost LB: 48526 ... c Min unsat cost LB: 48701 ... c Min unsat cost LB: 48706 ... c Min unsat cost LB: 48708 ... c Min unsat cost LB: 48942 ... c Min unsat cost LB: 49104 ... c Min unsat cost LB: 49136 ... c Min unsat cost LB: 49254 ... c Min unsat cost LB: 49275 ... c Min unsat cost LB: 49292 ... c Min unsat cost LB: 49436 ... c Min unsat cost LB: 49465 ... c Min unsat cost LB: 49519 ... c Min unsat cost LB: 49524 ... c Min unsat cost LB: 49527 ... c Min unsat cost LB: 49532 ... c Min unsat cost LB: 49566 ... c Min unsat cost LB: 49653 ... c Min unsat cost LB: 49820 ... c Min unsat cost LB: 49834 ... c Min unsat cost LB: 49895 ... c Min unsat cost LB: 49924 ... c Min unsat cost LB: 49965 ... c Min unsat cost LB: 49985 ... c Min unsat cost LB: 49992 ... c Min unsat cost LB: 50040 ... c Min unsat cost LB: 50068 ... c Min unsat cost LB: 50071 ... c Min unsat cost LB: 50072 ... c Min unsat cost LB: 50085 ... c Min unsat cost LB: 50098 ... c Min unsat cost LB: 50119 ... c Min unsat cost LB: 50142 ... c Min unsat cost LB: 50164 ... c Min unsat cost LB: 50226 ... c Min unsat cost LB: 50272 ... c Min unsat cost LB: 50281 ... c Min unsat cost LB: 50311 ... c Min unsat cost LB: 50379 ... c Min unsat cost LB: 50381 ... c Min unsat cost LB: 50420 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50494 ... c Min unsat cost LB: 50508 ... c Min unsat cost LB: 50515 ... c Min unsat cost LB: 50543 ... c Min unsat cost LB: 50589 ... c Min unsat cost LB: 50637 ... c Min unsat cost LB: 50798 ... c Min unsat cost LB: 50847 ... c Min unsat cost LB: 50859 ... c Min unsat cost LB: 50904 ... c Min unsat cost LB: 50955 ... c Min unsat cost LB: 50967 ... c Min unsat cost LB: 51008 ... c Min unsat cost LB: 51064 ... c Min unsat cost LB: 51124 ... c Min unsat cost LB: 51185 ... c Min unsat cost LB: 51259 ... c Min unsat cost LB: 51471 ... c Min unsat cost LB: 51474 ... c Min unsat cost LB: 51488 ... c Min unsat cost LB: 51617 ... c Min unsat cost LB: 51827 ... c Min unsat cost LB: 51842 ... c Min unsat cost LB: 51865 ... c Min unsat cost LB: 51880 ... c Min unsat cost LB: 51937 ... c Min unsat cost LB: 52077 ... c Min unsat cost LB: 52082 ... c Min unsat cost LB: 52228 ... c Min unsat cost LB: 52864 ... c Min unsat cost LB: 53010 ... c Min unsat cost LB: 53113 ... c Min unsat cost LB: 53152 ... c Min unsat cost LB: 53219 ... c Min unsat cost LB: 53417 ... c Min unsat cost LB: 53418 ... c Min unsat cost LB: 53423 ... c Min unsat cost LB: 53518 ... c Min unsat cost LB: 53589 ... c Min unsat cost LB: 53613 ... c Min unsat cost LB: 53634 ... c Min unsat cost LB: 53688 ... c Min unsat cost LB: 53702 ... c Min unsat cost LB: 53796 ... c Min unsat cost LB: 53819 ... c Min unsat cost LB: 53821 ... c Min unsat cost LB: 53826 ... c Min unsat cost LB: 53830 ... c Min unsat cost LB: 53868 ... c Min unsat cost LB: 53900 ... c Min unsat cost LB: 53902 ... c Min unsat cost LB: 53914 ... c Min unsat cost LB: 53951 ... c Min unsat cost LB: 53990 ... c Min unsat cost LB: 54000 ... c Min unsat cost LB: 54004 ... c Min unsat cost LB: 54006 ... c Min unsat cost LB: 54023 ... c Min unsat cost LB: 54038 ... c Min unsat cost LB: 54040 ... c Min unsat cost LB: 54042 ... c Min unsat cost LB: 54075 ... c Min unsat cost LB: 54077 ... c Min unsat cost LB: 54079 ... c Min unsat cost LB: 54084 ... c Min unsat cost LB: 54085 ... c Min unsat cost LB: 54111 ... c Min unsat cost LB: 54189 ... c Min unsat cost LB: 54255 ... c Min unsat cost LB: 54264 ... c Min unsat cost LB: 54269 ... c Min unsat cost LB: 54280 ... c Min unsat cost LB: 54298 ... c Min unsat cost LB: 54313 ... c Min unsat cost LB: 54345 ... c Min unsat cost LB: 54349 ... c Min unsat cost LB: 54352 ... c Min unsat cost LB: 54364 ... c Min unsat cost LB: 54369 ... c Min unsat cost LB: 54375 ... c Min unsat cost LB: 54410 ... c Min unsat cost LB: 54424 ... c Min unsat cost LB: 54435 ... c Min unsat cost LB: 54447 ... c Min unsat cost LB: 54461 ... c Min unsat cost LB: 54472 ... c Min unsat cost LB: 54478 ... c Min unsat cost LB: 54513 ... c Min unsat cost LB: 54517 ... c Min unsat cost LB: 54575 ... c Min unsat cost LB: 54588 ... c Min unsat cost LB: 54589 ... c Min unsat cost LB: 54595 ... c Min unsat cost LB: 54609 ... c Min unsat cost LB: 54632 ... c Min unsat cost LB: 54635 ... c Min unsat cost LB: 54637 ... c Min unsat cost LB: 54655 ... c Min unsat cost LB: 54661 ... c Min unsat cost LB: 54689 ... c Min unsat cost LB: 54707 ... c Min unsat cost LB: 54710 ... c Min unsat cost LB: 54723 ... c Min unsat cost LB: 54724 ... c Min unsat cost LB: 54732 ... c Min unsat cost LB: 54735 ... c Min unsat cost LB: 54748 ... c Min unsat cost LB: 54753 ... c Min unsat cost LB: 54762 ... c Min unsat cost LB: 54793 ... c Min unsat cost LB: 54804 ... c Min unsat cost LB: 54850 ... c Min unsat cost LB: 54852 ... c Min unsat cost LB: 54853 ... c Min unsat cost LB: 54892 ... c Min unsat cost LB: 54995 ... c Min unsat cost LB: 55024 ... c Min unsat cost LB: 55027 ... c Min unsat cost LB: 55029 ... c Min unsat cost LB: 55031 ... c Min unsat cost LB: 55036 ... c Min unsat cost LB: 55039 ... c Min unsat cost LB: 55054 ... c Min unsat cost LB: 55074 ... c Min unsat cost LB: 55076 ... c Min unsat cost LB: 55084 ... c Min unsat cost LB: 55095 ... c Min unsat cost LB: 55096 ... c Min unsat cost LB: 55100 ... c Min unsat cost LB: 55102 ... c Min unsat cost LB: 55105 ... c Min unsat cost LB: 55109 ... c Min unsat cost LB: 55136 ... c Min unsat cost LB: 55141 ... c Min unsat cost LB: 55144 ... c Min unsat cost LB: 55148 ... c Min unsat cost LB: 55168 ... c Min unsat cost LB: 55174 ... c Min unsat cost LB: 55176 ... c Min unsat cost LB: 55188 ... c Min unsat cost LB: 55198 ... c Min unsat cost LB: 55203 ... c Min unsat cost LB: 55204 ... c Min unsat cost LB: 55208 ... c Min unsat cost LB: 55210 ... c Min unsat cost LB: 55214 ... c Min unsat cost LB: 55293 ... c Min unsat cost LB: 55311 ... c Min unsat cost LB: 55312 ... c Min unsat cost LB: 55316 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55320 ... c Min unsat cost LB: 55323 ... c Min unsat cost LB: 55324 ... c Min unsat cost LB: 55331 ... c Min unsat cost LB: 55333 ... c Min unsat cost LB: 55336 ... c Min unsat cost LB: 55341 ... c Min unsat cost LB: 55344 ... c Min unsat cost LB: 55345 ... c Min unsat cost LB: 55348 ... c Min unsat cost LB: 55350 ... c Min unsat cost LB: 55358 ... c Min unsat cost LB: 55434 ... c Min unsat cost LB: 55438 ... c Min unsat cost LB: 55439 ... c Min unsat cost LB: 55440 ... c Min unsat cost LB: 55446 ... c Min unsat cost LB: 55450 ... c Min unsat cost LB: 55451 ... c Min unsat cost LB: 55452 ... c Min unsat cost LB: 55454 ... c Min unsat cost LB: 55458 ... c Min unsat cost LB: 55459 ... c Min unsat cost LB: 55460 ... c Min unsat cost LB: 55462 ... c Min unsat cost LB: 55464 ... c Min unsat cost LB: 55472 ... c Min unsat cost LB: 55473 ... c Min unsat cost LB: 55475 ... c Min unsat cost LB: 55492 ... c Min unsat cost LB: 55507 ... c Min unsat cost LB: 55517 ... c Min unsat cost LB: 55545 ... c Min unsat cost LB: 55549 ... c Min unsat cost LB: 55558 ... c Min unsat cost LB: 55562 ... c Min unsat cost LB: 55565 ... c Min unsat cost LB: 55566 ... c Min unsat cost LB: 55567 ... c Min unsat cost LB: 55568 ... c Min unsat cost LB: 55569 ... c Min unsat cost LB: 55570 ... c Min unsat cost LB: 55571 ... c Min unsat cost LB: 55573 ... c Min unsat cost LB: 55575 ... c Min unsat cost LB: 55577 ... c Min unsat cost LB: 55579 ... c Min unsat cost LB: 55580 ... c Min unsat cost LB: 55585 ... c Min unsat cost LB: 55587 ... c Min unsat cost LB: 55605 ... c Min unsat cost LB: 55606 ... c Min unsat cost LB: 55607 ... c Min unsat cost LB: 55610 ... c Min unsat cost LB: 55613 ... c Min unsat cost LB: 55616 ... c Min unsat cost LB: 55620 ... c Min unsat cost LB: 55621 ... c Min unsat cost LB: 55622 ... c Min unsat cost LB: 55629 ... c Min unsat cost LB: 55630 ... c Min unsat cost LB: 55633 ... c Min unsat cost LB: 55634 ... c Min unsat cost LB: 55635 ... c Min unsat cost LB: 55636 ... c Min unsat cost LB: 55637 ... c Min unsat cost LB: 55639 ... c Min unsat cost LB: 55644 ... c Min unsat cost LB: 55647 ... c Min unsat cost LB: 55649 ... c Min unsat cost LB: 55651 ... c Min unsat cost LB: 55652 ... c Min unsat cost LB: 55654 ... c Min unsat cost LB: 55655 ... c Min unsat cost LB: 55657 ... c Min unsat cost LB: 55660 ... c Min unsat cost LB: 55661 ... c Min unsat cost LB: 55674 ... c Min unsat cost LB: 55689 ... c Min unsat cost LB: 55731 ... c Min unsat cost LB: 55734 ... c Min unsat cost LB: 55735 ... c Min unsat cost LB: 55736 ... c Min unsat cost LB: 55738 ... c Min unsat cost LB: 55739 ... c Min unsat cost LB: 55743 ... c Min unsat cost LB: 55765 ... c Min unsat cost LB: 55767 ... c Min unsat cost LB: 55768 ... c Min unsat cost LB: 55769 ... c Min unsat cost LB: 55770 ... c Min unsat cost LB: 55771 ... c Min unsat cost LB: 55772 ... c Min unsat cost LB: 55773 ... c Min unsat cost LB: 55775 ... c Min unsat cost LB: 55776 ... c Min unsat cost LB: 55781 ... c Min unsat cost LB: 55788 ... c Min unsat cost LB: 55793 ... c Min unsat cost LB: 55794 ... c Min unsat cost LB: 55795 ... c Min unsat cost LB: 55805 ... c Min unsat cost LB: 55826 ... c Min unsat cost LB: 55831 ... c Min unsat cost LB: 55834 ... c Min unsat cost LB: 55836 ... c Min unsat cost LB: 55839 ... c Min unsat cost LB: 55841 ... c Min unsat cost LB: 55845 ... c Min unsat cost LB: 55847 ... c Min unsat cost LB: 55848 ... c Min unsat cost LB: 55860 ... c Min unsat cost LB: 55863 ... c Min unsat cost LB: 55880 ... c Min unsat cost LB: 55883 ... c Min unsat cost LB: 55888 ... c Min unsat cost LB: 55889 ... c Min unsat cost LB: 55892 ... c Min unsat cost LB: 55893 ... c Min unsat cost LB: 55894 ... c Min unsat cost LB: 55899 ... c Min unsat cost LB: 55901 ... c Min unsat cost LB: 55904 ... c Min unsat cost LB: 55932 ... c Min unsat cost LB: 55934 ... c Min unsat cost LB: 55936 ... c Min unsat cost LB: 55938 ... c Min unsat cost LB: 55940 ... c Min unsat cost LB: 55951 ... c Min unsat cost LB: 55954 ... c Min unsat cost LB: 55967 ... c Min unsat cost LB: 55970 ... c Min unsat cost LB: 55972 ... c Min unsat cost LB: 55973 ... c Min unsat cost LB: 55975 ... c Min unsat cost LB: 55978 ... c Min unsat cost LB: 55984 ... c Min unsat cost LB: 55987 ... c Min unsat cost LB: 55988 ... c Min unsat cost LB: 55989 ... c Min unsat cost LB: 55990 ... c Min unsat cost LB: 55992 ... c Min unsat cost LB: 55993 ... c Min unsat cost LB: 55994 ... c Min unsat cost LB: 55998 ... c Min unsat cost LB: 56008 ... c Min unsat cost LB: 56009 ... c Min unsat cost LB: 56010 ... c Min unsat cost LB: 56018 ... c Min unsat cost LB: 56028 ... c Min unsat cost LB: 56029 ... c Min unsat cost LB: 56030 ... c Min unsat cost LB: 56031 ... c Min unsat cost LB: 56046 ... c Min unsat cost LB: 56047 ... c Min unsat cost LB: 56057 ... c Min unsat cost LB: 56066 ... c Min unsat cost LB: 56068 ... c Min unsat cost LB: 56070 ... c Min unsat cost LB: 56072 ... c Min unsat cost LB: 56073 ... c Min unsat cost LB: 56075 ... c Min unsat cost LB: 56078 ... c Min unsat cost LB: 56081 ... c Min unsat cost LB: 56091 ... c Min unsat cost LB: 56098 ... c Min unsat cost LB: 56099 ... c Min unsat cost LB: 56102 ... c Min unsat cost LB: 56104 ... c Min unsat cost LB: 56110 ... c Min unsat cost LB: 56111 ... c Min unsat cost LB: 56117 ... c Min unsat cost LB: 56118 ... c Min unsat cost LB: 56122 ... c Min unsat cost LB: 56124 ... c Min unsat cost LB: 56125 ... c Min unsat cost LB: 56127 ... c Min unsat cost LB: 56135 ... c Min unsat cost LB: 56138 ... c Min unsat cost LB: 56143 ... c Min unsat cost LB: 56144 ... c Min unsat cost LB: 56145 ... c Min unsat cost LB: 56146 ... c Min unsat cost LB: 56147 ... c Min unsat cost LB: 56148 ... c Min unsat cost LB: 56149 ... c Min unsat cost LB: 56151 ... c Min unsat cost LB: 56152 ... c Min unsat cost LB: 56153 ... c Min unsat cost LB: 56157 ... c Min unsat cost LB: 56159 ... c Min unsat cost LB: 56160 ... c Min unsat cost LB: 56161 ... c Min unsat cost LB: 56162 ... c Min unsat cost LB: 56163 ... c Min unsat cost LB: 56165 ... c Min unsat cost LB: 56167 ... c Min unsat cost LB: 56168 ... c Min unsat cost LB: 56169 ... c Min unsat cost LB: 56170 ... c Min unsat cost LB: 56171 ... c Min unsat cost LB: 56172 ... c Min unsat cost LB: 56174 ... c Min unsat cost LB: 56175 ... c Min unsat cost LB: 56177 ... c Min unsat cost LB: 56178 ... c Min unsat cost LB: 56179 ... c Min unsat cost LB: 56181 ... c Min unsat cost LB: 56182 ... c Min unsat cost LB: 56183 ... c Min unsat cost LB: 56184 ... c Min unsat cost LB: 56185 ... c Min unsat cost LB: 56186 ... c Min unsat cost LB: 56187 ... c Min unsat cost LB: 56188 ... c Min unsat cost LB: 56189 ... c Min unsat cost LB: 56191 ... c Min unsat cost LB: 56192 ... c Min unsat cost LB: 56193 ... c Min unsat cost LB: 56195 ... c Min unsat cost LB: 56197 ... c Min unsat cost LB: 56198 ... c Min unsat cost LB: 56199 ... c Min unsat cost LB: 56200 ... c Min unsat cost LB: 56201 ... c Min unsat cost LB: 56202 ... c Min unsat cost LB: 56203 ... c Min unsat cost LB: 56204 ... c Min unsat cost LB: 56205 ... c Min unsat cost LB: 56206 ... c Min unsat cost LB: 56207 ... c Min unsat cost LB: 56208 ... c Min unsat cost LB: 56209 ... c Min unsat cost LB: 56214 ... c Min unsat cost LB: 56215 ... c Min unsat cost LB: 56218 ... c Min unsat cost LB: 56225 ... c Min unsat cost LB: 56227 ... c Min unsat cost LB: 56229 ... c Min unsat cost LB: 56235 ... c Min unsat cost LB: 56270 ... c Min unsat cost LB: 56288 ... c Min unsat cost LB: 56289 ... c Min unsat cost LB: 56292 ... c Min unsat cost LB: 56295 ... c Min unsat cost LB: 56296 ... c Min unsat cost LB: 56297 ... c Min unsat cost LB: 56311 ... c Min unsat cost LB: 56312 ... c Min unsat cost LB: 56313 ... c Min unsat cost LB: 56325 ... c Min unsat cost LB: 56331 ... c Min unsat cost LB: 56348 ... c Min unsat cost LB: 56349 ... c Min unsat cost LB: 56351 ... c Min unsat cost LB: 56353 ... c Min unsat cost LB: 56362 ... c Min unsat cost LB: 56363 ... c Min unsat cost LB: 56367 ... c Min unsat cost LB: 56377 ... c Min unsat cost LB: 56381 ... c Min unsat cost LB: 56382 ... c Min unsat cost LB: 56383 ... c Min unsat cost LB: 56385 ... c Min unsat cost LB: 56386 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56391 ... c Min unsat cost LB: 56454 ... c Min unsat cost LB: 56456 ... c Min unsat cost LB: 56463 ... c Min unsat cost LB: 56464 ... c Min unsat cost LB: 56465 ... c Min unsat cost LB: 56466 ... c Min unsat cost LB: 56467 ... c Min unsat cost LB: 56468 ... c Min unsat cost LB: 56469 ... c Min unsat cost LB: 56470 ... c Min unsat cost LB: 56471 ... c Min unsat cost LB: 56472 ... c Min unsat cost LB: 56473 ... c Min unsat cost LB: 56474 ... c Min unsat cost LB: 56475 ... c Min unsat cost LB: 56476 ... c Min unsat cost LB: 56477 ... c Min unsat cost LB: 56478 ... c Min unsat cost LB: 56479 ... c Min unsat cost LB: 56486 ... c Min unsat cost LB: 56487 ... c Min unsat cost LB: 56488 ... c Min unsat cost LB: 56490 ... c Min unsat cost LB: 56493 ... c Min unsat cost LB: 56494 ... c Min unsat cost LB: 56496 ... c Min unsat cost LB: 56498 ... c Min unsat cost LB: 56499 ... c Min unsat cost LB: 56500 ... c Min unsat cost LB: 56501 ... c Min unsat cost LB: 56502 ... c Min unsat cost LB: 56503 ... c Min unsat cost LB: 56504 ... c Min unsat cost LB: 56505 ... c Min unsat cost LB: 56506 ... c Min unsat cost LB: 56507 ... c Min unsat cost LB: 56508 ... c Min unsat cost LB: 56510 ... c Min unsat cost LB: 56511 ... c Min unsat cost LB: 56512 ... c Min unsat cost LB: 56513 ... c Min unsat cost LB: 56514 ... c Min unsat cost LB: 56515 ... c Min unsat cost LB: 56516 ... c Min unsat cost LB: 56517 ... c Min unsat cost LB: 56518 ... c Min unsat cost LB: 56519 ... c Min unsat cost LB: 56521 ... c Min unsat cost LB: 56522 ... c Min unsat cost LB: 56525 ... c Min unsat cost LB: 56526 ... c Min unsat cost LB: 56527 ... c Min unsat cost LB: 56529 ... c Min unsat cost LB: 56530 ... c Min unsat cost LB: 56531 ... c Min unsat cost LB: 56532 ... c Min unsat cost LB: 56533 ... c Min unsat cost LB: 56534 ... c Min unsat cost LB: 56535 ... c Min unsat cost LB: 56538 ... c Min unsat cost LB: 56539 ... c Min unsat cost LB: 56540 ... c Min unsat cost LB: 56541 ... c Min unsat cost LB: 56542 ... c Min unsat cost LB: 56543 ... c Min unsat cost LB: 56544 ... c Min unsat cost LB: 56545 ... c Min unsat cost LB: 56547 ... c Min unsat cost LB: 56548 ... c Min unsat cost LB: 56549 ... c Min unsat cost LB: 56551 ... c Min unsat cost LB: 56552 ... c Min unsat cost LB: 56553 ... c Min unsat cost LB: 56554 ... c Min unsat cost LB: 56555 ... c Min unsat cost LB: 56556 ... c Min unsat cost LB: 56562 ... c Min unsat cost LB: 56569 ... c Min unsat cost LB: 56570 ... c Min unsat cost LB: 56571 ... c Min unsat cost LB: 56572 ... c Min unsat cost LB: 56574 ... c Min unsat cost LB: 56575 ... c Min unsat cost LB: 56585 ... c Min unsat cost LB: 56588 ... c Min unsat cost LB: 56589 ... c Min unsat cost LB: 56590 ... c Min unsat cost LB: 56591 ... c Min unsat cost LB: 56592 ... c Min unsat cost LB: 56593 ... c Min unsat cost LB: 56594 ... c Min unsat cost LB: 56595 ... c Min unsat cost LB: 56596 ... c Min unsat cost LB: 56597 ... c Min unsat cost LB: 56599 ... c Min unsat cost LB: 56600 ... c Min unsat cost LB: 56601 ... c Min unsat cost LB: 56602 ... c Min unsat cost LB: 56604 ... c Min unsat cost LB: 56605 ... c Min unsat cost LB: 56606 ... c Min unsat cost LB: 56607 ... c Min unsat cost LB: 56608 ... c Min unsat cost LB: 56609 ... c Min unsat cost LB: 56610 ... c Min unsat cost LB: 56611 ... c Min unsat cost LB: 56612 ... c Min unsat cost LB: 56613 ... c Min unsat cost LB: 56614 ... c Min unsat cost LB: 56615 ... c Min unsat cost LB: 56616 ... c Min unsat cost LB: 56617 ... c Min unsat cost LB: 56618 ... c Min unsat cost LB: 56619 ... c Min unsat cost LB: 56620 ... c Min unsat cost LB: 56621 ... c Min unsat cost LB: 56622 ... c Min unsat cost LB: 56623 ... c Min unsat cost LB: 56624 ... c Min unsat cost LB: 56625 ... c Min unsat cost LB: 56626 ... c Min unsat cost LB: 56627 ... c Min unsat cost LB: 56628 ... c Min unsat cost LB: 56629 ... c Min unsat cost LB: 56630 ... c Min unsat cost LB: 56631 ... c Min unsat cost LB: 56632 ... c Min unsat cost LB: 56633 ... c Min unsat cost LB: 56634 ... c Min unsat cost LB: 56635 ... c Min unsat cost LB: 56636 ... c Min unsat cost LB: 56640 ... c Min unsat cost LB: 56648 ... c Min unsat cost LB: 56650 ... c Min unsat cost LB: 56651 ... c Min unsat cost LB: 56652 ... c Min unsat cost LB: 56653 ... c Min unsat cost LB: 56654 ... c Min unsat cost LB: 56655 ... c Min unsat cost LB: 56656 ... c Min unsat cost LB: 56662 ... c Min unsat cost LB: 56667 ... c Min unsat cost LB: 56670 ... c Min unsat cost LB: 56671 ... c Min unsat cost LB: 56672 ... c Min unsat cost LB: 56674 ... c Min unsat cost LB: 56677 ... c Min unsat cost LB: 56682 ... c Min unsat cost LB: 56683 ... c Min unsat cost LB: 56684 ... c Min unsat cost LB: 56685 ... c Min unsat cost LB: 56686 ... c Min unsat cost LB: 56687 ... c Min unsat cost LB: 56688 ... c Min unsat cost LB: 56720 ... c Min unsat cost LB: 56723 ... c Min unsat cost LB: 56732 ... c Min unsat cost LB: 56733 ... c Min unsat cost LB: 56734 ... c Min unsat cost LB: 56735 ... c Min unsat cost LB: 56736 ... c Min unsat cost LB: 56737 ... c Min unsat cost LB: 56738 ... c Min unsat cost LB: 56739 ... c Min unsat cost LB: 56754 ... c Min unsat cost LB: 56759 ... c Min unsat cost LB: 56760 ... c Min unsat cost LB: 56761 ... c Min unsat cost LB: 56762 ... c Min unsat cost LB: 56763 ... c Min unsat cost LB: 56764 ... c Min unsat cost LB: 56765 ... c Min unsat cost LB: 56766 ... c Min unsat cost LB: 56767 ... c Min unsat cost LB: 56768 ... c Min unsat cost LB: 56769 ... c Min unsat cost LB: 56770 ... c Min unsat cost LB: 56771 ... c Min unsat cost LB: 56778 ... c Min unsat cost LB: 56779 ... c Min unsat cost LB: 56780 ... c Min unsat cost LB: 56781 ... c Min unsat cost LB: 56782 ... c Min unsat cost LB: 56783 ... c Min unsat cost LB: 56784 ... c Min unsat cost LB: 56785 ... c Min unsat cost LB: 56786 ... c Min unsat cost LB: 56787 ... c Min unsat cost LB: 56788 ... c Min unsat cost LB: 56789 ... c Min unsat cost LB: 56790 ... c Min unsat cost LB: 56791 ... c Min unsat cost LB: 56799 ... c Min unsat cost LB: 56805 ... c Min unsat cost LB: 56806 ... c Min unsat cost LB: 56807 ... c Min unsat cost LB: 56808 ... c Min unsat cost LB: 56809 ... c Min unsat cost LB: 56810 ... c Min unsat cost LB: 56811 ... c Min unsat cost LB: 56812 ... c Min unsat cost LB: 56813 ... c Min unsat cost LB: 56816 ... c Min unsat cost LB: 56817 ... c Min unsat cost LB: 56819 ... c Min unsat cost LB: 56820 ... c Min unsat cost LB: 56821 ... c Min unsat cost LB: 56827 ... c Min unsat cost LB: 56831 ... c Min unsat cost LB: 56832 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56834 ... c Min unsat cost LB: 56835 ... c Min unsat cost LB: 56889 ... c Min unsat cost LB: 56890 ... c Min unsat cost LB: 56891 ... c Min unsat cost LB: 56892 ... c Min unsat cost LB: 56893 ... c Min unsat cost LB: 56894 ... c Min unsat cost LB: 56895 ... c Min unsat cost LB: 56896 ... c Min unsat cost LB: 56897 ... c Min unsat cost LB: 56898 ... c Min unsat cost LB: 56899 ... c Min unsat cost LB: 56900 ... c Min unsat cost LB: 56901 ... c Min unsat cost LB: 56902 ... c Min unsat cost LB: 56903 ... c Min unsat cost LB: 56904 ... c Min unsat cost LB: 56905 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 56907 ... c Min unsat cost LB: 56908 ... c Min unsat cost LB: 56909 ... c Min unsat cost LB: 56912 ... c Min unsat cost LB: 56917 ... c Min unsat cost LB: 56919 ... c Min unsat cost LB: 56923 ... c Min unsat cost LB: 56929 ... c Min unsat cost LB: 56931 ... c Min unsat cost LB: 56933 ... c Min unsat cost LB: 56935 ... c Min unsat cost LB: 56936 ... c Min unsat cost LB: 56937 ... c Min unsat cost LB: 56939 ... c Min unsat cost LB: 56948 ... c Min unsat cost LB: 56949 ... c Min unsat cost LB: 56953 ... c Min unsat cost LB: 56954 ... c Min unsat cost LB: 56955 ... c Min unsat cost LB: 56956 ... c Min unsat cost LB: 56957 ... c Min unsat cost LB: 56958 ... c Min unsat cost LB: 56959 ... c Min unsat cost LB: 56960 ... c Min unsat cost LB: 56963 ... c Min unsat cost LB: 56964 ... c Min unsat cost LB: 56965 ... c Min unsat cost LB: 57026 ... c Min unsat cost LB: 57027 ... c Min unsat cost LB: 57028 ... c Min unsat cost LB: 57029 ... c Min unsat cost LB: 57030 ... c Min unsat cost LB: 57031 ... c Min unsat cost LB: 57032 ... c Min unsat cost LB: 57033 ... c Min unsat cost LB: 57034 ... c Min unsat cost LB: 57035 ... c Min unsat cost LB: 57036 ... c Min unsat cost LB: 57037 ... c Min unsat cost LB: 57038 ... c Min unsat cost LB: 57039 ... c Min unsat cost LB: 57040 ... c Min unsat cost LB: 57041 ... c Min unsat cost LB: 57042 ... c Min unsat cost LB: 57043 ... c Min unsat cost LB: 57044 ... c Min unsat cost LB: 57045 ... c Min unsat cost LB: 57046 ... c Min unsat cost LB: 57047 ... c Min unsat cost LB: 57048 ... c Min unsat cost LB: 57049 ... c Min unsat cost LB: 57050 ... c Min unsat cost LB: 57051 ... c Min unsat cost LB: 57054 ... c Min unsat cost LB: 57055 ... c Min unsat cost LB: 57056 ... c Min unsat cost LB: 57057 ... c Min unsat cost LB: 57058 ... c Min unsat cost LB: 57059 ... c Min unsat cost LB: 57060 ... c Min unsat cost LB: 57070 ... c Min unsat cost LB: 57071 ... c Min unsat cost LB: 57072 ... c Min unsat cost LB: 57073 ... c Min unsat cost LB: 57074 ... c Min unsat cost LB: 57075 ... c Min unsat cost LB: 57076 ... c Min unsat cost LB: 57077 ... c Min unsat cost LB: 57078 ... c Min unsat cost LB: 57079 ... c Min unsat cost LB: 57080 ... c Min unsat cost LB: 57081 ... c Min unsat cost LB: 57082 ... c Min unsat cost LB: 57083 ... c Min unsat cost LB: 57084 ... c Min unsat cost LB: 57085 ... c Min unsat cost LB: 57086 ... c Min unsat cost LB: 57087 ... c Min unsat cost LB: 57088 ... c Min unsat cost LB: 57089 ... c Min unsat cost LB: 57090 ... c Min unsat cost LB: 57091 ... c Min unsat cost LB: 57092 ... c Min unsat cost LB: 57093 ... c Min unsat cost LB: 57094 ... c Min unsat cost LB: 57095 ... c Min unsat cost LB: 57096 ... c Min unsat cost LB: 57097 ... c Min unsat cost LB: 57098 ... c Min unsat cost LB: 57099 ... c Min unsat cost LB: 57100 ... c Min unsat cost LB: 57101 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57103 ... c Min unsat cost LB: 57107 ... c Min unsat cost LB: 57114 ... c Min unsat cost LB: 57115 ... c Min unsat cost LB: 57116 ... c Min unsat cost LB: 57117 ... c Min unsat cost LB: 57118 ... c Min unsat cost LB: 57119 ... c Min unsat cost LB: 57120 ... c Min unsat cost LB: 57121 ... c Min unsat cost LB: 57122 ... c Min unsat cost LB: 57123 ... c Min unsat cost LB: 57124 ... c Min unsat cost LB: 57125 ... c Min unsat cost LB: 57126 ... c Min unsat cost LB: 57127 ... c Min unsat cost LB: 57128 ... c Min unsat cost LB: 57129 ... c Min unsat cost LB: 57130 ... c Min unsat cost LB: 57131 ... c Min unsat cost LB: 57132 ... c Min unsat cost LB: 57133 ... c Min unsat cost LB: 57134 ... c Min unsat cost LB: 57135 ... c Min unsat cost LB: 57136 ... c Min unsat cost LB: 57137 ... c Min unsat cost LB: 57138 ... c Min unsat cost LB: 57139 ... c Min unsat cost LB: 57140 ... c Min unsat cost LB: 57141 ... c Min unsat cost LB: 57142 ... c Min unsat cost LB: 57143 ... c Min unsat cost LB: 57144 ... c Min unsat cost LB: 57145 ... c Min unsat cost LB: 57146 ... c Min unsat cost LB: 57147 ... c Min unsat cost LB: 57148 ... c Min unsat cost LB: 57149 ... c Min unsat cost LB: 57150 ... c Min unsat cost LB: 57151 ... c Min unsat cost LB: 57152 ... c Min unsat cost LB: 57153 ... c Min unsat cost LB: 57154 ... c Min unsat cost LB: 57155 ... c Min unsat cost LB: 57156 ... c Min unsat cost LB: 57157 ... c Min unsat cost LB: 57158 ... c Min unsat cost LB: 57159 ... c Min unsat cost LB: 57160 ... c Min unsat cost LB: 57161 ... c Min unsat cost LB: 57162 ... c Min unsat cost LB: 57163 ... c Min unsat cost LB: 57164 ... c Min unsat cost LB: 57165 ... c Min unsat cost LB: 57166 ... c Min unsat cost LB: 57167 ... c Min unsat cost LB: 57168 ... c Min unsat cost LB: 57169 ... c Min unsat cost LB: 57170 ... c Min unsat cost LB: 57171 ... c Min unsat cost LB: 57172 ... c Min unsat cost LB: 57173 ... c Min unsat cost LB: 57174 ... c Min unsat cost LB: 57175 ... c Min unsat cost LB: 57176 ... c Min unsat cost LB: 57177 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57179 ... c Min unsat cost LB: 57180 ... c Min unsat cost LB: 57181 ... c Min unsat cost LB: 57182 ... c Min unsat cost LB: 57183 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57185 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57187 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57189 ... c Min unsat cost LB: 57190 ... c Min unsat cost LB: 57191 ... c Min unsat cost LB: 57192 ... c Min unsat cost LB: 5Killed 1809.768u 9.975s 54:01.30 56.1% 0+0k 0+0io 0pf+0w