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_160_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0007.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_160_0007.txt.wcnf *** c c Min unsat cost LB: 461 ... c Min unsat cost LB: 1472 ... c Min unsat cost LB: 1802 ... c Min unsat cost LB: 2483 ... c Min unsat cost LB: 3349 ... c Min unsat cost LB: 3459 ... c Min unsat cost LB: 4243 ... c Min unsat cost LB: 4453 ... c Min unsat cost LB: 4816 ... c Min unsat cost LB: 5472 ... c Min unsat cost LB: 6058 ... c Min unsat cost LB: 6853 ... c Min unsat cost LB: 7790 ... c Min unsat cost LB: 8727 ... c Min unsat cost LB: 8789 ... c Min unsat cost LB: 9108 ... c Min unsat cost LB: 9236 ... c Min unsat cost LB: 10133 ... c Min unsat cost LB: 10871 ... c Min unsat cost LB: 10991 ... c Min unsat cost LB: 11382 ... c Min unsat cost LB: 12166 ... c Min unsat cost LB: 13052 ... c Min unsat cost LB: 13952 ... c Min unsat cost LB: 14903 ... c Min unsat cost LB: 15695 ... c Min unsat cost LB: 15797 ... c Min unsat cost LB: 15899 ... c Min unsat cost LB: 16358 ... c Min unsat cost LB: 17146 ... c Min unsat cost LB: 17192 ... c Min unsat cost LB: 17403 ... c Min unsat cost LB: 17428 ... c Min unsat cost LB: 18216 ... c Min unsat cost LB: 19004 ... c Min unsat cost LB: 19184 ... c Min unsat cost LB: 19972 ... c Min unsat cost LB: 20448 ... c Min unsat cost LB: 20926 ... c Min unsat cost LB: 21756 ... c Min unsat cost LB: 21865 ... c Min unsat cost LB: 21982 ... c Min unsat cost LB: 22226 ... c Min unsat cost LB: 22483 ... c Min unsat cost LB: 22543 ... c Min unsat cost LB: 23320 ... c Min unsat cost LB: 23438 ... c Min unsat cost LB: 23497 ... c Min unsat cost LB: 23664 ... c Min unsat cost LB: 23908 ... c Min unsat cost LB: 24337 ... c Min unsat cost LB: 24979 ... c Min unsat cost LB: 25323 ... c Min unsat cost LB: 25951 ... c Min unsat cost LB: 26781 ... c Min unsat cost LB: 27250 ... c Min unsat cost LB: 27718 ... c Min unsat cost LB: 28028 ... c Min unsat cost LB: 28564 ... c Min unsat cost LB: 28933 ... c Min unsat cost LB: 29846 ... c Min unsat cost LB: 30511 ... c Min unsat cost LB: 30551 ... c Min unsat cost LB: 31464 ... c Min unsat cost LB: 31860 ... c Min unsat cost LB: 32421 ... c Min unsat cost LB: 32583 ... c Min unsat cost LB: 32931 ... c Min unsat cost LB: 33043 ... c Min unsat cost LB: 33766 ... c Min unsat cost LB: 33902 ... c Min unsat cost LB: 34212 ... c Min unsat cost LB: 35034 ... c Min unsat cost LB: 35143 ... c Min unsat cost LB: 35866 ... c Min unsat cost LB: 35904 ... c Min unsat cost LB: 36003 ... c Min unsat cost LB: 36044 ... c Min unsat cost LB: 36842 ... c Min unsat cost LB: 37403 ... c Min unsat cost LB: 37671 ... c Min unsat cost LB: 37773 ... c Min unsat cost LB: 38404 ... c Min unsat cost LB: 38571 ... c Min unsat cost LB: 38815 ... c Min unsat cost LB: 38965 ... c Min unsat cost LB: 39224 ... c Min unsat cost LB: 40054 ... c Min unsat cost LB: 40873 ... c Min unsat cost LB: 40981 ... c Min unsat cost LB: 41206 ... c Min unsat cost LB: 41998 ... c Min unsat cost LB: 42814 ... c Min unsat cost LB: 43612 ... c Min unsat cost LB: 44226 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 45082 ... c Min unsat cost LB: 45551 ... c Min unsat cost LB: 46002 ... c Min unsat cost LB: 46268 ... c Min unsat cost LB: 47066 ... c Min unsat cost LB: 47413 ... c Min unsat cost LB: 47759 ... c Min unsat cost LB: 47843 ... c Min unsat cost LB: 48659 ... c Min unsat cost LB: 48817 ... c Min unsat cost LB: 49606 ... c Min unsat cost LB: 49628 ... c Min unsat cost LB: 50149 ... c Min unsat cost LB: 50808 ... c Min unsat cost LB: 50964 ... c Min unsat cost LB: 51624 ... c Min unsat cost LB: 51774 ... c Min unsat cost LB: 51873 ... c Min unsat cost LB: 52095 ... c Min unsat cost LB: 52458 ... c Min unsat cost LB: 52702 ... c Min unsat cost LB: 52824 ... c Min unsat cost LB: 53079 ... c Min unsat cost LB: 53179 ... c Min unsat cost LB: 53400 ... c Min unsat cost LB: 53490 ... c Min unsat cost LB: 53666 ... c Min unsat cost LB: 54076 ... c Min unsat cost LB: 54389 ... c Min unsat cost LB: 54599 ... c Min unsat cost LB: 54605 ... c Min unsat cost LB: 54714 ... c Min unsat cost LB: 54840 ... c Min unsat cost LB: 54881 ... c Min unsat cost LB: 55126 ... c Min unsat cost LB: 55495 ... c Min unsat cost LB: 55557 ... c Min unsat cost LB: 55659 ... c Min unsat cost LB: 56028 ... c Min unsat cost LB: 56111 ... c Min unsat cost LB: 56474 ... c Min unsat cost LB: 56709 ... c Min unsat cost LB: 56748 ... c Min unsat cost LB: 56959 ... c Min unsat cost LB: 57068 ... c Min unsat cost LB: 57081 ... c Min unsat cost LB: 57164 ... c Min unsat cost LB: 57436 ... c Min unsat cost LB: 57966 ... c Min unsat cost LB: 58101 ... c Min unsat cost LB: 58899 ... c Min unsat cost LB: 58918 ... c Min unsat cost LB: 59072 ... c Min unsat cost LB: 59078 ... c Min unsat cost LB: 59192 ... c Min unsat cost LB: 59276 ... c Min unsat cost LB: 59540 ... c Min unsat cost LB: 59909 ... c Min unsat cost LB: 60080 ... c Min unsat cost LB: 60099 ... c Min unsat cost LB: 60163 ... c Min unsat cost LB: 60224 ... c Min unsat cost LB: 60294 ... c Min unsat cost LB: 60298 ... c Min unsat cost LB: 60543 ... c Min unsat cost LB: 60730 ... c Min unsat cost LB: 60817 ... c Min unsat cost LB: 60938 ... c Min unsat cost LB: 60957 ... c Min unsat cost LB: 61023 ... c Min unsat cost LB: 61083 ... c Min unsat cost LB: 61132 ... c Min unsat cost LB: 61134 ... c Min unsat cost LB: 61168 ... c Min unsat cost LB: 61236 ... c Min unsat cost LB: 61302 ... c Min unsat cost LB: 61310 ... c Min unsat cost LB: 61439 ... c Min unsat cost LB: 61545 ... c Min unsat cost LB: 61567 ... c Min unsat cost LB: 61676 ... c Min unsat cost LB: 61790 ... c Min unsat cost LB: 61803 ... c Min unsat cost LB: 61935 ... c Min unsat cost LB: 61981 ... c Min unsat cost LB: 62427 ... c Min unsat cost LB: 62441 ... c Min unsat cost LB: 62497 ... c Min unsat cost LB: 62528 ... c Min unsat cost LB: 62550 ... c Min unsat cost LB: 62649 ... c Min unsat cost LB: 62715 ... c Min unsat cost LB: 62863 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 63053 ... c Min unsat cost LB: 63165 ... c Min unsat cost LB: 63171 ... c Min unsat cost LB: 63332 ... c Min unsat cost LB: 63383 ... c Min unsat cost LB: 63504 ... c Min unsat cost LB: 63523 ... c Min unsat cost LB: 63524 ... c Min unsat cost LB: 63570 ... c Min unsat cost LB: 63607 ... c Min unsat cost LB: 63658 ... c Min unsat cost LB: 63680 ... c Min unsat cost LB: 63923 ... c Min unsat cost LB: 63929 ... c Min unsat cost LB: 63989 ... c Min unsat cost LB: 63998 ... c Min unsat cost LB: 64006 ... c Min unsat cost LB: 64031 ... c Min unsat cost LB: 64335 ... c Min unsat cost LB: 64453 ... c Min unsat cost LB: 64517 ... c Min unsat cost LB: 64552 ... c Min unsat cost LB: 64618 ... c Min unsat cost LB: 64629 ... c Min unsat cost LB: 64686 ... c Min unsat cost LB: 64711 ... c Min unsat cost LB: 64750 ... c Min unsat cost LB: 64796 ... c Min unsat cost LB: 64797 ... c Min unsat cost LB: 64816 ... c Min unsat cost LB: 65152 ... c Min unsat cost LB: 65188 ... c Min unsat cost LB: 65245 ... c Min unsat cost LB: 65259 ... c Min unsat cost LB: 65284 ... c Min unsat cost LB: 65321 ... c Min unsat cost LB: 65392 ... c Min unsat cost LB: 65502 ... c Min unsat cost LB: 65555 ... c Min unsat cost LB: 65571 ... c Min unsat cost LB: 65595 ... c Min unsat cost LB: 65606 ... c Min unsat cost LB: 65630 ... c Min unsat cost LB: 65672 ... c Min unsat cost LB: 65694 ... c Min unsat cost LB: 65738 ... c Min unsat cost LB: 65765 ... c Min unsat cost LB: 65812 ... c Min unsat cost LB: 66106 ... c Min unsat cost LB: 66144 ... c Min unsat cost LB: 66147 ... c Min unsat cost LB: 66549 ... c Min unsat cost LB: 66666 ... c Min unsat cost LB: 66765 ... c Min unsat cost LB: 66816 ... c Min unsat cost LB: 66821 ... c Min unsat cost LB: 66894 ... c Min unsat cost LB: 67008 ... c Min unsat cost LB: 67044 ... c Min unsat cost LB: 67049 ... c Min unsat cost LB: 67068 ... c Min unsat cost LB: 67082 ... c Min unsat cost LB: 67094 ... c Min unsat cost LB: 67296 ... c Min unsat cost LB: 67316 ... c Min unsat cost LB: 67415 ... c Min unsat cost LB: 67437 ... c Min unsat cost LB: 67514 ... c Min unsat cost LB: 67575 ... c Min unsat cost LB: 67590 ... c Min unsat cost LB: 67825 ... c Min unsat cost LB: 67849 ... c Min unsat cost LB: 67979 ... c Min unsat cost LB: 68189 ... c Min unsat cost LB: 68406 ... c Min unsat cost LB: 68429 ... c Min unsat cost LB: 68685 ... c Min unsat cost LB: 68765 ... c Min unsat cost LB: 68819 ... c Min unsat cost LB: 68834 ... c Min unsat cost LB: 68938 ... c Min unsat cost LB: 69210 ... c Min unsat cost LB: 69214 ... c Min unsat cost LB: 69390 ... c Min unsat cost LB: 69471 ... c Min unsat cost LB: 69480 ... c Min unsat cost LB: 69749 ... c Min unsat cost LB: 69804 ... c Min unsat cost LB: 69820 ... c Min unsat cost LB: 70108 ... c Min unsat cost LB: 70216 ... c Min unsat cost LB: 70225 ... c Min unsat cost LB: 70315 ... c Min unsat cost LB: 70392 ... c Min unsat cost LB: 70451 ... c Min unsat cost LB: 70603 ... c Min unsat cost LB: 70636 ... c Min unsat cost LB: 70756 ... c Min unsat cost LB: 70757 ... c Min unsat cost LB: 70808 ... c Min unsat cost LB: 71004 ... c Min unsat cost LB: 71056 ... c Min unsat cost LB: 71062 ... c Min unsat cost LB: 71105 ... c Min unsat cost LB: 71222 ... c Min unsat cost LB: 71312 ... c Min unsat cost LB: 71375 ... c Min unsat cost LB: 71419 ... c Min unsat cost LB: 71443 ... c Min unsat cost LB: 71453 ... c Min unsat cost LB: 71494 ... c Min unsat cost LB: 71579 ... c Min unsat cost LB: 71625 ... c Min unsat cost LB: 71638 ... c Min unsat cost LB: 71694 ... c Min unsat cost LB: 71787 ... c Min unsat cost LB: 71883 ... c Min unsat cost LB: 71902 ... c Min unsat cost LB: 71908 ... c Min unsat cost LB: 72033 ... c Min unsat cost LB: 72035 ... c Min unsat cost LB: 72222 ... c Min unsat cost LB: 72228 ... c Min unsat cost LB: 72229 ... c Min unsat cost LB: 72231 ... c Min unsat cost LB: 72233 ... c Min unsat cost LB: 72262 ... c Min unsat cost LB: 72274 ... c Min unsat cost LB: 72311 ... c Min unsat cost LB: 72315 ... c Min unsat cost LB: 72333 ... c Min unsat cost LB: 72454 ... c Min unsat cost LB: 72460 ... c Min unsat cost LB: 72464 ... c Min unsat cost LB: 72483 ... c Min unsat cost LB: 72485 ... c Min unsat cost LB: 72501 ... c Min unsat cost LB: 72506 ... c Min unsat cost LB: 72508 ... c Min unsat cost LB: 72572 ... c Min unsat cost LB: 72578 ... c Min unsat cost LB: 72627 ... c Min unsat cost LB: 72678 ... c Min unsat cost LB: 72679 ... c Min unsat cost LB: 72728 ... c Min unsat cost LB: 72730 ... c Min unsat cost LB: 72742 ... c Min unsat cost LB: 72746 ... c Min unsat cost LB: 72779 ... c Min unsat cost LB: 72781 ... c Min unsat cost LB: 72782 ... c Min unsat cost LB: 72790 ... c Min unsat cost LB: 72811 ... c Min unsat cost LB: 72820 ... c Min unsat cost LB: 72823 ... c Min unsat cost LB: 72826 ... c Min unsat cost LB: 72829 ... c Min unsat cost LB: 72833 ... c Min unsat cost LB: 72839 ... c Min unsat cost LB: 72849 ... c Min unsat cost LB: 72862 ... c Min unsat cost LB: 72864 ... c Min unsat cost LB: 72865 ... c Min unsat cost LB: 72873 ... c Min unsat cost LB: 72877 ... c Min unsat cost LB: 72920 ... c Min unsat cost LB: 72998 ... c Min unsat cost LB: 73004 ... c Min unsat cost LB: 73006 ... c Min unsat cost LB: 73007 ... c Min unsat cost LB: 73008 ... c Min unsat cost LB: 73012 ... c Min unsat cost LB: 73014 ... c Min unsat cost LB: 73017 ... c Min unsat cost LB: 73029 ... c Min unsat cost LB: 73031 ... c Min unsat cost LB: 73032 ... c Min unsat cost LB: 73037 ... c Min unsat cost LB: 73038 ... c Min unsat cost LB: 73039 ... c Min unsat cost LB: 73040 ... c Min unsat cost LB: 73049 ... c Min unsat cost LB: 73052 ... c Min unsat cost LB: 73053 ... c Min unsat cost LB: 73054 ... c Min unsat cost LB: 73059 ... c Min unsat cost LB: 73060 ... c Min unsat cost LB: 73061 ... c Min unsat cost LB: 73062 ... c Min unsat cost LB: 73063 ... c Min unsat cost LB: 73068 ... c Min unsat cost LB: 73074 ... c Min unsat cost LB: 73083 ... c Min unsat cost LB: 73085 ... c Min unsat cost LB: 73086 ... c Min unsat cost LB: 73093 ... c Min unsat cost LB: 73103 ... c Min unsat cost LB: 73104 ... c Min unsat cost LB: 73105 ... c Min unsat cost LB: 73113 ... c Min unsat cost LB: 73128 ... c Min unsat cost LB: 73132 ... c Min unsat cost LB: 73140 ... c Min unsat cost LB: 73149 ... c Min unsat cost LB: 73154 ... c Min unsat cost LB: 73155 ... c Min unsat cost LB: 73161 ... c Min unsat cost LB: 73163 ... c Min unsat cost LB: 73173 ... c Min unsat cost LB: 73185 ... c Min unsat cost LB: 73200 ... c Min unsat cost LB: 73223 ... c Min unsat cost LB: 73264 ... c Min unsat cost LB: 73288 ... c Min unsat cost LB: 73292 ... c Min unsat cost LB: 73302 ... c Min unsat cost LB: 73305 ... c Min unsat cost LB: 73308 ... c Min unsat cost LB: 73343 ... c Min unsat cost LB: 73354 ... c Min unsat cost LB: 73358 ... c Min unsat cost LB: 73397 ... c Min unsat cost LB: 73398 ... c Min unsat cost LB: 73399 ... c Min unsat cost LB: 73401 ... c Min unsat cost LB: 73404 ... c Min unsat cost LB: 73410 ... c Min unsat cost LB: 73411 ... c Min unsat cost LB: 73431 ... c Min unsat cost LB: 73433 ... c Min unsat cost LB: 73435 ... c Min unsat cost LB: 73436 ... c Min unsat cost LB: 73443 ... c Min unsat cost LB: 73474 ... c Min unsat cost LB: 73475 ... c Min unsat cost LB: 73556 ... c Min unsat cost LB: 73562 ... c Min unsat cost LB: 73569 ... c Min unsat cost LB: 73578 ... c Min unsat cost LB: 73583 ... c Min unsat cost LB: 73589 ... c Min unsat cost LB: 73625 ... c Min unsat cost LB: 73649 ... c Min unsat cost LB: 73650 ... c Min unsat cost LB: 73652 ... c Min unsat cost LB: 73654 ... c Min unsat cost LB: 73655 ... c Min unsat cost LB: 73657 ... c Min unsat cost LB: 73658 ... c Min unsat cost LB: 73659 ... c Min unsat cost LB: 73660 ... c Min unsat cost LB: 73664 ... c Min unsat cost LB: 73665 ... c Min unsat cost LB: 73669 ... c Min unsat cost LB: 73685 ... c Min unsat cost LB: 73687 ... c Min unsat cost LB: 73703 ... c Min unsat cost LB: 73708 ... c Min unsat cost LB: 73716 ... c Min unsat cost LB: 73722 ... c Min unsat cost LB: 73736 ... c Min unsat cost LB: 73755 ... c Min unsat cost LB: 73772 ... c Min unsat cost LB: 73775 ... c Min unsat cost LB: 73776 ... c Min unsat cost LB: 73777 ... c Min unsat cost LB: 73778 ... c Min unsat cost LB: 73779 ... c Min unsat cost LB: 73780 ... c Min unsat cost LB: 73784 ... c Min unsat cost LB: 73785 ... c Min unsat cost LB: 73788 ... c Min unsat cost LB: 73797 ... c Min unsat cost LB: 73815 ... c Min unsat cost LB: 73816 ... c Min unsat cost LB: 73831 ... c Min unsat cost LB: 73838 ... c Min unsat cost LB: 73853 ... c Min unsat cost LB: 73861 ... c Min unsat cost LB: 73907 ... c Min unsat cost LB: 73916 ... c Min unsat cost LB: 73922 ... c Min unsat cost LB: 73931 ... c Min unsat cost LB: 73932 ... c Min unsat cost LB: 73946 ... c Min unsat cost LB: 73962 ... c Min unsat cost LB: 73964 ... c Min unsat cost LB: 73966 ... c Min unsat cost LB: 73968 ... c Min unsat cost LB: 73979 ... c Min unsat cost LB: 74051 ... c Min unsat cost LB: 74059 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74081 ... c Min unsat cost LB: 74128 ... c Min unsat cost LB: 74129 ... c Min unsat cost LB: 74132 ... c Min unsat cost LB: 74153 ... c Min unsat cost LB: 74191 ... c Min unsat cost LB: 74194 ... c Min unsat cost LB: 74207 ... c Min unsat cost LB: 74226 ... c Min unsat cost LB: 74227 ... c Min unsat cost LB: 74228 ... c Min unsat cost LB: 74229 ... c Min unsat cost LB: 74230 ... c Min unsat cost LB: 74231 ... c Min unsat cost LB: 74237 ... c Min unsat cost LB: 74298 ... c Min unsat cost LB: 74307 ... c Min unsat cost LB: 74320 ... c Min unsat cost LB: 74327 ... c Min unsat cost LB: 74339 ... c Min unsat cost LB: 74444 ... c Min unsat cost LB: 74445 ... c Min unsat cost LB: 74454 ... c Min unsat cost LB: 74455 ... c Min unsat cost LB: 74462 ... c Min unsat cost LB: 74464 ... c Min unsat cost LB: 74473 ... c Min unsat cost LB: 74474 ... c Min unsat cost LB: 74475 ... c Min unsat cost LB: 74487 ... c Min unsat cost LB: 74498 ... c Min unsat cost LB: 74501 ... c Min unsat cost LB: 74502 ... c Min unsat cost LB: 74510 ... c Min unsat cost LB: 74513 ... c Min unsat cost LB: 74518 ... c Min unsat cost LB: 74522 ... c Min unsat cost LB: 74527 ... c Min unsat cost LB: 74555 ... c Min unsat cost LB: 74571 ... c Min unsat cost LB: 74574 ... c Min unsat cost LB: 74649 ... c Min unsat cost LB: 74652 ... c Min unsat cost LB: 74661 ... c Min unsat cost LB: 74669 ... c Min unsat cost LB: 74683 ... c Min unsat cost LB: 74713 ... c Min unsat cost LB: 74718 ... c Min unsat cost LB: 74723 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74727 ... c Min unsat cost LB: 74731 ... c Min unsat cost LB: 74742 ... c Min unsat cost LB: 74743 ... c Min unsat cost LB: 74744 ... c Min unsat cost LB: 74747 ... c Min unsat cost LB: 74748 ... c Min unsat cost LB: 74749 ... c Min unsat cost LB: 74750 ... c Min unsat cost LB: 74751 ... c Min unsat cost LB: 74753 ... c Min unsat cost LB: 74754 ... c Min unsat cost LB: 74755 ... c Min unsat cost LB: 74758 ... c Min unsat cost LB: 74761 ... c Min unsat cost LB: 74762 ... c Min unsat cost LB: 74767 ... c Min unsat cost LB: 74778 ... c Min unsat cost LB: 74811 ... c Min unsat cost LB: 74824 ... c Min unsat cost LB: 74825 ... c Min unsat cost LB: 74826 ... c Min unsat cost LB: 74830 ... c Min unsat cost LB: 74832 ... c Min unsat cost LB: 74834 ... c Min unsat cost LB: 74836 ... c Min unsat cost LB: 74837 ... c Min unsat cost LB: 74839 ... c Min unsat cost LB: 74845 ... c Min unsat cost LB: 74849 ... c Min unsat cost LB: 74850 ... c Min unsat cost LB: 74851 ... c Min unsat cost LB: 74855 ... c Min unsat cost LB: 74864 ... c Min unsat cost LB: 74866 ... c Min unsat cost LB: 74868 ... c Min unsat cost LB: 74869 ... c Min unsat cost LB: 74870 ... c Min unsat cost LB: 74871 ... c Min unsat cost LB: 74884 ... c Min unsat cost LB: 74894 ... c Min unsat cost LB: 74895 ... c Min unsat cost LB: 74896 ... c Min unsat cost LB: 74905 ... c Min unsat cost LB: 74907 ... c Min unsat cost LB: 74908 ... c Min unsat cost LB: 74909 ... c Min unsat cost LB: 74911 ... c Min unsat cost LB: 74912 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74926 ... c Min unsat cost LB: 74927 ... c Min unsat cost LB: 74930 ... c Min unsat cost LB: 74931 ... c Min unsat cost LB: 74939 ... c Min unsat cost LB: 74940 ... c Min unsat cost LB: 74941 ... c Min unsat cost LB: 74947 ... c Min unsat cost LB: 74952 ... c Min unsat cost LB: 74955 ... c Min unsat cost LB: 74956 ... c Min unsat cost LB: 74957 ... c Min unsat cost LB: 74958 ... c Min unsat cost LB: 74959 ... c Min unsat cost LB: 74962 ... c Min unsat cost LB: 74966 ... c Min unsat cost LB: 74971 ... c Min unsat cost LB: 74976 ... c Min unsat cost LB: 74978 ... c Min unsat cost LB: 74987 ... c Min unsat cost LB: 75029 ... c Min unsat cost LB: 75043 ... c Min unsat cost LB: 75045 ... c Min unsat cost LB: 75047 ... c Min unsat cost LB: 75058 ... 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: 75098 ... c Min unsat cost LB: 75099 ... c Min unsat cost LB: 75100 ... c Min unsat cost LB: 75101 ... c Min unsat cost LB: 75102 ... c Min unsat cost LB: 75107 ... c Min unsat cost LB: 75108 ... c Min unsat cost LB: 75109 ... c Min unsat cost LB: 75110 ... c Min unsat cost LB: 75111 ... c Min unsat cost LB: 75112 ... c Min unsat cost LB: 75124 ... c Min unsat cost LB: 75126 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75140 ... c Min unsat cost LB: 75141 ... c Min unsat cost LB: 75152 ... c Min unsat cost LB: 75159 ... c Min unsat cost LB: 75160 ... c Min unsat cost LB: 75161 ... c Min unsat cost LB: 75162 ... c Min unsat cost LB: 75164 ... c Min unsat cost LB: 75165 ... c Min unsat cost LB: 75166 ... c Min unsat cost LB: 75167 ... c Min unsat cost LB: 75168 ... c Min unsat cost LB: 75169 ... c Min unsat cost LB: 75170 ... c Min unsat cost LB: 75171 ... c Min unsat cost LB: 75178 ... c Min unsat cost LB: 75182 ... c Min unsat cost LB: 75189 ... c Min unsat cost LB: 75196 ... c Min unsat cost LB: 75198 ... c Min unsat cost LB: 75202 ... c Min unsat cost LB: 75235 ... c Min unsat cost LB: 75236 ... c Min unsat cost LB: 75237 ... c Min unsat cost LB: 75238 ... c Min unsat cost LB: 75239 ... c Min unsat cost LB: 75240 ... c Min unsat cost LB: 75241 ... c Min unsat cost LB: 75242 ... c Min unsat cost LB: 75251 ... c Min unsat cost LB: 75252 ... c Min unsat cost LB: 75253 ... c Min unsat cost LB: 75254 ... c Min unsat cost LB: 75255 ... c Min unsat cost LB: 75256 ... c Min unsat cost LB: 75257 ... c Min unsat cost LB: 75258 ... c Min unsat cost LB: 75259 ... c Min unsat cost LB: 75260 ... c Min unsat cost LB: 75261 ... c Min unsat cost LB: 75262 ... c Min unsat cost LB: 75275 ... c Min unsat cost LB: 75316 ... c Min unsat cost LB: 75317 ... c Min unsat cost LB: 75318 ... c Min unsat cost LB: 75325 ... c Min unsat cost LB: 75327 ... c Min unsat cost LB: 75329 ... c Min unsat cost LB: 75335 ... c Min unsat cost LB: 75339 ... c Min unsat cost LB: 75340 ... c Min unsat cost LB: 75341 ... c Min unsat cost LB: 75342 ... c Min unsat cost LB: 75345 ... c Min unsat cost LB: 75379 ... c Min unsat cost LB: 75394 ... c Min unsat cost LB: 75399 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75407 ... c Min unsat cost LB: 75414 ... c Min unsat cost LB: 75417 ... c Min unsat cost LB: 75435 ... c Min unsat cost LB: 75440 ... c Min unsat cost LB: 75441 ... c Min unsat cost LB: 75449 ... c Min unsat cost LB: 75450 ... c Min unsat cost LB: 75451 ... c Min unsat cost LB: 75452 ... c Min unsat cost LB: 75453 ... c Min unsat cost LB: 75454 ... c Min unsat cost LB: 75455 ... c Min unsat cost LB: 75456 ... c Min unsat cost LB: 75458 ... c Min unsat cost LB: 75461 ... c Min unsat cost LB: 75462 ... c Min unsat cost LB: 75463 ... c Min unsat cost LB: 75472 ... c Min unsat cost LB: 75509 ... c Min unsat cost LB: 75510 ... c Min unsat cost LB: 75511 ... c Min unsat cost LB: 75514 ... c Min unsat cost LB: 75515 ... c Min unsat cost LB: 75517 ... c Min unsat cost LB: 75518 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75524 ... c Min unsat cost LB: 75528 ... c Min unsat cost LB: 75529 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75547 ... c Min unsat cost LB: 75555 ... c Min unsat cost LB: 75573 ... c Min unsat cost LB: 75577 ... c Min unsat cost LB: 75582 ... c Min unsat cost LB: 75585 ... c Min unsat cost LB: 75587 ... c Min unsat cost LB: 75588 ... c Min unsat cost LB: 75819 ... c Min unsat cost LB: 75820 ... c Min unsat cost LB: 75821 ... c Min unsat cost LB: 75822 ... c Min unsat cost LB: 75839 ... c Min unsat cost LB: 75850 ... c Min unsat cost LB: 75854 ... c Min unsat cost LB: 75855 ... c Min unsat cost LB: 75856 ... c Min unsat cost LB: 75857 ... c Min unsat cost LB: 75858 ... c Min unsat cost LB: 75860 ... 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: 75867 ... c Min unsat cost LB: 75868 ... c Min unsat cost LB: 75870 ... c Min unsat cost LB: 75877 ... c Min unsat cost LB: 75888 ... c Min unsat cost LB: 75891 ... c Min unsat cost LB: 75892 ... c Min unsat cost LB: 75893 ... c Min unsat cost LB: 75894 ... c Min unsat cost LB: 75897 ... c Min unsat cost LB: 75924 ... c Min unsat cost LB: 75925 ... c Min unsat cost LB: 75926 ... c Min unsat cost LB: 75927 ... c Min unsat cost LB: 75929 ... c Min unsat cost LB: 75930 ... c Min unsat cost LB: 75950 ... c Min unsat cost LB: 75956 ... c Min unsat cost LB: 75959 ... c Min unsat cost LB: 75961 ... c Min unsat cost LB: 76140 ... c Min unsat cost LB: 76152 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76161 ... c Min unsat cost LB: 76165 ... c Min unsat cost LB: 76169 ... c Min unsat cost LB: 76170 ... c Min unsat cost LB: 76174 ... c Min unsat cost LB: 76175 ... c Min unsat cost LB: 76176 ... c Min unsat cost LB: 76177 ... c Min unsat cost LB: 76178 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76180 ... c Min unsat cost LB: 76183 ... c Min unsat cost LB: 76189 ... c Min unsat cost LB: 76190 ... c Min unsat cost LB: 76191 ... c Min unsat cost LB: 76205 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76208 ... c Min unsat cost LB: 76209 ... c Min unsat cost LB: 76211 ... c Min unsat cost LB: 76213 ... c Min unsat cost LB: 76217 ... c Min unsat cost LB: 76218 ... c Min unsat cost LB: 76219 ... c Min unsat cost LB: 76220 ... c Min unsat cost LB: 76221 ... c Min unsat cost LB: 76250 ... c Min unsat cost LB: 76253 ... c Min unsat cost LB: 76254 ... c Min unsat cost LB: 76255 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76261 ... c Min unsat cost LB: 76262 ... c Min unsat cost LB: 76263 ... c Min unsat cost LB: 76264 ... c Min unsat cost LB: 76265 ... c Min unsat cost LB: 76266 ... c Min unsat cost LB: 76267 ... c Min unsat cost LB: 76268 ... c Min unsat cost LB: 76269 ... c Min unsat cost LB: 76270 ... c Min unsat cost LB: 76271 ... c Min unsat cost LB: 76272 ... c Min unsat cost LB: 76274 ... c Min unsat cost LB: 76275 ... c Min unsat cost LB: 76277 ... c Min unsat cost LB: 76281 ... c Min unsat cost LB: 76291 ... c Min unsat cost LB: 76293 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76306 ... c Min unsat cost LB: 76316 ... c Min unsat cost LB: 76334 ... c Min unsat cost LB: 76335 ... c Min unsat cost LB: 76337 ... c Min unsat cost LB: 76338 ... c Min unsat cost LB: 76339 ... c Min unsat cost LB: 76340 ... c Min unsat cost LB: 76341 ... c Min unsat cost LB: 76342 ... c Min unsat cost LB: 76343 ... c Min unsat cost LB: 76344 ... c Min unsat cost LB: 76345 ... c Min unsat cost LB: 76346 ... c Min unsat cost LB: 76347 ... c Min unsat cost LB: 76348 ... c Min unsat cost LB: 76349 ... c Min unsat cost LB: 76353 ... c Min unsat cost LB: 76359 ... c Min unsat cost LB: 76365 ... c Min unsat cost LB: 76366 ... c Min unsat cost LB: 76367 ... c Min unsat cost LB: 76369 ... c Min unsat cost LB: 76370 ... c Min unsat cost LB: 76371 ... c Min unsat cost LB: 76372 ... c Min unsat cost LB: 76379 ... c Min unsat cost LB: 76386 ... c Min unsat cost LB: 76387 ... c Min unsat cost LB: 76388 ... c Min unsat cost LB: 76389 ... c Min unsat cost LB: 76390 ... c Min unsat cost LB: 76392 ... c Min unsat cost LB: 76393 ... c Min unsat cost LB: 76394 ... c Min unsat cost LB: 76395 ... c Min unsat cost LB: 76396 ... c Min unsat cost LB: 76397 ... c Min unsat cost LB: 76398 ... c Min unsat cost LB: 76399 ... c Min unsat cost LB: 76400 ... c Min unsat cost LB: 76402 ... c Min unsat cost LB: 76403 ... c Min unsat cost LB: 76409 ... c Min unsat cost LB: 76411 ... c Min unsat cost LB: 76412 ... c Min unsat cost LB: 76413 ... c Min unsat cost LB: 76414 ... c Min unsat cost LB: 76415 ... c Min unsat cost LB: 76416 ... c Min unsat cost LB: 76422 ... c Min unsat cost LB: 76423 ... c Min unsat cost LB: 76425 ... c Min unsat cost LB: 76426 ... c Min unsat cost LB: 76427 ... c Min unsat cost LB: 76428 ... c Min unsat cost LB: 76429 ... c Min unsat cost LB: 76433 ... c Min unsat cost LB: 76434 ... c Min unsat cost LB: 76435 ... c Min unsat cost LB: 76437 ... c Min unsat cost LB: 76438 ... c Min unsat cost LB: 76439 ... c Min unsat cost LB: 76440 ... c Min unsat cost LB: 76442 ... c Min unsat cost LB: 76443 ... c Min unsat cost LB: 76444 ... c Min unsat cost LB: 76446 ... c Min unsat cost LB: 76447 ... c Min unsat cost LB: 76448 ... c Min unsat cost LB: 76449 ... c Min unsat cost LB: 76450 ... c Min unsat cost LB: 76451 ... c Min unsat cost LB: 76452 ... c Min unsat cost LB: 76453 ... c Min unsat cost LB: 76454 ... c Min unsat cost LB: 76455 ... c Min unsat cost LB: 76456 ... c Min unsat cost LB: 76457 ... c Min unsat cost LB: 76464 ... c Min unsat cost LB: 76466 ... c Min unsat cost LB: 76467 ... c Min unsat cost LB: 76468 ... c Min unsat cost LB: 76471 ... c Min unsat cost LB: 76477 ... c Min unsat cost LB: 76478 ... c Min unsat cost LB: 76479 ... c Min unsat cost LB: 76480 ... c Min unsat cost LB: 76481 ... c Min unsat cost LB: 76482 ... c Min unsat cost LB: 76483 ... c Min unsat cost LB: 76485 ... c Min unsat cost LB: 76486 ... 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: 76491 ... c Min unsat cost LB: 76495 ... 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: 76500 ... c Min unsat cost LB: 76501 ... c Min unsat cost LB: 76502 ... c Min unsat cost LB: 76503 ... c Min unsat cost LB: 76505 ... c Min unsat cost LB: 76506 ... c Min unsat cost LB: 76507 ... c Min unsat cost LB: 76508 ... c Min unsat cost LB: 76509 ... c Min unsat cost LB: 76510 ... c Min unsat cost LB: 76520 ... c Min unsat cost LB: 76523 ... c Min unsat cost LB: 76524 ... c Min unsat cost LB: 76525 ... c Min unsat cost LB: 76526 ... c Min unsat cost LB: 76527 ... c Min unsat cost LB: 76528 ... c Min unsat cost LB: 76531 ... c Min unsat cost LB: 76532 ... c Min unsat cost LB: 76533 ... c Min unsat cost LB: 76534 ... c Min unsat cost LB: 76535 ... c Min unsat cost LB: 76536 ... c Min unsat cost LB: 76537 ... c Min unsat cost LB: 76538 ... c Min unsat cost LB: 76539 ... c Min unsat cost LB: 76540 ... c Min unsat cost LB: 76542 ... c Min unsat cost LB: 76543 ... c Min unsat cost LB: 76544 ... c Min unsat cost LB: 76545 ... c Min unsat cost LB: 76546 ... c Min unsat cost LB: 76547 ... c Min unsat cost LB: 76548 ... c Min unsat cost LB: 76549 ... c Min unsat cost LB: 76550 ... c Min unsat cost LB: 76551 ... c Min unsat cost LB: 76552 ... c Min unsat cost LB: 76553 ... c Min unsat cost LB: 76554 ... c Min unsat cost LB: 76555 ... c Min unsat cost LB: 76556 ... c Min unsat cost LB: 76557 ... c Min unsat cost LB: 76558 ... c Min unsat cost LB: 76559 ... c Min unsat cost LB: 76610 ... c Min unsat cost LB: 76622 ... c Min unsat cost LB: 76627 ... c Min unsat cost LB: 76632 ... c Min unsat cost LB: 76637 ... c Min unsat cost LB: 76895 ... c Min unsat cost LB: 76896 ... c Min unsat cost LB: 76897 ... c Min unsat cost LB: 76898 ... c Min unsat cost LB: 76907 ... c Min unsat cost LB: 76908 ... c Min unsat cost LB: 76909 ... c Min unsat cost LB: 76910 ... c Min unsat cost LB: 76911 ... c Min unsat cost LB: 76912 ... c Min unsat cost LB: 76913 ... c Min unsat cost LB: 76914 ... c Min unsat cost LB: 76915 ... c Min unsat cost LB: 76916 ... c Min unsat cost LB: 76917 ... c Min unsat cost LB: 76918 ... c Min unsat cost LB: 76919 ... c Min unsat cost LB: 76920 ... c Min unsat cost LB: 76921 ... c Min unsat cost LB: 76922 ... c Min unsat cost LB: 76923 ... c Min unsat cost LB: 76924 ... c Min unsat cost LB: 76925 ... c Min unsat cost LB: 76926 ... c Min unsat cost LB: 76927 ... c Min unsat cost LB: 76928 ... c Min unsat cost LB: 76929 ... c Min unsat cost LB: 76930 ... c Min unsat cost LB: 76931 ... c Min unsat cost LB: 76932 ... c Min unsat cost LB: 76933 ... c Min unsat cost LB: 76934 ... c Min unsat cost LB: 76937 ... c Min unsat cost LB: 76940 ... c Min unsat cost LB: 76941 ... c Min unsat cost LB: 76942 ... c Min unsat cost LB: 76943 ... c Min unsat cost LB: 76944 ... c Min unsat cost LB: 76945 ... c Min unsat cost LB: 76946 ... c Min unsat cost LB: 76947 ... c Min unsat cost LB: 76948 ... c Min unsat cost LB: 76949 ... c Min unsat cost LB: 76950 ... c Min unsat cost LB: 76951 ... c Min unsat cost LB: 76954 ... c Min unsat cost LB: 76969 ... c Min unsat cost LB: 76982 ... c Min unsat cost LB: 76984 ... c Min unsat cost LB: 76987 ... c Min unsat cost LB: 76988 ... c Min unsat cost LB: 76989 ... c Min unsat cost LB: 76990 ... c Min unsat cost LB: 76992 ... c Min unsat cost LB: 76993 ... c Min unsat cost LB: 76994 ... c Min unsat cost LB: 76995 ... c Min unsat cost LB: 76996 ... c Min unsat cost LKilled 1813.847u 5.894s 30:23.49 99.7% 0+0k 0+0io 0pf+0w