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_SCHEDULING_cat_sched_60_130_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_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_SCHEDULING/cat_sched_60_130_0004.txt.wcnf *** c c Min unsat cost LB: 548 ... c Min unsat cost LB: 1096 ... c Min unsat cost LB: 1555 ... c Min unsat cost LB: 2103 ... c Min unsat cost LB: 2651 ... c Min unsat cost LB: 3199 ... c Min unsat cost LB: 3747 ... c Min unsat cost LB: 4295 ... c Min unsat cost LB: 4843 ... c Min unsat cost LB: 5391 ... c Min unsat cost LB: 5939 ... c Min unsat cost LB: 6487 ... c Min unsat cost LB: 6944 ... c Min unsat cost LB: 7362 ... c Min unsat cost LB: 7401 ... c Min unsat cost LB: 7403 ... c Min unsat cost LB: 7951 ... c Min unsat cost LB: 8408 ... c Min unsat cost LB: 8956 ... c Min unsat cost LB: 9413 ... c Min unsat cost LB: 9816 ... c Min unsat cost LB: 9961 ... c Min unsat cost LB: 10364 ... c Min unsat cost LB: 10767 ... c Min unsat cost LB: 11315 ... c Min unsat cost LB: 11863 ... c Min unsat cost LB: 12266 ... c Min unsat cost LB: 12669 ... c Min unsat cost LB: 13072 ... c Min unsat cost LB: 13217 ... c Min unsat cost LB: 13620 ... c Min unsat cost LB: 14023 ... c Min unsat cost LB: 14426 ... c Min unsat cost LB: 14829 ... c Min unsat cost LB: 15232 ... c Min unsat cost LB: 15377 ... c Min unsat cost LB: 15780 ... c Min unsat cost LB: 16183 ... c Min unsat cost LB: 16586 ... c Min unsat cost LB: 16989 ... c Min unsat cost LB: 17392 ... c Min unsat cost LB: 17407 ... c Min unsat cost LB: 17665 ... c Min unsat cost LB: 18046 ... c Min unsat cost LB: 18449 ... c Min unsat cost LB: 18471 ... c Min unsat cost LB: 18616 ... c Min unsat cost LB: 18978 ... c Min unsat cost LB: 19381 ... c Min unsat cost LB: 19770 ... c Min unsat cost LB: 19811 ... c Min unsat cost LB: 20126 ... c Min unsat cost LB: 20529 ... c Min unsat cost LB: 20932 ... c Min unsat cost LB: 20986 ... c Min unsat cost LB: 21244 ... c Min unsat cost LB: 21921 ... c Min unsat cost LB: 22324 ... c Min unsat cost LB: 22598 ... c Min unsat cost LB: 23001 ... c Min unsat cost LB: 23678 ... c Min unsat cost LB: 23936 ... c Min unsat cost LB: 24613 ... c Min unsat cost LB: 25016 ... c Min unsat cost LB: 25693 ... c Min unsat cost LB: 26096 ... c Min unsat cost LB: 26436 ... c Min unsat cost LB: 26581 ... c Min unsat cost LB: 26620 ... c Min unsat cost LB: 27297 ... c Min unsat cost LB: 27646 ... c Min unsat cost LB: 28105 ... c Min unsat cost LB: 28323 ... c Min unsat cost LB: 28377 ... c Min unsat cost LB: 28836 ... c Min unsat cost LB: 29054 ... c Min unsat cost LB: 29731 ... c Min unsat cost LB: 30190 ... c Min unsat cost LB: 30408 ... c Min unsat cost LB: 30516 ... c Min unsat cost LB: 30934 ... c Min unsat cost LB: 31064 ... c Min unsat cost LB: 31350 ... c Min unsat cost LB: 31809 ... c Min unsat cost LB: 32341 ... c Min unsat cost LB: 32559 ... c Min unsat cost LB: 32800 ... c Min unsat cost LB: 33259 ... c Min unsat cost LB: 33936 ... c Min unsat cost LB: 34154 ... c Min unsat cost LB: 34236 ... c Min unsat cost LB: 34784 ... c Min unsat cost LB: 35332 ... c Min unsat cost LB: 35720 ... c Min unsat cost LB: 35961 ... c Min unsat cost LB: 36177 ... c Min unsat cost LB: 36193 ... c Min unsat cost LB: 36248 ... c Min unsat cost LB: 36381 ... c Min unsat cost LB: 36489 ... c Min unsat cost LB: 36813 ... c Min unsat cost LB: 37000 ... c Min unsat cost LB: 37216 ... c Min unsat cost LB: 37361 ... c Min unsat cost LB: 37909 ... c Min unsat cost LB: 37966 ... c Min unsat cost LB: 38127 ... c Min unsat cost LB: 38181 ... c Min unsat cost LB: 38640 ... c Min unsat cost LB: 38643 ... c Min unsat cost LB: 39102 ... c Min unsat cost LB: 39320 ... c Min unsat cost LB: 39868 ... c Min unsat cost LB: 40130 ... c Min unsat cost LB: 40286 ... c Min unsat cost LB: 40572 ... c Min unsat cost LB: 40678 ... c Min unsat cost LB: 40702 ... c Min unsat cost LB: 40741 ... c Min unsat cost LB: 40956 ... c Min unsat cost LB: 41015 ... c Min unsat cost LB: 41160 ... c Min unsat cost LB: 41289 ... c Min unsat cost LB: 41418 ... c Min unsat cost LB: 41500 ... c Min unsat cost LB: 41563 ... c Min unsat cost LB: 41692 ... c Min unsat cost LB: 41708 ... c Min unsat cost LB: 41821 ... c Min unsat cost LB: 41826 ... c Min unsat cost LB: 42069 ... c Min unsat cost LB: 42096 ... c Min unsat cost LB: 42353 ... c Min unsat cost LB: 42580 ... c Min unsat cost LB: 42901 ... c Min unsat cost LB: 43103 ... c Min unsat cost LB: 43128 ... c Min unsat cost LB: 43287 ... c Min unsat cost LB: 43319 ... c Min unsat cost LB: 43562 ... c Min unsat cost LB: 43776 ... c Min unsat cost LB: 43792 ... c Min unsat cost LB: 44308 ... c Min unsat cost LB: 44324 ... c Min unsat cost LB: 44767 ... c Min unsat cost LB: 44849 ... c Min unsat cost LB: 44855 ... c Min unsat cost LB: 45090 ... c Min unsat cost LB: 45226 ... c Min unsat cost LB: 45371 ... c Min unsat cost LB: 45403 ... c Min unsat cost LB: 45442 ... c Min unsat cost LB: 45512 ... c Min unsat cost LB: 45528 ... c Min unsat cost LB: 45746 ... c Min unsat cost LB: 45782 ... c Min unsat cost LB: 45806 ... c Min unsat cost LB: 45814 ... c Min unsat cost LB: 46185 ... c Min unsat cost LB: 46200 ... c Min unsat cost LB: 46209 ... c Min unsat cost LB: 46216 ... c Min unsat cost LB: 46254 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46392 ... c Min unsat cost LB: 46521 ... c Min unsat cost LB: 46603 ... c Min unsat cost LB: 46605 ... c Min unsat cost LB: 46644 ... c Min unsat cost LB: 46649 ... c Min unsat cost LB: 46664 ... c Min unsat cost LB: 46865 ... c Min unsat cost LB: 46872 ... c Min unsat cost LB: 47008 ... c Min unsat cost LB: 47010 ... c Min unsat cost LB: 47029 ... c Min unsat cost LB: 47064 ... c Min unsat cost LB: 47282 ... c Min unsat cost LB: 47307 ... c Min unsat cost LB: 47314 ... c Min unsat cost LB: 47644 ... c Min unsat cost LB: 47682 ... c Min unsat cost LB: 47699 ... c Min unsat cost LB: 47806 ... c Min unsat cost LB: 47951 ... c Min unsat cost LB: 47959 ... c Min unsat cost LB: 47966 ... c Min unsat cost LB: 48146 ... c Min unsat cost LB: 48171 ... c Min unsat cost LB: 48187 ... c Min unsat cost LB: 48237 ... c Min unsat cost LB: 48257 ... c Min unsat cost LB: 48365 ... c Min unsat cost LB: 48396 ... c Min unsat cost LB: 48525 ... c Min unsat cost LB: 48619 ... c Min unsat cost LB: 48690 ... c Min unsat cost LB: 48739 ... c Min unsat cost LB: 48859 ... c Min unsat cost LB: 49082 ... c Min unsat cost LB: 49231 ... c Min unsat cost LB: 49279 ... c Min unsat cost LB: 49418 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 49632 ... c Min unsat cost LB: 49706 ... c Min unsat cost LB: 49821 ... c Min unsat cost LB: 49825 ... c Min unsat cost LB: 50043 ... c Min unsat cost LB: 50082 ... c Min unsat cost LB: 50210 ... c Min unsat cost LB: 50246 ... c Min unsat cost LB: 50270 ... c Min unsat cost LB: 50307 ... c Min unsat cost LB: 50313 ... c Min unsat cost LB: 50571 ... c Min unsat cost LB: 50601 ... c Min unsat cost LB: 50623 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50650 ... c Min unsat cost LB: 50676 ... c Min unsat cost LB: 50866 ... c Min unsat cost LB: 50982 ... c Min unsat cost LB: 51017 ... c Min unsat cost LB: 51023 ... c Min unsat cost LB: 51048 ... c Min unsat cost LB: 51053 ... c Min unsat cost LB: 51238 ... c Min unsat cost LB: 51311 ... c Min unsat cost LB: 51360 ... c Min unsat cost LB: 51456 ... c Min unsat cost LB: 51492 ... c Min unsat cost LB: 51517 ... c Min unsat cost LB: 51576 ... c Min unsat cost LB: 51710 ... c Min unsat cost LB: 51802 ... c Min unsat cost LB: 51888 ... c Min unsat cost LB: 51911 ... c Min unsat cost LB: 51927 ... c Min unsat cost LB: 51929 ... c Min unsat cost LB: 51964 ... c Min unsat cost LB: 52017 ... c Min unsat cost LB: 52109 ... c Min unsat cost LB: 52113 ... c Min unsat cost LB: 52116 ... c Min unsat cost LB: 52156 ... c Min unsat cost LB: 52183 ... c Min unsat cost LB: 52186 ... c Min unsat cost LB: 52235 ... c Min unsat cost LB: 52294 ... c Min unsat cost LB: 52314 ... c Min unsat cost LB: 52322 ... c Min unsat cost LB: 52331 ... c Min unsat cost LB: 52434 ... c Min unsat cost LB: 52525 ... c Min unsat cost LB: 52790 ... c Min unsat cost LB: 52802 ... c Min unsat cost LB: 52806 ... c Min unsat cost LB: 52857 ... c Min unsat cost LB: 52869 ... c Min unsat cost LB: 53041 ... c Min unsat cost LB: 53065 ... c Min unsat cost LB: 53147 ... c Min unsat cost LB: 53188 ... c Min unsat cost LB: 53300 ... c Min unsat cost LB: 53303 ... c Min unsat cost LB: 53350 ... c Min unsat cost LB: 53405 ... c Min unsat cost LB: 53591 ... c Min unsat cost LB: 53595 ... c Min unsat cost LB: 53691 ... c Min unsat cost LB: 53694 ... c Min unsat cost LB: 53697 ... c Min unsat cost LB: 53717 ... c Min unsat cost LB: 53721 ... c Min unsat cost LB: 53724 ... c Min unsat cost LB: 53764 ... c Min unsat cost LB: 53767 ... c Min unsat cost LB: 53808 ... c Min unsat cost LB: 53879 ... c Min unsat cost LB: 53883 ... c Min unsat cost LB: 53920 ... c Min unsat cost LB: 53924 ... c Min unsat cost LB: 53932 ... c Min unsat cost LB: 53937 ... c Min unsat cost LB: 53957 ... c Min unsat cost LB: 53992 ... c Min unsat cost LB: 53996 ... c Min unsat cost LB: 54021 ... c Min unsat cost LB: 54028 ... c Min unsat cost LB: 54052 ... c Min unsat cost LB: 54083 ... c Min unsat cost LB: 54095 ... c Min unsat cost LB: 54110 ... c Min unsat cost LB: 54114 ... c Min unsat cost LB: 54124 ... c Min unsat cost LB: 54162 ... c Min unsat cost LB: 54218 ... c Min unsat cost LB: 54234 ... c Min unsat cost LB: 54284 ... c Min unsat cost LB: 54307 ... c Min unsat cost LB: 54378 ... c Min unsat cost LB: 54415 ... c Min unsat cost LB: 54435 ... c Min unsat cost LB: 54462 ... c Min unsat cost LB: 54464 ... c Min unsat cost LB: 54495 ... c Min unsat cost LB: 54500 ... c Min unsat cost LB: 54503 ... c Min unsat cost LB: 54510 ... c Min unsat cost LB: 54524 ... c Min unsat cost LB: 54528 ... c Min unsat cost LB: 54545 ... c Min unsat cost LB: 54549 ... c Min unsat cost LB: 54570 ... c Min unsat cost LB: 54577 ... c Min unsat cost LB: 54584 ... c Min unsat cost LB: 54609 ... c Min unsat cost LB: 54617 ... c Min unsat cost LB: 54635 ... c Min unsat cost LB: 54640 ... c Min unsat cost LB: 54652 ... c Min unsat cost LB: 54709 ... c Min unsat cost LB: 54755 ... c Min unsat cost LB: 54762 ... c Min unsat cost LB: 54767 ... c Min unsat cost LB: 54769 ... c Min unsat cost LB: 54930 ... c Min unsat cost LB: 54932 ... c Min unsat cost LB: 54938 ... c Min unsat cost LB: 54947 ... c Min unsat cost LB: 54949 ... c Min unsat cost LB: 54951 ... c Min unsat cost LB: 54953 ... c Min unsat cost LB: 54956 ... c Min unsat cost LB: 54958 ... c Min unsat cost LB: 55307 ... c Min unsat cost LB: 55312 ... c Min unsat cost LB: 55315 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55321 ... c Min unsat cost LB: 55331 ... c Min unsat cost LB: 55333 ... c Min unsat cost LB: 55335 ... c Min unsat cost LB: 55339 ... c Min unsat cost LB: 55341 ... c Min unsat cost LB: 55342 ... c Min unsat cost LB: 55343 ... c Min unsat cost LB: 55344 ... c Min unsat cost LB: 55345 ... c Min unsat cost LB: 55346 ... c Min unsat cost LB: 55347 ... c Min unsat cost LB: 55348 ... c Min unsat cost LB: 55349 ... c Min unsat cost LB: 55350 ... c Min unsat cost LB: 55357 ... c Min unsat cost LB: 55395 ... c Min unsat cost LB: 55470 ... c Min unsat cost LB: 55475 ... c Min unsat cost LB: 55476 ... c Min unsat cost LB: 55477 ... c Min unsat cost LB: 55599 ... c Min unsat cost LB: 55641 ... c Min unsat cost LB: 55647 ... c Min unsat cost LB: 55666 ... c Min unsat cost LB: 55679 ... c Min unsat cost LB: 55681 ... c Min unsat cost LB: 55686 ... c Min unsat cost LB: 55687 ... c Min unsat cost LB: 55724 ... c Min unsat cost LB: 55729 ... c Min unsat cost LB: 55733 ... c Min unsat cost LB: 55736 ... c Min unsat cost LB: 55753 ... c Min unsat cost LB: 55784 ... c Min unsat cost LB: 55833 ... c Min unsat cost LB: 55880 ... c Min unsat cost LB: 55911 ... c Min unsat cost LB: 55913 ... c Min unsat cost LB: 55938 ... c Min unsat cost LB: 55940 ... c Min unsat cost LB: 55945 ... c Min unsat cost LB: 55947 ... c Min unsat cost LB: 55949 ... c Min unsat cost LB: 55950 ... c Min unsat cost LB: 55952 ... c Min unsat cost LB: 55953 ... c Min unsat cost LB: 55959 ... c Min unsat cost LB: 55961 ... c Min unsat cost LB: 55962 ... c Min unsat cost LB: 55963 ... c Min unsat cost LB: 55992 ... c Min unsat cost LB: 55998 ... c Min unsat cost LB: 56022 ... c Min unsat cost LB: 56074 ... c Min unsat cost LB: 56076 ... c Min unsat cost LB: 56078 ... c Min unsat cost LB: 56079 ... c Min unsat cost LB: 56081 ... c Min unsat cost LB: 56082 ... c Min unsat cost LB: 56083 ... c Min unsat cost LB: 56084 ... c Min unsat cost LB: 56085 ... c Min unsat cost LB: 56087 ... c Min unsat cost LB: 56088 ... c Min unsat cost LB: 56091 ... c Min unsat cost LB: 56092 ... c Min unsat cost LB: 56093 ... c Min unsat cost LB: 56094 ... c Min unsat cost LB: 56095 ... c Min unsat cost LB: 56096 ... c Min unsat cost LB: 56099 ... c Min unsat cost LB: 56109 ... c Min unsat cost LB: 56113 ... c Min unsat cost LB: 56123 ... c Min unsat cost LB: 56146 ... c Min unsat cost LB: 56150 ... c Min unsat cost LB: 56154 ... c Min unsat cost LB: 56157 ... c Min unsat cost LB: 56159 ... c Min unsat cost LB: 56198 ... c Min unsat cost LB: 56201 ... c Min unsat cost LB: 56206 ... c Min unsat cost LB: 56210 ... c Min unsat cost LB: 56230 ... c Min unsat cost LB: 56231 ... c Min unsat cost LB: 56260 ... c Min unsat cost LB: 56261 ... c Min unsat cost LB: 56264 ... c Min unsat cost LB: 56269 ... c Min unsat cost LB: 56270 ... c Min unsat cost LB: 56272 ... c Min unsat cost LB: 56273 ... c Min unsat cost LB: 56277 ... c Min unsat cost LB: 56282 ... c Min unsat cost LB: 56285 ... c Min unsat cost LB: 56288 ... c Min unsat cost LB: 56289 ... c Min unsat cost LB: 56290 ... c Min unsat cost LB: 56291 ... c Min unsat cost LB: 56292 ... c Min unsat cost LB: 56293 ... c Min unsat cost LB: 56309 ... c Min unsat cost LB: 56310 ... c Min unsat cost LB: 56311 ... c Min unsat cost LB: 56312 ... c Min unsat cost LB: 56314 ... c Min unsat cost LB: 56315 ... c Min unsat cost LB: 56316 ... c Min unsat cost LB: 56317 ... c Min unsat cost LB: 56319 ... c Min unsat cost LB: 56320 ... c Min unsat cost LB: 56321 ... c Min unsat cost LB: 56322 ... c Min unsat cost LB: 56323 ... c Min unsat cost LB: 56349 ... c Min unsat cost LB: 56352 ... c Min unsat cost LB: 56386 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56388 ... c Min unsat cost LB: 56389 ... c Min unsat cost LB: 56390 ... c Min unsat cost LB: 56391 ... c Min unsat cost LB: 56392 ... c Min unsat cost LB: 56393 ... c Min unsat cost LB: 56411 ... c Min unsat cost LB: 56479 ... c Min unsat cost LB: 56480 ... c Min unsat cost LB: 56481 ... c Min unsat cost LB: 56482 ... c Min unsat cost LB: 56483 ... c Min unsat cost LB: 56484 ... c Min unsat cost LB: 56485 ... c Min unsat cost LB: 56486 ... c Min unsat cost LB: 56487 ... c Min unsat cost LB: 56488 ... c Min unsat cost LB: 56489 ... c Min unsat cost LB: 56507 ... c Min unsat cost LB: 56525 ... c Min unsat cost LB: 56559 ... c Min unsat cost LB: 56563 ... c Min unsat cost LB: 56587 ... c Min unsat cost LB: 56633 ... c Min unsat cost LB: 56777 ... c Min unsat cost LB: 56778 ... c Min unsat cost LB: 56779 ... c Min unsat cost LB: 56792 ... c Min unsat cost LB: 56795 ... c Min unsat cost LB: 56802 ... c Min unsat cost LB: 56816 ... c Min unsat cost LB: 56828 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56836 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56858 ... c Min unsat cost LB: 56864 ... c Min unsat cost LB: 56865 ... c Min unsat cost LB: 56866 ... c Min unsat cost LB: 56871 ... c Min unsat cost LB: 56876 ... c Min unsat cost LB: 56888 ... c Min unsat cost LB: 56889 ... c Min unsat cost LB: 56890 ... c Min unsat cost LB: 56892 ... c Min unsat cost LB: 56893 ... c Min unsat cost LB: 56897 ... c Min unsat cost LB: 56900 ... c Min unsat cost LB: 56901 ... c Min unsat cost LB: 56902 ... c Min unsat cost LB: 56904 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 56908 ... c Min unsat cost LB: 56912 ... c Min unsat cost LB: 56913 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 56915 ... c Min unsat cost LB: 56917 ... c Min unsat cost LB: 56921 ... c Min unsat cost LB: 56922 ... c Min unsat cost LB: 56923 ... c Min unsat cost LB: 56924 ... c Min unsat cost LB: 56926 ... c Min unsat cost LB: 56931 ... c Min unsat cost LB: 56933 ... c Min unsat cost LB: 56938 ... c Min unsat cost LB: 56964 ... c Min unsat cost LB: 56971 ... c Min unsat cost LB: 56972 ... c Min unsat cost LB: 56973 ... c Min unsat cost LB: 56974 ... c Min unsat cost LB: 56975 ... c Min unsat cost LB: 56976 ... c Min unsat cost LB: 56977 ... c Min unsat cost LB: 56978 ... c Min unsat cost LB: 56979 ... c Min unsat cost LB: 56980 ... c Min unsat cost LB: 56983 ... c Min unsat cost LB: 56984 ... c Min unsat cost LB: 57018 ... c Min unsat cost LB: 57040 ... c Min unsat cost LB: 57067 ... c Min unsat cost LB: 57076 ... c Min unsat cost LB: 57095 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57156 ... c Min unsat cost LB: 57162 ... c Min unsat cost LB: 57173 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57198 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57284 ... c Min unsat cost LB: 57285 ... c Min unsat cost LB: 57286 ... c Min unsat cost LB: 57290 ... c Min unsat cost LB: 57295 ... c Min unsat cost LB: 57300 ... c Min unsat cost LB: 57304 ... c Min unsat cost LB: 57305 ... c Min unsat cost LB: 57312 ... c Min unsat cost LB: 57320 ... c Min unsat cost LB: 57322 ... c Min unsat cost LB: 57327 ... c Min unsat cost LB: 57332 ... c Min unsat cost LB: 57339 ... c Min unsat cost LB: 57347 ... c Min unsat cost LB: 57350 ... c Min unsat cost LB: 57352 ... c Min unsat cost LB: 57353 ... c Min unsat cost LB: 57354 ... c Min unsat cost LB: 57355 ... c Min unsat cost LB: 57357 ... c Min unsat cost LB: 57358 ... c Min unsat cost LB: 57359 ... c Min unsat cost LB: 57360 ... c Min unsat cost LB: 57361 ... c Min unsat cost LB: 57362 ... c Min unsat cost LB: 57363 ... c Min unsat cost LB: 57365 ... c Min unsat cost LB: 57367 ... c Min unsat cost LB: 57368 ... c Min unsat cost LB: 57370 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57373 ... c Min unsat cost LB: 57378 ... c Min unsat cost LB: 57406 ... c Min unsat cost LB: 57407 ... c Min unsat cost LB: 57409 ... c Min unsat cost LB: 57410 ... c Min unsat cost LB: 57411 ... c Min unsat cost LB: 57412 ... c Min unsat cost LB: 57418 ... c Min unsat cost LB: 57419 ... c Min unsat cost LB: 57420 ... c Min unsat cost LB: 57421 ... c Min unsat cost LB: 57422 ... c Min unsat cost LB: 57423 ... c Min unsat cost LB: 57424 ... c Min unsat cost LB: 57425 ... c Min unsat cost LB: 57426 ... c Min unsat cost LB: 57427 ... c Min unsat cost LB: 57428 ... c Min unsat cost LB: 57429 ... c Min unsat cost LB: 57483 ... c Min unsat cost LB: 57484 ... c Min unsat cost LB: 57485 ... c Min unsat cost LB: 57489 ... c Min unsat cost LB: 57515 ... c Min unsat cost LB: 57519 ... c Min unsat cost LB: 57527 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57535 ... c Min unsat cost LB: 57547 ... c Min unsat cost LB: 57570 ... c Min unsat cost LB: 57574 ... c Min unsat cost LB: 57575 ... c Min unsat cost LB: 57582 ... c Min unsat cost LB: 57591 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57617 ... c Min unsat cost LB: 57623 ... c Min unsat cost LB: 57627 ... c Min unsat cost LB: 57630 ... c Min unsat cost LB: 57631 ... c Min unsat cost LB: 57633 ... c Min unsat cost LB: 57634 ... c Min unsat cost LB: 57641 ... c Min unsat cost LB: 57642 ... c Min unsat cost LB: 57643 ... c Min unsat cost LB: 57644 ... c Min unsat cost LB: 57645 ... c Min unsat cost LB: 57646 ... c Min unsat cost LB: 57648 ... c Min unsat cost LB: 57649 ... c Min unsat cost LB: 57650 ... c Min unsat cost LB: 57651 ... c Min unsat cost LB: 57652 ... c Min unsat cost LB: 57653 ... c Min unsat cost LB: 57654 ... c Min unsat cost LB: 57655 ... c Min unsat cost LB: 57657 ... c Min unsat cost LB: 57658 ... c Min unsat cost LB: 57659 ... c Min unsat cost LB: 57714 ... c Min unsat cost LB: 57715 ... c Min unsat cost LB: 57716 ... c Min unsat cost LB: 57717 ... c Min unsat cost LB: 57718 ... c Min unsat cost LB: 57719 ... c Min unsat cost LB: 57720 ... c Min unsat cost LB: 57721 ... c Min unsat cost LB: 57722 ... c Min unsat cost LB: 57723 ... c Min unsat cost LB: 57724 ... c Min unsat cost LB: 57725 ... c Min unsat cost LB: 57726 ... c Min unsat cost LB: 57727 ... c Min unsat cost LB: 57728 ... c Min unsat cost LB: 57729 ... c Min unsat cost LB: 57730 ... c Min unsat cost LB: 57731 ... c Min unsat cost LB: 57732 ... c Min unsat cost LB: 57733 ... c Min unsat cost LB: 57734 ... c Min unsat cost LB: 57735 ... c Min unsat cost LB: 57736 ... c Min unsat cost LB: 57737 ... c Min unsat cost LB: 57738 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57789 ... c Min unsat cost LB: 57790 ... c Min unsat cost LB: 57791 ... c Min unsat cost LB: 57792 ... c Min unsat cost LB: 57793 ... c Min unsat cost LB: 57794 ... c Min unsat cost LB: 57795 ... c Min unsat cost LB: 57796 ... c Min unsat cost LB: 57797 ... c Min unsat cost LB: 57798 ... c Min unsat cost LB: 57799 ... c Min unsat cost LB: 57800 ... c Min unsat cost LB: 57805 ... c Min unsat cost LB: 57807 ... c Min unsat cost LB: 57809 ... c Min unsat cost LB: 57810 ... c Min unsat cost LB: 57811 ... c Min unsat cost LB: 57812 ... c Min unsat cost LB: 57813 ... c Min unsat cost LB: 57814 ... c Min unsat cost LB: 57817 ... c Min unsat cost LB: 57819 ... c Min unsat cost LB: 57822 ... c Min unsat cost LB: 57827 ... c Min unsat cost LB: 57835 ... c Min unsat cost LB: 57836 ... c Min unsat cost LB: 57837 ... c Min unsat cost LB: 57845 ... c Min unsat cost LB: 57851 ... c Min unsat cost LB: 57858 ... c Min unsat cost LB: 57863 ... c Min unsat cost LB: 57864 ... c Min unsat cost LB: 57865 ... c Min unsat cost LB: 57866 ... c Min unsat cost LB: 57867 ... c Min unsat cost LB: 57868 ... c Min unsat cost LB: 57870 ... c Min unsat cost LB: 57871 ... c Min unsat cost LB: 57872 ... c Min unsat cost LB: 57873 ... c Min unsat cost LB: 57874 ... c Min unsat cost LB: 57875 ... c Min unsat cost LB: 57876 ... c Min unsat cost LB: 57877 ... c Min unsat cost LB: 57878 ... c Min unsat cost LB: 57879 ... c Min unsat cost LB: 57880 ... c Min unsat cost LB: 57881 ... c Min unsat cost LB: 57882 ... c Min unsat cost LB: 57886 ... c Min unsat cost LB: 57894 ... c Min unsat cost LB: 57895 ... c Min unsat cost LB: 57909 ... c Min unsat cost LB: 57919 ... c Min unsat cost LB: 57961 ... c Min unsat cost LB: 57963 ... c Min unsat cost LB: 57964 ... c Min unsat cost LB: 58050 ... c Min unsat cost LB: 58051 ... c Min unsat cost LB: 58052 ... c Min unsat cost LB: 58053 ... c Min unsat cost LB: 58059 ... c Min unsat cost LB: 58060 ... c Min unsat cost LB: 58065 ... c Min unsat cost LB: 58068 ... c Min unsat cost LB: 58069 ... c Min unsat cost LB: 58070 ... c Min unsat cost LB: 58071 ... c Min unsat cost LB: 58074 ... c Min unsat cost LB: 58075 ... c Min unsat cost LB: 58076 ... c Min unsat cost LB: 58077 ... c Min unsat cost LB: 58078 ... c Min unsat cost LB: 58079 ... c Min unsat cost LB: 58081 ... c Min unsat cost LB: 58082 ... c Min unsat cost LB: 58083 ... c Min unsat cost LB: 58084 ... c Min unsat cost LB: 58085 ... c Min unsat cost LB: 58086 ... c Min unsat cost LB: 58087 ... c Min unsat cost LB: 58088 ... c Min unsat cost LB: 58089 ... c Min unsat cost LB: 58090 ... c Min unsat cost LB: 58091 ... c Min unsat cost LB: 58096 ... c Min unsat cost LB: 58097 ... c Min unsat cost LB: 58098 ... c Min unsat cost LB: 58102 ... c Min unsat cost LB: 58103 ... c Min unsat cost LB: 58124 ... c Min unsat cost LB: 58125 ... c Min unsat cost LB: 58127 ... c Min unsat cost LB: 58133 ... c Min unsat cost LB: 58134 ... c Min unsat cost LB: 58135 ... c Min unsat cost LB: 58144 ... c Min unsat cost LB: 58160 ... c Min unsat cost LB: 58166 ... c Min unsat cost LB: 58167 ... c Min unsat cost LB: 58168 ... c Min unsat cost LB: 58169 ... c Min unsat cost LB: 58172 ... c Min unsat cost LB: 58173 ... c Min unsat cost LB: 58174 ... c Min unsat cost LB: 58175 ... c Min unsat cost LB: 58176 ... c Min unsat cost LB: 58177 ... c Min unsat cost LB: 58185 ... c Min unsat cost LB: 58190 ... c Min unsat cost LB: 58191 ... c Min unsat cost LB: 58192 ... c Min unsat cost LB: 58193 ... c Min unsat cost LB: 58194 ... c Min unsat cost LB: 58198 ... c Min unsat cost LB: 58201 ... c Min unsat cost LB: 58203 ... c Min unsat cost LB: 58205 ... c Min unsat cost LB: 58207 ... c Min unsat cost LB: 58208 ... c Min unsat cost LB: 58212 ... c Min unsat cost LB: 58214 ... c Min unsat cost LB: 58221 ... c Min unsat cost LB: 58222 ... c Min unsat cost LB: 58224 ... c Min unsat cost LB: 58225 ... c Min unsat cost LB: 58226 ... c Min unsat cost LB: 58227 ... c Min unsat cost LB: 58228 ... c Min unsat cost LB: 58232 ... c Min unsat cost LB: 58234 ... c Min unsat cost LB: 58237 ... c Min unsat cost LB: 58239 ... c Min unsat cost LB: 58241 ... c Min unsat cost LB: 58242 ... c Min unsat cost LB: 58243 ... c Min unsat cost LB: 58246 ... c Min unsat cost LB: 58248 ... c Min unsat cost LB: 58263 ... c Min unsat cost LB: 58264 ... c Min unsat cost LB: 58265 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58269 ... c Min unsat cost LB: 58270 ... c Min unsat cost LB: 58271 ... c Min unsat cost LB: 58275 ... c Min unsat cost LB: 58280 ... c Min unsat cost LB: 58281 ... c Min unsat cost LB: 58282 ... c Min unsat cost LB: 58283 ... c Min unsat cost LB: 58285 ... c Min unsat cost LB: 58286 ... c Min unsat cost LB: 58287 ... c Min unsat cost LB: 58288 ... c Min unsat cost LB: 58290 ... c Min unsat cost LB: 58291 ... c Min unsat cost LB: 58293 ... c Min unsat cost LB: 58294 ... c Min unsat cost LB: 58295 ... c Min unsat cost LB: 58298 ... c Min unsat cost LB: 58299 ... c Min unsat cost LB: 58302 ... c Min unsat cost LB: 58308 ... c Min unsat cost LB: 58309 ... c Min unsat cost LB: 58310 ... c Min unsat cost LB: 58311 ... c Min unsat cost LB: 58312 ... c Min unsat cost LB: 58313 ... c Min unsat cost LB: 58314 ... c Min unsat cost LB: 58315 ... c Min unsat cost LB: 58316 ... c Min unsat cost LB: 58317 ... c Min unsat cost LB: 58318 ... c Min unsat cost LB: 58319 ... c Min unsat cost LB: 58320 ... c Min unsat cost LB: 58321 ... c Min unsat cost LB: 58322 ... c Min unsat cost LB: 58323 ... c Min unsat cost LB: 58324 ... c Min unsat cost LB: 58325 ... c Min unsat cost LB: 58326 ... c Min unsat cost LB: 58327 ... c Min unsat cost LB: 58332 ... c Min unsat cost LB: 58335 ... c Min unsat cost LB: 58336 ... c Min unsat cost LB: 58337 ... c Min unsat cost LB: 58338 ... c Min unsat cost LB: 58339 ... c Min unsat cost LB: 58340 ... c Min unsat cost LB: 58341 ... c Min unsat cost LB: 58342 ... c Min unsat cost LB: 58343 ... c Min unsat cost LB: 58344 ... c Min unsat cost LB: 58345 ... c Min unsat cost LB: 58347 ... c Min unsat cost LB: 58348 ... c Min unsat cost LB: 58349 ... c Min unsat cost LB: 58350 ... c Min unsat cost LB: 58351 ... c Min unsat cost LB: 58352 ... c Min unsat cost LB: 58353 ... c Min unsat cost LB: 58354 ... c Min unsat cost LB: 58355 ... c Min unsat cost LB: 58356 ... c Min unsat cost LB: 58357 ... c Min unsat cost LB: 58358 ... c Min unsat cost LB: 58359 ... c Min unsat cost LB: 58360 ... c Min unsat cost LB: 58361 ... c Min unsat cost LB: 58362 ... c Min unsat cost LB: 58364 ... c Min unsat cost LB: 58365 ... c Min unsat cost LB: 58366 ... c Min unsat cost LB: 58367 ... c Min unsat cost LB: 58368 ... c Min unsat cost LB: 58372 ... c Min unsat cost LB: 58373 ... c Min unsat cost LB: 58375 ... c Min unsat cost LB: 58376 ... c Min unsat cost LB: 58377 ... c Min unsat cost LB: 58378 ... c Min unsat cost LB: 58380 ... c Min unsat cost LB: 58381 ... c Min unsat cost LB: 58382 ... c Min unsat cost LB: 58383 ... c Min unsat cost LB: 58384 ... c Min unsat cost LB: 58385 ... c Min unsat cost LB: 58386 ... c Min unsat cost LB: 58388 ... c Min unsat cost LB: 58390 ... c Min unsat cost LB: 58391 ... c Min unsat cost LB: 58401 ... c Min unsat cost LB: 58404 ... c Min unsat cost LB: 58405 ... c Min unsat cost LB: 58406 ... c Min unsat cost LB: 58407 ... c Min unsat cost LB: 58408 ... c Min unsat cost LB: 58409 ... c Min unsat cost LB: 58410 ... c Min unsat cost LB: 58411 ... c Min unsat cost LB: 58426 ... c Min unsat cost LB: 58427 ... c Min unsat cost LB: 58428 ... c Min unsat cost LB: 58431 ... c Min unsat cost LB: 58433 ... c Min unsat cost LB: 58434 ... c Min unsat cost LB: 58435 ... c Min unsat cost LB: 58436 ... c Min unsat cost LB: 58437 ... c Min unsat cost LB: 58438 ... c Min unsat cost LB: 58439 ... c Min unsat cost LB: 58445 ... c Min unsat cost LB: 58446 ... c Min unsat cost LB: 58447 ... c Min unsat cost LB: 58448 ... c Min unsat cost LB: 58449 ... c Min unsat cost LB: 58450 ... c Min unsat cost LB: 58451 ... c Min unsat cost LB: 58452 ... c Min unsat cost LB: 58453 ... c Min unsat cost LB: 58454 ... c Min unsat cost LB: 58455 ... c Min unsat cost LB: 58456 ... c Min unsat cost LB: 58457 ... c Min unsat cost LB: 58458 ... c Min unsat cost LB: 58459 ... c Min unsat cost LB: 58460 ... c Min unsat cost LB: 58461 ... c Min unsat cost LB: 58462 ... c Min unsat cost LB: 58463 ... c Min unsat cost LB: 58464 ... c Min unsat cost LB: 58465 ... c Min unsat cost LB: 58466 ... c Min unsat cost LB: 58467 ... c Min unsat cost LB: 58468 ... c Min unsat cost LB: 58469 ... c Min unsat cost LB: 58470 ... c Min unsat cost LB: 58473 ... c Min unsat cost LB: 58474 ... c Min unsat cost LB: 58475 ... c Min unsat cost LB: 58476 ... c Min unsat cost LB: 58477 ... c Min unsat cost LB: 58478 ... c Min unsat cost LB: 58479 ... c Min unsat cost LB: 58480 ... c Min unsat cost LB: 58481 ... c Min unsat cost LB: 58482 ... c Min unsat cost LB: 58483 ... c Min unsat cost LB: 58484 ... c Min unsat cost LB: 58485 ... c Min unsat cost LB: 58486 ... c Min unsat cost LB: 58487 ... c Min unsat cost LB: 58488 ... c Min unsat cost LB: 58489 ... c Min unsat cost LB: 58501 ... c Min unsat cost LB: 58502 ... c Min unsat cost LB: 58503 ... c Min unsat cost LB: 58504 ... c Min unsat cost LB: 58505 ... c Min unsat cost LB: 58527 ... c Min unsat cost LB: 58530 ... c Min unsat cost LB: 58531 ... c Min unsat cost LB: 58534 ... c Min unsat cost LB: 58535 ... c Min unsat cost LB: 58537 ... c Min unsat cost LB: 58556 ... c Min unsat cost LB: 58570 ... c Min unsat cost LB: 58571 ... c Min unsat cost LB: 58572 ... c Min unsat cost LB: 58573 ... c Min unsat cost LB: 58574 ... c Min unsat cost LB: 58575 ... c Min unsat cost LB: 58576 ... c Min unsat cost LB: 58577 ... c Min unsat cost LB: 58578 ... c Min unsat cost LB: 58579 ... c Min unsat cost LB: 58580 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58583 ... c Min unsat cost LB: 58584 ... c Min unsat cost LB: 58603 ... c Min unsat cost LB: 58604 ... c Min unsat cost LB: 58607 ... c Min unsat cost LB: 58608 ... c Min unsat cost LB: 58611 ... c Min unsat cost LB: 58615 ... c Min unsat cost LB: 58616 ... c Min unsat cost LB: 58617 ... c Min unsat cost LB: 58618 ... c Min unsat cost LB: 58619 ... c Min unsat cost LB: 58620 ... c Min unsat cost LB: 58621 ... c Min unsat cost LB: 58650 ... c Min unsat cost LB: 58651 ... c Min unsat cost LB: 58652 ... c Min unsat cost LB: 58653 ... c Min unsat cost LB: 58654 ... c Min unsat cost LB: 58662 ... c Min unsat cost LB: 58678 ... c Min unsat cost LB: 58679 ... c Min unsat cost LB: 58683 ... c Min unsat cost LB: 58684 ... c Min unsat cost LB: 58706 ... c Min unsat cost LB: 58710 ... c Min unsat cost LB: 58711 ... c Min unsat cost LB: 58712 ... c Min unsat cost LB: 58713 ... c Min unsat cost LB: 58714 ... c Min unsat cost LB: 58716 ... c Min unsat cost LB: 58717 ... c Min unsat cost LB: 58723 ... c Min unsat cost LB: 58724 ... c Min unsat cost LB: 58725 ... c Min unsat cost LB: 58765 ... c Min unsat cost LB: 58766 ... c Min unsat cost LB: 58767 ... c Min unsat cost LB: 58Killed 1813.605u 6.137s 30:22.70 99.8% 0+0k 0+0io 0pf+0w