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_80_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_80_0002.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_80_0002.txt.wcnf *** c c Min unsat cost LB: 703 ... c Min unsat cost LB: 1204 ... c Min unsat cost LB: 1406 ... c Min unsat cost LB: 1705 ... c Min unsat cost LB: 2206 ... c Min unsat cost LB: 2909 ... c Min unsat cost LB: 3410 ... c Min unsat cost LB: 3612 ... c Min unsat cost LB: 3814 ... c Min unsat cost LB: 4315 ... c Min unsat cost LB: 4983 ... c Min unsat cost LB: 5018 ... c Min unsat cost LB: 5721 ... c Min unsat cost LB: 6424 ... c Min unsat cost LB: 6558 ... c Min unsat cost LB: 6692 ... c Min unsat cost LB: 6991 ... c Min unsat cost LB: 7193 ... c Min unsat cost LB: 7275 ... c Min unsat cost LB: 7764 ... c Min unsat cost LB: 7816 ... c Min unsat cost LB: 7898 ... c Min unsat cost LB: 8601 ... c Min unsat cost LB: 8613 ... c Min unsat cost LB: 9102 ... c Min unsat cost LB: 9184 ... c Min unsat cost LB: 9318 ... c Min unsat cost LB: 9330 ... c Min unsat cost LB: 9819 ... c Min unsat cost LB: 9831 ... c Min unsat cost LB: 9965 ... c Min unsat cost LB: 10099 ... c Min unsat cost LB: 10233 ... c Min unsat cost LB: 10936 ... c Min unsat cost LB: 11639 ... c Min unsat cost LB: 12061 ... c Min unsat cost LB: 12562 ... c Min unsat cost LB: 13051 ... c Min unsat cost LB: 13186 ... c Min unsat cost LB: 13687 ... c Min unsat cost LB: 14812 ... c Min unsat cost LB: 15023 ... c Min unsat cost LB: 15157 ... c Min unsat cost LB: 15658 ... c Min unsat cost LB: 15688 ... c Min unsat cost LB: 15770 ... c Min unsat cost LB: 16271 ... c Min unsat cost LB: 16637 ... c Min unsat cost LB: 16760 ... c Min unsat cost LB: 17261 ... c Min unsat cost LB: 17762 ... c Min unsat cost LB: 18753 ... c Min unsat cost LB: 19254 ... c Min unsat cost LB: 19632 ... c Min unsat cost LB: 20133 ... c Min unsat cost LB: 20645 ... c Min unsat cost LB: 21502 ... c Min unsat cost LB: 21625 ... c Min unsat cost LB: 21872 ... c Min unsat cost LB: 22997 ... c Min unsat cost LB: 23498 ... c Min unsat cost LB: 23632 ... c Min unsat cost LB: 24133 ... c Min unsat cost LB: 24634 ... c Min unsat cost LB: 24757 ... c Min unsat cost LB: 25258 ... c Min unsat cost LB: 25759 ... c Min unsat cost LB: 25882 ... c Min unsat cost LB: 26115 ... c Min unsat cost LB: 26383 ... c Min unsat cost LB: 27508 ... c Min unsat cost LB: 28009 ... c Min unsat cost LB: 28242 ... c Min unsat cost LB: 28496 ... c Min unsat cost LB: 28918 ... c Min unsat cost LB: 29920 ... c Min unsat cost LB: 30623 ... c Min unsat cost LB: 31045 ... c Min unsat cost LB: 31423 ... c Min unsat cost LB: 31691 ... c Min unsat cost LB: 32394 ... c Min unsat cost LB: 32895 ... c Min unsat cost LB: 33128 ... c Min unsat cost LB: 33831 ... c Min unsat cost LB: 34253 ... c Min unsat cost LB: 34534 ... c Min unsat cost LB: 34613 ... c Min unsat cost LB: 35114 ... c Min unsat cost LB: 35347 ... c Min unsat cost LB: 35615 ... c Min unsat cost LB: 35883 ... c Min unsat cost LB: 36116 ... c Min unsat cost LB: 36384 ... c Min unsat cost LB: 36415 ... c Min unsat cost LB: 36714 ... c Min unsat cost LB: 36837 ... c Min unsat cost LB: 36947 ... c Min unsat cost LB: 37215 ... c Min unsat cost LB: 37448 ... c Min unsat cost LB: 37716 ... c Min unsat cost LB: 37949 ... c Min unsat cost LB: 38450 ... c Min unsat cost LB: 38512 ... c Min unsat cost LB: 38749 ... c Min unsat cost LB: 39250 ... c Min unsat cost LB: 39426 ... c Min unsat cost LB: 39549 ... c Min unsat cost LB: 39764 ... c Min unsat cost LB: 39874 ... c Min unsat cost LB: 40042 ... c Min unsat cost LB: 40090 ... c Min unsat cost LB: 40176 ... c Min unsat cost LB: 40288 ... c Min unsat cost LB: 40591 ... c Min unsat cost LB: 40725 ... c Min unsat cost LB: 40803 ... c Min unsat cost LB: 40807 ... c Min unsat cost LB: 40811 ... c Min unsat cost LB: 40837 ... c Min unsat cost LB: 40915 ... c Min unsat cost LB: 40967 ... c Min unsat cost LB: 40971 ... c Min unsat cost LB: 41079 ... c Min unsat cost LB: 41105 ... c Min unsat cost LB: 41183 ... c Min unsat cost LB: 41239 ... c Min unsat cost LB: 41291 ... c Min unsat cost LB: 41373 ... c Min unsat cost LB: 41572 ... c Min unsat cost LB: 42061 ... c Min unsat cost LB: 42073 ... c Min unsat cost LB: 42363 ... c Min unsat cost LB: 42427 ... c Min unsat cost LB: 42439 ... c Min unsat cost LB: 42556 ... c Min unsat cost LB: 42574 ... c Min unsat cost LB: 42604 ... c Min unsat cost LB: 42821 ... c Min unsat cost LB: 42824 ... c Min unsat cost LB: 42928 ... c Min unsat cost LB: 43007 ... c Min unsat cost LB: 43051 ... c Min unsat cost LB: 43284 ... c Min unsat cost LB: 43394 ... c Min unsat cost LB: 43429 ... c Min unsat cost LB: 43477 ... c Min unsat cost LB: 43530 ... c Min unsat cost LB: 43541 ... c Min unsat cost LB: 43582 ... c Min unsat cost LB: 43600 ... c Min unsat cost LB: 43627 ... c Min unsat cost LB: 43664 ... c Min unsat cost LB: 43787 ... c Min unsat cost LB: 43821 ... c Min unsat cost LB: 43833 ... c Min unsat cost LB: 43845 ... c Min unsat cost LB: 44006 ... c Min unsat cost LB: 44007 ... c Min unsat cost LB: 44017 ... c Min unsat cost LB: 44023 ... c Min unsat cost LB: 44146 ... c Min unsat cost LB: 44178 ... c Min unsat cost LB: 44286 ... c Min unsat cost LB: 44288 ... c Min unsat cost LB: 44323 ... c Min unsat cost LB: 44488 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 44669 ... c Min unsat cost LB: 44690 ... c Min unsat cost LB: 44789 ... c Min unsat cost LB: 44837 ... c Min unsat cost LB: 44860 ... c Min unsat cost LB: 44871 ... c Min unsat cost LB: 44958 ... c Min unsat cost LB: 45104 ... c Min unsat cost LB: 45173 ... c Min unsat cost LB: 45270 ... c Min unsat cost LB: 45538 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 46039 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46414 ... c Min unsat cost LB: 46444 ... c Min unsat cost LB: 46649 ... c Min unsat cost LB: 47352 ... c Min unsat cost LB: 47539 ... c Min unsat cost LB: 47853 ... c Min unsat cost LB: 48044 ... c Min unsat cost LB: 48354 ... c Min unsat cost LB: 48477 ... c Min unsat cost LB: 48512 ... c Min unsat cost LB: 48594 ... c Min unsat cost LB: 48800 ... c Min unsat cost LB: 49011 ... c Min unsat cost LB: 49187 ... c Min unsat cost LB: 49303 ... c Min unsat cost LB: 49345 ... c Min unsat cost LB: 49701 ... c Min unsat cost LB: 49830 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 50261 ... c Min unsat cost LB: 50369 ... c Min unsat cost LB: 50604 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50630 ... c Min unsat cost LB: 50729 ... c Min unsat cost LB: 50733 ... c Min unsat cost LB: 50811 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51118 ... c Min unsat cost LB: 51174 ... c Min unsat cost LB: 51196 ... c Min unsat cost LB: 51222 ... c Min unsat cost LB: 51236 ... c Min unsat cost LB: 51247 ... c Min unsat cost LB: 51248 ... c Min unsat cost LB: 51266 ... c Min unsat cost LB: 51278 ... c Min unsat cost LB: 51307 ... c Min unsat cost LB: 51311 ... c Min unsat cost LB: 51359 ... c Min unsat cost LB: 51369 ... c Min unsat cost LB: 51371 ... c Min unsat cost LB: 51375 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 51435 ... c Min unsat cost LB: 51538 ... c Min unsat cost LB: 51606 ... c Min unsat cost LB: 51720 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 51845 ... c Min unsat cost LB: 51984 ... c Min unsat cost LB: 52082 ... c Min unsat cost LB: 52211 ... c Min unsat cost LB: 52221 ... c Min unsat cost LB: 52315 ... c Min unsat cost LB: 52319 ... c Min unsat cost LB: 52330 ... c Min unsat cost LB: 52342 ... c Min unsat cost LB: 52371 ... c Min unsat cost LB: 52372 ... c Min unsat cost LB: 52390 ... c Min unsat cost LB: 52394 ... c Min unsat cost LB: 52499 ... c Min unsat cost LB: 52513 ... c Min unsat cost LB: 52524 ... c Min unsat cost LB: 52543 ... c Min unsat cost LB: 52547 ... c Min unsat cost LB: 52557 ... c Min unsat cost LB: 52559 ... c Min unsat cost LB: 52563 ... c Min unsat cost LB: 52574 ... c Min unsat cost LB: 52585 ... c Min unsat cost LB: 52610 ... c Min unsat cost LB: 52640 ... c Min unsat cost LB: 52651 ... c Min unsat cost LB: 52827 ... c Min unsat cost LB: 52950 ... c Min unsat cost LB: 53032 ... c Min unsat cost LB: 53249 ... c Min unsat cost LB: 53252 ... c Min unsat cost LB: 53253 ... c Min unsat cost LB: 53271 ... c Min unsat cost LB: 53289 ... c Min unsat cost LB: 53305 ... c Min unsat cost LB: 53326 ... c Min unsat cost LB: 53334 ... c Min unsat cost LB: 53358 ... c Min unsat cost LB: 53393 ... c Min unsat cost LB: 53408 ... c Min unsat cost LB: 53475 ... c Min unsat cost LB: 53481 ... c Min unsat cost LB: 53482 ... c Min unsat cost LB: 53513 ... c Min unsat cost LB: 53516 ... c Min unsat cost LB: 53517 ... c Min unsat cost LB: 53518 ... c Min unsat cost LB: 53525 ... c Min unsat cost LB: 53529 ... c Min unsat cost LB: 53535 ... c Min unsat cost LB: 53536 ... c Min unsat cost LB: 53550 ... c Min unsat cost LB: 53553 ... c Min unsat cost LB: 53569 ... c Min unsat cost LB: 53570 ... c Min unsat cost LB: 53571 ... c Min unsat cost LB: 53575 ... c Min unsat cost LB: 53576 ... c Min unsat cost LB: 53578 ... c Min unsat cost LB: 53581 ... c Min unsat cost LB: 53587 ... c Min unsat cost LB: 53620 ... c Min unsat cost LB: 53625 ... c Min unsat cost LB: 53626 ... c Min unsat cost LB: 53632 ... c Min unsat cost LB: 53635 ... c Min unsat cost LB: 53641 ... c Min unsat cost LB: 53644 ... c Min unsat cost LB: 53645 ... c Min unsat cost LB: 53649 ... c Min unsat cost LB: 53658 ... c Min unsat cost LB: 53663 ... c Min unsat cost LB: 53665 ... c Min unsat cost LB: 53666 ... c Min unsat cost LB: 53669 ... c Min unsat cost LB: 53671 ... c Min unsat cost LB: 53682 ... c Min unsat cost LB: 53684 ... c Min unsat cost LB: 53692 ... c Min unsat cost LB: 53694 ... c Min unsat cost LB: 53702 ... c Min unsat cost LB: 53737 ... c Min unsat cost LB: 53779 ... c Min unsat cost LB: 53878 ... c Min unsat cost LB: 53965 ... c Min unsat cost LB: 53969 ... c Min unsat cost LB: 53991 ... c Min unsat cost LB: 54007 ... c Min unsat cost LB: 54072 ... c Min unsat cost LB: 54192 ... c Min unsat cost LB: 54208 ... c Min unsat cost LB: 54290 ... c Min unsat cost LB: 54357 ... c Min unsat cost LB: 54373 ... c Min unsat cost LB: 54376 ... c Min unsat cost LB: 54411 ... c Min unsat cost LB: 54457 ... c Min unsat cost LB: 54512 ... c Min unsat cost LB: 54522 ... c Min unsat cost LB: 54569 ... c Min unsat cost LB: 54591 ... c Min unsat cost LB: 54609 ... c Min unsat cost LB: 54668 ... c Min unsat cost LB: 54678 ... c Min unsat cost LB: 54726 ... c Min unsat cost LB: 54727 ... c Min unsat cost LB: 54734 ... c Min unsat cost LB: 54735 ... c Min unsat cost LB: 54742 ... c Min unsat cost LB: 54743 ... c Min unsat cost LB: 54744 ... c Min unsat cost LB: 54745 ... c Min unsat cost LB: 54746 ... c Min unsat cost LB: 54747 ... c Min unsat cost LB: 54752 ... c Min unsat cost LB: 54784 ... c Min unsat cost LB: 54787 ... c Min unsat cost LB: 54788 ... c Min unsat cost LB: 54789 ... c Min unsat cost LB: 54793 ... c Min unsat cost LB: 54815 ... c Min unsat cost LB: 54816 ... c Min unsat cost LB: 54817 ... c Min unsat cost LB: 54818 ... c Min unsat cost LB: 54819 ... c Min unsat cost LB: 54822 ... c Min unsat cost LB: 54825 ... c Min unsat cost LB: 54826 ... c Min unsat cost LB: 54830 ... c Min unsat cost LB: 54831 ... c Min unsat cost LB: 54833 ... c Min unsat cost LB: 54854 ... c Min unsat cost LB: 54855 ... c Min unsat cost LB: 54856 ... c Min unsat cost LB: 54857 ... c Min unsat cost LB: 54865 ... c Min unsat cost LB: 54866 ... c Min unsat cost LB: 54869 ... c Min unsat cost LB: 54870 ... c Min unsat cost LB: 54888 ... c Min unsat cost LB: 54891 ... c Min unsat cost LB: 54893 ... c Min unsat cost LB: 54904 ... c Min unsat cost LB: 54907 ... c Min unsat cost LB: 54948 ... c Min unsat cost LB: 54976 ... c Min unsat cost LB: 54977 ... c Min unsat cost LB: 55020 ... c Min unsat cost LB: 55021 ... c Min unsat cost LB: 55022 ... c Min unsat cost LB: 55025 ... c Min unsat cost LB: 55026 ... c Min unsat cost LB: 55027 ... c Min unsat cost LB: 55049 ... c Min unsat cost LB: 55058 ... c Min unsat cost LB: 55073 ... c Min unsat cost LB: 55079 ... c Min unsat cost LB: 55094 ... c Min unsat cost LB: 55107 ... c Min unsat cost LB: 55115 ... c Min unsat cost LB: 55126 ... c Min unsat cost LB: 55145 ... c Min unsat cost LB: 55146 ... c Min unsat cost LB: 55151 ... c Min unsat cost LB: 55152 ... c Min unsat cost LB: 55154 ... c Min unsat cost LB: 55155 ... c Min unsat cost LB: 55156 ... c Min unsat cost LB: 55157 ... c Min unsat cost LB: 55160 ... c Min unsat cost LB: 55162 ... c Min unsat cost LB: 55166 ... c Min unsat cost LB: 55167 ... c Min unsat cost LB: 55172 ... c Min unsat cost LB: 55173 ... c Min unsat cost LB: 55177 ... c Min unsat cost LB: 55178 ... c Min unsat cost LB: 55179 ... c Min unsat cost LB: 55180 ... c Min unsat cost LB: 55182 ... c Min unsat cost LB: 55184 ... c Min unsat cost LB: 55185 ... c Min unsat cost LB: 55186 ... c Min unsat cost LB: 55187 ... c Min unsat cost LB: 55188 ... c Min unsat cost LB: 55189 ... c Min unsat cost LB: 55190 ... c Min unsat cost LB: 55200 ... c Min unsat cost LB: 55201 ... c Min unsat cost LB: 55206 ... c Min unsat cost LB: 55218 ... c Min unsat cost LB: 55223 ... c Min unsat cost LB: 55225 ... c Min unsat cost LB: 55226 ... c Min unsat cost LB: 55227 ... c Min unsat cost LB: 55228 ... c Min unsat cost LB: 55230 ... c Min unsat cost LB: 55235 ... c Min unsat cost LB: 55236 ... c Min unsat cost LB: 55237 ... c Min unsat cost LB: 55238 ... c Min unsat cost LB: 55239 ... c Min unsat cost LB: 55241 ... c Min unsat cost LB: 55242 ... c Min unsat cost LB: 55243 ... c Min unsat cost LB: 55244 ... c Min unsat cost LB: 55245 ... c Min unsat cost LB: 55246 ... c Min unsat cost LB: 55248 ... c Min unsat cost LB: 55249 ... c Min unsat cost LB: 55250 ... c Min unsat cost LB: 55251 ... c Min unsat cost LB: 55254 ... c Min unsat cost LB: 55255 ... c Min unsat cost LB: 55256 ... c Min unsat cost LB: 55257 ... c Min unsat cost LB: 55258 ... c Min unsat cost LB: 55259 ... c Min unsat cost LB: 55260 ... c Min unsat cost LB: 55261 ... c Min unsat cost LB: 55262 ... c Min unsat cost LB: 55263 ... c Min unsat cost LB: 55264 ... c Min unsat cost LB: 55265 ... c Min unsat cost LB: 55266 ... c Min unsat cost LB: 55267 ... c Min unsat cost LB: 55268 ... c Min unsat cost LB: 55269 ... c Min unsat cost LB: 55270 ... c Min unsat cost LB: 55271 ... c Min unsat cost LB: 55275 ... c Min unsat cost LB: 55276 ... c Min unsat cost LB: 55277 ... c Min unsat cost LB: 55278 ... c Min unsat cost LB: 55279 ... c Min unsat cost LB: 55281 ... c Min unsat cost LB: 55282 ... c Min unsat cost LB: 55283 ... c Min unsat cost LB: 55284 ... c Min unsat cost LB: 55285 ... c Min unsat cost LB: 55286 ... c Min unsat cost LB: 55287 ... c Min unsat cost LB: 55288 ... c Min unsat cost LB: 55289 ... c Min unsat cost LB: 55290 ... c Min unsat cost LB: 55291 ... c Min unsat cost LB: 55292 ... c Min unsat cost LB: 55293 ... c Min unsat cost LB: 55294 ... c Min unsat cost LB: 55295 ... c Min unsat cost LB: 55309 ... c Min unsat cost LB: 55310 ... c Min unsat cost LB: 55325 ... c Min unsat cost LB: 55326 ... c Min unsat cost LB: 55327 ... c Min unsat cost LB: 55328 ... c Min unsat cost LB: 55329 ... c Min unsat cost LB: 55330 ... c Min unsat cost LB: 55331 ... c Min unsat cost LB: 55332 ... c Min unsat cost LB: 55334 ... c Min unsat cost LB: 55335 ... c Min unsat cost LB: 55336 ... c Min unsat cost LB: 55337 ... c Min unsat cost LB: 55338 ... c Min unsat cost LB: 55339 ... c Min unsat cost LB: 55340 ... 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: 55351 ... c Min unsat cost LB: 55352 ... c Min unsat cost LB: 55353 ... c Min unsat cost LB: 55364 ... c Min unsat cost LB: 55383 ... c Min unsat cost LB: 55391 ... c Min unsat cost LB: 55392 ... c Min unsat cost LB: 55393 ... c Min unsat cost LB: 55403 ... c Min unsat cost LB: 55412 ... c Min unsat cost LB: 55430 ... c Min unsat cost LB: 55445 ... c Min unsat cost LB: 55454 ... c Min unsat cost LB: 55514 ... c Min unsat cost LB: 55518 ... c Min unsat cost LB: 55522 ... c Min unsat cost LB: 55533 ... c Min unsat cost LB: 55541 ... c Min unsat cost LB: 55557 ... c Min unsat cost LB: 55576 ... c Min unsat cost LB: 55628 ... c Min unsat cost LB: 55647 ... c Min unsat cost LB: 55660 ... c Min unsat cost LB: 55661 ... c Min unsat cost LB: 55664 ... c Min unsat cost LB: 55665 ... c Min unsat cost LB: 55666 ... c Min unsat cost LB: 55667 ... c Min unsat cost LB: 55677 ... c Min unsat cost LB: 55678 ... c Min unsat cost LB: 55682 ... c Min unsat cost LB: 55683 ... c Min unsat cost LB: 55688 ... c Min unsat cost LB: 55689 ... c Min unsat cost LB: 55690 ... c Min unsat cost LB: 55722 ... c Min unsat cost LB: 55777 ... c Min unsat cost LB: 55786 ... c Min unsat cost LB: 55813 ... c Min unsat cost LB: 55824 ... c Min unsat cost LB: 55827 ... c Min unsat cost LB: 55830 ... c Min unsat cost LB: 55831 ... c Min unsat cost LB: 55832 ... c Min unsat cost LB: 55833 ... c Min unsat cost LB: 55835 ... c Min unsat cost LB: 55836 ... c Min unsat cost LB: 55837 ... c Min unsat cost LB: 55838 ... c Min unsat cost LB: 55839 ... c Min unsat cost LB: 55840 ... c Min unsat cost LB: 55841 ... c Min unsat cost LB: 55846 ... c Min unsat cost LB: 55847 ... c Min unsat cost LB: 55848 ... c Min unsat cost LB: 55849 ... c Min unsat cost LB: 55850 ... c Min unsat cost LB: 55851 ... c Min unsat cost LB: 55853 ... c Min unsat cost LB: 55856 ... c Min unsat cost LB: 55858 ... c Min unsat cost LB: 55859 ... c Min unsat cost LB: 55860 ... c Min unsat cost LB: 55861 ... c Min unsat cost LB: 55862 ... c Min unsat cost LB: 55863 ... c Min unsat cost LB: 55866 ... c Min unsat cost LB: 55867 ... c Min unsat cost LB: 55868 ... c Min unsat cost LB: 55869 ... c Min unsat cost LB: 55870 ... c Min unsat cost LB: 55871 ... c Min unsat cost LB: 55872 ... c Min unsat cost LB: 55873 ... c Min unsat cost LB: 55874 ... c Min unsat cost LB: 55875 ... c Min unsat cost LB: 55876 ... c Min unsat cost LB: 55877 ... c Min unsat cost LB: 55878 ... c Min unsat cost LB: 55879 ... c Min unsat cost LB: 55880 ... c Min unsat cost LB: 55881 ... c Min unsat cost LB: 55882 ... c Min unsat cost LB: 55883 ... c Min unsat cost LB: 55884 ... c Min unsat cost LB: 55885 ... c Min unsat cost LB: 55886 ... c Min unsat cost LB: 55887 ... c Min unsat cost LB: 55888 ... c Min unsat cost LB: 55889 ... c Min unsat cost LB: 55890 ... c Min unsat cost LB: 55891 ... c Min unsat cost LB: 55892 ... c Min unsat cost LB: 55893 ... c Min unsat cost LB: 55894 ... c Min unsat cost LB: 55895 ... c Min unsat cost LB: 55896 ... c Min unsat cost LB: 55897 ... c Min unsat cost LB: 55898 ... c Min unsat cost LB: 55899 ... c Min unsat cost LB: 55900 ... c Min unsat cost LB: 55901 ... c Min unsat cost LB: 55902 ... c Min unsat cost LB: 55903 ... c Min unsat cost LB: 55935 ... c Min unsat cost LB: 55938 ... c Min unsat cost LB: 55980 ... c Min unsat cost LB: 56085 ... c Min unsat cost LB: 56102 ... c Min unsat cost LB: 56108 ... c Min unsat cost LB: 56136 ... c Min unsat cost LB: 56224 ... c Min unsat cost LB: 56228 ... c Min unsat cost LB: 56229 ... c Min unsat cost LB: 56230 ... c Min unsat cost LB: 56231 ... c Min unsat cost LB: 56249 ... c Min unsat cost LB: 56252 ... c Min unsat cost LB: 56253 ... c Min unsat cost LB: 56254 ... c Min unsat cost LB: 56255 ... c Min unsat cost LB: 56256 ... c Min unsat cost LB: 56257 ... c Min unsat cost LB: 56263 ... c Min unsat cost LB: 56281 ... c Min unsat cost LB: 56315 ... c Min unsat cost LB: 56316 ... c Min unsat cost LB: 56317 ... c Min unsat cost LB: 56322 ... c Min unsat cost LB: 56325 ... c Min unsat cost LB: 56326 ... c Min unsat cost LB: 56418 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 56428 ... c Min unsat cost LB: 56434 ... c Min unsat cost LB: 56435 ... c Min unsat cost LB: 56436 ... c Min unsat cost LB: 56443 ... c Min unsat cost LB: 56444 ... c Min unsat cost LB: 56445 ... c Min unsat cost LB: 56450 ... c Min unsat cost LB: 56451 ... c Min unsat cost LB: 56453 ... c Min unsat cost LB: 56505 ... c Min unsat cost LB: 56506 ... c Min unsat cost LB: 56526 ... c Min unsat cost LB: 56528 ... c Min unsat cost LB: 56530 ... c Min unsat cost LB: 56532 ... c Min unsat cost LB: 56535 ... 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: 56549 ... c Min unsat cost LB: 56550 ... c Min unsat cost LB: 56551 ... c Min unsat cost LB: 56552 ... c Min unsat cost LB: 56564 ... c Min unsat cost LB: 56568 ... c Min unsat cost LB: 56579 ... c Min unsat cost LB: 56580 ... c Min unsat cost LB: 56582 ... c Min unsat cost LB: 56583 ... c Min unsat cost LB: 56584 ... c Min unsat cost LB: 56587 ... c Min unsat cost LB: 56588 ... c Min unsat cost LB: 56589 ... c Min unsat cost LB: 56682 ... c Min unsat cost LB: 56683 ... c Min unsat cost LB: 56708 ... c Min unsat cost LB: 56716 ... c Min unsat cost LB: 56718 ... c Min unsat cost LB: 56719 ... c Min unsat cost LB: 56720 ... c Min unsat cost LB: 56721 ... c Min unsat cost LB: 56722 ... c Min unsat cost LB: 56723 ... c Min unsat cost LB: 56724 ... c Min unsat cost LB: 56727 ... c Min unsat cost LB: 56728 ... c Min unsat cost LB: 56729 ... c Min unsat cost LB: 56730 ... c Min unsat cost LB: 56731 ... 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: 56737 ... c Min unsat cost LB: 56738 ... c Min unsat cost LB: 56739 ... c Min unsat cost LB: 56742 ... c Min unsat cost LB: 56744 ... c Min unsat cost LB: 56746 ... 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: 56763 ... c Min unsat cost LB: 56764 ... 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: 56773 ... c Min unsat cost LB: 56774 ... c Min unsat cost LB: 56775 ... c Min unsat cost LB: 56776 ... c Min unsat cost LB: 56779 ... c Min unsat cost LB: 56780 ... 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: 56792 ... c Min unsat cost LB: 56793 ... c Min unsat cost LB: 56794 ... c Min unsat cost LB: 56795 ... c Min unsat cost LB: 56801 ... c Min unsat cost LB: 56802 ... c Min unsat cost LB: 56804 ... 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: 56825 ... c Min unsat cost LB: 56827 ... c Min unsat cost LB: 56830 ... c Min unsat cost LB: 56831 ... c Min unsat cost LB: 56832 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56835 ... c Min unsat cost LB: 56836 ... c Min unsat cost LB: 56839 ... c Min unsat cost LB: 56840 ... c Min unsat cost LB: 56842 ... c Min unsat cost LB: 56843 ... c Min unsat cost LB: 56844 ... c Min unsat cost LB: 56846 ... c Min unsat cost LB: 56847 ... c Min unsat cost LB: 56848 ... c Min unsat cost LB: 56849 ... c Min unsat cost LB: 56850 ... c Min unsat cost LB: 56851 ... c Min unsat cost LB: 56852 ... c Min unsat cost LB: 56853 ... c Min unsat cost LB: 56854 ... c Min unsat cost LB: 56855 ... c Min unsat cost LB: 56856 ... c Min unsat cost LB: 56857 ... c Min unsat cost LB: 56858 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56860 ... c Min unsat cost LB: 56861 ... c Min unsat cost LB: 56862 ... c Min unsat cost LB: 56863 ... c Min unsat cost LB: 56864 ... c Min unsat cost LB: 56865 ... c Min unsat cost LB: 56866 ... c Min unsat cost LB: 56867 ... c Min unsat cost LB: 56868 ... c Min unsat cost LB: 56869 ... c Min unsat cost LB: 56870 ... c Min unsat cost LB: 56871 ... c Min unsat cost LB: 56872 ... c Min unsat cost LB: 56873 ... c Min unsat cost LB: 56874 ... c Min unsat cost LB: 56875 ... c Min unsat cost LB: 56876 ... c Min unsat cost LB: 56877 ... c Min unsat cost LB: 56878 ... c Min unsat cost LB: 56879 ... c Min unsat cost LB: 56880 ... c Min unsat cost LB: 56881 ... c Min unsat cost LB: 56882 ... c Min unsat cost LB: 56883 ... c Min unsat cost LB: 56884 ... c Min unsat cost LB: 56885 ... c Min unsat cost LB: 56886 ... c Min unsat cost LB: 56887 ... c Min unsat cost LB: 56888 ... 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: 56905 ... c Min unsat cost LB: 56906 ... c Min unsat cost LB: 56907 ... c Min unsat cost LB: 56909 ... c Min unsat cost LB: 56910 ... c Min unsat cost LB: 56911 ... 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: 56916 ... c Min unsat cost LB: 56917 ... c Min unsat cost LB: 56919 ... c Min unsat cost LB: 56920 ... 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: 56925 ... c Min unsat cost LB: 56926 ... c Min unsat cost LB: 56927 ... c Min unsat cost LB: 56928 ... c Min unsat cost LB: 56929 ... c Min unsat cost LB: 56930 ... c Min unsat cost LB: 56931 ... c Min unsat cost LB: 56932 ... c Min unsat cost LB: 56933 ... c Min unsat cost LB: 56934 ... c Min unsat cost LB: 56935 ... c Min unsat cost LB: 56936 ... c Min unsat cost LB: 56937 ... c Min unsat cost LB: 56938 ... c Min unsat cost LB: 56939 ... c Min unsat cost LB: 56940 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 56942 ... c Min unsat cost LB: 56943 ... c Min unsat cost LB: 56944 ... c Min unsat cost LB: 56945 ... c Min unsat cost LB: 56946 ... c Min unsat cost LB: 56947 ... c Min unsat cost LB: 56948 ... c Min unsat cost LB: 56949 ... c Min unsat cost LB: 56950 ... c Min unsat cost LB: 56951 ... c Min unsat cost LB: 56952 ... 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: 56961 ... c Min unsat cost LB: 56962 ... c Min unsat cost LB: 56963 ... c Min unsat cost LB: 56964 ... c Min unsat cost LB: 56965 ... c Min unsat cost LB: 56966 ... c Min unsat cost LB: 56967 ... c Min unsat cost LB: 56968 ... c Min unsat cost LB: 56969 ... c Min unsat cost LB: 56970 ... 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: 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: 57087 ... c Min unsat cost LB: 57088 ... c Min unsat cost LB: 57089 ... c Min unsat cost LB: 57090 ... c Min unsat cost LB: 57101 ... c Min unsat cost LB: 57242 ... c Min unsat cost LB: 57243 ... c Min unsat cost LB: 57244 ... c Min unsat cost LB: 57250 ... c Min unsat cost LB: 57251 ... c Min unsat cost LB: 57252 ... c Min unsat cost LB: 57253 ... c Min unsat cost LB: 57254 ... c Min unsat cost LB: 57255 ... c Min unsat cost LB: 57257 ... c Min unsat cost LB: 57258 ... c Min unsat cost LB: 57259 ... c Min unsat cost LB: 57260 ... c Min unsat cost LB: 57261 ... c Min unsat cost LB: 57264 ... c Min unsat cost LB: 57265 ... c Min unsat cost LB: 57267 ... c Min unsat cost LB: 57268 ... c Min unsat cost LB: 57269 ... c Min unsat cost LB: 57271 ... c Min unsat cost LB: 57273 ... c Min unsat cost LB: 57274 ... c Min unsat cost LB: 57275 ... c Min unsat cost LB: 57276 ... c Min unsat cost LB: 57277 ... c Min unsat cost LB: 57278 ... c Min unsat cost LB: 57279 ... c Min unsat cost LB: 57280 ... c Min unsat cost LB: 57281 ... c Min unsat cost LB: 57283 ... c Min unsat cost LB: 57284 ... c Min unsat cost LB: 57285 ... c Min unsat cost LB: 57286 ... c Min unsat cost LB: 57287 ... c Min unsat cost LB: 57288 ... c Min unsat cost LB: 57292 ... c Min unsat cost LB: 57293 ... c Min unsat cost LB: 57294 ... c Min unsat cost LB: 57295 ... c Min unsat cost LB: 57296 ... c Min unsat cost LB: 57297 ... c Min unsat cost LB: 57298 ... c Min unsat cost LB: 57299 ... c Min unsat cost LB: 57300 ... c Min unsat cost LB: 57301 ... c Min unsat cost LB: 57302 ... c Min unsat cost LB: 57303 ... c Min unsat cost LB: 57304 ... c Min unsat cost LB: 57305 ... c Min unsat cost LB: 57306 ... c Min unsat cost LB: 57307 ... c Min unsat cost LB: 57308 ... c Min unsat cost LB: 57309 ... c Min unsat cost LB: 57310 ... c Min unsat cost LB: 57311 ... c Min unsat cost LB: 57312 ... c Min unsat cost LB: 57313 ... c Min unsat cost LB: 57317 ... c Min unsat cost LB: 57319 ... c Min unsat cost LB: 57320 ... c Min unsat cost LB: 57321 ... c Min unsat cost LB: 57322 ... c Min unsat cost LB: 57323 ... c Min unsat cost LB: 57324 ... c Min unsat cost LB: 57326 ... c Min unsat cost LB: 57327 ... c Min unsat cost LB: 57328 ... c Min unsat cost LB: 57329 ... c Min unsat cost LB: 57331 ... c Min unsat cost LB: 57332 ... c Min unsat cost LB: 57333 ... c Min unsat cost LB: 57340 ... c Min unsat cost LB: 57342 ... c Min unsat cost LB: 57344 ... c Min unsat cost LB: 57347 ... c Min unsat cost LB: 57351 ... 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: 57356 ... 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: 57364 ... c Min unsat cost LB: 57365 ... c Min unsat cost LB: 57367 ... c Min unsat cost LB: 57368 ... c Min unsat cost LB: 57369 ... c Min unsat cost LB: 57370 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57372 ... c Min unsat cost LB: 57373 ... c Min unsat cost LB: 57374 ... c Min unsat cost LB: 57375 ... c Min unsat cost LB: 57376 ... c Min unsat cost LB: 57377 ... c Min unsat cost LB: 57378 ... c Min unsat cost LB: 57379 ... c Min unsat cost LB: 57380 ... c Min unsat cost LB: 57381 ... c Min unsat cost LB: 57382 ... c Min unsat cost LB: 57383 ... c Min unsat cost LB: 57384 ... c Min unsat cost LB: 57385 ... c Min unsat cost LB: 57386 ... c Min unsat cost LB: 57387 ... c Min unsat cost LB: 57388 ... c Min unsat cost LB: 57389 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57391 ... c Min unsat cost LB: 57392 ... c Min unsat cost LB: 57393 ... c Min unsat cost LB: 57394 ... c Min unsat cost LB: 57395 ... c Min unsat cost LB: 57396 ... c Min unsat cost LB: 57397 ... c Min unsat cost LB: 57398 ... c Min unsat cost LB: 57399 ... c Min unsat cost LB: 57400 ... c Min unsat cost LB: 57401 ... c Min unsat cost LB: 57402 ... c Min unsat cost LB: 57403 ... c Min unsat cost LB: 57404 ... c Min unsat cost LB: 57405 ... c Min unsat cost LB: 57406 ... Killed 1817.056u 2.680s 30:23.76 99.7% 0+0k 0+0io 0pf+0w