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_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0003.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_0003.txt.wcnf *** c c Min unsat cost LB: 1711 ... c Min unsat cost LB: 3422 ... c Min unsat cost LB: 4090 ... c Min unsat cost LB: 4758 ... c Min unsat cost LB: 6469 ... c Min unsat cost LB: 8180 ... c Min unsat cost LB: 8848 ... c Min unsat cost LB: 10559 ... c Min unsat cost LB: 11227 ... c Min unsat cost LB: 12938 ... c Min unsat cost LB: 13606 ... c Min unsat cost LB: 14274 ... c Min unsat cost LB: 14942 ... c Min unsat cost LB: 15610 ... c Min unsat cost LB: 16278 ... c Min unsat cost LB: 16946 ... c Min unsat cost LB: 17989 ... c Min unsat cost LB: 19700 ... c Min unsat cost LB: 20368 ... c Min unsat cost LB: 21036 ... c Min unsat cost LB: 21704 ... c Min unsat cost LB: 23415 ... c Min unsat cost LB: 25126 ... c Min unsat cost LB: 26837 ... c Min unsat cost LB: 28548 ... c Min unsat cost LB: 30259 ... c Min unsat cost LB: 31302 ... c Min unsat cost LB: 32345 ... c Min unsat cost LB: 33013 ... c Min unsat cost LB: 33681 ... c Min unsat cost LB: 34349 ... c Min unsat cost LB: 35017 ... c Min unsat cost LB: 36728 ... c Min unsat cost LB: 37103 ... c Min unsat cost LB: 37771 ... c Min unsat cost LB: 38439 ... c Min unsat cost LB: 40150 ... c Min unsat cost LB: 41296 ... c Min unsat cost LB: 43007 ... c Min unsat cost LB: 43572 ... c Min unsat cost LB: 44153 ... c Min unsat cost LB: 45196 ... c Min unsat cost LB: 46907 ... c Min unsat cost LB: 47575 ... c Min unsat cost LB: 48140 ... c Min unsat cost LB: 48618 ... c Min unsat cost LB: 49764 ... c Min unsat cost LB: 50432 ... c Min unsat cost LB: 51077 ... c Min unsat cost LB: 51745 ... c Min unsat cost LB: 51768 ... c Min unsat cost LB: 52914 ... c Min unsat cost LB: 53536 ... c Min unsat cost LB: 53582 ... c Min unsat cost LB: 54170 ... c Min unsat cost LB: 54250 ... c Min unsat cost LB: 54918 ... c Min unsat cost LB: 55586 ... c Min unsat cost LB: 55984 ... c Min unsat cost LB: 57695 ... c Min unsat cost LB: 58841 ... c Min unsat cost LB: 59987 ... c Min unsat cost LB: 60568 ... c Min unsat cost LB: 61236 ... c Min unsat cost LB: 61714 ... c Min unsat cost LB: 61904 ... c Min unsat cost LB: 62382 ... c Min unsat cost LB: 62860 ... c Min unsat cost LB: 64006 ... c Min unsat cost LB: 64674 ... c Min unsat cost LB: 64864 ... c Min unsat cost LB: 65342 ... c Min unsat cost LB: 66010 ... c Min unsat cost LB: 66678 ... c Min unsat cost LB: 67824 ... c Min unsat cost LB: 68199 ... c Min unsat cost LB: 68867 ... c Min unsat cost LB: 69155 ... c Min unsat cost LB: 69242 ... c Min unsat cost LB: 69910 ... c Min unsat cost LB: 70866 ... c Min unsat cost LB: 71534 ... c Min unsat cost LB: 71724 ... c Min unsat cost LB: 72767 ... c Min unsat cost LB: 73435 ... c Min unsat cost LB: 74103 ... c Min unsat cost LB: 74373 ... c Min unsat cost LB: 75041 ... c Min unsat cost LB: 75709 ... c Min unsat cost LB: 76377 ... c Min unsat cost LB: 76775 ... c Min unsat cost LB: 77045 ... c Min unsat cost LB: 77443 ... c Min unsat cost LB: 77713 ... c Min unsat cost LB: 78381 ... c Min unsat cost LB: 78692 ... c Min unsat cost LB: 79257 ... c Min unsat cost LB: 79360 ... c Min unsat cost LB: 79717 ... c Min unsat cost LB: 79907 ... c Min unsat cost LB: 80385 ... c Min unsat cost LB: 80575 ... c Min unsat cost LB: 80593 ... c Min unsat cost LB: 80634 ... c Min unsat cost LB: 80783 ... c Min unsat cost LB: 81112 ... c Min unsat cost LB: 81531 ... c Min unsat cost LB: 81662 ... c Min unsat cost LB: 81911 ... c Min unsat cost LB: 82453 ... c Min unsat cost LB: 82476 ... c Min unsat cost LB: 82579 ... c Min unsat cost LB: 82625 ... c Min unsat cost LB: 82677 ... c Min unsat cost LB: 82846 ... c Min unsat cost LB: 83116 ... c Min unsat cost LB: 83658 ... c Min unsat cost LB: 83745 ... c Min unsat cost LB: 83784 ... c Min unsat cost LB: 83876 ... c Min unsat cost LB: 84134 ... c Min unsat cost LB: 84214 ... c Min unsat cost LB: 84452 ... c Min unsat cost LB: 84930 ... c Min unsat cost LB: 85079 ... c Min unsat cost LB: 86076 ... c Min unsat cost LB: 86225 ... c Min unsat cost LB: 86317 ... c Min unsat cost LB: 86985 ... c Min unsat cost LB: 87088 ... c Min unsat cost LB: 87284 ... c Min unsat cost LB: 87463 ... c Min unsat cost LB: 87653 ... c Min unsat cost LB: 88142 ... c Min unsat cost LB: 88321 ... c Min unsat cost LB: 88609 ... c Min unsat cost LB: 88712 ... c Min unsat cost LB: 88913 ... c Min unsat cost LB: 89131 ... c Min unsat cost LB: 89380 ... c Min unsat cost LB: 89442 ... c Min unsat cost LB: 89522 ... c Min unsat cost LB: 89771 ... c Min unsat cost LB: 89858 ... c Min unsat cost LB: 89881 ... c Min unsat cost LB: 90066 ... c Min unsat cost LB: 90233 ... c Min unsat cost LB: 90372 ... c Min unsat cost LB: 90551 ... c Min unsat cost LB: 90668 ... c Min unsat cost LB: 91040 ... c Min unsat cost LB: 91143 ... c Min unsat cost LB: 91209 ... c Min unsat cost LB: 91233 ... c Min unsat cost LB: 91322 ... c Min unsat cost LB: 91372 ... c Min unsat cost LB: 91518 ... c Min unsat cost LB: 91708 ... c Min unsat cost LB: 91760 ... c Min unsat cost LB: 91806 ... c Min unsat cost LB: 91829 ... c Min unsat cost LB: 91838 ... c Min unsat cost LB: 91964 ... c Min unsat cost LB: 92376 ... c Min unsat cost LB: 92474 ... c Min unsat cost LB: 92751 ... c Min unsat cost LB: 92813 ... c Min unsat cost LB: 92838 ... c Min unsat cost LB: 92930 ... c Min unsat cost LB: 93188 ... c Min unsat cost LB: 93509 ... c Min unsat cost LB: 93749 ... c Min unsat cost LB: 94417 ... c Min unsat cost LB: 95085 ... c Min unsat cost LB: 95192 ... c Min unsat cost LB: 95281 ... c Min unsat cost LB: 95716 ... c Min unsat cost LB: 96324 ... c Min unsat cost LB: 97367 ... c Min unsat cost LB: 97758 ... c Min unsat cost LB: 98035 ... c Min unsat cost LB: 98410 ... c Min unsat cost LB: 98470 ... c Min unsat cost LB: 98505 ... c Min unsat cost LB: 99513 ... c Min unsat cost LB: 99860 ... c Min unsat cost LB: 101511 ... c Min unsat cost LB: 101571 ... c Min unsat cost LB: 101832 ... c Min unsat cost LB: 102314 ... c Min unsat cost LB: 102670 ... c Min unsat cost LB: 103543 ... c Min unsat cost LB: 103635 ... c Min unsat cost LB: 103713 ... c Min unsat cost LB: 103846 ... c Min unsat cost LB: 103899 ... c Min unsat cost LB: 104137 ... c Min unsat cost LB: 105477 ... c Min unsat cost LB: 105825 ... c Min unsat cost LB: 106645 ... c Min unsat cost LB: 106780 ... c Min unsat cost LB: 106819 ... c Min unsat cost LB: 106883 ... c Min unsat cost LB: 106986 ... c Min unsat cost LB: 107027 ... c Min unsat cost LB: 107045 ... c Min unsat cost LB: 107071 ... c Min unsat cost LB: 107089 ... c Min unsat cost LB: 107153 ... c Min unsat cost LB: 107281 ... c Min unsat cost LB: 107405 ... c Min unsat cost LB: 107451 ... c Min unsat cost LB: 107549 ... c Min unsat cost LB: 107554 ... c Min unsat cost LB: 107695 ... c Min unsat cost LB: 107883 ... c Min unsat cost LB: 107885 ... c Min unsat cost LB: 108063 ... c Min unsat cost LB: 108073 ... c Min unsat cost LB: 108363 ... c Min unsat cost LB: 108692 ... c Min unsat cost LB: 108992 ... c Min unsat cost LB: 109031 ... c Min unsat cost LB: 109262 ... c Min unsat cost LB: 109280 ... c Min unsat cost LB: 109298 ... c Min unsat cost LB: 109339 ... c Min unsat cost LB: 109357 ... c Min unsat cost LB: 109365 ... c Min unsat cost LB: 109380 ... c Min unsat cost LB: 109398 ... c Min unsat cost LB: 109439 ... c Min unsat cost LB: 109465 ... c Min unsat cost LB: 109483 ... c Min unsat cost LB: 109506 ... c Min unsat cost LB: 109527 ... c Min unsat cost LB: 109566 ... c Min unsat cost LB: 109699 ... c Min unsat cost LB: 109806 ... c Min unsat cost LB: 109913 ... c Min unsat cost LB: 109991 ... c Min unsat cost LB: 110044 ... c Min unsat cost LB: 110058 ... c Min unsat cost LB: 110069 ... c Min unsat cost LB: 110202 ... c Min unsat cost LB: 110684 ... c Min unsat cost LB: 111040 ... c Min unsat cost LB: 111913 ... c Min unsat cost LB: 111922 ... c Min unsat cost LB: 111945 ... c Min unsat cost LB: 111959 ... c Min unsat cost LB: 111965 ... c Min unsat cost LB: 111968 ... c Min unsat cost LB: 112057 ... c Min unsat cost LB: 112071 ... c Min unsat cost LB: 112146 ... c Min unsat cost LB: 112196 ... c Min unsat cost LB: 112204 ... c Min unsat cost LB: 112207 ... c Min unsat cost LB: 112595 ... c Min unsat cost LB: 113247 ... c Min unsat cost LB: 113250 ... c Min unsat cost LB: 113524 ... c Min unsat cost LB: 113622 ... c Min unsat cost LB: 113635 ... c Min unsat cost LB: 113644 ... c Min unsat cost LB: 113779 ... c Min unsat cost LB: 113797 ... c Min unsat cost LB: 113805 ... c Min unsat cost LB: 113807 ... c Min unsat cost LB: 113813 ... c Min unsat cost LB: 113815 ... c Min unsat cost LB: 113820 ... c Min unsat cost LB: 113843 ... c Min unsat cost LB: 113866 ... c Min unsat cost LB: 113889 ... c Min unsat cost LB: 113912 ... c Min unsat cost LB: 113935 ... c Min unsat cost LB: 113941 ... c Min unsat cost LB: 114015 ... c Min unsat cost LB: 114027 ... c Min unsat cost LB: 114028 ... c Min unsat cost LB: 114033 ... c Min unsat cost LB: 114051 ... c Min unsat cost LB: 114064 ... c Min unsat cost LB: 114081 ... c Min unsat cost LB: 114089 ... c Min unsat cost LB: 114094 ... c Min unsat cost LB: 114117 ... c Min unsat cost LB: 114128 ... c Min unsat cost LB: 114130 ... c Min unsat cost LB: 114146 ... c Min unsat cost LB: 114199 ... c Min unsat cost LB: 114211 ... c Min unsat cost LB: 114217 ... c Min unsat cost LB: 114238 ... c Min unsat cost LB: 114241 ... c Min unsat cost LB: 114252 ... c Min unsat cost LB: 114264 ... c Min unsat cost LB: 114265 ... c Min unsat cost LB: 114283 ... c Min unsat cost LB: 114311 ... c Min unsat cost LB: 114528 ... c Min unsat cost LB: 114531 ... c Min unsat cost LB: 114533 ... c Min unsat cost LB: 114539 ... c Min unsat cost LB: 114542 ... c Min unsat cost LB: 114545 ... c Min unsat cost LB: 114550 ... c Min unsat cost LB: 114587 ... c Min unsat cost LB: 114590 ... c Min unsat cost LB: 114593 ... c Min unsat cost LB: 114601 ... c Min unsat cost LB: 114603 ... c Min unsat cost LB: 114604 ... c Min unsat cost LB: 114611 ... c Min unsat cost LB: 114612 ... c Min unsat cost LB: 114622 ... c Min unsat cost LB: 114634 ... c Min unsat cost LB: 114642 ... c Min unsat cost LB: 114646 ... c Min unsat cost LB: 114647 ... c Min unsat cost LB: 114655 ... c Min unsat cost LB: 114657 ... c Min unsat cost LB: 114978 ... c Min unsat cost LB: 115013 ... c Min unsat cost LB: 115360 ... c Min unsat cost LB: 115795 ... c Min unsat cost LB: 115986 ... c Min unsat cost LB: 115989 ... c Min unsat cost LB: 115992 ... c Min unsat cost LB: 116039 ... c Min unsat cost LB: 116145 ... c Min unsat cost LB: 116149 ... c Min unsat cost LB: 116152 ... c Min unsat cost LB: 116154 ... c Min unsat cost LB: 116155 ... c Min unsat cost LB: 116157 ... c Min unsat cost LB: 116166 ... c Min unsat cost LB: 116255 ... c Min unsat cost LB: 116386 ... c Min unsat cost LB: 116433 ... c Min unsat cost LB: 116555 ... c Min unsat cost LB: 116564 ... c Min unsat cost LB: 116612 ... c Min unsat cost LB: 116671 ... c Min unsat cost LB: 116721 ... c Min unsat cost LB: 116772 ... c Min unsat cost LB: 116774 ... c Min unsat cost LB: 116839 ... c Min unsat cost LB: 116887 ... c Min unsat cost LB: 116924 ... c Min unsat cost LB: 116933 ... c Min unsat cost LB: 116934 ... c Min unsat cost LB: 116937 ... c Min unsat cost LB: 116938 ... c Min unsat cost LB: 116939 ... c Min unsat cost LB: 116971 ... c Min unsat cost LB: 116973 ... c Min unsat cost LB: 116974 ... c Min unsat cost LB: 116999 ... c Min unsat cost LB: 117007 ... c Min unsat cost LB: 117018 ... c Min unsat cost LB: 117019 ... c Min unsat cost LB: 117021 ... c Min unsat cost LB: 117023 ... c Min unsat cost LB: 117028 ... c Min unsat cost LB: 117029 ... c Min unsat cost LB: 117059 ... c Min unsat cost LB: 117060 ... c Min unsat cost LB: 117167 ... c Min unsat cost LB: 117169 ... c Min unsat cost LB: 117177 ... c Min unsat cost LB: 117179 ... c Min unsat cost LB: 117232 ... c Min unsat cost LB: 117241 ... c Min unsat cost LB: 117264 ... c Min unsat cost LB: 117284 ... c Min unsat cost LB: 117288 ... c Min unsat cost LB: 117313 ... c Min unsat cost LB: 117390 ... c Min unsat cost LB: 117391 ... c Min unsat cost LB: 117392 ... c Min unsat cost LB: 117393 ... c Min unsat cost LB: 117394 ... c Min unsat cost LB: 117396 ... c Min unsat cost LB: 117398 ... c Min unsat cost LB: 117399 ... c Min unsat cost LB: 117400 ... c Min unsat cost LB: 117401 ... c Min unsat cost LB: 117402 ... c Min unsat cost LB: 117437 ... c Min unsat cost LB: 117441 ... c Min unsat cost LB: 117442 ... c Min unsat cost LB: 117444 ... c Min unsat cost LB: 117445 ... c Min unsat cost LB: 117446 ... c Min unsat cost LB: 117447 ... c Min unsat cost LB: 117448 ... c Min unsat cost LB: 117449 ... c Min unsat cost LB: 117450 ... c Min unsat cost LB: 117451 ... c Min unsat cost LB: 117453 ... c Min unsat cost LB: 117454 ... c Min unsat cost LB: 117455 ... c Min unsat cost LB: 117456 ... c Min unsat cost LB: 117457 ... c Min unsat cost LB: 117459 ... c Min unsat cost LB: 117460 ... c Min unsat cost LB: 117461 ... c Min unsat cost LB: 117469 ... c Min unsat cost LB: 117473 ... c Min unsat cost LB: 117474 ... c Min unsat cost LB: 117475 ... c Min unsat cost LB: 117486 ... c Min unsat cost LB: 117488 ... c Min unsat cost LB: 117489 ... c Min unsat cost LB: 117493 ... c Min unsat cost LB: 117494 ... c Min unsat cost LB: 117496 ... c Min unsat cost LB: 117499 ... c Min unsat cost LB: 117503 ... c Min unsat cost LB: 117505 ... c Min unsat cost LB: 117506 ... c Min unsat cost LB: 117507 ... c Min unsat cost LB: 117513 ... c Min unsat cost LB: 117517 ... c Min unsat cost LB: 117518 ... c Min unsat cost LB: 117521 ... c Min unsat cost LB: 117524 ... c Min unsat cost LB: 117526 ... c Min unsat cost LB: 117528 ... c Min unsat cost LB: 117530 ... c Min unsat cost LB: 117535 ... c Min unsat cost LB: 117538 ... c Min unsat cost LB: 117544 ... c Min unsat cost LB: 117548 ... c Min unsat cost LB: 117550 ... c Min unsat cost LB: 117551 ... c Min unsat cost LB: 117552 ... c Min unsat cost LB: 117554 ... c Min unsat cost LB: 117555 ... c Min unsat cost LB: 117556 ... c Min unsat cost LB: 117558 ... c Min unsat cost LB: 117559 ... c Min unsat cost LB: 117560 ... c Min unsat cost LB: 117561 ... c Min unsat cost LB: 117562 ... c Min unsat cost LB: 117563 ... c Min unsat cost LB: 117570 ... c Min unsat cost LB: 117577 ... c Min unsat cost LB: 117579 ... c Min unsat cost LB: 117588 ... c Min unsat cost LB: 117602 ... c Min unsat cost LB: 117603 ... c Min unsat cost LB: 117625 ... c Min unsat cost LB: 117626 ... c Min unsat cost LB: 117627 ... c Min unsat cost LB: 117628 ... c Min unsat cost LB: 117631 ... c Min unsat cost LB: 117637 ... c Min unsat cost LB: 117638 ... c Min unsat cost LB: 117641 ... c Min unsat cost LB: 117650 ... c Min unsat cost LB: 117685 ... c Min unsat cost LB: 117777 ... c Min unsat cost LB: 117806 ... c Min unsat cost LB: 117807 ... c Min unsat cost LB: 118057 ... c Min unsat cost LB: 118211 ... c Min unsat cost LB: 118224 ... c Min unsat cost LB: 118238 ... c Min unsat cost LB: 118267 ... c Min unsat cost LB: 118438 ... c Min unsat cost LB: 118479 ... c Min unsat cost LB: 118899 ... c Min unsat cost LB: 118914 ... c Min unsat cost LB: 118915 ... c Min unsat cost LB: 118916 ... c Min unsat cost LB: 118973 ... c Min unsat cost LB: 118974 ... c Min unsat cost LB: 118975 ... c Min unsat cost LB: 118976 ... c Min unsat cost LB: 118977 ... c Min unsat cost LB: 118978 ... c Min unsat cost LB: 118979 ... c Min unsat cost LB: 118980 ... c Min unsat cost LB: 118981 ... c Min unsat cost LB: 118983 ... c Min unsat cost LB: 118984 ... c Min unsat cost LB: 118985 ... c Min unsat cost LB: 118986 ... c Min unsat cost LB: 118988 ... c Min unsat cost LB: 118989 ... c Min unsat cost LB: 118995 ... c Min unsat cost LB: 118996 ... c Min unsat cost LB: 118997 ... c Min unsat cost LB: 118998 ... c Min unsat cost LB: 118999 ... c Min unsat cost LB: 119001 ... c Min unsat cost LB: 119002 ... c Min unsat cost LB: 119003 ... c Min unsat cost LB: 119004 ... c Min unsat cost LB: 119005 ... c Min unsat cost LB: 119006 ... c Min unsat cost LB: 119007 ... c Min unsat cost LB: 119032 ... c Min unsat cost LB: 119055 ... c Min unsat cost LB: 119056 ... c Min unsat cost LB: 119057 ... c Min unsat cost LB: 119058 ... c Min unsat cost LB: 119714 ... c Min unsat cost LB: 119715 ... c Min unsat cost LB: 119716 ... c Min unsat cost LB: 119717 ... c Min unsat cost LB: 119718 ... c Min unsat cost LB: 119719 ... c Min unsat cost LB: 119720 ... c Min unsat cost LB: 119721 ... c Min unsat cost LB: 119722 ... c Min unsat cost LB: 119723 ... c Min unsat cost LB: 119724 ... c Min unsat cost LB: 119725 ... c Min unsat cost LB: 119726 ... c Min unsat cost LB: 119727 ... c Min unsat cost LB: 119728 ... c Min unsat cost LB: 119729 ... c Min unsat cost LB: 119730 ... c Min unsat cost LB: 119731 ... c Min unsat cost LB: 119732 ... c Min unsat cost LB: 119733 ... c Min unsat cost LB: 119734 ... c Min unsat cost LB: 119735 ... c Min unsat cost LB: 119736 ... c Min unsat cost LB: 119747 ... c Min unsat cost LB: 121351 ... c Min unsat cost LB: 121354 ... c Min unsat cost LB: 121402 ... c Min unsat cost LB: 121410 ... c Min unsat cost LB: 121625 ... c Min unsat cost LB: 121628 ... c Min unsat cost LB: 121638 ... c Min unsat cost LB: 121639 ... c Min unsat cost LB: 121641 ... c Min unsat cost LB: 121642 ... c Min unsat cost LB: 121643 ... c Min unsat cost LB: 121651 ... c Min unsat cost LB: 121654 ... c Min unsat cost LB: 121656 ... c Min unsat cost LB: 121657 ... c Min unsat cost LB: 121665 ... c Min unsat cost LB: 121749 ... c Min unsat cost LB: 121750 ... c Min unsat cost LB: 121753 ... c Min unsat cost LB: 121754 ... c Min unsat cost LB: 121755 ... c Min unsat cost LB: 121756 ... c Min unsat cost LB: 121757 ... c Min unsat cost LB: 121758 ... c Min unsat cost LB: 121759 ... c Min unsat cost LB: 121760 ... c Min unsat cost LB: 121761 ... c Min unsat cost LB: 121762 ... c Min unsat cost LB: 121763 ... c Min unsat cost LB: 121764 ... c Min unsat cost LB: 121766 ... c Min unsat cost LB: 121767 ... c Min unsat cost LB: 121769 ... c Min unsat cost LB: 121771 ... c Min unsat cost LB: 121785 ... c Min unsat cost LB: 121786 ... c Min unsat cost LB: 121787 ... c Min unsat cost LB: 121788 ... c Min unsat cost LB: 121790 ... c Min unsat cost LB: 121792 ... c Min unsat cost LB: 121793 ... c Min unsat cost LB: 121794 ... c Min unsat cost LB: 121797 ... c Min unsat cost LB: 121805 ... c Min unsat cost LB: 121806 ... c Min unsat cost LB: 121808 ... c Min unsat cost LB: 121809 ... c Min unsat cost LB: 121810 ... c Min unsat cost LB: 121831 ... c Min unsat cost LB: 121885 ... c Min unsat cost LB: 121886 ... c Min unsat cost LB: 121975 ... c Min unsat cost LB: 121976 ... c Min unsat cost LB: 121977 ... c Min unsat cost LB: 121978 ... c Min unsat cost LB: 121979 ... c Min unsat cost LB: 121980 ... c Min unsat cost LB: 121981 ... c Min unsat cost LB: 121982 ... c Min unsat cost LB: 121983 ... c Min unsat cost LB: 121984 ... c Min unsat cost LB: 121985 ... c Min unsat cost LB: 121986 ... c Min unsat cost LB: 121987 ... c Min unsat cost LB: 121988 ... c Min unsat cost LB: 121989 ... c Min unsat cost LB: 121990 ... c Min unsat cost LB: 121991 ... c Min unsat cost LB: 121992 ... c Min unsat cost LB: 121993 ... c Min unsat cost LB: 121995 ... c Min unsat cost LB: 121996 ... c Min unsat cost LB: 121997 ... c Min unsat cost LB: 121998 ... c Min unsat cost LB: 121999 ... c Min unsat cost LB: 122000 ... c Min unsat cost LB: 122001 ... c Min unsat cost LB: 122002 ... c Min unsat cost LB: 122003 ... c Min unsat cost LB: 122004 ... c Min unsat cost LB: 122005 ... c Min unsat cost LB: 122006 ... c Min unsat cost LB: 122007 ... c Min unsat cost LB: 122008 ... c Min unsat cost LB: 122009 ... c Min unsat cost LB: 122010 ... c Min unsat cost LB: 122011 ... c Min unsat cost LB: 122012 ... c Min unsat cost LB: 122013 ... c Min unsat cost LB: 122014 ... c Min unsat cost LB: 122015 ... c Min unsat cost LB: 122016 ... c Min unsat cost LB: 122017 ... c Min unsat cost LB: 122018 ... c Min unsat cost LB: 122019 ... c Min unsat cost LB: 122020 ... c Min unsat cost LB: 122021 ... c Min unsat cost LB: 122026 ... c Min unsat cost LB: 122028 ... c Min unsat cost LB: 122029 ... c Min unsat cost LB: 122030 ... c Min unsat cost LB: 122031 ... c Min unsat cost LB: 122032 ... c Min unsat cost LB: 122033 ... c Min unsat cost LB: 122034 ... c Min unsat cost LB: 122035 ... c Min unsat cost LB: 122037 ... c Min unsat cost LB: 122040 ... c Min unsat cost LB: 122041 ... c Min unsat cost LB: 122042 ... c Min unsat cost LB: 122043 ... c Min unsat cost LB: 122044 ... c Min unsat cost LB: 122048 ... c Min unsat cost LB: 122049 ... c Min unsat cost LB: 122051 ... c Min unsat cost LB: 122056 ... c Min unsat cost LB: 122057 ... c Min unsat cost LB: 122058 ... c Min unsat cost LB: 122062 ... c Min unsat cost LB: 122063 ... c Min unsat cost LB: 122064 ... c Min unsat cost LB: 122065 ... c Min unsat cost LB: 122066 ... c Min unsat cost LB: 122067 ... c Min unsat cost LB: 122070 ... c Min unsat cost LB: 122071 ... c Min unsat cost LB: 122072 ... c Min unsat cost LB: 122074 ... c Min unsat cost LB: 122075 ... c Min unsat cost LB: 122088 ... c Min unsat cost LB: 122091 ... c Min unsat cost LB: 122094 ... c Min unsat cost LB: 122133 ... c Min unsat cost LB: 122135 ... c Min unsat cost LB: 122136 ... c Min unsat cost LB: 122138 ... c Min unsat cost LB: 122142 ... c Min unsat cost LB: 122143 ... c Min unsat cost LB: 122144 ... c Min unsat cost LB: 122145 ... c Min unsat cost LB: 122146 ... c Min unsat cost LB: 122147 ... c Min unsat cost LB: 122148 ... c Min unsat cost LB: 122149 ... c Min unsat cost LB: 122150 ... c Min unsat cost LB: 122151 ... c Min unsat cost LB: 122152 ... c Min unsat cost LB: 122153 ... c Min unsat cost LB: 122154 ... c Min unsat cost LB: 122155 ... c Min unsat cost LB: 122156 ... c Min unsat cost LB: 122157 ... c Min unsat cost LB: 122158 ... c Min unsat cost LB: 122159 ... c Min unsat cost LB: 122160 ... c Min unsat cost LB: 122161 ... c Min unsat cost LB: 122162 ... c Min unsat cost LB: 122163 ... c Min unsat cost LB: 122164 ... c Min unsat cost LB: 122165 ... c Min unsat cost LB: 122166 ... c Min unsat cost LB: 122167 ... c Min unsat cost LB: 122168 ... c Min unsat cost LB: 122169 ... c Min unsat cost LB: 122170 ... c Min unsat cost LB: 122171 ... c Min unsat cost LB: 122172 ... c Min unsat cost LB: 122173 ... c Min unsat cost LB: 122174 ... c Min unsat cost LB: 122175 ... c Min unsat cost LB: 122176 ... c Min unsat cost LB: 122177 ... c Min unsat cost LB: 122180 ... c Min unsat cost LB: 122181 ... c Min unsat cost LB: 122185 ... c Min unsat cost LB: 122186 ... c Min unsat cost LB: 122208 ... c Min unsat cost LB: 122209 ... c Min unsat cost LB: 122210 ... c Min unsat cost LB: 122211 ... c Min unsat cost LB: 122212 ... c Min unsat cost LB: 122213 ... c Min unsat cost LB: 122214 ... c Min unsat cost LB: 122215 ... c Min unsat cost LB: 122216 ... c Min unsat cost LB: 122217 ... c Min unsat cost LB: 122218 ... c Min unsat cost LB: 122219 ... c Min unsat cost LB: 122221 ... c Min unsat cost LB: 122223 ... c Min unsat cost LB: 122226 ... c Min unsat cost LB: 122227 ... c Min unsat cost LB: 122228 ... c Min unsat cost LB: 122229 ... c Min unsat cost LB: 122230 ... c Min unsat cost LB: 122231 ... c Min unsat cost LB: 122232 ... c Min unsat cost LB: 122233 ... c Min unsat cost LB: 122234 ... c Min unsat cost LB: 122235 ... c Min unsat cost LB: 122236 ... c Min unsat cost LB: 122237 ... c Min unsat cost LB: 122242 ... c Min unsat cost LB: 122247 ... c Min unsat cost LB: 122248 ... c Min unsat cost LB: 122249 ... c Min unsat cost LB: 122250 ... c Min unsat cost LB: 122251 ... c Min unsat cost LB: 122252 ... c Min unsat cost LB: 122253 ... c Min unsat cost LB: 122254 ... c Min unsat cost LB: 122255 ... c Min unsat cost LB: 122256 ... c Min unsat cost LB: 122257 ... c Min unsat cost LB: 122258 ... c Min unsat cost LB: 122259 ... c Min unsat cost LB: 122260 ... c Min unsat cost LB: 122261 ... c Min unsat cost LB: 122262 ... c Min unsat cost LB: 122263 ... c Min unsat cost LB: 122264 ... c Min unsat cost LB: 122265 ... c Min unsat cost LB: 122266 ... c Min unsat cost LB: 122267 ... c Min unsat cost LB: 122268 ... c Min unsat cost LB: 122269 ... c Min unsat cost LB: 122270 ... c Min unsat cost LB: 122271 ... c Min unsat cost LB: 122272 ... c Min unsat cost LB: 122273 ... c Min unsat cost LB: 122274 ... c Min unsat cost LB: 122275 ... c Min unsat cost LB: 122276 ... c Min unsat cost LB: 122277 ... c Min unsat cost LB: 122278 ... c Min unsat cost LB: 122279 ... c Min unsat cost LB: 122280 ... c Min unsat cost LB: 122281 ... c Min unsat cost LB: 122282 ... c Min unsat cost LB: 122283 ... c Min unsat cost LB: 122284 ... c Min unsat cost LB: 122285 ... c Min unsat cost LB: 122290 ... c Min unsat cost LB: 122317 ... c Min unsat cost LB: 122319 ... c Min unsat cost LB: 122344 ... c Min unsat cost LB: 122351 ... c Min unsat cost LB: 122352 ... c Min unsat cost LB: 122354 ... c Min unsat cost LB: 122355 ... c Min unsat cost LB: 122356 ... c Min unsat cost LB: 122357 ... c Min unsat cost LB: 122358 ... c Min unsat cost LB: 122359 ... c Min unsat cost LB: 122360 ... c Min unsat cost LB: 122361 ... c Min unsat cost LB: 122362 ... c Min unsat cost LB: 122363 ... c Min unsat cost LB: 122364 ... c Min unsat cost LB: 122365 ... c Min unsat cost LB: 122366 ... c Min unsat cost LB: 122367 ... c Min unsat cost LB: 122368 ... c Min unsat cost LB: 122369 ... c Min unsat cost LB: 122370 ... c Min unsat cost LB: 122371 ... c Min unsat cost LB: 122372 ... c Min unsat cost LB: 122373 ... c Min unsat cost LB: 122374 ... c Min unsat cost LB: 122375 ... c Min unsat cost LB: 122376 ... c Min unsat cost LB: 122377 ... c Min unsat cost LB: 122378 ... c Min unsat cost LB: 122379 ... c Min unsat cost LB: 122380 ... c Min unsat cost LB: 122381 ... c Min unsat cost LB: 122382 ... c Min unsat cost LB: 122383 ... c Min unsat cost LB: 122386 ... c Min unsat cost LB: 122388 ... c Min unsat cost LB: 122393 ... c Min unsat cost LB: 122412 ... c Min unsat cost LB: 122418 ... c Min unsat cost LB: 122421 ... c Min unsat cost LB: 122423 ... c Min unsat cost LB: 122424 ... c Min unsat cost LB: 122426 ... c Min unsat cost LB: 122427 ... c Min unsat cost LB: 122428 ... c Min unsat cost LB: 122442 ... c Min unsat cost LB: 122443 ... c Min unsat cost LB: 122444 ... c Min unsat cost LB: 122445 ... c Min unsat cost LB: 122446 ... c Min unsat cost LB: 122447 ... c Min unsat cost LB: 122448 ... c Min unsat cost LB: 122449 ... c Min unsat cost LB: 122450 ... c Min unsat cost LB: 122451 ... c Min unsat cost LB: 122452 ... c Min unsat cost LB: 122453 ... c Min unsat cost LB: 122454 ... c Min unsat cost LB: 122457 ... c Min unsat cost LB: 122461 ... c Min unsat cost LB: 122462 ... c Min unsat cost LB: 122463 ... c Min unsat cost LB: 122464 ... c Min unsat cost LB: 122465 ... c Min unsat cost LB: 122466 ... c Min unsat cost LB: 122467 ... c Min unsat cost LB: 122470 ... c Min unsat cost LB: 122471 ... c Min unsat cost LB: 122476 ... c Min unsat cost LB: 122499 ... c Min unsat cost LB: 122500 ... c Min unsat cost LB: 122501 ... c Min unsat cost LB: 122502 ... c Min unsat cost LB: 122503 ... c Min unsat cost LB: 122506 ... c Min unsat cost LB: 122508 ... c Min unsat cost LB: 122509 ... c Min unsat cost LB: 122510 ... c Min unsat cost LB: 122511 ... c Min unsat cost LB: 122512 ... c Min unsat cost LB: 122513 ... c Min unsat cost LB: 122514 ... c Min unsat cost LB: 122515 ... c Min unsat cost LB: 122517 ... c Min unsat cost LB: 122518 ... c Min unsat cost LB: 122523 ... c Min unsat cost LB: 122524 ... c Min unsat cost LB: 122525 ... c Min unsat cost LB: 122529 ... c Min unsat cost LB: 122534 ... c Min unsat cost LB: 122535 ... c Min unsat cost LB: 122537 ... c Min unsat cost LB: 122542 ... c Min unsat cost LB: 122544 ... c Min unsat cost LB: 122550 ... c Min unsat cost LB: 122555 ... c Min unsat cost LB: 122557 ... c Min unsat cost LB: 122558 ... c Min unsat cost LB: 122559 ... c Min unsat cost LB: 122560 ... c Min unsat cost LB: 122587 ... c Min unsat cost LB: 122589 ... c Min unsat cost LB: 122590 ... c Min unsat cost LB: 122591 ... c Min unsat cost LB: 122593 ... c Min unsat cost LB: 122594 ... c Min unsat cost LB: 122597 ... c Min unsat cost LB: 122598 ... c Min unsat cost LB: 122603 ... c Min unsat cost LB: 122606 ... c Min unsat cost LB: 122609 ... c Min unsat cost LB: 122612 ... c Min unsat cost LB: 122614 ... c Min unsat cost LB: 122616 ... c Min unsat cost LB: 122621 ... c Min unsat cost LB: 122622 ... c Min unsat cost LB: 122624 ... c Min unsat cost LB: 122625 ... c Min unsat cost LB: 122626 ... c Min unsat cost LB: 122628 ... c Min unsat cost LB: 122629 ... c Min unsat cost LB: 122630 ... c Min unsat cost LB: 122631 ... c Min unsat cost LB: 122632 ... c Min unsat cost LB: 122633 ... c Min unsat cost LB: 122634 ... c Min unsat cost LB: 122635 ... c Min unsat cost LB: 122636 ... c Min unsat cost LB: 122637 ... c Min unsat cost LB: 122638 ... c Min unsat cost LB: 122639 ... c Min unsat cost LB: 122640 ... c Min unsat cost LB: 122641 ... c Min unsat cost LB: 122642 ... c Min unsat cost LB: 122643 ... c Min unsat cost LB: 122644 ... c Min unsat cost LB: 122702 ... c Min unsat cost LB: 122703 ... c Min unsat cost LB: 122704 ... c Min unsat cost LB: 122705 ... c Min unsat cost LB: 122706 ... c Min unsat cost LB: 122707 ... c Min unsat cost LB: 122708 ... c Min unsat cost LB: 122747 ... c Min unsat cost LB: 122748 ... c Min unsat cost LB: 122749 ... c Min unsat cost LB: 122750 ... c Min unsat cost LB: 122751 ... c Min unsat cost LB: 122752 ... c Min unsat cost LB: 122753 ... c Min unsat cost LB: 122754 ... c Min unsat cost LB: 122755 ... c Min unsat cost LB: 122769 ... c Min unsat cost LB: 122770 ... c Min unsat cost LB: 122771 ... c Min unsat cost LB: 122772 ... c Min unsat cost LB: 122773 ... c Min unsat cost LB: 122774 ... c Min unsat cost LB: 122775 ... c Min unsat cost LB: 122776 ... c Min unsat cost LB: 122777 ... c Min unsat cost LB: 122778 ... c Min unsat cost LB: 122779 ... c Min unsat cost LB: 122780 ... c Min unsat cost LB: 122781 ... c Min unsat cost LB: 122782 ... c Min unsat cost LB: 122783 ... c Min unsat cost LB: 122784 ... c Min unsat cost LB: 122785 ... c Min unsat cost LB: 122786 ... c Min unsat cost LB: 122787 ... c Min unsat cost LB: 122788 ... c Min unsat cost LB: 122789 ... c Min unsat cost LB: 122790 ... c Min unsat cost LB: 122791 ... c Min unsat cost LB: 122792 ... c Min unsat cost LB: 122793 ... c Min unsat cost LB: 122819 ... c Min unsat cost LB: 122820 ... c Min unsat cost LB: 122821 ... c Min unsat cost LB: 122822 ... c Min unsat cost LB: 122823 ... c Min unsat cost LB: 122824 ... c Min unsat cost LB: 122825 ... c Min unsat cost LB: 122826 ... c Min unsat cost LB: 122827 ... c Min unsat cost LB: 122828 ... c Min unsat cost LB: 122829 ... c Min unsat cost LB: 122830 ... c Min unsat cost LB: 122831 ... c Min unsat cost LB: 122832 ... c Min unsat cost LB: 122833 ... c Min unsat cost LB: 122834 ... c Min unsat cost LB: 122835 ... c Min unsat cost LB: 122836 ... c Min unsat cost LB: 122837 ... c Min unsat cost LB: 122838 ... c Min unsat cost LB: 122839 ... c Min unsat cost LB: 122840 ... c Min unsat cost LB: 122841 ... c Min unsat cost LB: 122842 ... c Min unsat cost LB: 122843 ... c Min unsat cost LB: 122844 ... c Min unsat cost LB: 122845 ... c Min unsat cost LB: 122846 ... c Min unsat cost LB: 122847 ... c Min unsat cost LB: 122848 ... c Min unsat cost LB: 122849 ... c Min unsat cost LB: 122850 ... c Min unsat cost LB: 122851 ... c Min unsat cost LB: 122852 ... c Min unsat cost LB: 122853 ... c Min unsat cost LB: 122854 ... c Min unsat cost LB: 122855 ... c Min unsat cost LB: 122856 ... c Min unsat cost LB: 122857 ... c Min unsat cost LB: 122858 ... c Min unsat cost LB: 122859 ... c Min unsat cost LB: 122860 ... c Min unsat cost LB: 122861Killed 1815.892u 3.842s 30:23.73 99.7% 0+0k 0+0io 0pf+0w