Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_170_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0001.txt.wcnf *** c c Min unsat cost LB: 727 ... c Min unsat cost LB: 1437 ... c Min unsat cost LB: 2226 ... c Min unsat cost LB: 3048 ... c Min unsat cost LB: 3870 ... c Min unsat cost LB: 3876 ... c Min unsat cost LB: 3971 ... c Min unsat cost LB: 4167 ... c Min unsat cost LB: 4956 ... c Min unsat cost LB: 4960 ... c Min unsat cost LB: 5567 ... c Min unsat cost LB: 6300 ... c Min unsat cost LB: 7083 ... c Min unsat cost LB: 7690 ... c Min unsat cost LB: 7701 ... c Min unsat cost LB: 7768 ... c Min unsat cost LB: 8495 ... c Min unsat cost LB: 8676 ... c Min unsat cost LB: 9469 ... c Min unsat cost LB: 10262 ... c Min unsat cost LB: 11044 ... c Min unsat cost LB: 11771 ... c Min unsat cost LB: 12543 ... c Min unsat cost LB: 13061 ... c Min unsat cost LB: 13290 ... c Min unsat cost LB: 13368 ... c Min unsat cost LB: 14276 ... c Min unsat cost LB: 14946 ... c Min unsat cost LB: 15047 ... c Min unsat cost LB: 15172 ... c Min unsat cost LB: 15898 ... c Min unsat cost LB: 16351 ... c Min unsat cost LB: 16842 ... c Min unsat cost LB: 16856 ... c Min unsat cost LB: 17441 ... c Min unsat cost LB: 17628 ... c Min unsat cost LB: 17743 ... c Min unsat cost LB: 18536 ... c Min unsat cost LB: 18869 ... c Min unsat cost LB: 19119 ... c Min unsat cost LB: 19901 ... c Min unsat cost LB: 20027 ... c Min unsat cost LB: 20628 ... c Min unsat cost LB: 21306 ... c Min unsat cost LB: 22345 ... c Min unsat cost LB: 23195 ... c Min unsat cost LB: 23335 ... c Min unsat cost LB: 23450 ... c Min unsat cost LB: 24514 ... c Min unsat cost LB: 25422 ... c Min unsat cost LB: 26639 ... c Min unsat cost LB: 27037 ... c Min unsat cost LB: 27126 ... c Min unsat cost LB: 27715 ... c Min unsat cost LB: 27799 ... c Min unsat cost LB: 28469 ... c Min unsat cost LB: 29285 ... c Min unsat cost LB: 29929 ... c Min unsat cost LB: 30507 ... c Min unsat cost LB: 30622 ... c Min unsat cost LB: 31100 ... c Min unsat cost LB: 31315 ... c Min unsat cost LB: 31676 ... c Min unsat cost LB: 31735 ... c Min unsat cost LB: 31836 ... c Min unsat cost LB: 32503 ... c Min unsat cost LB: 32541 ... c Min unsat cost LB: 33025 ... c Min unsat cost LB: 33827 ... c Min unsat cost LB: 34609 ... c Min unsat cost LB: 35342 ... c Min unsat cost LB: 35826 ... c Min unsat cost LB: 36066 ... c Min unsat cost LB: 36868 ... c Min unsat cost LB: 36882 ... c Min unsat cost LB: 37615 ... c Min unsat cost LB: 37704 ... c Min unsat cost LB: 38183 ... c Min unsat cost LB: 38231 ... c Min unsat cost LB: 38266 ... c Min unsat cost LB: 38271 ... c Min unsat cost LB: 38280 ... c Min unsat cost LB: 38672 ... c Min unsat cost LB: 39445 ... c Min unsat cost LB: 40094 ... c Min unsat cost LB: 40371 ... c Min unsat cost LB: 40849 ... c Min unsat cost LB: 40858 ... c Min unsat cost LB: 40869 ... c Min unsat cost LB: 41518 ... c Min unsat cost LB: 42391 ... c Min unsat cost LB: 42847 ... c Min unsat cost LB: 43137 ... c Min unsat cost LB: 43171 ... c Min unsat cost LB: 43325 ... c Min unsat cost LB: 43424 ... c Min unsat cost LB: 44073 ... c Min unsat cost LB: 44182 ... c Min unsat cost LB: 44711 ... c Min unsat cost LB: 45002 ... c Min unsat cost LB: 45402 ... c Min unsat cost LB: 45673 ... c Min unsat cost LB: 46441 ... c Min unsat cost LB: 47196 ... c Min unsat cost LB: 47878 ... c Min unsat cost LB: 47922 ... c Min unsat cost LB: 48690 ... c Min unsat cost LB: 48768 ... c Min unsat cost LB: 49076 ... c Min unsat cost LB: 49089 ... c Min unsat cost LB: 49962 ... c Min unsat cost LB: 50055 ... c Min unsat cost LB: 50087 ... c Min unsat cost LB: 50539 ... c Min unsat cost LB: 51250 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 52007 ... c Min unsat cost LB: 52144 ... c Min unsat cost LB: 52405 ... c Min unsat cost LB: 52965 ... c Min unsat cost LB: 53132 ... c Min unsat cost LB: 53237 ... c Min unsat cost LB: 53620 ... c Min unsat cost LB: 53705 ... c Min unsat cost LB: 53806 ... c Min unsat cost LB: 54328 ... c Min unsat cost LB: 54935 ... c Min unsat cost LB: 54951 ... c Min unsat cost LB: 55677 ... c Min unsat cost LB: 55746 ... c Min unsat cost LB: 55802 ... c Min unsat cost LB: 56339 ... c Min unsat cost LB: 56541 ... c Min unsat cost LB: 56656 ... c Min unsat cost LB: 56674 ... c Min unsat cost LB: 56690 ... c Min unsat cost LB: 56732 ... c Min unsat cost LB: 56821 ... c Min unsat cost LB: 56844 ... c Min unsat cost LB: 56870 ... c Min unsat cost LB: 57092 ... c Min unsat cost LB: 57232 ... c Min unsat cost LB: 57476 ... c Min unsat cost LB: 57515 ... c Min unsat cost LB: 57518 ... c Min unsat cost LB: 57534 ... c Min unsat cost LB: 57776 ... c Min unsat cost LB: 57943 ... c Min unsat cost LB: 58418 ... c Min unsat cost LB: 58800 ... c Min unsat cost LB: 59120 ... c Min unsat cost LB: 59778 ... c Min unsat cost LB: 60164 ... c Min unsat cost LB: 60485 ... c Min unsat cost LB: 60649 ... c Min unsat cost LB: 60855 ... c Min unsat cost LB: 60866 ... c Min unsat cost LB: 60899 ... c Min unsat cost LB: 61524 ... c Min unsat cost LB: 61564 ... c Min unsat cost LB: 61567 ... c Min unsat cost LB: 61624 ... c Min unsat cost LB: 61687 ... c Min unsat cost LB: 61932 ... c Min unsat cost LB: 62162 ... c Min unsat cost LB: 62166 ... c Min unsat cost LB: 62173 ... c Min unsat cost LB: 62330 ... c Min unsat cost LB: 62493 ... c Min unsat cost LB: 62563 ... c Min unsat cost LB: 62578 ... c Min unsat cost LB: 62803 ... c Min unsat cost LB: 62910 ... c Min unsat cost LB: 62997 ... c Min unsat cost LB: 63006 ... c Min unsat cost LB: 63080 ... c Min unsat cost LB: 63100 ... c Min unsat cost LB: 63261 ... c Min unsat cost LB: 63344 ... c Min unsat cost LB: 63459 ... c Min unsat cost LB: 63922 ... c Min unsat cost LB: 64030 ... c Min unsat cost LB: 64137 ... c Min unsat cost LB: 64138 ... c Min unsat cost LB: 64151 ... c Min unsat cost LB: 64240 ... c Min unsat cost LB: 64692 ... c Min unsat cost LB: 64698 ... c Min unsat cost LB: 64923 ... c Min unsat cost LB: 65185 ... c Min unsat cost LB: 65292 ... c Min unsat cost LB: 65307 ... c Min unsat cost LB: 65324 ... c Min unsat cost LB: 65335 ... c Min unsat cost LB: 65338 ... c Min unsat cost LB: 65350 ... c Min unsat cost LB: 65368 ... c Min unsat cost LB: 65373 ... c Min unsat cost LB: 65383 ... c Min unsat cost LB: 65428 ... c Min unsat cost LB: 65441 ... c Min unsat cost LB: 65442 ... c Min unsat cost LB: 65488 ... c Min unsat cost LB: 65497 ... c Min unsat cost LB: 65684 ... c Min unsat cost LB: 65769 ... c Min unsat cost LB: 65836 ... c Min unsat cost LB: 65858 ... c Min unsat cost LB: 65870 ... c Min unsat cost LB: 65952 ... c Min unsat cost LB: 65963 ... c Min unsat cost LB: 66002 ... c Min unsat cost LB: 66074 ... c Min unsat cost LB: 66105 ... c Min unsat cost LB: 66121 ... c Min unsat cost LB: 66127 ... c Min unsat cost LB: 66167 ... c Min unsat cost LB: 66180 ... c Min unsat cost LB: 66202 ... c Min unsat cost LB: 66235 ... c Min unsat cost LB: 66275 ... c Min unsat cost LB: 66340 ... c Min unsat cost LB: 66410 ... c Min unsat cost LB: 66505 ... c Min unsat cost LB: 66591 ... c Min unsat cost LB: 66611 ... c Min unsat cost LB: 66657 ... c Min unsat cost LB: 66661 ... c Min unsat cost LB: 66685 ... c Min unsat cost LB: 66695 ... c Min unsat cost LB: 66736 ... c Min unsat cost LB: 66745 ... c Min unsat cost LB: 66986 ... c Min unsat cost LB: 67070 ... c Min unsat cost LB: 67075 ... c Min unsat cost LB: 67079 ... c Min unsat cost LB: 67104 ... c Min unsat cost LB: 67128 ... c Min unsat cost LB: 67146 ... c Min unsat cost LB: 67210 ... c Min unsat cost LB: 67233 ... c Min unsat cost LB: 67305 ... c Min unsat cost LB: 67364 ... c Min unsat cost LB: 67421 ... c Min unsat cost LB: 67429 ... c Min unsat cost LB: 67531 ... c Min unsat cost LB: 67652 ... c Min unsat cost LB: 67763 ... c Min unsat cost LB: 67799 ... c Min unsat cost LB: 67860 ... c Min unsat cost LB: 67883 ... c Min unsat cost LB: 67936 ... c Min unsat cost LB: 67976 ... c Min unsat cost LB: 68059 ... c Min unsat cost LB: 68062 ... c Min unsat cost LB: 68134 ... c Min unsat cost LB: 68146 ... c Min unsat cost LB: 68165 ... c Min unsat cost LB: 68231 ... c Min unsat cost LB: 68349 ... c Min unsat cost LB: 68376 ... c Min unsat cost LB: 68477 ... c Min unsat cost LB: 68546 ... c Min unsat cost LB: 68663 ... c Min unsat cost LB: 68667 ... c Min unsat cost LB: 68810 ... c Min unsat cost LB: 69101 ... c Min unsat cost LB: 69186 ... c Min unsat cost LB: 69363 ... c Min unsat cost LB: 69442 ... c Min unsat cost LB: 69465 ... c Min unsat cost LB: 69469 ... c Min unsat cost LB: 69580 ... c Min unsat cost LB: 69582 ... c Min unsat cost LB: 69618 ... c Min unsat cost LB: 69786 ... c Min unsat cost LB: 69790 ... c Min unsat cost LB: 69835 ... c Min unsat cost LB: 69902 ... c Min unsat cost LB: 69958 ... c Min unsat cost LB: 69965 ... c Min unsat cost LB: 70017 ... c Min unsat cost LB: 70036 ... c Min unsat cost LB: 70120 ... c Min unsat cost LB: 70160 ... c Min unsat cost LB: 70230 ... c Min unsat cost LB: 70246 ... c Min unsat cost LB: 70287 ... c Min unsat cost LB: 70306 ... c Min unsat cost LB: 70398 ... c Min unsat cost LB: 70414 ... c Min unsat cost LB: 70419 ... c Min unsat cost LB: 70447 ... c Min unsat cost LB: 70814 ... c Min unsat cost LB: 70836 ... c Min unsat cost LB: 70914 ... c Min unsat cost LB: 71015 ... c Min unsat cost LB: 71086 ... c Min unsat cost LB: 71122 ... c Min unsat cost LB: 71155 ... c Min unsat cost LB: 71236 ... c Min unsat cost LB: 71261 ... c Min unsat cost LB: 71295 ... c Min unsat cost LB: 71318 ... c Min unsat cost LB: 71423 ... c Min unsat cost LB: 71427 ... c Min unsat cost LB: 71482 ... c Min unsat cost LB: 71564 ... c Min unsat cost LB: 71616 ... c Min unsat cost LB: 71626 ... c Min unsat cost LB: 71654 ... c Min unsat cost LB: 71701 ... c Min unsat cost LB: 71800 ... c Min unsat cost LB: 71818 ... c Min unsat cost LB: 72020 ... c Min unsat cost LB: 72124 ... c Min unsat cost LB: 72273 ... c Min unsat cost LB: 72361 ... c Min unsat cost LB: 72374 ... c Min unsat cost LB: 72381 ... c Min unsat cost LB: 72382 ... c Min unsat cost LB: 72488 ... c Min unsat cost LB: 72508 ... c Min unsat cost LB: 72609 ... c Min unsat cost LB: 72622 ... c Min unsat cost LB: 72658 ... c Min unsat cost LB: 72664 ... c Min unsat cost LB: 72669 ... c Min unsat cost LB: 72698 ... c Min unsat cost LB: 72765 ... c Min unsat cost LB: 72768 ... c Min unsat cost LB: 72805 ... c Min unsat cost LB: 72821 ... c Min unsat cost LB: 73039 ... c Min unsat cost LB: 73083 ... c Min unsat cost LB: 73114 ... c Min unsat cost LB: 73198 ... c Min unsat cost LB: 73240 ... c Min unsat cost LB: 73257 ... c Min unsat cost LB: 73271 ... c Min unsat cost LB: 73279 ... c Min unsat cost LB: 73310 ... c Min unsat cost LB: 73330 ... c Min unsat cost LB: 73349 ... c Min unsat cost LB: 73374 ... c Min unsat cost LB: 73405 ... c Min unsat cost LB: 73425 ... c Min unsat cost LB: 73470 ... c Min unsat cost LB: 73473 ... c Min unsat cost LB: 73476 ... c Min unsat cost LB: 73478 ... c Min unsat cost LB: 73547 ... c Min unsat cost LB: 73548 ... c Min unsat cost LB: 73570 ... c Min unsat cost LB: 73579 ... c Min unsat cost LB: 73615 ... c Min unsat cost LB: 73618 ... c Min unsat cost LB: 73634 ... c Min unsat cost LB: 73636 ... c Min unsat cost LB: 73637 ... c Min unsat cost LB: 73639 ... c Min unsat cost LB: 73718 ... c Min unsat cost LB: 73720 ... c Min unsat cost LB: 73836 ... c Min unsat cost LB: 73837 ... c Min unsat cost LB: 73840 ... c Min unsat cost LB: 73850 ... c Min unsat cost LB: 73854 ... c Min unsat cost LB: 73878 ... c Min unsat cost LB: 73888 ... c Min unsat cost LB: 73927 ... c Min unsat cost LB: 73943 ... c Min unsat cost LB: 73947 ... c Min unsat cost LB: 73959 ... c Min unsat cost LB: 73962 ... c Min unsat cost LB: 73964 ... c Min unsat cost LB: 73965 ... c Min unsat cost LB: 73966 ... c Min unsat cost LB: 73967 ... c Min unsat cost LB: 73969 ... c Min unsat cost LB: 73972 ... c Min unsat cost LB: 73974 ... c Min unsat cost LB: 73981 ... c Min unsat cost LB: 73983 ... c Min unsat cost LB: 73990 ... c Min unsat cost LB: 73996 ... c Min unsat cost LB: 73998 ... c Min unsat cost LB: 73999 ... c Min unsat cost LB: 74009 ... c Min unsat cost LB: 74011 ... c Min unsat cost LB: 74015 ... c Min unsat cost LB: 74021 ... c Min unsat cost LB: 74037 ... c Min unsat cost LB: 74041 ... c Min unsat cost LB: 74064 ... c Min unsat cost LB: 74083 ... c Min unsat cost LB: 74089 ... c Min unsat cost LB: 74091 ... c Min unsat cost LB: 74093 ... c Min unsat cost LB: 74257 ... c Min unsat cost LB: 74265 ... c Min unsat cost LB: 74290 ... c Min unsat cost LB: 74292 ... c Min unsat cost LB: 74293 ... c Min unsat cost LB: 74298 ... c Min unsat cost LB: 74306 ... c Min unsat cost LB: 74326 ... c Min unsat cost LB: 74345 ... c Min unsat cost LB: 74355 ... c Min unsat cost LB: 74359 ... c Min unsat cost LB: 74362 ... c Min unsat cost LB: 74375 ... c Min unsat cost LB: 74382 ... c Min unsat cost LB: 74386 ... c Min unsat cost LB: 74390 ... c Min unsat cost LB: 74392 ... c Min unsat cost LB: 74394 ... c Min unsat cost LB: 74396 ... c Min unsat cost LB: 74398 ... c Min unsat cost LB: 74401 ... c Min unsat cost LB: 74403 ... c Min unsat cost LB: 74411 ... c Min unsat cost LB: 74412 ... c Min unsat cost LB: 74414 ... c Min unsat cost LB: 74418 ... c Min unsat cost LB: 74419 ... c Min unsat cost LB: 74423 ... c Min unsat cost LB: 74424 ... c Min unsat cost LB: 74425 ... c Min unsat cost LB: 74426 ... c Min unsat cost LB: 74428 ... c Min unsat cost LB: 74429 ... c Min unsat cost LB: 74430 ... c Min unsat cost LB: 74441 ... c Min unsat cost LB: 74444 ... c Min unsat cost LB: 74466 ... c Min unsat cost LB: 74473 ... c Min unsat cost LB: 74474 ... c Min unsat cost LB: 74478 ... c Min unsat cost LB: 74488 ... c Min unsat cost LB: 74497 ... c Min unsat cost LB: 74498 ... c Min unsat cost LB: 74499 ... c Min unsat cost LB: 74507 ... c Min unsat cost LB: 74510 ... c Min unsat cost LB: 74515 ... c Min unsat cost LB: 74517 ... c Min unsat cost LB: 74518 ... c Min unsat cost LB: 74521 ... c Min unsat cost LB: 74523 ... c Min unsat cost LB: 74530 ... c Min unsat cost LB: 74537 ... c Min unsat cost LB: 74557 ... c Min unsat cost LB: 74560 ... c Min unsat cost LB: 74561 ... c Min unsat cost LB: 74563 ... c Min unsat cost LB: 74585 ... c Min unsat cost LB: 74586 ... c Min unsat cost LB: 74592 ... c Min unsat cost LB: 74604 ... c Min unsat cost LB: 74605 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74610 ... c Min unsat cost LB: 74613 ... c Min unsat cost LB: 74614 ... c Min unsat cost LB: 74615 ... c Min unsat cost LB: 74623 ... c Min unsat cost LB: 74626 ... c Min unsat cost LB: 74627 ... c Min unsat cost LB: 74629 ... c Min unsat cost LB: 74634 ... c Min unsat cost LB: 74639 ... c Min unsat cost LB: 74651 ... c Min unsat cost LB: 74679 ... c Min unsat cost LB: 74693 ... c Min unsat cost LB: 74696 ... c Min unsat cost LB: 74697 ... c Min unsat cost LB: 74701 ... c Min unsat cost LB: 74709 ... c Min unsat cost LB: 74710 ... c Min unsat cost LB: 74716 ... c Min unsat cost LB: 74717 ... c Min unsat cost LB: 74719 ... c Min unsat cost LB: 74723 ... c Min unsat cost LB: 74724 ... c Min unsat cost LB: 74725 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74727 ... c Min unsat cost LB: 74728 ... c Min unsat cost LB: 74733 ... c Min unsat cost LB: 74736 ... c Min unsat cost LB: 74737 ... c Min unsat cost LB: 74741 ... c Min unsat cost LB: 74742 ... c Min unsat cost LB: 74750 ... c Min unsat cost LB: 74751 ... c Min unsat cost LB: 74752 ... c Min unsat cost LB: 74753 ... c Min unsat cost LB: 74754 ... c Min unsat cost LB: 74755 ... c Min unsat cost LB: 74756 ... c Min unsat cost LB: 74762 ... c Min unsat cost LB: 74764 ... c Min unsat cost LB: 74765 ... c Min unsat cost LB: 74766 ... c Min unsat cost LB: 74770 ... c Min unsat cost LB: 74772 ... c Min unsat cost LB: 74773 ... c Min unsat cost LB: 74774 ... c Min unsat cost LB: 74775 ... c Min unsat cost LB: 74776 ... c Min unsat cost LB: 74781 ... c Min unsat cost LB: 74783 ... c Min unsat cost LB: 74784 ... c Min unsat cost LB: 74786 ... c Min unsat cost LB: 74788 ... c Min unsat cost LB: 74789 ... c Min unsat cost LB: 74790 ... c Min unsat cost LB: 74791 ... c Min unsat cost LB: 74792 ... c Min unsat cost LB: 74793 ... c Min unsat cost LB: 74794 ... c Min unsat cost LB: 74795 ... c Min unsat cost LB: 74796 ... c Min unsat cost LB: 74802 ... c Min unsat cost LB: 74906 ... c Min unsat cost LB: 74908 ... c Min unsat cost LB: 74909 ... c Min unsat cost LB: 74918 ... c Min unsat cost LB: 74919 ... c Min unsat cost LB: 74920 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74925 ... c Min unsat cost LB: 74927 ... c Min unsat cost LB: 74930 ... c Min unsat cost LB: 74933 ... c Min unsat cost LB: 74936 ... c Min unsat cost LB: 74940 ... c Min unsat cost LB: 74941 ... c Min unsat cost LB: 74942 ... c Min unsat cost LB: 74944 ... c Min unsat cost LB: 74947 ... c Min unsat cost LB: 74948 ... c Min unsat cost LB: 74981 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 74997 ... c Min unsat cost LB: 74998 ... c Min unsat cost LB: 74999 ... c Min unsat cost LB: 75000 ... c Min unsat cost LB: 75001 ... c Min unsat cost LB: 75009 ... c Min unsat cost LB: 75018 ... c Min unsat cost LB: 75019 ... c Min unsat cost LB: 75020 ... c Min unsat cost LB: 75021 ... c Min unsat cost LB: 75023 ... c Min unsat cost LB: 75024 ... c Min unsat cost LB: 75025 ... c Min unsat cost LB: 75026 ... c Min unsat cost LB: 75027 ... c Min unsat cost LB: 75030 ... c Min unsat cost LB: 75031 ... c Min unsat cost LB: 75040 ... c Min unsat cost LB: 75041 ... c Min unsat cost LB: 75042 ... c Min unsat cost LB: 75045 ... c Min unsat cost LB: 75046 ... c Min unsat cost LB: 75059 ... c Min unsat cost LB: 75061 ... c Min unsat cost LB: 75062 ... c Min unsat cost LB: 75063 ... c Min unsat cost LB: 75064 ... c Min unsat cost LB: 75065 ... c Min unsat cost LB: 75066 ... c Min unsat cost LB: 75069 ... c Min unsat cost LB: 75070 ... c Min unsat cost LB: 75071 ... c Min unsat cost LB: 75072 ... c Min unsat cost LB: 75073 ... c Min unsat cost LB: 75076 ... c Min unsat cost LB: 75078 ... c Min unsat cost LB: 75085 ... c Min unsat cost LB: 75086 ... c Min unsat cost LB: 75087 ... c Min unsat cost LB: 75089 ... c Min unsat cost LB: 75090 ... c Min unsat cost LB: 75092 ... c Min unsat cost LB: 75093 ... c Min unsat cost LB: 75094 ... c Min unsat cost LB: 75095 ... c Min unsat cost LB: 75096 ... c Min unsat cost LB: 75097 ... c Min unsat cost LB: 75098 ... c Min unsat cost LB: 75100 ... c Min unsat cost LB: 75102 ... c Min unsat cost LB: 75113 ... c Min unsat cost LB: 75114 ... c Min unsat cost LB: 75118 ... c Min unsat cost LB: 75120 ... c Min unsat cost LB: 75121 ... c Min unsat cost LB: 75122 ... c Min unsat cost LB: 75123 ... c Min unsat cost LB: 75124 ... c Min unsat cost LB: 75125 ... c Min unsat cost LB: 75126 ... c Min unsat cost LB: 75127 ... c Min unsat cost LB: 75128 ... c Min unsat cost LB: 75131 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75134 ... c Min unsat cost LB: 75138 ... c Min unsat cost LB: 75140 ... c Min unsat cost LB: 75141 ... c Min unsat cost LB: 75144 ... c Min unsat cost LB: 75146 ... c Min unsat cost LB: 75153 ... c Min unsat cost LB: 75159 ... c Min unsat cost LB: 75174 ... c Min unsat cost LB: 75175 ... c Min unsat cost LB: 75179 ... c Min unsat cost LB: 75183 ... c Min unsat cost LB: 75184 ... c Min unsat cost LB: 75185 ... c Min unsat cost LB: 75189 ... c Min unsat cost LB: 75190 ... c Min unsat cost LB: 75192 ... c Min unsat cost LB: 75193 ... c Min unsat cost LB: 75199 ... c Min unsat cost LB: 75205 ... c Min unsat cost LB: 75208 ... c Min unsat cost LB: 75210 ... c Min unsat cost LB: 75214 ... c Min unsat cost LB: 75221 ... c Min unsat cost LB: 75223 ... c Min unsat cost LB: 75224 ... c Min unsat cost LB: 75225 ... c Min unsat cost LB: 75229 ... c Min unsat cost LB: 75233 ... c Min unsat cost LB: 75241 ... c Min unsat cost LB: 75242 ... c Min unsat cost LB: 75255 ... c Min unsat cost LB: 75292 ... c Min unsat cost LB: 75293 ... c Min unsat cost LB: 75296 ... c Min unsat cost LB: 75297 ... c Min unsat cost LB: 75299 ... c Min unsat cost LB: 75318 ... c Min unsat cost LB: 75358 ... c Min unsat cost LB: 75359 ... c Min unsat cost LB: 75360 ... c Min unsat cost LB: 75373 ... c Min unsat cost LB: 75374 ... c Min unsat cost LB: 75380 ... c Min unsat cost LB: 75388 ... c Min unsat cost LB: 75407 ... c Min unsat cost LB: 75452 ... c Min unsat cost LB: 75453 ... c Min unsat cost LB: 75468 ... c Min unsat cost LB: 75469 ... c Min unsat cost LB: 75470 ... c Min unsat cost LB: 75471 ... c Min unsat cost LB: 75472 ... c Min unsat cost LB: 75475 ... c Min unsat cost LB: 75476 ... c Min unsat cost LB: 75477 ... c Min unsat cost LB: 75480 ... c Min unsat cost LB: 75484 ... c Min unsat cost LB: 75485 ... c Min unsat cost LB: 75487 ... c Min unsat cost LB: 75488 ... c Min unsat cost LB: 75489 ... c Min unsat cost LB: 75491 ... c Min unsat cost LB: 75510 ... c Min unsat cost LB: 75512 ... c Min unsat cost LB: 75514 ... c Min unsat cost LB: 75516 ... c Min unsat cost LB: 75517 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75520 ... c Min unsat cost LB: 75551 ... c Min unsat cost LB: 75554 ... c Min unsat cost LB: 75561 ... c Min unsat cost LB: 75564 ... c Min unsat cost LB: 75565 ... c Min unsat cost LB: 75567 ... c Min unsat cost LB: 75580 ... c Min unsat cost LB: 75583 ... c Min unsat cost LB: 75593 ... c Min unsat cost LB: 75594 ... c Min unsat cost LB: 75597 ... c Min unsat cost LB: 75598 ... c Min unsat cost LB: 75599 ... c Min unsat cost LB: 75600 ... c Min unsat cost LB: 75601 ... c Min unsat cost LB: 75602 ... c Min unsat cost LB: 75603 ... c Min unsat cost LB: 75604 ... c Min unsat cost LB: 75605 ... c Min unsat cost LB: 75606 ... c Min unsat cost LB: 75607 ... c Min unsat cost LB: 75608 ... c Min unsat cost LB: 75609 ... c Min unsat cost LB: 75611 ... c Min unsat cost LB: 75612 ... c Min unsat cost LB: 75614 ... c Min unsat cost LB: 75615 ... c Min unsat cost LB: 75616 ... c Min unsat cost LB: 75617 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75622 ... c Min unsat cost LB: 75626 ... c Min unsat cost LB: 75627 ... c Min unsat cost LB: 75628 ... c Min unsat cost LB: 75629 ... c Min unsat cost LB: 75630 ... c Min unsat cost LB: 75632 ... c Min unsat cost LB: 75634 ... c Min unsat cost LB: 75645 ... c Min unsat cost LB: 75646 ... c Min unsat cost LB: 75647 ... c Min unsat cost LB: 75651 ... c Min unsat cost LB: 75652 ... c Min unsat cost LB: 75670 ... c Min unsat cost LB: 75671 ... c Min unsat cost LB: 75672 ... c Min unsat cost LB: 75673 ... c Min unsat cost LB: 75674 ... c Min unsat cost LB: 75683 ... c Min unsat cost LB: 75684 ... c Min unsat cost LB: 75685 ... c Min unsat cost LB: 75693 ... c Min unsat cost LB: 75699 ... c Min unsat cost LB: 75707 ... c Min unsat cost LB: 75710 ... c Min unsat cost LB: 75714 ... c Min unsat cost LB: 75715 ... c Min unsat cost LB: 75736 ... c Min unsat cost LB: 75742 ... c Min unsat cost LB: 75743 ... c Min unsat cost LB: 75744 ... c Min unsat cost LB: 75799 ... c Min unsat cost LB: 75801 ... c Min unsat cost LB: 75802 ... c Min unsat cost LB: 75803 ... c Min unsat cost LB: 75806 ... c Min unsat cost LB: 75807 ... c Min unsat cost LB: 75809 ... c Min unsat cost LB: 75810 ... c Min unsat cost LB: 75812 ... c Min unsat cost LB: 75813 ... c Min unsat cost LB: 75816 ... c Min unsat cost LB: 75817 ... c Min unsat cost LB: 75818 ... c Min unsat cost LB: 75820 ... c Min unsat cost LB: 75822 ... c Min unsat cost LB: 75823 ... c Min unsat cost LB: 75824 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 75831 ... c Min unsat cost LB: 75832 ... c Min unsat cost LB: 75836 ... c Min unsat cost LB: 75839 ... c Min unsat cost LB: 75842 ... c Min unsat cost LB: 75843 ... c Min unsat cost LB: 75844 ... c Min unsat cost LB: 75847 ... c Min unsat cost LB: 75848 ... c Min unsat cost LB: 75849 ... c Min unsat cost LB: 75861 ... c Min unsat cost LB: 75862 ... c Min unsat cost LB: 75864 ... c Min unsat cost LB: 75865 ... c Min unsat cost LB: 75866 ... c Min unsat cost LB: 75867 ... c Min unsat cost LB: 75868 ... c Min unsat cost LB: 75869 ... c Min unsat cost LB: 75870 ... c Min unsat cost LB: 75871 ... c Min unsat cost LB: 75872 ... c Min unsat cost LB: 75875 ... c Min unsat cost LB: 75881 ... c Min unsat cost LB: 75885 ... c Min unsat cost LB: 75886 ... c Min unsat cost LB: 75887 ... c Min unsat cost LB: 75889 ... c Min unsat cost LB: 75904 ... c Min unsat cost LB: 75920 ... c Min unsat cost LB: 75921 ... c Min unsat cost LB: 75923 ... c Min unsat cost LB: 75926 ... c Min unsat cost LB: 75927 ... c Min unsat cost LB: 75928 ... c Min unsat cost LB: 75929 ... c Min unsat cost LB: 75930 ... c Min unsat cost LB: 75931 ... c Min unsat cost LB: 75932 ... c Min unsat cost LB: 75933 ... c Min unsat cost LB: 75934 ... c Min unsat cost LB: 75935 ... c Min unsat cost LB: 75936 ... c Min unsat cost LB: 75938 ... c Min unsat cost LB: 75942 ... c Min unsat cost LB: 75943 ... c Min unsat cost LB: 75944 ... c Min unsat cost LB: 75945 ... c Min unsat cost LB: 75946 ... c Min unsat cost LB: 75947 ... c Min unsat cost LB: 75952 ... c Min unsat cost LB: 75953 ... c Min unsat cost LB: 75954 ... c Min unsat cost LB: 75955 ... c Min unsat cost LB: 75956 ... c Min unsat cost LB: 75957 ... c Min unsat cost LB: 75959 ... c Min unsat cost LB: 75960 ... c Min unsat cost LB: 75962 ... c Min unsat cost LB: 75965 ... c Min unsat cost LB: 75966 ... c Min unsat cost LB: 75968 ... c Min unsat cost LB: 75969 ... c Min unsat cost LB: 75971 ... c Min unsat cost LB: 75972 ... c Min unsat cost LB: 75973 ... c Min unsat cost LB: 75975 ... c Min unsat cost LB: 75976 ... c Min unsat cost LB: 75977 ... c Min unsat cost LB: 75978 ... c Min unsat cost LB: 75979 ... c Min unsat cost LB: 75980 ... c Min unsat cost LB: 75981 ... c Min unsat cost LB: 75982 ... c Min unsat cost LB: 75983 ... c Min unsat cost LB: 76005 ... c Min unsat cost LB: 76006 ... c Min unsat cost LB: 76008 ... c Min unsat cost LB: 76009 ... c Min unsat cost LB: 76010 ... c Min unsat cost LB: 76011 ... c Min unsat cost LB: 76013 ... c Min unsat cost LB: 76015 ... c Min unsat cost LB: 76016 ... c Min unsat cost LB: 76017 ... c Min unsat cost LB: 76018 ... c Min unsat cost LB: 76019 ... c Min unsat cost LB: 76020 ... c Min unsat cost LB: 76021 ... c Min unsat cost LB: 76022 ... c Min unsat cost LB: 76026 ... c Min unsat cost LB: 76027 ... c Min unsat cost LB: 76028 ... c Min unsat cost LB: 76029 ... c Min unsat cost LB: 76030 ... c Min unsat cost LB: 76032 ... c Min unsat cost LB: 76033 ... c Min unsat cost LB: 76034 ... c Min unsat cost LB: 76043 ... c Min unsat cost LB: 76044 ... c Min unsat cost LB: 76045 ... c Min unsat cost LB: 76046 ... c Min unsat cost LB: 76051 ... c Min unsat cost LB: 76059 ... c Min unsat cost LB: 76063 ... c Min unsat cost LB: 76064 ... c Min unsat cost LB: 76065 ... c Min unsat cost LB: 76067 ... c Min unsat cost LB: 76068 ... c Min unsat cost LB: 76069 ... c Min unsat cost LB: 76079 ... c Min unsat cost LB: 76081 ... c Min unsat cost LB: 76086 ... c Min unsat cost LB: 76088 ... c Min unsat cost LB: 76097 ... c Min unsat cost LB: 76098 ... c Min unsat cost LB: 76103 ... c Min unsat cost LB: 76107 ... c Min unsat cost LB: 76108 ... c Min unsat cost LB: 76109 ... c Min unsat cost LB: 76111 ... c Min unsat cost LB: 76112 ... c Min unsat cost LB: 76113 ... c Min unsat cost LB: 76114 ... c Min unsat cost LB: 76115 ... c Min unsat cost LB: 76116 ... c Min unsat cost LB: 76119 ... c Min unsat cost LB: 76120 ... c Min unsat cost LB: 76121 ... c Min unsat cost LB: 76122 ... c Min unsat cost LB: 76124 ... c Min unsat cost LB: 76125 ... c Min unsat cost LB: 76129 ... c Min unsat cost LB: 76130 ... c Min unsat cost LB: 76131 ... c Min unsat cost LB: 76132 ... c Min unsat cost LB: 76133 ... c Min unsat cost LB: 76134 ... c Min unsat cost LB: 76135 ... c Min unsat cost LB: 76136 ... c Min unsat cost LB: 76137 ... c Min unsat cost LB: 76138 ... c Min unsat cost LB: 76139 ... c Min unsat cost LB: 76141 ... c Min unsat cost LB: 76142 ... c Min unsat cost LB: 76143 ... c Min unsat cost LB: 76144 ... c Min unsat cost LB: 76145 ... c Min unsat cost LB: 76146 ... c Min unsat cost LB: 76147 ... c Min unsat cost LB: 76148 ... c Min unsat cost LB: 76149 ... c Min unsat cost LB: 76150 ... c Min unsat cost LB: 76151 ... c Min unsat cost LB: 76152 ... c Min unsat cost LB: 76153 ... c Min unsat cost LB: 76156 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76159 ... c Min unsat cost LB: 76160 ... c Min unsat cost LB: 76161 ... c Min unsat cost LB: 76163 ... c Min unsat cost LB: 76164 ... c Min unsat cost LB: 76166 ... c Min unsat cost LB: 76167 ... c Min unsat cost LB: 76177 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76190 ... c Min unsat cost LB: 76191 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76237 ... c Min unsat cost LB: 76238 ... c Min unsat cost LB: 76239 ... c Min unsat cost LB: 76241 ... c Min unsat cost LB: 76242 ... c Min unsat cost LB: 76243 ... c Min unsat cost LB: 76244 ... c Min unsat cost LB: 76245 ... c Min unsat cost LB: 76246 ... c Min unsat cost LB: 76253 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76258 ... c Min unsat cost LB: 76260 ... c Min unsat cost LB: 76268 ... c Min unsat cost LB: 76270 ... c Min unsat cost LB: 76271 ... c Min unsat cost LB: 76281 ... c Min unsat cost LB: 76290 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 76302 ... c Min unsat cost LB: 76303 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76305 ... c Min unsat cost LB: 76306 ... c Min unsat cost LB: 76307 ... c Min unsat cost LB: 76308 ... c Min unsat cost LB: 76309 ... c Min unsat cost LB: 76310 ... c Min unsat cost LB: 76311 ... c Min unsat cost LB: 76315 ... c Min unsat cost LB: 76316 ... c Min unsat cost LB: 76317 ... c Min unsat cost LB: 76318 ... c Min unsat cost LB: 76319 ... c Min unsat cost LB: 76320 ... c Min unsat cost LB: 76321 ... c Min unsat cost LB: 76323 ... c Min unsat cost LB: 76324 ... c Min unsat cost LB: 76325 ... c Min unsat cost LB: 76326 ... c Min unsat cost LB: 76327 ... c Min unsat cost LB: 76328 ... c Min unsat cost LB: 76329 ... c Min unsat cost LB: 76330 ... c Min unsat cost LB: 76331 ... c Min unsat cost LB: 76332 ... c Min unsat cost LB: 76333 ... c Min unsat cost LB: 76334 ... c Min unsat cost LB: 76336 ... c Min unsat cost LB: 76337 ... c Min unsat cost LB: 76338 ... c Min unsat cost LB: 76339 ... c Min unsat cost LB: 76345 ... c Min unsat cost LB: 76346 ... c Min unsat cost LB: 76347 ... c Min unsat cost LB: 76357 ... c Min unsat cost LB: 76363 ... c Min unsat cost LB: 76366 ... c Min unsat cost LB: 76367 ... c Min unsat cost LB: 76369 ... c Min unsat cost LB: 76375 ... c Min unsat cost LB: 76380 ... c Min unsat cost LB: 76381 ... c Min unsat cost LB: 76382 ... c Min unsat cost LB: 76389 ... c Min unsat cost LB: 76391 ... c Min unsat cost LB: 76392 ... c Min unsat cost LB: 76404 ... c Min unsat cost LB: 76420 ... c Min unsat cost LB: 76424 ... c Min unsat cost LB: 76446 ... c Min unsat cost LB: 76447 ... c Min unsat cost LB: 76461 ... c Min unsat cost LB: 76462 ... c Min unsat cost LB: 76468 ... c Min unsat cost LB: 76469 ... c Min unsat cost LB: 76471 ... c Min unsat cost LB: 76472 ... c Min unsat cost LB: 76474 ... c Min unsat cost LB: 76475 ... c Min unsat cost LB: 76484 ... c Min unsat cost LB: 76485 ... c Min unsat cost LB: 76487 ... c Min unsat cost LB: 76488 ... c Min unsat cost LB: 76489 ... c Min unsat cost LB: 76490 ... c Min unsat cost LB: 76494 ... c Min unsat cost LB: 76496 ... c Min unsat cost LB: 76497 ... c Min unsat cost LB: 76498 ... c Min unsat cost LB: 76499 ... c Min unsat cost LB: 76504 ... c Min unsat cost LB: 76505 ... c Min unsat cost LB: 76506 ... c Min unsat cost LB: 76507 ... c Min unsat cost LB:Killed 1811.988u 7.753s 30:22.50 99.8% 0+0k 0+0io 0pf+0w