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_80_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_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_80_0005.txt.wcnf *** c c Min unsat cost LB: 421 ... c Min unsat cost LB: 1454 ... c Min unsat cost LB: 2487 ... c Min unsat cost LB: 3446 ... c Min unsat cost LB: 3913 ... c Min unsat cost LB: 4946 ... c Min unsat cost LB: 5079 ... c Min unsat cost LB: 6245 ... c Min unsat cost LB: 7279 ... c Min unsat cost LB: 8312 ... c Min unsat cost LB: 9346 ... c Min unsat cost LB: 9791 ... c Min unsat cost LB: 10750 ... c Min unsat cost LB: 11783 ... c Min unsat cost LB: 12580 ... c Min unsat cost LB: 12932 ... c Min unsat cost LB: 13094 ... c Min unsat cost LB: 13227 ... c Min unsat cost LB: 13889 ... c Min unsat cost LB: 13991 ... c Min unsat cost LB: 14838 ... c Min unsat cost LB: 15144 ... c Min unsat cost LB: 15286 ... c Min unsat cost LB: 16083 ... c Min unsat cost LB: 16400 ... c Min unsat cost LB: 17197 ... c Min unsat cost LB: 17980 ... c Min unsat cost LB: 18082 ... c Min unsat cost LB: 18715 ... c Min unsat cost LB: 19210 ... c Min unsat cost LB: 19612 ... c Min unsat cost LB: 19918 ... c Min unsat cost LB: 20413 ... c Min unsat cost LB: 20569 ... c Min unsat cost LB: 21304 ... c Min unsat cost LB: 21920 ... c Min unsat cost LB: 22062 ... c Min unsat cost LB: 22069 ... c Min unsat cost LB: 22486 ... c Min unsat cost LB: 22514 ... c Min unsat cost LB: 22891 ... c Min unsat cost LB: 23695 ... c Min unsat cost LB: 24430 ... c Min unsat cost LB: 24592 ... c Min unsat cost LB: 24924 ... c Min unsat cost LB: 25638 ... c Min unsat cost LB: 26181 ... c Min unsat cost LB: 26519 ... c Min unsat cost LB: 26769 ... c Min unsat cost LB: 26956 ... c Min unsat cost LB: 27254 ... c Min unsat cost LB: 27366 ... c Min unsat cost LB: 27787 ... c Min unsat cost LB: 28584 ... c Min unsat cost LB: 28764 ... c Min unsat cost LB: 29047 ... c Min unsat cost LB: 29473 ... c Min unsat cost LB: 29807 ... c Min unsat cost LB: 30145 ... c Min unsat cost LB: 30840 ... c Min unsat cost LB: 31163 ... c Min unsat cost LB: 31311 ... c Min unsat cost LB: 31485 ... c Min unsat cost LB: 31906 ... c Min unsat cost LB: 31924 ... c Min unsat cost LB: 31973 ... c Min unsat cost LB: 31980 ... c Min unsat cost LB: 32638 ... c Min unsat cost LB: 32703 ... c Min unsat cost LB: 33123 ... c Min unsat cost LB: 33265 ... c Min unsat cost LB: 33388 ... c Min unsat cost LB: 33530 ... c Min unsat cost LB: 33997 ... c Min unsat cost LB: 34025 ... c Min unsat cost LB: 34312 ... c Min unsat cost LB: 34474 ... c Min unsat cost LB: 34609 ... c Min unsat cost LB: 35011 ... c Min unsat cost LB: 35159 ... c Min unsat cost LB: 35242 ... c Min unsat cost LB: 35382 ... c Min unsat cost LB: 35688 ... c Min unsat cost LB: 35701 ... c Min unsat cost LB: 35944 ... c Min unsat cost LB: 36046 ... c Min unsat cost LB: 36127 ... c Min unsat cost LB: 36192 ... c Min unsat cost LB: 36421 ... c Min unsat cost LB: 36503 ... c Min unsat cost LB: 36510 ... c Min unsat cost LB: 36534 ... c Min unsat cost LB: 36541 ... c Min unsat cost LB: 36682 ... c Min unsat cost LB: 36710 ... c Min unsat cost LB: 36928 ... c Min unsat cost LB: 37084 ... c Min unsat cost LB: 37095 ... c Min unsat cost LB: 37298 ... c Min unsat cost LB: 37322 ... c Min unsat cost LB: 37335 ... c Min unsat cost LB: 37476 ... c Min unsat cost LB: 37622 ... c Min unsat cost LB: 37760 ... c Min unsat cost LB: 38092 ... c Min unsat cost LB: 38179 ... c Min unsat cost LB: 38314 ... c Min unsat cost LB: 38395 ... c Min unsat cost LB: 38539 ... c Min unsat cost LB: 38552 ... c Min unsat cost LB: 38613 ... c Min unsat cost LB: 38630 ... c Min unsat cost LB: 38641 ... c Min unsat cost LB: 38715 ... c Min unsat cost LB: 38803 ... c Min unsat cost LB: 38852 ... c Min unsat cost LB: 38914 ... c Min unsat cost LB: 38936 ... c Min unsat cost LB: 38979 ... c Min unsat cost LB: 39210 ... c Min unsat cost LB: 39305 ... c Min unsat cost LB: 39408 ... c Min unsat cost LB: 39501 ... c Min unsat cost LB: 39641 ... c Min unsat cost LB: 39643 ... c Min unsat cost LB: 39665 ... c Min unsat cost LB: 39766 ... c Min unsat cost LB: 39841 ... c Min unsat cost LB: 40112 ... c Min unsat cost LB: 40147 ... c Min unsat cost LB: 40158 ... c Min unsat cost LB: 40334 ... c Min unsat cost LB: 40342 ... c Min unsat cost LB: 40493 ... c Min unsat cost LB: 40565 ... c Min unsat cost LB: 40582 ... c Min unsat cost LB: 40741 ... c Min unsat cost LB: 40765 ... c Min unsat cost LB: 40772 ... c Min unsat cost LB: 40897 ... c Min unsat cost LB: 41135 ... c Min unsat cost LB: 41189 ... c Min unsat cost LB: 41324 ... c Min unsat cost LB: 41342 ... c Min unsat cost LB: 41344 ... c Min unsat cost LB: 41351 ... c Min unsat cost LB: 41364 ... c Min unsat cost LB: 41663 ... c Min unsat cost LB: 41760 ... c Min unsat cost LB: 41899 ... c Min unsat cost LB: 41934 ... c Min unsat cost LB: 41997 ... c Min unsat cost LB: 42076 ... c Min unsat cost LB: 42104 ... c Min unsat cost LB: 42224 ... c Min unsat cost LB: 42257 ... c Min unsat cost LB: 42260 ... c Min unsat cost LB: 42463 ... c Min unsat cost LB: 42474 ... c Min unsat cost LB: 42487 ... c Min unsat cost LB: 42562 ... c Min unsat cost LB: 42655 ... c Min unsat cost LB: 42683 ... c Min unsat cost LB: 42724 ... c Min unsat cost LB: 42729 ... c Min unsat cost LB: 42746 ... c Min unsat cost LB: 42805 ... c Min unsat cost LB: 42807 ... c Min unsat cost LB: 42813 ... c Min unsat cost LB: 42816 ... c Min unsat cost LB: 42821 ... c Min unsat cost LB: 42868 ... c Min unsat cost LB: 42999 ... c Min unsat cost LB: 43012 ... c Min unsat cost LB: 43014 ... c Min unsat cost LB: 43093 ... c Min unsat cost LB: 43158 ... c Min unsat cost LB: 43178 ... c Min unsat cost LB: 43196 ... c Min unsat cost LB: 43207 ... c Min unsat cost LB: 43283 ... c Min unsat cost LB: 43295 ... c Min unsat cost LB: 43301 ... c Min unsat cost LB: 43305 ... c Min unsat cost LB: 43338 ... c Min unsat cost LB: 43340 ... c Min unsat cost LB: 43358 ... c Min unsat cost LB: 43393 ... c Min unsat cost LB: 43465 ... c Min unsat cost LB: 43476 ... c Min unsat cost LB: 43478 ... c Min unsat cost LB: 43484 ... c Min unsat cost LB: 43496 ... c Min unsat cost LB: 43516 ... c Min unsat cost LB: 43523 ... c Min unsat cost LB: 43558 ... c Min unsat cost LB: 43571 ... c Min unsat cost LB: 43582 ... c Min unsat cost LB: 43611 ... c Min unsat cost LB: 43613 ... c Min unsat cost LB: 43623 ... c Min unsat cost LB: 43643 ... c Min unsat cost LB: 43649 ... c Min unsat cost LB: 43653 ... c Min unsat cost LB: 43655 ... c Min unsat cost LB: 43672 ... c Min unsat cost LB: 43673 ... c Min unsat cost LB: 43677 ... c Min unsat cost LB: 43724 ... c Min unsat cost LB: 43734 ... c Min unsat cost LB: 43753 ... c Min unsat cost LB: 43853 ... c Min unsat cost LB: 43864 ... c Min unsat cost LB: 43865 ... c Min unsat cost LB: 43871 ... c Min unsat cost LB: 43881 ... c Min unsat cost LB: 43883 ... c Min unsat cost LB: 43891 ... c Min unsat cost LB: 43895 ... c Min unsat cost LB: 43904 ... c Min unsat cost LB: 43930 ... c Min unsat cost LB: 43936 ... c Min unsat cost LB: 44001 ... c Min unsat cost LB: 44007 ... c Min unsat cost LB: 44009 ... c Min unsat cost LB: 44052 ... c Min unsat cost LB: 44063 ... c Min unsat cost LB: 44071 ... c Min unsat cost LB: 44072 ... c Min unsat cost LB: 44076 ... c Min unsat cost LB: 44082 ... c Min unsat cost LB: 44084 ... c Min unsat cost LB: 44096 ... c Min unsat cost LB: 44100 ... c Min unsat cost LB: 44106 ... c Min unsat cost LB: 44164 ... c Min unsat cost LB: 44165 ... c Min unsat cost LB: 44169 ... c Min unsat cost LB: 44170 ... c Min unsat cost LB: 44172 ... c Min unsat cost LB: 44174 ... c Min unsat cost LB: 44181 ... c Min unsat cost LB: 44190 ... c Min unsat cost LB: 44192 ... c Min unsat cost LB: 44197 ... c Min unsat cost LB: 44198 ... c Min unsat cost LB: 44209 ... c Min unsat cost LB: 44215 ... c Min unsat cost LB: 44219 ... c Min unsat cost LB: 44245 ... c Min unsat cost LB: 44247 ... c Min unsat cost LB: 44260 ... c Min unsat cost LB: 44276 ... c Min unsat cost LB: 44278 ... c Min unsat cost LB: 44285 ... c Min unsat cost LB: 44295 ... c Min unsat cost LB: 44325 ... c Min unsat cost LB: 44340 ... c Min unsat cost LB: 44377 ... c Min unsat cost LB: 44378 ... c Min unsat cost LB: 44432 ... c Min unsat cost LB: 44443 ... c Min unsat cost LB: 44449 ... c Min unsat cost LB: 44486 ... c Min unsat cost LB: 44494 ... c Min unsat cost LB: 44540 ... c Min unsat cost LB: 44555 ... c Min unsat cost LB: 44559 ... c Min unsat cost LB: 44562 ... c Min unsat cost LB: 44564 ... c Min unsat cost LB: 44572 ... c Min unsat cost LB: 44589 ... c Min unsat cost LB: 44596 ... c Min unsat cost LB: 44599 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 44613 ... c Min unsat cost LB: 44619 ... c Min unsat cost LB: 44620 ... c Min unsat cost LB: 44622 ... c Min unsat cost LB: 44628 ... c Min unsat cost LB: 44635 ... c Min unsat cost LB: 44637 ... c Min unsat cost LB: 44638 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44648 ... c Min unsat cost LB: 44659 ... c Min unsat cost LB: 44660 ... c Min unsat cost LB: 44676 ... c Min unsat cost LB: 44686 ... c Min unsat cost LB: 44701 ... c Min unsat cost LB: 44703 ... c Min unsat cost LB: 44706 ... c Min unsat cost LB: 44707 ... c Min unsat cost LB: 44708 ... c Min unsat cost LB: 44714 ... c Min unsat cost LB: 44724 ... c Min unsat cost LB: 44726 ... c Min unsat cost LB: 44730 ... c Min unsat cost LB: 44732 ... c Min unsat cost LB: 44747 ... c Min unsat cost LB: 44748 ... c Min unsat cost LB: 44749 ... c Min unsat cost LB: 44754 ... c Min unsat cost LB: 44756 ... c Min unsat cost LB: 44760 ... c Min unsat cost LB: 44764 ... c Min unsat cost LB: 44765 ... c Min unsat cost LB: 44769 ... c Min unsat cost LB: 44770 ... c Min unsat cost LB: 44772 ... c Min unsat cost LB: 44778 ... c Min unsat cost LB: 44788 ... c Min unsat cost LB: 44795 ... c Min unsat cost LB: 44826 ... c Min unsat cost LB: 44827 ... c Min unsat cost LB: 44831 ... c Min unsat cost LB: 44833 ... c Min unsat cost LB: 44852 ... c Min unsat cost LB: 44906 ... c Min unsat cost LB: 44908 ... c Min unsat cost LB: 44913 ... c Min unsat cost LB: 44914 ... c Min unsat cost LB: 44915 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 44918 ... c Min unsat cost LB: 44926 ... c Min unsat cost LB: 44928 ... c Min unsat cost LB: 44930 ... c Min unsat cost LB: 44931 ... c Min unsat cost LB: 44932 ... c Min unsat cost LB: 44934 ... c Min unsat cost LB: 44936 ... c Min unsat cost LB: 44937 ... c Min unsat cost LB: 44939 ... c Min unsat cost LB: 44945 ... c Min unsat cost LB: 44949 ... c Min unsat cost LB: 44950 ... c Min unsat cost LB: 44951 ... c Min unsat cost LB: 44953 ... c Min unsat cost LB: 44958 ... c Min unsat cost LB: 44961 ... c Min unsat cost LB: 44970 ... c Min unsat cost LB: 44971 ... c Min unsat cost LB: 44972 ... c Min unsat cost LB: 44974 ... c Min unsat cost LB: 44976 ... c Min unsat cost LB: 44977 ... c Min unsat cost LB: 44981 ... c Min unsat cost LB: 44982 ... c Min unsat cost LB: 44983 ... c Min unsat cost LB: 44984 ... c Min unsat cost LB: 44985 ... c Min unsat cost LB: 44986 ... c Min unsat cost LB: 44987 ... c Min unsat cost LB: 44988 ... c Min unsat cost LB: 44989 ... c Min unsat cost LB: 44991 ... c Min unsat cost LB: 44993 ... c Min unsat cost LB: 44994 ... c Min unsat cost LB: 44995 ... c Min unsat cost LB: 44996 ... c Min unsat cost LB: 44997 ... c Min unsat cost LB: 44998 ... c Min unsat cost LB: 44999 ... c Min unsat cost LB: 45000 ... c Min unsat cost LB: 45005 ... c Min unsat cost LB: 45006 ... c Min unsat cost LB: 45010 ... c Min unsat cost LB: 45011 ... c Min unsat cost LB: 45012 ... c Min unsat cost LB: 45015 ... c Min unsat cost LB: 45020 ... c Min unsat cost LB: 45021 ... c Min unsat cost LB: 45022 ... c Min unsat cost LB: 45025 ... c Min unsat cost LB: 45026 ... c Min unsat cost LB: 45030 ... c Min unsat cost LB: 45031 ... c Min unsat cost LB: 45036 ... c Min unsat cost LB: 45038 ... c Min unsat cost LB: 45040 ... c Min unsat cost LB: 45041 ... c Min unsat cost LB: 45042 ... c Min unsat cost LB: 45043 ... c Min unsat cost LB: 45049 ... c Min unsat cost LB: 45054 ... c Min unsat cost LB: 45066 ... c Min unsat cost LB: 45067 ... c Min unsat cost LB: 45068 ... c Min unsat cost LB: 45069 ... c Min unsat cost LB: 45071 ... c Min unsat cost LB: 45072 ... c Min unsat cost LB: 45073 ... c Min unsat cost LB: 45074 ... c Min unsat cost LB: 45075 ... c Min unsat cost LB: 45077 ... c Min unsat cost LB: 45078 ... c Min unsat cost LB: 45079 ... c Min unsat cost LB: 45080 ... c Min unsat cost LB: 45082 ... c Min unsat cost LB: 45083 ... c Min unsat cost LB: 45084 ... c Min unsat cost LB: 45085 ... c Min unsat cost LB: 45086 ... c Min unsat cost LB: 45087 ... c Min unsat cost LB: 45088 ... c Min unsat cost LB: 45089 ... c Min unsat cost LB: 45090 ... c Min unsat cost LB: 45100 ... c Min unsat cost LB: 45103 ... c Min unsat cost LB: 45105 ... c Min unsat cost LB: 45107 ... c Min unsat cost LB: 45117 ... c Min unsat cost LB: 45118 ... c Min unsat cost LB: 45130 ... c Min unsat cost LB: 45131 ... c Min unsat cost LB: 45132 ... c Min unsat cost LB: 45133 ... c Min unsat cost LB: 45134 ... c Min unsat cost LB: 45135 ... c Min unsat cost LB: 45140 ... c Min unsat cost LB: 45141 ... c Min unsat cost LB: 45142 ... c Min unsat cost LB: 45143 ... c Min unsat cost LB: 45144 ... c Min unsat cost LB: 45145 ... c Min unsat cost LB: 45146 ... c Min unsat cost LB: 45147 ... c Min unsat cost LB: 45148 ... c Min unsat cost LB: 45149 ... c Min unsat cost LB: 45150 ... c Min unsat cost LB: 45151 ... c Min unsat cost LB: 45152 ... c Min unsat cost LB: 45153 ... c Min unsat cost LB: 45155 ... c Min unsat cost LB: 45156 ... c Min unsat cost LB: 45157 ... c Min unsat cost LB: 45158 ... c Min unsat cost LB: 45159 ... c Min unsat cost LB: 45160 ... c Min unsat cost LB: 45161 ... c Min unsat cost LB: 45162 ... c Min unsat cost LB: 45163 ... c Min unsat cost LB: 45164 ... c Min unsat cost LB: 45165 ... c Min unsat cost LB: 45166 ... c Min unsat cost LB: 45167 ... c Min unsat cost LB: 45168 ... c Min unsat cost LB: 45171 ... c Min unsat cost LB: 45177 ... c Min unsat cost LB: 45178 ... c Min unsat cost LB: 45179 ... c Min unsat cost LB: 45180 ... c Min unsat cost LB: 45181 ... c Min unsat cost LB: 45182 ... c Min unsat cost LB: 45183 ... c Min unsat cost LB: 45184 ... c Min unsat cost LB: 45185 ... c Min unsat cost LB: 45186 ... c Min unsat cost LB: 45187 ... c Min unsat cost LB: 45188 ... c Min unsat cost LB: 45189 ... c Min unsat cost LB: 45190 ... c Min unsat cost LB: 45191 ... c Min unsat cost LB: 45192 ... c Min unsat cost LB: 45193 ... c Min unsat cost LB: 45194 ... c Min unsat cost LB: 45195 ... c Min unsat cost LB: 45197 ... c Min unsat cost LB: 45198 ... c Min unsat cost LB: 45199 ... c Min unsat cost LB: 45200 ... c Min unsat cost LB: 45203 ... c Min unsat cost LB: 45204 ... c Min unsat cost LB: 45205 ... c Min unsat cost LB: 45206 ... c Min unsat cost LB: 45211 ... c Min unsat cost LB: 45212 ... c Min unsat cost LB: 45214 ... c Min unsat cost LB: 45215 ... c Min unsat cost LB: 45216 ... c Min unsat cost LB: 45217 ... c Min unsat cost LB: 45218 ... c Min unsat cost LB: 45219 ... c Min unsat cost LB: 45220 ... c Min unsat cost LB: 45221 ... c Min unsat cost LB: 45222 ... c Min unsat cost LB: 45223 ... c Min unsat cost LB: 45224 ... c Min unsat cost LB: 45225 ... c Min unsat cost LB: 45226 ... c Min unsat cost LB: 45227 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45229 ... c Min unsat cost LB: 45230 ... c Min unsat cost LB: 45231 ... c Min unsat cost LB: 45232 ... c Min unsat cost LB: 45233 ... c Min unsat cost LB: 45234 ... c Min unsat cost LB: 45235 ... c Min unsat cost LB: 45236 ... c Min unsat cost LB: 45237 ... c Min unsat cost LB: 45238 ... c Min unsat cost LB: 45239 ... c Min unsat cost LB: 45240 ... c Min unsat cost LB: 45241 ... c Min unsat cost LB: 45242 ... c Min unsat cost LB: 45243 ... c Min unsat cost LB: 45244 ... c Min unsat cost LB: 45245 ... c Min unsat cost LB: 45246 ... c Min unsat cost LB: 45247 ... c Min unsat cost LB: 45248 ... c Min unsat cost LB: 45249 ... c Min unsat cost LB: 45250 ... c Min unsat cost LB: 45251 ... c Min unsat cost LB: 45252 ... c Min unsat cost LB: 45253 ... c Min unsat cost LB: 45254 ... c Min unsat cost LB: 45255 ... c Min unsat cost LB: 45256 ... c Min unsat cost LB: 45257 ... c Min unsat cost LB: 45258 ... c Min unsat cost LB: 45259 ... c Min unsat cost LB: 45260 ... c Min unsat cost LB: 45261 ... c Min unsat cost LB: 45262 ... c Min unsat cost LB: 45263 ... c Min unsat cost LB: 45264 ... c Min unsat cost LB: 45265 ... c Min unsat cost LB: 45266 ... c Min unsat cost LB: 45267 ... c Min unsat cost LB: 45268 ... c Min unsat cost LB: 45269 ... c Min unsat cost LB: 45271 ... c Min unsat cost LB: 45272 ... c Min unsat cost LB: 45273 ... c Min unsat cost LB: 45274 ... c Min unsat cost LB: 45275 ... c Min unsat cost LB: 45276 ... c Min unsat cost LB: 45277 ... c Min unsat cost LB: 45278 ... c Min unsat cost LB: 45279 ... c Min unsat cost LB: 45280 ... c Min unsat cost LB: 45281 ... c Min unsat cost LB: 45282 ... c Min unsat cost LB: 45283 ... c Min unsat cost LB: 45284 ... c Min unsat cost LB: 45285 ... c Min unsat cost LB: 45286 ... c Min unsat cost LB: 45287 ... c Min unsat cost LB: 45289 ... c Min unsat cost LB: 45290 ... c Min unsat cost LB: 45291 ... c Min unsat cost LB: 45292 ... c Min unsat cost LB: 45293 ... c Min unsat cost LB: 45294 ... c Min unsat cost LB: 45295 ... c Min unsat cost LB: 45296 ... c Min unsat cost LB: 45297 ... c Min unsat cost LB: 45298 ... c Min unsat cost LB: 45299 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45301 ... c Min unsat cost LB: 45302 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 45304 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 45308 ... c Min unsat cost LB: 45309 ... c Min unsat cost LB: 45310 ... c Min unsat cost LB: 45311 ... c Min unsat cost LB: 45312 ... c Min unsat cost LB: 45313 ... c Min unsat cost LB: 45318 ... c Min unsat cost LB: 45319 ... c Min unsat cost LB: 45320 ... c Min unsat cost LB: 45321 ... c Min unsat cost LB: 45322 ... c Min unsat cost LB: 45323 ... c Min unsat cost LB: 45324 ... c Min unsat cost LB: 45325 ... c Min unsat cost LB: 45326 ... c Min unsat cost LB: 45327 ... c Min unsat cost LB: 45328 ... c Min unsat cost LB: 45329 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45331 ... c Min unsat cost LB: 45332 ... c Min unsat cost LB: 45333 ... c Min unsat cost LB: 45334 ... c Min unsat cost LB: 45335 ... c Min unsat cost LB: 45336 ... c Min unsat cost LB: 45337 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45339 ... c Min unsat cost LB: 45340 ... c Min unsat cost LB: 45341 ... c Min unsat cost LB: 45342 ... c Min unsat cost LB: 45343 ... c Min unsat cost LB: 45344 ... c Min unsat cost LB: 45345 ... c Min unsat cost LB: 45346 ... c Min unsat cost LB: 45347 ... c Min unsat cost LB: 45348 ... c Min unsat cost LB: 45349 ... c Min unsat cost LB: 45350 ... c Min unsat cost LB: 45351 ... c Min unsat cost LB: 45352 ... c Min unsat cost LB: 45354 ... c Min unsat cost LB: 45356 ... c Min unsat cost LB: 45357 ... c Min unsat cost LB: 45358 ... c Min unsat cost LB: 45359 ... c Min unsat cost LB: 45360 ... c Min unsat cost LB: 45361 ... c Min unsat cost LB: 45362 ... c Min unsat cost LB: 45363 ... c Min unsat cost LB: 45364 ... c Min unsat cost LB: 45365 ... c Min unsat cost LB: 45370 ... c Min unsat cost LB: 45371 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45375 ... c Min unsat cost LB: 45376 ... c Min unsat cost LB: 45377 ... c Min unsat cost LB: 45378 ... c Min unsat cost LB: 45379 ... c Min unsat cost LB: 45380 ... c Min unsat cost LB: 45381 ... c Min unsat cost LB: 45382 ... c Min unsat cost LB: 45388 ... c Min unsat cost LB: 45473 ... c Min unsat cost LB: 45474 ... c Min unsat cost LB: 45475 ... c Min unsat cost LB: 45476 ... c Min unsat cost LB: 45477 ... c Min unsat cost LB: 45478 ... c Min unsat cost LB: 45479 ... c Min unsat cost LB: 45480 ... c Min unsat cost LB: 45481 ... c Min unsat cost LB: 45482 ... c Min unsat cost LB: 45483 ... c Min unsat cost LB: 45484 ... c Min unsat cost LB: 45485 ... c Min unsat cost LB: 45486 ... c Min unsat cost LB: 45487 ... c Min unsat cost LB: 45488 ... c Min unsat cost LB: 45489 ... c Min unsat cost LB: 45490 ... c Min unsat cost LB: 45491 ... c Min unsat cost LB: 45492 ... c Min unsat cost LB: 45493 ... c Min unsat cost LB: 45494 ... c Min unsat cost LB: 45495 ... c Min unsat cost LB: 45496 ... c Min unsat cost LB: 45497 ... c Min unsat cost LB: 45498 ... c Min unsat cost LB: 45500 ... c Min unsat cost LB: 45501 ... c Min unsat cost LB: 45502 ... c Min unsat cost LB: 45503 ... c Min unsat cost LB: 45504 ... c Min unsat cost LB: 45507 ... c Min unsat cost LB: 45508 ... c Min unsat cost LB: 45509 ... c Min unsat cost LB: 45510 ... c Min unsat cost LB: 45511 ... c Min unsat cost LB: 45512 ... c Min unsat cost LB: 45513 ... c Min unsat cost LB: 45514 ... c Min unsat cost LB: 45515 ... c Min unsat cost LB: 45516 ... c Min unsat cost LB: 45517 ... c Min unsat cost LB: 45518 ... c Min unsat cost LB: 45519 ... c Min unsat cost LB: 45520 ... c Min unsat cost LB: 45521 ... c Min unsat cost LB: 45522 ... c Min unsat cost LB: 45523 ... c Min unsat cost LB: 45524 ... c Min unsat cost LB: 45525 ... c Min unsat cost LB: 45526 ... c Min unsat cost LB: 45527 ... c Min unsat cost LB: 45528 ... c Min unsat cost LB: 45529 ... c Min unsat cost LB: 45530 ... c Min unsat cost LB: 45531 ... c Min unsat cost LB: 45532 ... c Min unsat cost LB: 45533 ... c Min unsat cost LB: 45534 ... c Min unsat cost LB: 45535 ... c Min unsat cost LB: 45536 ... c Min unsat cost LB: 45537 ... c Min unsat cost LB: 45538 ... c Min unsat cost LB: 45539 ... c Min unsat cost LB: 45540 ... c Min unsat cost LB: 45541 ... c Min unsat cost LB: 45542 ... c Min unsat cost LB: 45543 ... c Min unsat cost LB: 45544 ... c Min unsat cost LB: 45545 ... c Min unsat cost LB: 45546 ... c Min unsat cost LB: 45547 ... c Min unsat cost LB: 45548 ... c Min unsat cost LB: 45549 ... c Min unsat cost LB: 45550 ... c Min unsat cost LB: 45551 ... c Min unsat cost LB: 45552 ... c Min unsat cost LB: 45553 ... c Min unsat cost LB: 45554 ... c Min unsat cost LB: 45555 ... c Min unsat cost LB: 45556 ... c Min unsat cost LB: 45557 ... c Min unsat cost LB: 45558 ... c Min unsat cost LB: 45559 ... c Min unsat cost LB: 45560 ... c Min unsat cost LB: 45561 ... c Min unsat cost LB: 45562 ... c Min unsat cost LB: 45563 ... c Min unsat cost LB: 45564 ... c Min unsat cost LB: 45565 ... c Min unsat cost LB: 45566 ... c Min unsat cost LB: 45567 ... c Min unsat cost LB: 45568 ... c Min unsat cost LB: 45569 ... c Min unsat cost LB: 45570 ... c Min unsat cost LB: 45571 ... c Min unsat cost LB: 45572 ... c Min unsat cost LB: 45580 ... c Min unsat cost LB: 45581 ... c Min unsat cost LB: 45582 ... c Min unsat cost LB: 45583 ... c Min unsat cost LB: 45584 ... c Min unsat cost LB: 45587 ... c Min unsat cost LB: 45589 ... c Min unsat cost LB: 45592 ... c Min unsat cost LB: 45593 ... c Min unsat cost LB: 45594 ... c Min unsat cost LB: 45595 ... c Min unsat cost LB: 45596 ... c Min unsat cost LB: 45597 ... c Min unsat cost LB: 45598 ... c Min unsat cost LB: 45599 ... c Min unsat cost LB: 45600 ... c Min unsat cost LB: 45601 ... c Min unsat cost LB: 45603 ... c Min unsat cost LB: 45607 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45609 ... c Min unsat cost LB: 45610 ... c Min unsat cost LB: 45611 ... c Min unsat cost LB: 45612 ... c Min unsat cost LB: 45613 ... c Min unsat cost LB: 45614 ... c Min unsat cost LB: 45615 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45617 ... c Min unsat cost LB: 45618 ... c Min unsat cost LB: 45619 ... c Min unsat cost LB: 45624 ... c Min unsat cost LB: 45625 ... c Min unsat cost LB: 45626 ... c Min unsat cost LB: 45627 ... c Min unsat cost LB: 45628 ... c Min unsat cost LB: 45629 ... c Min unsat cost LB: 45630 ... c Min unsat cost LB: 45631 ... c Min unsat cost LB: 45632 ... c Min unsat cost LB: 45633 ... c Min unsat cost LB: 45634 ... c Min unsat cost LB: 45635 ... c Min unsat cost LB: 45636 ... c Min unsat cost LB: 45637 ... c Min unsat cost LB: 45638 ... c Min unsat cost LB: 45639 ... c Min unsat cost LB: 45640 ... c Min unsat cost LB: 45641 ... c Min unsat cost LB: 45642 ... c Min unsat cost LB: 45643 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45645 ... c Min unsat cost LB: 45646 ... c Min unsat cost LB: 45647 ... c Min unsat cost LB: 45648 ... c Min unsat cost LB: 45649 ... c Min unsat cost LB: 45650 ... c Min unsat cost LB: 45651 ... c Min unsat cost LB: 45652 ... c Min unsat cost LB: 45653 ... c Min unsat cost LB: 45654 ... c Min unsat cost LB: 45655 ... c Min unsat cost LB: 45656 ... c Min unsat cost LB: 45658 ... c Min unsat cost LB: 45659 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 45663 ... c Min unsat cost LB: 45666 ... c Min unsat cost LB: 45679 ... c Min unsat cost LB: 45680 ... c Min unsat cost LB: 45681 ... c Min unsat cost LB: 45682 ... c Min unsat cost LB: 45683 ... c Min unsat cost LB: 45684 ... c Min unsat cost LB: 45685 ... c Min unsat cost LB: 45686 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45688 ... c Min unsat cost LB: 45689 ... c Min unsat cost LB: 45690 ... c Min unsat cost LB: 45691 ... c Min unsat cost LB: 45692 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45694 ... c Min unsat cost LB: 45695 ... c Min unsat cost LB: 45696 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 45698 ... c Min unsat cost LB: 45699 ... c Min unsat cost LB: 45700 ... c Min unsat cost LB: 45701 ... c Min unsat cost LB: 45702 ... c Min unsat cost LB: 45703 ... c Min unsat cost LB: 45704 ... c Min unsat cost LB: 45705 ... c Min unsat cost LB: 45706 ... c Min unsat cost LB: 45707 ... c Min unsat cost LB: 45708 ... c Min unsat cost LB: 45709 ... c Min unsat cost LB: 45710 ... c Min unsat cost LB: 45711 ... c Min unsat cost LB: 45712 ... c Min unsat cost LB: 45713 ... c Min unsat cost LB: 45714 ... c Min unsat cost LB: 45716 ... c Min unsat cost LB: 45726 ... c Min unsat cost LB: 45728 ... c Min unsat cost LB: 45729 ... c Min unsat cost LB: 45730 ... c Min unsat cost LB: 45731 ... c Min unsat cost LB: 45732 ... c Min unsat cost LB: 45733 ... c Min unsat cost LB: 45734 ... c Min unsat cost LB: 45735 ... c Min unsat cost LB: 45736 ... c Min unsat cost LB: 45737 ... c Min unsat cost LB: 45738 ... c Min unsat cost LB: 45739 ... c Min unsat cost LB: 45740 ... c Min unsat cost LB: 45741 ... c Min unsat cost LB: 45742 ... c Min unsat cost LB: 45743 ... c Min unsat cost LB: 45744 ... c Min unsat cost LB: 45745 ... c Min unsat cost LB: 45746 ... c Min unsat cost LB: 45747 ... c Min unsat cost LB: 45748 ... c Min unsat cost LB: 45749 ... c Min unsat cost LB: 45750 ... c Min unsat cost LB: 45751 ... c Min unsat cost LB: 45752 ... c Min unsat cost LB: 45753 ... c Min unsat cost LB: 45754 ... c Min unsat cost LB: 45755 ... c Min unsat cost LB: 45756 ... c Min unsat cost LB: 45757 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45759 ... c Min unsat cost LB: 45760 ... c Min unsat cost LB: 45771 ... c Min unsat cost LB: 45772 ... c Min unsat cost LB: 45773 ... c Min unsat cost LB: 45774 ... c Min unsat cost LB: 45775 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45777 ... c Min unsat cost LB: 45778 ... c Min unsat cost LB: 45779 ... c Min unsat cost LB: 45780 ... c Min unsat cost LB: 45781 ... c Min unsat cost LB: 45782 ... c Min unsat cost LB: 45783 ... c Min unsat cost LB: 45784 ... c Min unsat cost LB: 45785 ... c Min unsat cost LB: 45786 ... c Min unsat cost LB: 45787 ... c Min unsat cost LB: 45788 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 45790 ... c Min unsat cost LB: 45791 ... c Min unsat cost LB: 45792 ... c Min unsat cost LB: 45793 ... c Min unsat cost LB: 45794 ... c Min unsat cost LB: 45795 ... c Min unsat cost LB: 45796 ... c Min unsat cost LB: 45797 ... c Min unsat cost LB: 45798 ... c Min unsat cost LB: 45799 ... c Min unsat cost LB: 45800 ... c Min unsat cost LB: 45801 ... c Min unsat cost LB: 45802 ... c Min unsat cost LB: 45803 ... c Min unsat cost LB: 45804 ... c Min unsat cost LB: 45805 ... c Min unsat cost LB: 45806 ... c Min unsat cost LB: 45807 ... c Min unsat cost LB: 45808 ... c Min unsat cost LB: 45809 ... c Min unsat cost LB: 45810 ... c Min unsat cost LB: 45811 ... c Min unsat cost LB: 45812 ... c Min unsat cost LB: 45813 ... c Min unsat cost LB: 45814 ... c Min unsat cost LB: 45815 ... c Min unsat cost LB: 45816 ... c Min unsat cost LB: 45817 ... c Min unsat cost LB: 45818 ... c Min unsat cost LB: 45819 ... c Min unsat cost LB: 45820 ... c Min unsat cost LB: 45821 ... c Min unsat cost LB: 45822 ... c Min unsat cost LB: 45823 ... c Min unsat cost LB: 45824 ... c Min unsat cost LB: 45825 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45827 ... c Min unsat cost LB: 45828 ... c Min unsat cost LB: 45829 ... c Min unsat cost LB: 45830 ... c Min unsat cost LB: 45831 ... c Min unsat cost LB: 45832 ... c Min unsat cost LB: 45833 ... c Min unsat cost LB: 45834 ... c Min unsat cost LB: 45836 ... c Min unsat cost LB: 45837 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45839 ... c Min unsat cost LB: 45840 ... c Min unsat cost LB: 45841 ... c Min unsat cost LB: 45842 ... c Min unsat cost LB: 45843 ... c Min unsat cost LB: 45844 ... c Min unsat cost LB: 45845 ... c Min unsat cost LB: 45846 ... c Min unsat cost LB: 45847 ... c Min unsat cost LB: 45848 ... c Min unsat cost LB: 45849 ... c Min unsat cost LB: 45850 ... c Min unsat cost LB: 45851 ... c Min unsat cost LB: 45852 ... c Min unsat cost LB: 45853 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45855 ... c Min unsat cost LB: 45856 ... c Min unsat cost LB: 45857 ... c Min unsat cost LB: 45858 ... c Min unsat cost LB: 45859 ... c Min unsat cost LB: 45860 ... c Min unsat cost LB: 45861 ... c Min unsat cost LB: 45862 ... c Min unsat cost LB: 45863 ... c Min unsat cost LB: 45864 ... c Min unsat cost LB: 45865 ... c Min unsat cost LB: 45866 ... c Min unsat cost LB: 45867 ... c Min unsat cost LB: 45868 ... c Min unsat cost LB: 45869 ... c Min unsat cost LB: 45870 ... c Min unsat cost LB: 45871 ... c Min unsat cost LB: 45872 ... c Min unsat cost LB: 45873 ... c Min unsat cost LB: 45874 ... c Min unsat cost LB: 45875 ... c Min unsat cost LB: 45876 ... c Min unsat cost LB: 45877 ... c Min unsat cost LB: 45878 ... c Min unsat cost LB: 45879 ... c Min unsat cost LB: 45880 ... c Min unsat cost LB: 45881 ... c Min unsat cost LB: 45882 ... c Min unsat cost LB: 45883 ... c Min unsat cost LB: 45884 ... c Min unsat cost LB: 45885 ... c Min unsat cost LB: 45886 ... c Min unsat cost LB: 45887 ... c Min unsat cost LB: 45888 ... c Min unsat cost LB: 45889 ... c Min unsat cost LB: 45890 ... c Min unsat cost LB: 45891 ... c Min unsat cost LB: 45892 ... c Min unsat cost LB: 45893 ... c Min unsat cost LB: 45894 ... c Min unsat cost LB: 45895 ... c Min unsat cost LB: 45896 ... c Min unsat cost LB: 45897 ... c Min unsat cost LB: 45898 ... c Min unsat cost LB: 45899 ... c Min unsat cost LB: 45900 ... c Min unsat cost LB: 45901 ... c Min unsat cost LB: 45902 ... c Min unsat cost LB: 45903 ... c Min unsat cost LB: 45904 ... c Min unsat cost LB: 45905 ... c Min unsat cost LB: 45906 ... c Min unsat cost LB: 45907 ... c Min unsat cost LB: 45908 ... c Min unsat cost LB: 45909 ... c Min unsat cost LB: 45910 ... c Min unsat cost LB: 45911 ... c Min unsat cost LB: 45912 ... c Min unsat cost LB: 45913 ... c Min unsat cost LB: 45914 ... c Min unsat cost LB: 45915 ... c Min unsat cost LB: 45916 ... c Min unsat cost LB: 45917 ... c Min unsat cost LB: 45918 ... c Min unsat cost LB: 45919 ... c Min unsat cost LB: 45920 ... c Min unsat cost LB: 45921 ... c Min unsat cost LB: 45922 ... c Min unsat cost LB: 45923 ... c Min unsat cost LB: 45924 ... c Min unsat cKilled 1812.778u 6.973s 30:22.49 99.8% 0+0k 0+0io 0pf+0w