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_110_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_0000.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_110_0000.txt.wcnf *** c c Min unsat cost LB: 196 ... c Min unsat cost LB: 921 ... c Min unsat cost LB: 1504 ... c Min unsat cost LB: 1700 ... c Min unsat cost LB: 2204 ... c Min unsat cost LB: 2283 ... c Min unsat cost LB: 2708 ... c Min unsat cost LB: 2787 ... c Min unsat cost LB: 2983 ... c Min unsat cost LB: 3708 ... c Min unsat cost LB: 4433 ... c Min unsat cost LB: 5158 ... c Min unsat cost LB: 5883 ... c Min unsat cost LB: 6608 ... c Min unsat cost LB: 7333 ... c Min unsat cost LB: 7916 ... c Min unsat cost LB: 8420 ... c Min unsat cost LB: 9145 ... c Min unsat cost LB: 9728 ... c Min unsat cost LB: 9949 ... c Min unsat cost LB: 10091 ... c Min unsat cost LB: 10233 ... c Min unsat cost LB: 10958 ... c Min unsat cost LB: 11541 ... c Min unsat cost LB: 12266 ... c Min unsat cost LB: 12770 ... c Min unsat cost LB: 13495 ... c Min unsat cost LB: 14220 ... c Min unsat cost LB: 14945 ... c Min unsat cost LB: 15809 ... c Min unsat cost LB: 15948 ... c Min unsat cost LB: 16673 ... c Min unsat cost LB: 17537 ... c Min unsat cost LB: 17676 ... c Min unsat cost LB: 18540 ... c Min unsat cost LB: 19404 ... c Min unsat cost LB: 19845 ... c Min unsat cost LB: 20376 ... c Min unsat cost LB: 20907 ... c Min unsat cost LB: 21101 ... c Min unsat cost LB: 21965 ... c Min unsat cost LB: 22496 ... c Min unsat cost LB: 22829 ... c Min unsat cost LB: 23360 ... c Min unsat cost LB: 24224 ... c Min unsat cost LB: 24755 ... c Min unsat cost LB: 24845 ... c Min unsat cost LB: 25376 ... c Min unsat cost LB: 25709 ... c Min unsat cost LB: 25853 ... c Min unsat cost LB: 26578 ... c Min unsat cost LB: 27019 ... c Min unsat cost LB: 27208 ... c Min unsat cost LB: 27496 ... c Min unsat cost LB: 27739 ... c Min unsat cost LB: 27937 ... c Min unsat cost LB: 28468 ... c Min unsat cost LB: 29332 ... c Min unsat cost LB: 30227 ... c Min unsat cost LB: 31122 ... c Min unsat cost LB: 31158 ... c Min unsat cost LB: 31354 ... c Min unsat cost LB: 31444 ... c Min unsat cost LB: 31921 ... c Min unsat cost LB: 31939 ... c Min unsat cost LB: 32276 ... c Min unsat cost LB: 33140 ... c Min unsat cost LB: 33296 ... c Min unsat cost LB: 33492 ... c Min unsat cost LB: 34023 ... c Min unsat cost LB: 34219 ... c Min unsat cost LB: 34363 ... c Min unsat cost LB: 34507 ... c Min unsat cost LB: 34701 ... c Min unsat cost LB: 34753 ... c Min unsat cost LB: 34805 ... c Min unsat cost LB: 34949 ... c Min unsat cost LB: 35093 ... c Min unsat cost LB: 35124 ... c Min unsat cost LB: 35237 ... c Min unsat cost LB: 35299 ... c Min unsat cost LB: 35803 ... c Min unsat cost LB: 35962 ... c Min unsat cost LB: 36038 ... c Min unsat cost LB: 36106 ... c Min unsat cost LB: 36302 ... c Min unsat cost LB: 36726 ... c Min unsat cost LB: 36854 ... c Min unsat cost LB: 36870 ... c Min unsat cost LB: 37014 ... c Min unsat cost LB: 37210 ... c Min unsat cost LB: 37354 ... c Min unsat cost LB: 37533 ... c Min unsat cost LB: 37677 ... c Min unsat cost LB: 37816 ... c Min unsat cost LB: 38541 ... c Min unsat cost LB: 38572 ... c Min unsat cost LB: 38873 ... c Min unsat cost LB: 39266 ... c Min unsat cost LB: 39293 ... c Min unsat cost LB: 39598 ... c Min unsat cost LB: 39718 ... c Min unsat cost LB: 39753 ... c Min unsat cost LB: 39974 ... c Min unsat cost LB: 40053 ... c Min unsat cost LB: 40323 ... c Min unsat cost LB: 40557 ... c Min unsat cost LB: 41048 ... c Min unsat cost LB: 41061 ... c Min unsat cost LB: 41205 ... c Min unsat cost LB: 41565 ... c Min unsat cost LB: 41773 ... c Min unsat cost LB: 41800 ... c Min unsat cost LB: 41944 ... c Min unsat cost LB: 41989 ... c Min unsat cost LB: 42001 ... c Min unsat cost LB: 42143 ... c Min unsat cost LB: 42669 ... c Min unsat cost LB: 42764 ... c Min unsat cost LB: 42804 ... c Min unsat cost LB: 42816 ... c Min unsat cost LB: 42843 ... c Min unsat cost LB: 42908 ... c Min unsat cost LB: 42920 ... c Min unsat cost LB: 43032 ... c Min unsat cost LB: 43052 ... c Min unsat cost LB: 43347 ... c Min unsat cost LB: 43423 ... c Min unsat cost LB: 43555 ... c Min unsat cost LB: 43767 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43980 ... c Min unsat cost LB: 44176 ... c Min unsat cost LB: 44372 ... c Min unsat cost LB: 44462 ... c Min unsat cost LB: 44492 ... c Min unsat cost LB: 44581 ... c Min unsat cost LB: 44731 ... c Min unsat cost LB: 44844 ... c Min unsat cost LB: 44875 ... c Min unsat cost LB: 44911 ... c Min unsat cost LB: 45019 ... c Min unsat cost LB: 45055 ... c Min unsat cost LB: 45107 ... c Min unsat cost LB: 45163 ... c Min unsat cost LB: 45172 ... c Min unsat cost LB: 45264 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 45386 ... c Min unsat cost LB: 45499 ... c Min unsat cost LB: 45538 ... c Min unsat cost LB: 45566 ... c Min unsat cost LB: 45695 ... c Min unsat cost LB: 45891 ... c Min unsat cost LB: 45937 ... c Min unsat cost LB: 46043 ... c Min unsat cost LB: 46045 ... c Min unsat cost LB: 46065 ... c Min unsat cost LB: 46241 ... c Min unsat cost LB: 46261 ... c Min unsat cost LB: 46389 ... c Min unsat cost LB: 46437 ... c Min unsat cost LB: 46457 ... c Min unsat cost LB: 46489 ... c Min unsat cost LB: 46501 ... c Min unsat cost LB: 46522 ... c Min unsat cost LB: 46534 ... c Min unsat cost LB: 46541 ... c Min unsat cost LB: 46646 ... c Min unsat cost LB: 47175 ... c Min unsat cost LB: 47177 ... c Min unsat cost LB: 47371 ... c Min unsat cost LB: 47406 ... c Min unsat cost LB: 47574 ... c Min unsat cost LB: 47601 ... c Min unsat cost LB: 47613 ... c Min unsat cost LB: 47658 ... c Min unsat cost LB: 47991 ... c Min unsat cost LB: 48189 ... c Min unsat cost LB: 48326 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48356 ... c Min unsat cost LB: 48552 ... c Min unsat cost LB: 48748 ... c Min unsat cost LB: 48788 ... c Min unsat cost LB: 48885 ... c Min unsat cost LB: 49000 ... c Min unsat cost LB: 49337 ... c Min unsat cost LB: 49535 ... c Min unsat cost LB: 49571 ... c Min unsat cost LB: 49638 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49696 ... c Min unsat cost LB: 49807 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50142 ... c Min unsat cost LB: 50237 ... c Min unsat cost LB: 50266 ... c Min unsat cost LB: 50410 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50462 ... c Min unsat cost LB: 50646 ... c Min unsat cost LB: 50755 ... c Min unsat cost LB: 50759 ... c Min unsat cost LB: 50791 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51042 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51128 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51300 ... c Min unsat cost LB: 51313 ... c Min unsat cost LB: 51370 ... c Min unsat cost LB: 51559 ... c Min unsat cost LB: 52197 ... c Min unsat cost LB: 52373 ... c Min unsat cost LB: 52378 ... c Min unsat cost LB: 52468 ... c Min unsat cost LB: 52698 ... c Min unsat cost LB: 52740 ... c Min unsat cost LB: 52758 ... c Min unsat cost LB: 52770 ... c Min unsat cost LB: 52920 ... c Min unsat cost LB: 52979 ... c Min unsat cost LB: 53074 ... c Min unsat cost LB: 53147 ... c Min unsat cost LB: 53150 ... c Min unsat cost LB: 53228 ... c Min unsat cost LB: 53381 ... c Min unsat cost LB: 53405 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53798 ... c Min unsat cost LB: 53844 ... c Min unsat cost LB: 53860 ... c Min unsat cost LB: 54221 ... c Min unsat cost LB: 54299 ... c Min unsat cost LB: 54330 ... c Min unsat cost LB: 54350 ... c Min unsat cost LB: 54355 ... c Min unsat cost LB: 54366 ... c Min unsat cost LB: 54407 ... c Min unsat cost LB: 54431 ... c Min unsat cost LB: 54459 ... c Min unsat cost LB: 54461 ... c Min unsat cost LB: 54465 ... c Min unsat cost LB: 54479 ... c Min unsat cost LB: 54495 ... c Min unsat cost LB: 54503 ... c Min unsat cost LB: 54541 ... c Min unsat cost LB: 54542 ... c Min unsat cost LB: 54544 ... c Min unsat cost LB: 54554 ... c Min unsat cost LB: 54581 ... c Min unsat cost LB: 54590 ... c Min unsat cost LB: 54674 ... c Min unsat cost LB: 54682 ... c Min unsat cost LB: 54739 ... c Min unsat cost LB: 54744 ... c Min unsat cost LB: 54783 ... c Min unsat cost LB: 54800 ... c Min unsat cost LB: 54823 ... c Min unsat cost LB: 54858 ... c Min unsat cost LB: 54889 ... c Min unsat cost LB: 54898 ... c Min unsat cost LB: 55021 ... c Min unsat cost LB: 55123 ... c Min unsat cost LB: 55159 ... c Min unsat cost LB: 55219 ... c Min unsat cost LB: 55254 ... c Min unsat cost LB: 55309 ... c Min unsat cost LB: 55326 ... c Min unsat cost LB: 55369 ... c Min unsat cost LB: 55428 ... c Min unsat cost LB: 55436 ... c Min unsat cost LB: 55453 ... c Min unsat cost LB: 55467 ... c Min unsat cost LB: 55475 ... c Min unsat cost LB: 55505 ... c Min unsat cost LB: 55551 ... c Min unsat cost LB: 55595 ... c Min unsat cost LB: 55598 ... c Min unsat cost LB: 55625 ... c Min unsat cost LB: 55643 ... c Min unsat cost LB: 55661 ... c Min unsat cost LB: 55673 ... c Min unsat cost LB: 55679 ... c Min unsat cost LB: 55695 ... c Min unsat cost LB: 55752 ... c Min unsat cost LB: 55767 ... c Min unsat cost LB: 55817 ... c Min unsat cost LB: 55844 ... c Min unsat cost LB: 55859 ... c Min unsat cost LB: 55937 ... c Min unsat cost LB: 55954 ... c Min unsat cost LB: 55966 ... c Min unsat cost LB: 55973 ... c Min unsat cost LB: 55974 ... c Min unsat cost LB: 55994 ... c Min unsat cost LB: 56150 ... c Min unsat cost LB: 56152 ... c Min unsat cost LB: 56160 ... c Min unsat cost LB: 56167 ... c Min unsat cost LB: 56194 ... c Min unsat cost LB: 56303 ... c Min unsat cost LB: 56311 ... c Min unsat cost LB: 56315 ... c Min unsat cost LB: 56329 ... c Min unsat cost LB: 56333 ... c Min unsat cost LB: 56335 ... c Min unsat cost LB: 56337 ... c Min unsat cost LB: 56349 ... c Min unsat cost LB: 56441 ... c Min unsat cost LB: 56449 ... c Min unsat cost LB: 56461 ... c Min unsat cost LB: 56473 ... c Min unsat cost LB: 56482 ... c Min unsat cost LB: 56493 ... c Min unsat cost LB: 56494 ... c Min unsat cost LB: 56501 ... c Min unsat cost LB: 56506 ... c Min unsat cost LB: 56512 ... c Min unsat cost LB: 56533 ... c Min unsat cost LB: 56534 ... c Min unsat cost LB: 56535 ... c Min unsat cost LB: 56536 ... c Min unsat cost LB: 56538 ... c Min unsat cost LB: 56541 ... c Min unsat cost LB: 56543 ... c Min unsat cost LB: 56546 ... c Min unsat cost LB: 56548 ... 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: 56558 ... c Min unsat cost LB: 56560 ... c Min unsat cost LB: 56561 ... c Min unsat cost LB: 56562 ... c Min unsat cost LB: 56563 ... c Min unsat cost LB: 56564 ... c Min unsat cost LB: 56565 ... c Min unsat cost LB: 56566 ... c Min unsat cost LB: 56567 ... c Min unsat cost LB: 56568 ... c Min unsat cost LB: 56569 ... c Min unsat cost LB: 56570 ... c Min unsat cost LB: 56572 ... c Min unsat cost LB: 56573 ... c Min unsat cost LB: 56574 ... c Min unsat cost LB: 56576 ... c Min unsat cost LB: 56577 ... c Min unsat cost LB: 56582 ... c Min unsat cost LB: 56590 ... c Min unsat cost LB: 56599 ... c Min unsat cost LB: 56600 ... c Min unsat cost LB: 56607 ... c Min unsat cost LB: 56613 ... c Min unsat cost LB: 56615 ... c Min unsat cost LB: 56616 ... c Min unsat cost LB: 56619 ... c Min unsat cost LB: 56620 ... c Min unsat cost LB: 56623 ... c Min unsat cost LB: 56628 ... c Min unsat cost LB: 56642 ... c Min unsat cost LB: 56645 ... c Min unsat cost LB: 56669 ... c Min unsat cost LB: 56673 ... c Min unsat cost LB: 56720 ... c Min unsat cost LB: 56896 ... c Min unsat cost LB: 56901 ... c Min unsat cost LB: 56937 ... c Min unsat cost LB: 56994 ... c Min unsat cost LB: 57074 ... c Min unsat cost LB: 57085 ... c Min unsat cost LB: 57121 ... c Min unsat cost LB: 57125 ... c Min unsat cost LB: 57176 ... c Min unsat cost LB: 57181 ... c Min unsat cost LB: 57193 ... c Min unsat cost LB: 57209 ... c Min unsat cost LB: 57211 ... c Min unsat cost LB: 57227 ... c Min unsat cost LB: 57261 ... c Min unsat cost LB: 57307 ... c Min unsat cost LB: 57320 ... c Min unsat cost LB: 57329 ... c Min unsat cost LB: 57331 ... c Min unsat cost LB: 57428 ... c Min unsat cost LB: 57448 ... c Min unsat cost LB: 57459 ... c Min unsat cost LB: 57476 ... c Min unsat cost LB: 57496 ... c Min unsat cost LB: 57503 ... c Min unsat cost LB: 57530 ... c Min unsat cost LB: 57546 ... c Min unsat cost LB: 57548 ... c Min unsat cost LB: 57561 ... c Min unsat cost LB: 57615 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57625 ... c Min unsat cost LB: 57633 ... c Min unsat cost LB: 57635 ... c Min unsat cost LB: 57636 ... c Min unsat cost LB: 57651 ... c Min unsat cost LB: 57696 ... c Min unsat cost LB: 57700 ... c Min unsat cost LB: 57712 ... c Min unsat cost LB: 57731 ... c Min unsat cost LB: 57732 ... c Min unsat cost LB: 57752 ... c Min unsat cost LB: 57781 ... c Min unsat cost LB: 57819 ... c Min unsat cost LB: 57820 ... c Min unsat cost LB: 57834 ... c Min unsat cost LB: 57835 ... c Min unsat cost LB: 57839 ... c Min unsat cost LB: 57858 ... c Min unsat cost LB: 57859 ... c Min unsat cost LB: 57865 ... c Min unsat cost LB: 57936 ... c Min unsat cost LB: 57937 ... c Min unsat cost LB: 57962 ... c Min unsat cost LB: 57964 ... c Min unsat cost LB: 57971 ... c Min unsat cost LB: 58061 ... c Min unsat cost LB: 58070 ... c Min unsat cost LB: 58111 ... c Min unsat cost LB: 58112 ... c Min unsat cost LB: 58113 ... c Min unsat cost LB: 58115 ... c Min unsat cost LB: 58116 ... c Min unsat cost LB: 58119 ... c Min unsat cost LB: 58122 ... c Min unsat cost LB: 58123 ... c Min unsat cost LB: 58127 ... c Min unsat cost LB: 58128 ... c Min unsat cost LB: 58129 ... c Min unsat cost LB: 58132 ... c Min unsat cost LB: 58136 ... c Min unsat cost LB: 58137 ... c Min unsat cost LB: 58138 ... c Min unsat cost LB: 58296 ... c Min unsat cost LB: 58299 ... c Min unsat cost LB: 58308 ... c Min unsat cost LB: 58316 ... c Min unsat cost LB: 58465 ... c Min unsat cost LB: 58472 ... c Min unsat cost LB: 58480 ... c Min unsat cost LB: 58510 ... c Min unsat cost LB: 58511 ... c Min unsat cost LB: 58514 ... c Min unsat cost LB: 58515 ... c Min unsat cost LB: 58522 ... c Min unsat cost LB: 58523 ... c Min unsat cost LB: 58524 ... c Min unsat cost LB: 58525 ... c Min unsat cost LB: 58526 ... c Min unsat cost LB: 58527 ... c Min unsat cost LB: 58528 ... c Min unsat cost LB: 58532 ... c Min unsat cost LB: 58533 ... c Min unsat cost LB: 58965 ... c Min unsat cost LB: 58977 ... c Min unsat cost LB: 58981 ... c Min unsat cost LB: 59001 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59005 ... c Min unsat cost LB: 59009 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59013 ... c Min unsat cost LB: 59014 ... c Min unsat cost LB: 59015 ... c Min unsat cost LB: 59016 ... c Min unsat cost LB: 59020 ... c Min unsat cost LB: 59022 ... c Min unsat cost LB: 59023 ... c Min unsat cost LB: 59024 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59026 ... c Min unsat cost LB: 59027 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59029 ... c Min unsat cost LB: 59030 ... c Min unsat cost LB: 59031 ... c Min unsat cost LB: 59032 ... c Min unsat cost LB: 59033 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59057 ... c Min unsat cost LB: 59082 ... c Min unsat cost LB: 59186 ... c Min unsat cost LB: 59191 ... c Min unsat cost LB: 59198 ... c Min unsat cost LB: 59380 ... c Min unsat cost LB: 59390 ... c Min unsat cost LB: 59391 ... c Min unsat cost LB: 59392 ... c Min unsat cost LB: 59393 ... c Min unsat cost LB: 59397 ... c Min unsat cost LB: 59399 ... c Min unsat cost LB: 59417 ... c Min unsat cost LB: 59424 ... c Min unsat cost LB: 59428 ... c Min unsat cost LB: 59430 ... c Min unsat cost LB: 59432 ... c Min unsat cost LB: 59433 ... c Min unsat cost LB: 59435 ... c Min unsat cost LB: 59448 ... c Min unsat cost LB: 59450 ... c Min unsat cost LB: 59451 ... c Min unsat cost LB: 59452 ... c Min unsat cost LB: 59454 ... c Min unsat cost LB: 59455 ... c Min unsat cost LB: 59461 ... c Min unsat cost LB: 59462 ... c Min unsat cost LB: 59464 ... c Min unsat cost LB: 59466 ... c Min unsat cost LB: 59469 ... c Min unsat cost LB: 59502 ... c Min unsat cost LB: 59529 ... c Min unsat cost LB: 59546 ... c Min unsat cost LB: 59565 ... c Min unsat cost LB: 59613 ... c Min unsat cost LB: 59618 ... c Min unsat cost LB: 59726 ... c Min unsat cost LB: 59727 ... c Min unsat cost LB: 59728 ... c Min unsat cost LB: 59730 ... c Min unsat cost LB: 59731 ... c Min unsat cost LB: 59732 ... c Min unsat cost LB: 59733 ... c Min unsat cost LB: 59735 ... c Min unsat cost LB: 59736 ... c Min unsat cost LB: 59737 ... c Min unsat cost LB: 59738 ... c Min unsat cost LB: 59739 ... c Min unsat cost LB: 59740 ... c Min unsat cost LB: 59741 ... c Min unsat cost LB: 59742 ... c Min unsat cost LB: 59743 ... c Min unsat cost LB: 59744 ... c Min unsat cost LB: 59746 ... c Min unsat cost LB: 59747 ... c Min unsat cost LB: 59758 ... c Min unsat cost LB: 59761 ... c Min unsat cost LB: 59773 ... c Min unsat cost LB: 59799 ... c Min unsat cost LB: 59800 ... c Min unsat cost LB: 59803 ... c Min unsat cost LB: 59804 ... c Min unsat cost LB: 59805 ... c Min unsat cost LB: 59806 ... c Min unsat cost LB: 59807 ... c Min unsat cost LB: 59808 ... c Min unsat cost LB: 59809 ... c Min unsat cost LB: 59810 ... c Min unsat cost LB: 59812 ... c Min unsat cost LB: 59813 ... c Min unsat cost LB: 59814 ... c Min unsat cost LB: 59815 ... c Min unsat cost LB: 59816 ... c Min unsat cost LB: 59817 ... c Min unsat cost LB: 59818 ... c Min unsat cost LB: 59819 ... c Min unsat cost LB: 59833 ... c Min unsat cost LB: 59835 ... c Min unsat cost LB: 59836 ... c Min unsat cost LB: 59841 ... c Min unsat cost LB: 59842 ... c Min unsat cost LB: 59843 ... c Min unsat cost LB: 59844 ... c Min unsat cost LB: 59846 ... c Min unsat cost LB: 59863 ... c Min unsat cost LB: 59864 ... c Min unsat cost LB: 59865 ... c Min unsat cost LB: 59874 ... c Min unsat cost LB: 59888 ... c Min unsat cost LB: 59921 ... c Min unsat cost LB: 59937 ... c Min unsat cost LB: 59942 ... c Min unsat cost LB: 59945 ... c Min unsat cost LB: 59999 ... c Min unsat cost LB: 60000 ... c Min unsat cost LB: 60001 ... c Min unsat cost LB: 60002 ... c Min unsat cost LB: 60003 ... c Min unsat cost LB: 60004 ... c Min unsat cost LB: 60005 ... c Min unsat cost LB: 60006 ... c Min unsat cost LB: 60007 ... c Min unsat cost LB: 60009 ... c Min unsat cost LB: 60010 ... c Min unsat cost LB: 60011 ... c Min unsat cost LB: 60012 ... c Min unsat cost LB: 60013 ... c Min unsat cost LB: 60015 ... c Min unsat cost LB: 60016 ... c Min unsat cost LB: 60017 ... c Min unsat cost LB: 60018 ... c Min unsat cost LB: 60022 ... c Min unsat cost LB: 60026 ... c Min unsat cost LB: 60027 ... c Min unsat cost LB: 60030 ... c Min unsat cost LB: 60035 ... c Min unsat cost LB: 60036 ... c Min unsat cost LB: 60037 ... c Min unsat cost LB: 60039 ... c Min unsat cost LB: 60041 ... c Min unsat cost LB: 60046 ... c Min unsat cost LB: 60047 ... c Min unsat cost LB: 60048 ... c Min unsat cost LB: 60049 ... c Min unsat cost LB: 60050 ... c Min unsat cost LB: 60051 ... c Min unsat cost LB: 60052 ... c Min unsat cost LB: 60053 ... c Min unsat cost LB: 60054 ... c Min unsat cost LB: 60055 ... c Min unsat cost LB: 60056 ... c Min unsat cost LB: 60057 ... c Min unsat cost LB: 60058 ... c Min unsat cost LB: 60059 ... c Min unsat cost LB: 60060 ... c Min unsat cost LB: 60061 ... c Min unsat cost LB: 60062 ... c Min unsat cost LB: 60063 ... c Min unsat cost LB: 60064 ... c Min unsat cost LB: 60065 ... c Min unsat cost LB: 60078 ... c Min unsat cost LB: 60081 ... c Min unsat cost LB: 60082 ... c Min unsat cost LB: 60083 ... c Min unsat cost LB: 60084 ... c Min unsat cost LB: 60085 ... c Min unsat cost LB: 60111 ... c Min unsat cost LB: 60112 ... c Min unsat cost LB: 60113 ... c Min unsat cost LB: 60114 ... c Min unsat cost LB: 60116 ... c Min unsat cost LB: 60126 ... c Min unsat cost LB: 60127 ... c Min unsat cost LB: 60128 ... c Min unsat cost LB: 60129 ... c Min unsat cost LB: 60130 ... c Min unsat cost LB: 60131 ... c Min unsat cost LB: 60132 ... c Min unsat cost LB: 60133 ... c Min unsat cost LB: 60134 ... c Min unsat cost LB: 60148 ... c Min unsat cost LB: 60149 ... c Min unsat cost LB: 60150 ... c Min unsat cost LB: 60151 ... c Min unsat cost LB: 60152 ... c Min unsat cost LB: 60153 ... c Min unsat cost LB: 60154 ... c Min unsat cost LB: 60155 ... c Min unsat cost LB: 60156 ... c Min unsat cost LB: 60157 ... c Min unsat cost LB: 60158 ... c Min unsat cost LB: 60159 ... c Min unsat cost LB: 60160 ... c Min unsat cost LB: 60161 ... c Min unsat cost LB: 60162 ... c Min unsat cost LB: 60163 ... c Min unsat cost LB: 60164 ... c Min unsat cost LB: 60165 ... c Min unsat cost LB: 60166 ... c Min unsat cost LB: 60167 ... c Min unsat cost LB: 60168 ... c Min unsat cost LB: 60169 ... c Min unsat cost LB: 60170 ... c Min unsat cost LB: 60171 ... c Min unsat cost LB: 60172 ... c Min unsat cost LB: 60173 ... c Min unsat cost LB: 60174 ... c Min unsat cost LB: 60176 ... c Min unsat cost LB: 60177 ... c Min unsat cost LB: 60181 ... c Min unsat cost LB: 60182 ... c Min unsat cost LB: 60183 ... c Min unsat cost LB: 60184 ... c Min unsat cost LB: 60185 ... c Min unsat cost LB: 60186 ... c Min unsat cost LB: 60187 ... c Min unsat cost LB: 60188 ... c Min unsat cost LB: 60194 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60198 ... c Min unsat cost LB: 60199 ... c Min unsat cost LB: 60200 ... c Min unsat cost LB: 60201 ... c Min unsat cost LB: 60202 ... c Min unsat cost LB: 60203 ... c Min unsat cost LB: 60204 ... c Min unsat cost LB: 60205 ... c Min unsat cost LB: 60206 ... c Min unsat cost LB: 60207 ... c Min unsat cost LB: 60208 ... c Min unsat cost LB: 60209 ... c Min unsat cost LB: 60210 ... c Min unsat cost LB: 60211 ... c Min unsat cost LB: 60212 ... c Min unsat cost LB: 60216 ... c Min unsat cost LB: 60221 ... c Min unsat cost LB: 60222 ... c Min unsat cost LB: 60223 ... c Min unsat cost LB: 60224 ... c Min unsat cost LB: 60227 ... c Min unsat cost LB: 60228 ... c Min unsat cost LB: 60229 ... c Min unsat cost LB: 60230 ... c Min unsat cost LB: 60231 ... c Min unsat cost LB: 60232 ... c Min unsat cost LB: 60233 ... c Min unsat cost LB: 60234 ... c Min unsat cost LB: 60235 ... c Min unsat cost LB: 60236 ... c Min unsat cost LB: 60237 ... c Min unsat cost LB: 60238 ... c Min unsat cost LB: 60239 ... c Min unsat cost LB: 60240 ... c Min unsat cost LB: 60241 ... c Min unsat cost LB: 60242 ... c Min unsat cost LB: 60243 ... c Min unsat cost LB: 60244 ... c Min unsat cost LB: 60245 ... c Min unsat cost LB: 60246 ... c Min unsat cost LB: 60247 ... c Min unsat cost LB: 60248 ... c Min unsat cost LB: 60249 ... c Min unsat cost LB: 60251 ... c Min unsat cost LB: 60255 ... c Min unsat cost LB: 60270 ... c Min unsat cost LB: 60271 ... c Min unsat cost LB: 60442 ... c Min unsat cost LB: 60443 ... c Min unsat cost LB: 60444 ... c Min unsat cost LB: 60445 ... c Min unsat cost LB: 60446 ... c Min unsat cost LB: 60447 ... c Min unsat cost LB: 60448 ... c Min unsat cost LB: 60449 ... c Min unsat cost LB: 60450 ... c Min unsat cost LB: 60451 ... c Min unsat cost LB: 60452 ... c Min unsat cost LB: 60453 ... c Min unsat cost LB: 60454 ... c Min unsat cost LB: 60455 ... c Min unsat cost LB: 60456 ... c Min unsat cost LB: 60457 ... c Min unsat cost LB: 60458 ... c Min unsat cost LB: 60459 ... c Min unsat cost LB: 60460 ... c Min unsat cost LB: 60461 ... c Min unsat cost LB: 60462 ... c Min unsat cost LB: 60493 ... c Min unsat cost LB: 60494 ... c Min unsat cost LB: 60495 ... c Min unsat cost LB: 60496 ... c Min unsat cost LB: 60497 ... c Min unsat cost LB: 60498 ... c Min unsat cost LB: 60499 ... c Min unsat cost LB: 60500 ... c Min unsat cost LB: 60501 ... c Min unsat cost LB: 60506 ... c Min unsat cost LB: 60507 ... c Min unsat cost LB: 60508 ... c Min unsat cost LB: 60509 ... c Min unsat cost LB: 60510 ... c Min unsat cost LB: 60511 ... c Min unsat cost LB: 60512 ... c Min unsat cost LB: 60513 ... c Min unsat cost LB: 60514 ... c Min unsat cost LB: 60515 ... c Min unsat cost LB: 60516 ... c Min unsat cost LB: 60519 ... c Min unsat cost LB: 60520 ... c Min unsat cost LB: 60521 ... c Min unsat cost LB: 60522 ... c Min unsat cost LB: 60523 ... c Min unsat cost LB: 60530 ... c Min unsat cost LB: 60531 ... c Min unsat cost LB: 60536 ... c Min unsat cost LB: 60537 ... c Min unsat cost LB: 60538 ... c Min unsat cost LB: 60539 ... c Min unsat cost LB: 60540 ... c Min unsat cost LB: 60541 ... c Min unsat cost LB: 60544 ... c Min unsat cost LB: 60545 ... c Min unsat cost LB: 60546 ... c Min unsat cost LB: 60547 ... c Min unsat cost LB: 60549 ... c Min unsat cost LB: 60551 ... c Min unsat cost LB: 60552 ... c Min unsat cost LB: 60553 ... c Min unsat cost LB: 60554 ... c Min unsat cost LB: 60555 ... c Min unsat cost LB: 60559 ... c Min unsat cost LB: 60560 ... c Min unsat cost LB: 60561 ... c Min unsat cost LB: 60562 ... c Min unsat cost LB: 60563 ... c Min unsat cost LB: 60564 ... c Min unsat cost LB: 60565 ... c Min unsat cost LB: 60566 ... c Min unsat cost LB: 60567 ... c Min unsat cost LB: 60571 ... c Min unsat cost LB: 60572 ... c Min unsat cost LB: 60573 ... c Min unsat cost LB: 60574 ... c Min unsat cost LB: 60575 ... c Min unsat cost LB: 60577 ... c Min unsat cost LB: 60578 ... c Min unsat cost LB: 60582 ... c Min unsat cost LB: 60583 ... c Min unsat cost LB: 60584 ... c Min unsat cost LB: 60585 ... c Min unsat cost LB: 60586 ... c Min unsat cost LB: 60587 ... c Min unsat cost LB: 60588 ... c Min unsat cost LB: 60590 ... c Min unsat cost LB: 60591 ... c Min unsat cost LB: 60592 ... c Min unsat cost LB: 60593 ... c Min unsat cost LB: 60594 ... c Min unsat cost LB: 60595 ... c Min unsat cost LB: 60596 ... c Min unsat cost LB: 60597 ... c Min unsat cost LB: 60598 ... c Min unsat cost LB: 60599 ... c Min unsat cost LB: 60600 ... c Min unsat cost LB: 60601 ... c Min unsat cost LB: 60602 ... c Min unsat cost LB: 60603 ... c Min unsat cost LB: 60604 ... c Min unsat cost LB: 60605 ... c Min unsat cost LB: 60606 ... c Min unsat cost LB: 60607 ... c Min unsat cost LB: 60608 ... c Min unsat cost LB: 60609 ... c Min unsat cost LB: 60610 ... c Min unsat cost LB: 60611 ... c Min unsat cost LB: 60612 ... c Min unsat cost LB: 60613 ... c Min unsat cost LB: 60614 ... c Min unsat cost LB: 60615 ... c Min unsat cost LB: 60616 ... c Min unsat cost LB: 60617 ... c Min unsat cost LB: 60618 ... c Min unsat cost LB: 60619 ... c Min unsat cost LB: 60620 ... c Min unsat cost LB: 60621 ... c Min unsat cost LB: 60622 ... c Min unsat cost LB: 60623 ... c Min unsat cost LB: 60624 ... c Min unsat cost LB: 60625 ... c Min unsat cost LB: 60626 ... c Min unsat cost LB: 60627 ... c Min unsat cost LB: 60628 ... c Min unsat cost LB: 60656 ... c Min unsat cost LB: 60658 ... c Min unsat cost LB: 60659 ... c Min unsat cost LB: 60661 ... c Min unsat cost LB: 60665 ... c Min unsat cost LB: 60666 ... c Min unsat cost LB: 60667 ... c Min unsat cost LB: 60668 ... c Min unsat cost LB: 60671 ... c Min unsat cost LB: 60672 ... c Min unsat cost LB: 60673 ... c Min unsat cost LB: 60674 ... c Min unsat cost LB: 60678 ... c Min unsat cost LB: 60679 ... c Min unsat cost LB: 60680 ... c Min unsat cost LB: 60681 ... c Min unsat cost LB: 60682 ... c Min unsat cost LB: 60683 ... c Min unsat cost LB: 60684 ... c Min unsat cost LB: 60685 ... c Min unsat cost LB: 60686 ... c Min unsat cost LB: 60687 ... c Min unsat cost LB: 60688 ... c Min unsat cost LB: 60689 ... c Min unsat cost LB: 60690 ... c Min unsat cost LB: 60691 ... c Min unsat cost LB: 60692 ... c Min unsat cost LB: 60693 ... c Min unsat cost LB: 60695 ... c Min unsat cost LB: 60704 ... c Min unsat cost LB: 60711 ... c Min unsat cost LB: 60712 ... c Min unsat cost LB: 60713 ... c Min unsat cost LB: 60714 ... c Min unsat cost LB: 60715 ... c Min unsat cost LB: 60716 ... c Min unsat cost LB: 60740 ... c Min unsat cost LB: 60741 ... c Min unsat cost LB: 60750 ... c Min unsat cost LB: 60802 ... c Min unsat cost LB: 60805 ... c Min unsat cost LB: 60840 ... c Min unsat cost LB: 60856 ... c Min unsat cost LB: 60864 ... c Min unsat cost LB: 60865 ... c Min unsat cost LB: 60866 ... c Min unsat cost LB: 60867 ... c Min unsat cost LB: 60868 ... c Min unsat cost LB: 60870 ... c Min unsat cost LB: 60871 ... c Min unsat cost LB: 60872 ... c Min unsat cost LB: 60873 ... c Min unsat cost LB: 60874 ... c Min unsat cost LB: 60877 ... c Min unsat cost LB: 60878 ... c Min unsat cost LB: 60891 ... c Min unsat cost LB: 60896 ... c Min unsat cost LB: 60897 ... c Min unsat cost LB: 60898 ... c Min unsat cost LB: 60899 ... c Min unsat cost LB: 60900 ... c Min unsat cost LB: 60901 ... c Min unsat cost LB: 60902 ... c Min unsat cost LB: 60903 ... c Min unsat cost LB: 60904 ... c Min unsat cost LB: 60905 ... c Min unsat cost LB: 60906 ... c Min unsat cost LB: 60908 ... c Min unsat cost LB: 60909 ... c Min unsat cost LB: 60910 ... c Min unsat cost LB: 60911 ... c Min unsat cost LB: 60912 ... c Min unsat cost LB: 60913 ... c Min unsat cost LB: 60914 ... c Min unsat cost LB: 60915 ... c Min unsat cost LB: 60916 ... c Min unsat cost LB: 60917 ... c Min unsat cost LB: 60918 ... c Min unsat cost LB: 60919 ... c Min unsat cost LB: 60920 ... c Min unsat cost LB: 60921 ... c Min unsat cost LB: 60922 ... c Min unsat cost LB: 60923 ... c Min unsat cost LB: 60927 ... c Min unsat cost LB: 60929 ... c Min unsat cost LB: 60930 ... c Min unsat cost LB: 60931 ... c Min unsat cost LB: 60933 ... c Min unsat cost LB: 60934 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 60936 ... c Min unsat cost LB: 60938 ... c Min unsat cost LB: 60939 ... c Min unsat cost LB: 60940 ... c Min unsat cost LB: 60941 ... c Min unsat cost LB: 60943 ... c Min unsat cost LB: 60944 ... c Min unsat cost LB: 60945 ... c Min unsat cost LB: 60946 ... c Min unsat cost LB: 60947 ... c Min unsat cost LB: 60958 ... c Min unsat cost LB: 60960 ... c Min unsat cost LB: 60964 ... c Min unsat cost LB: 60967 ... c Min unsat cost LB: 60976 ... c Min unsat cost LB: 60981 ... c Min unsat cost LB: 60983 ... c Min unsat cost LB: 60986 ... c Min unsat cost LB: 60990 ... c Min unsat cost LB: 60997 ... c Min unsat cost LB: 60998 ... c Min unsat cost LB: 60999 ... c Min unsat cost LB: 61000 ... c Min unsat cost LB: 61001 ... c Min unsat cost LB: 61002 ... c Min unsat cost LB: 61003 ... c Min unsat cost LB: 61004 ... c Min unsat cost LB: 61005 ... c Min unsat cost LB: 61006 ... c Min unsat cost LB: 61008 ... c Min unsat cost LB: 61009 ... c Min unsat cost LB: 61010 ... c Min unsat cost LB: 61011 ... c Min unsat cost LB: 61012 ... c Min unsat cost LB: 61013 ... c Min unsat cost LB: 61014 ... c Min unsat cost LB: 61015 ... c Min unsat cost LB: 61016 ... c Min unsat cost LB: 61017 ... c Min unsat cost LB: 61018 ... c Min unsat cost LB: 61019 ... c Min unsat cost LB: 61020 ... c Min unsat cost LB: 61021 ... c Min unsat cost LB: 61022 ... c Min unsat cost LB: 61023 ... c Min unsat cost LB: 61024 ... c Min unsat cost LB: 61025 ... c Min unsat cost LB: 61026 ... c Min unsat cost LB: 61027 ... c Min unsat cost LB: 61028 ... c Min unsat cost LB: 61030 ... c Min unsat cost LB: 61031 ... c Min unsat cost LB: 61032 ... c Min unsat cost LB: 61033 ... c Min unsat cost LB: 61035 ... c Min unsat cost LB: 61043 ... c Min unsat cost LB: 61045 ... c Min unsat cost LB: 61048 ... c Min unsat cost LB: 61049 ... c Min unsat cost LB: 61051 ... c Min unsat cost LB: 61052 ... c Min unsat cost LB: 61054 ... c Min unsat cost LB: 61055 ... c Min unsat cost LB: 61057 ... c Min unsat cost LB: 61068 ... c Min unsat cost LB: 61129 ... c Min unsat cost LB: 61130 ... c Min unsat cost LB: 61131 ... c Min unsat cost LB: 61132 ... c Min unsat cost LB: 61133 ... c Min unsat cost LB: 61134 ... c Min unsat cost LB: 6Killed 1814.032u 5.706s 30:21.54 99.9% 0+0k 0+0io 0pf+0w