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_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_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_160_0001.txt.wcnf *** c c Min unsat cost LB: 620 ... c Min unsat cost LB: 1186 ... c Min unsat cost LB: 2093 ... c Min unsat cost LB: 2455 ... c Min unsat cost LB: 2745 ... c Min unsat cost LB: 2793 ... c Min unsat cost LB: 3547 ... c Min unsat cost LB: 4099 ... c Min unsat cost LB: 4853 ... c Min unsat cost LB: 5217 ... c Min unsat cost LB: 6124 ... c Min unsat cost LB: 6506 ... c Min unsat cost LB: 7436 ... c Min unsat cost LB: 8167 ... c Min unsat cost LB: 8169 ... c Min unsat cost LB: 9074 ... c Min unsat cost LB: 9979 ... c Min unsat cost LB: 10363 ... c Min unsat cost LB: 10601 ... c Min unsat cost LB: 10703 ... c Min unsat cost LB: 11589 ... c Min unsat cost LB: 12523 ... c Min unsat cost LB: 13457 ... c Min unsat cost LB: 13505 ... c Min unsat cost LB: 13905 ... c Min unsat cost LB: 14525 ... c Min unsat cost LB: 15157 ... c Min unsat cost LB: 15303 ... c Min unsat cost LB: 15636 ... c Min unsat cost LB: 16485 ... c Min unsat cost LB: 16607 ... c Min unsat cost LB: 16894 ... c Min unsat cost LB: 17799 ... c Min unsat cost LB: 17847 ... c Min unsat cost LB: 18399 ... c Min unsat cost LB: 18420 ... c Min unsat cost LB: 18964 ... c Min unsat cost LB: 19850 ... c Min unsat cost LB: 20082 ... c Min unsat cost LB: 20987 ... c Min unsat cost LB: 21274 ... c Min unsat cost LB: 21352 ... c Min unsat cost LB: 22238 ... c Min unsat cost LB: 22261 ... c Min unsat cost LB: 22881 ... c Min unsat cost LB: 23612 ... c Min unsat cost LB: 23943 ... c Min unsat cost LB: 24408 ... c Min unsat cost LB: 24896 ... c Min unsat cost LB: 24919 ... c Min unsat cost LB: 24995 ... c Min unsat cost LB: 25041 ... c Min unsat cost LB: 25795 ... c Min unsat cost LB: 25877 ... c Min unsat cost LB: 25919 ... c Min unsat cost LB: 26082 ... c Min unsat cost LB: 26624 ... c Min unsat cost LB: 27214 ... c Min unsat cost LB: 27626 ... c Min unsat cost LB: 27880 ... c Min unsat cost LB: 28052 ... c Min unsat cost LB: 28721 ... c Min unsat cost LB: 29454 ... c Min unsat cost LB: 30187 ... c Min unsat cost LB: 30555 ... c Min unsat cost LB: 30787 ... c Min unsat cost LB: 30837 ... c Min unsat cost LB: 30866 ... c Min unsat cost LB: 31366 ... c Min unsat cost LB: 32368 ... c Min unsat cost LB: 32584 ... c Min unsat cost LB: 32976 ... c Min unsat cost LB: 33079 ... c Min unsat cost LB: 33817 ... c Min unsat cost LB: 34279 ... c Min unsat cost LB: 34418 ... c Min unsat cost LB: 35259 ... c Min unsat cost LB: 35300 ... c Min unsat cost LB: 36169 ... c Min unsat cost LB: 36584 ... c Min unsat cost LB: 37195 ... c Min unsat cost LB: 37899 ... c Min unsat cost LB: 38562 ... c Min unsat cost LB: 38626 ... c Min unsat cost LB: 38857 ... c Min unsat cost LB: 39282 ... c Min unsat cost LB: 39651 ... c Min unsat cost LB: 40355 ... c Min unsat cost LB: 40533 ... c Min unsat cost LB: 41585 ... c Min unsat cost LB: 42359 ... c Min unsat cost LB: 42400 ... c Min unsat cost LB: 42490 ... c Min unsat cost LB: 43004 ... c Min unsat cost LB: 43559 ... c Min unsat cost LB: 43744 ... c Min unsat cost LB: 43892 ... c Min unsat cost LB: 43937 ... c Min unsat cost LB: 44731 ... c Min unsat cost LB: 45195 ... c Min unsat cost LB: 45592 ... c Min unsat cost LB: 45797 ... c Min unsat cost LB: 45959 ... c Min unsat cost LB: 46218 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47485 ... c Min unsat cost LB: 47696 ... c Min unsat cost LB: 47866 ... c Min unsat cost LB: 48106 ... c Min unsat cost LB: 48345 ... c Min unsat cost LB: 48796 ... c Min unsat cost LB: 49655 ... c Min unsat cost LB: 49859 ... c Min unsat cost LB: 49899 ... c Min unsat cost LB: 50590 ... c Min unsat cost LB: 50613 ... c Min unsat cost LB: 50981 ... c Min unsat cost LB: 51339 ... c Min unsat cost LB: 51543 ... c Min unsat cost LB: 51886 ... c Min unsat cost LB: 51948 ... c Min unsat cost LB: 52057 ... c Min unsat cost LB: 52159 ... c Min unsat cost LB: 52509 ... c Min unsat cost LB: 52585 ... c Min unsat cost LB: 53205 ... c Min unsat cost LB: 53316 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53554 ... c Min unsat cost LB: 53985 ... c Min unsat cost LB: 54147 ... c Min unsat cost LB: 54228 ... c Min unsat cost LB: 54266 ... c Min unsat cost LB: 55071 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55392 ... c Min unsat cost LB: 55963 ... c Min unsat cost LB: 56197 ... c Min unsat cost LB: 56507 ... c Min unsat cost LB: 56801 ... c Min unsat cost LB: 56883 ... c Min unsat cost LB: 56941 ... c Min unsat cost LB: 57406 ... c Min unsat cost LB: 57749 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 57837 ... c Min unsat cost LB: 58075 ... c Min unsat cost LB: 58095 ... c Min unsat cost LB: 58140 ... c Min unsat cost LB: 58163 ... c Min unsat cost LB: 58203 ... c Min unsat cost LB: 58222 ... c Min unsat cost LB: 58764 ... c Min unsat cost LB: 59095 ... c Min unsat cost LB: 59150 ... c Min unsat cost LB: 59179 ... c Min unsat cost LB: 59273 ... c Min unsat cost LB: 59291 ... c Min unsat cost LB: 59296 ... c Min unsat cost LB: 59336 ... c Min unsat cost LB: 59493 ... c Min unsat cost LB: 59639 ... c Min unsat cost LB: 59720 ... c Min unsat cost LB: 59762 ... c Min unsat cost LB: 59798 ... c Min unsat cost LB: 59802 ... c Min unsat cost LB: 59866 ... c Min unsat cost LB: 60072 ... c Min unsat cost LB: 60120 ... c Min unsat cost LB: 60268 ... c Min unsat cost LB: 60316 ... c Min unsat cost LB: 60487 ... c Min unsat cost LB: 60565 ... c Min unsat cost LB: 60582 ... c Min unsat cost LB: 60606 ... c Min unsat cost LB: 60647 ... c Min unsat cost LB: 60750 ... c Min unsat cost LB: 60957 ... c Min unsat cost LB: 61052 ... c Min unsat cost LB: 61176 ... c Min unsat cost LB: 61217 ... c Min unsat cost LB: 61307 ... c Min unsat cost LB: 61345 ... c Min unsat cost LB: 61418 ... c Min unsat cost LB: 61652 ... c Min unsat cost LB: 61675 ... c Min unsat cost LB: 61731 ... c Min unsat cost LB: 61771 ... c Min unsat cost LB: 61999 ... c Min unsat cost LB: 62024 ... c Min unsat cost LB: 62238 ... c Min unsat cost LB: 62251 ... c Min unsat cost LB: 62276 ... c Min unsat cost LB: 62280 ... c Min unsat cost LB: 62389 ... c Min unsat cost LB: 62469 ... c Min unsat cost LB: 62496 ... c Min unsat cost LB: 62513 ... c Min unsat cost LB: 62589 ... c Min unsat cost LB: 62653 ... c Min unsat cost LB: 62879 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 63217 ... c Min unsat cost LB: 63296 ... c Min unsat cost LB: 63312 ... c Min unsat cost LB: 63335 ... c Min unsat cost LB: 63367 ... c Min unsat cost LB: 63471 ... c Min unsat cost LB: 63578 ... c Min unsat cost LB: 63909 ... c Min unsat cost LB: 64097 ... c Min unsat cost LB: 64126 ... c Min unsat cost LB: 64161 ... c Min unsat cost LB: 64177 ... c Min unsat cost LB: 64276 ... c Min unsat cost LB: 64293 ... c Min unsat cost LB: 64308 ... c Min unsat cost LB: 64351 ... c Min unsat cost LB: 64375 ... c Min unsat cost LB: 64405 ... c Min unsat cost LB: 64424 ... c Min unsat cost LB: 64449 ... c Min unsat cost LB: 64683 ... c Min unsat cost LB: 64739 ... c Min unsat cost LB: 64762 ... c Min unsat cost LB: 64780 ... c Min unsat cost LB: 64911 ... c Min unsat cost LB: 64969 ... c Min unsat cost LB: 65061 ... c Min unsat cost LB: 65093 ... c Min unsat cost LB: 65112 ... c Min unsat cost LB: 65123 ... c Min unsat cost LB: 65282 ... c Min unsat cost LB: 65305 ... c Min unsat cost LB: 65372 ... c Min unsat cost LB: 65391 ... c Min unsat cost LB: 65413 ... c Min unsat cost LB: 65414 ... c Min unsat cost LB: 65451 ... c Min unsat cost LB: 65490 ... c Min unsat cost LB: 65509 ... c Min unsat cost LB: 65512 ... c Min unsat cost LB: 65576 ... c Min unsat cost LB: 65583 ... c Min unsat cost LB: 65593 ... c Min unsat cost LB: 65883 ... c Min unsat cost LB: 65914 ... c Min unsat cost LB: 65953 ... c Min unsat cost LB: 65970 ... c Min unsat cost LB: 66013 ... c Min unsat cost LB: 66102 ... c Min unsat cost LB: 66110 ... c Min unsat cost LB: 66123 ... c Min unsat cost LB: 66124 ... c Min unsat cost LB: 66170 ... c Min unsat cost LB: 66199 ... c Min unsat cost LB: 66208 ... c Min unsat cost LB: 66408 ... c Min unsat cost LB: 66627 ... c Min unsat cost LB: 66760 ... c Min unsat cost LB: 66763 ... c Min unsat cost LB: 66784 ... c Min unsat cost LB: 66792 ... c Min unsat cost LB: 66867 ... c Min unsat cost LB: 66882 ... c Min unsat cost LB: 66906 ... c Min unsat cost LB: 66947 ... c Min unsat cost LB: 67039 ... c Min unsat cost LB: 67042 ... c Min unsat cost LB: 67053 ... c Min unsat cost LB: 67196 ... c Min unsat cost LB: 67242 ... c Min unsat cost LB: 67405 ... c Min unsat cost LB: 67469 ... c Min unsat cost LB: 67580 ... c Min unsat cost LB: 67582 ... c Min unsat cost LB: 67634 ... c Min unsat cost LB: 67651 ... c Min unsat cost LB: 67691 ... c Min unsat cost LB: 67893 ... c Min unsat cost LB: 67939 ... c Min unsat cost LB: 68063 ... c Min unsat cost LB: 68185 ... c Min unsat cost LB: 68282 ... c Min unsat cost LB: 68460 ... c Min unsat cost LB: 68650 ... c Min unsat cost LB: 68723 ... c Min unsat cost LB: 68753 ... c Min unsat cost LB: 68776 ... c Min unsat cost LB: 68778 ... c Min unsat cost LB: 68873 ... c Min unsat cost LB: 69191 ... c Min unsat cost LB: 69240 ... c Min unsat cost LB: 69257 ... c Min unsat cost LB: 69461 ... c Min unsat cost LB: 69479 ... c Min unsat cost LB: 69573 ... c Min unsat cost LB: 69649 ... c Min unsat cost LB: 69674 ... c Min unsat cost LB: 69703 ... c Min unsat cost LB: 69729 ... c Min unsat cost LB: 69741 ... c Min unsat cost LB: 69760 ... c Min unsat cost LB: 69783 ... c Min unsat cost LB: 69791 ... c Min unsat cost LB: 69806 ... c Min unsat cost LB: 69807 ... c Min unsat cost LB: 69842 ... c Min unsat cost LB: 69906 ... c Min unsat cost LB: 69914 ... c Min unsat cost LB: 69938 ... c Min unsat cost LB: 69944 ... c Min unsat cost LB: 69985 ... c Min unsat cost LB: 70054 ... c Min unsat cost LB: 70111 ... c Min unsat cost LB: 70131 ... c Min unsat cost LB: 70132 ... c Min unsat cost LB: 70136 ... c Min unsat cost LB: 70138 ... c Min unsat cost LB: 70140 ... c Min unsat cost LB: 70142 ... c Min unsat cost LB: 70163 ... c Min unsat cost LB: 70182 ... c Min unsat cost LB: 70260 ... c Min unsat cost LB: 70267 ... c Min unsat cost LB: 70278 ... c Min unsat cost LB: 70315 ... c Min unsat cost LB: 70325 ... c Min unsat cost LB: 70334 ... c Min unsat cost LB: 70342 ... c Min unsat cost LB: 70358 ... c Min unsat cost LB: 70400 ... c Min unsat cost LB: 70411 ... c Min unsat cost LB: 70510 ... c Min unsat cost LB: 70533 ... c Min unsat cost LB: 70535 ... c Min unsat cost LB: 70537 ... c Min unsat cost LB: 70538 ... c Min unsat cost LB: 70597 ... c Min unsat cost LB: 70616 ... c Min unsat cost LB: 70768 ... c Min unsat cost LB: 70853 ... c Min unsat cost LB: 70854 ... c Min unsat cost LB: 70855 ... c Min unsat cost LB: 70857 ... c Min unsat cost LB: 70873 ... c Min unsat cost LB: 70880 ... c Min unsat cost LB: 70899 ... c Min unsat cost LB: 70901 ... c Min unsat cost LB: 70906 ... c Min unsat cost LB: 70907 ... c Min unsat cost LB: 70908 ... c Min unsat cost LB: 70909 ... c Min unsat cost LB: 70910 ... c Min unsat cost LB: 70918 ... c Min unsat cost LB: 70925 ... c Min unsat cost LB: 70942 ... c Min unsat cost LB: 70944 ... c Min unsat cost LB: 70950 ... c Min unsat cost LB: 70952 ... c Min unsat cost LB: 70984 ... c Min unsat cost LB: 70985 ... c Min unsat cost LB: 71001 ... c Min unsat cost LB: 71037 ... c Min unsat cost LB: 71046 ... c Min unsat cost LB: 71058 ... c Min unsat cost LB: 71060 ... c Min unsat cost LB: 71063 ... c Min unsat cost LB: 71065 ... c Min unsat cost LB: 71069 ... c Min unsat cost LB: 71070 ... c Min unsat cost LB: 71078 ... c Min unsat cost LB: 71086 ... c Min unsat cost LB: 71087 ... c Min unsat cost LB: 71088 ... c Min unsat cost LB: 71104 ... c Min unsat cost LB: 71107 ... c Min unsat cost LB: 71123 ... c Min unsat cost LB: 71138 ... c Min unsat cost LB: 71152 ... c Min unsat cost LB: 71177 ... c Min unsat cost LB: 71188 ... c Min unsat cost LB: 71205 ... c Min unsat cost LB: 71219 ... c Min unsat cost LB: 71285 ... c Min unsat cost LB: 71294 ... c Min unsat cost LB: 71315 ... c Min unsat cost LB: 71378 ... c Min unsat cost LB: 71390 ... c Min unsat cost LB: 71401 ... c Min unsat cost LB: 71413 ... c Min unsat cost LB: 71415 ... c Min unsat cost LB: 71432 ... c Min unsat cost LB: 71433 ... c Min unsat cost LB: 71450 ... c Min unsat cost LB: 71454 ... c Min unsat cost LB: 71457 ... c Min unsat cost LB: 71464 ... c Min unsat cost LB: 71470 ... c Min unsat cost LB: 71478 ... c Min unsat cost LB: 71487 ... c Min unsat cost LB: 71494 ... c Min unsat cost LB: 71495 ... c Min unsat cost LB: 71496 ... c Min unsat cost LB: 71503 ... c Min unsat cost LB: 71507 ... c Min unsat cost LB: 71517 ... c Min unsat cost LB: 71518 ... c Min unsat cost LB: 71519 ... c Min unsat cost LB: 71520 ... c Min unsat cost LB: 71527 ... c Min unsat cost LB: 71540 ... c Min unsat cost LB: 71544 ... c Min unsat cost LB: 71557 ... c Min unsat cost LB: 71562 ... c Min unsat cost LB: 71565 ... c Min unsat cost LB: 71566 ... c Min unsat cost LB: 71577 ... c Min unsat cost LB: 71579 ... c Min unsat cost LB: 71580 ... c Min unsat cost LB: 71581 ... c Min unsat cost LB: 71598 ... c Min unsat cost LB: 71613 ... c Min unsat cost LB: 71622 ... c Min unsat cost LB: 71627 ... c Min unsat cost LB: 71629 ... c Min unsat cost LB: 71634 ... c Min unsat cost LB: 71639 ... c Min unsat cost LB: 71641 ... c Min unsat cost LB: 71650 ... c Min unsat cost LB: 71653 ... c Min unsat cost LB: 71654 ... c Min unsat cost LB: 71657 ... c Min unsat cost LB: 71665 ... c Min unsat cost LB: 71666 ... c Min unsat cost LB: 71673 ... c Min unsat cost LB: 71674 ... c Min unsat cost LB: 71676 ... c Min unsat cost LB: 71697 ... c Min unsat cost LB: 71792 ... c Min unsat cost LB: 71798 ... c Min unsat cost LB: 71806 ... c Min unsat cost LB: 71809 ... c Min unsat cost LB: 71820 ... c Min unsat cost LB: 71822 ... c Min unsat cost LB: 71825 ... c Min unsat cost LB: 71834 ... c Min unsat cost LB: 71855 ... c Min unsat cost LB: 71863 ... c Min unsat cost LB: 71871 ... c Min unsat cost LB: 71873 ... c Min unsat cost LB: 71875 ... c Min unsat cost LB: 71879 ... c Min unsat cost LB: 71880 ... c Min unsat cost LB: 71884 ... c Min unsat cost LB: 71895 ... c Min unsat cost LB: 71899 ... c Min unsat cost LB: 71904 ... c Min unsat cost LB: 71905 ... c Min unsat cost LB: 71909 ... c Min unsat cost LB: 71913 ... c Min unsat cost LB: 71956 ... c Min unsat cost LB: 71957 ... c Min unsat cost LB: 71962 ... c Min unsat cost LB: 71963 ... c Min unsat cost LB: 71965 ... c Min unsat cost LB: 71966 ... c Min unsat cost LB: 71967 ... c Min unsat cost LB: 71968 ... c Min unsat cost LB: 71969 ... c Min unsat cost LB: 71970 ... c Min unsat cost LB: 71978 ... c Min unsat cost LB: 71999 ... c Min unsat cost LB: 72132 ... c Min unsat cost LB: 72139 ... c Min unsat cost LB: 72143 ... c Min unsat cost LB: 72144 ... c Min unsat cost LB: 72148 ... c Min unsat cost LB: 72149 ... c Min unsat cost LB: 72150 ... c Min unsat cost LB: 72152 ... c Min unsat cost LB: 72153 ... c Min unsat cost LB: 72155 ... c Min unsat cost LB: 72156 ... c Min unsat cost LB: 72157 ... c Min unsat cost LB: 72160 ... c Min unsat cost LB: 72169 ... c Min unsat cost LB: 72179 ... c Min unsat cost LB: 72181 ... c Min unsat cost LB: 72190 ... c Min unsat cost LB: 72192 ... c Min unsat cost LB: 72193 ... c Min unsat cost LB: 72228 ... c Min unsat cost LB: 72229 ... c Min unsat cost LB: 72257 ... c Min unsat cost LB: 72265 ... c Min unsat cost LB: 72283 ... c Min unsat cost LB: 72293 ... c Min unsat cost LB: 72297 ... c Min unsat cost LB: 72299 ... c Min unsat cost LB: 72306 ... c Min unsat cost LB: 72308 ... c Min unsat cost LB: 72310 ... c Min unsat cost LB: 72312 ... c Min unsat cost LB: 72313 ... c Min unsat cost LB: 72322 ... c Min unsat cost LB: 72326 ... c Min unsat cost LB: 72335 ... c Min unsat cost LB: 72345 ... c Min unsat cost LB: 72348 ... c Min unsat cost LB: 72385 ... c Min unsat cost LB: 72388 ... c Min unsat cost LB: 72389 ... c Min unsat cost LB: 72391 ... c Min unsat cost LB: 72401 ... c Min unsat cost LB: 72402 ... c Min unsat cost LB: 72404 ... c Min unsat cost LB: 72410 ... c Min unsat cost LB: 72413 ... c Min unsat cost LB: 72415 ... c Min unsat cost LB: 72417 ... c Min unsat cost LB: 72421 ... c Min unsat cost LB: 72431 ... c Min unsat cost LB: 72432 ... c Min unsat cost LB: 72433 ... c Min unsat cost LB: 72434 ... c Min unsat cost LB: 72435 ... c Min unsat cost LB: 72437 ... c Min unsat cost LB: 72459 ... c Min unsat cost LB: 72460 ... c Min unsat cost LB: 72461 ... c Min unsat cost LB: 72464 ... c Min unsat cost LB: 72468 ... c Min unsat cost LB: 72471 ... c Min unsat cost LB: 72477 ... c Min unsat cost LB: 72479 ... c Min unsat cost LB: 72483 ... c Min unsat cost LB: 72485 ... c Min unsat cost LB: 72486 ... c Min unsat cost LB: 72487 ... c Min unsat cost LB: 72489 ... c Min unsat cost LB: 72490 ... c Min unsat cost LB: 72491 ... c Min unsat cost LB: 72492 ... c Min unsat cost LB: 72493 ... c Min unsat cost LB: 72494 ... c Min unsat cost LB: 72497 ... c Min unsat cost LB: 72498 ... c Min unsat cost LB: 72501 ... c Min unsat cost LB: 72502 ... c Min unsat cost LB: 72504 ... c Min unsat cost LB: 72505 ... c Min unsat cost LB: 72507 ... c Min unsat cost LB: 72508 ... c Min unsat cost LB: 72509 ... c Min unsat cost LB: 72510 ... c Min unsat cost LB: 72511 ... c Min unsat cost LB: 72521 ... c Min unsat cost LB: 72522 ... c Min unsat cost LB: 72525 ... c Min unsat cost LB: 72536 ... c Min unsat cost LB: 72537 ... c Min unsat cost LB: 72550 ... c Min unsat cost LB: 72555 ... c Min unsat cost LB: 72559 ... c Min unsat cost LB: 72564 ... c Min unsat cost LB: 72719 ... c Min unsat cost LB: 72720 ... c Min unsat cost LB: 72722 ... c Min unsat cost LB: 72724 ... c Min unsat cost LB: 72725 ... c Min unsat cost LB: 72726 ... c Min unsat cost LB: 72730 ... c Min unsat cost LB: 72735 ... c Min unsat cost LB: 72736 ... c Min unsat cost LB: 72737 ... c Min unsat cost LB: 72738 ... c Min unsat cost LB: 72739 ... c Min unsat cost LB: 72740 ... c Min unsat cost LB: 72742 ... c Min unsat cost LB: 72744 ... c Min unsat cost LB: 72760 ... c Min unsat cost LB: 72761 ... c Min unsat cost LB: 72762 ... c Min unsat cost LB: 72763 ... c Min unsat cost LB: 72766 ... c Min unsat cost LB: 72771 ... c Min unsat cost LB: 72772 ... c Min unsat cost LB: 72773 ... c Min unsat cost LB: 72774 ... c Min unsat cost LB: 72776 ... c Min unsat cost LB: 72781 ... c Min unsat cost LB: 72787 ... c Min unsat cost LB: 72788 ... c Min unsat cost LB: 72789 ... c Min unsat cost LB: 72794 ... c Min unsat cost LB: 72796 ... c Min unsat cost LB: 72808 ... c Min unsat cost LB: 72817 ... c Min unsat cost LB: 72842 ... c Min unsat cost LB: 72843 ... c Min unsat cost LB: 72844 ... c Min unsat cost LB: 72845 ... c Min unsat cost LB: 72846 ... c Min unsat cost LB: 72848 ... c Min unsat cost LB: 72849 ... c Min unsat cost LB: 72852 ... c Min unsat cost LB: 72859 ... c Min unsat cost LB: 72872 ... c Min unsat cost LB: 72874 ... c Min unsat cost LB: 72876 ... c Min unsat cost LB: 72878 ... c Min unsat cost LB: 72880 ... c Min unsat cost LB: 72881 ... c Min unsat cost LB: 72882 ... c Min unsat cost LB: 72883 ... c Min unsat cost LB: 72884 ... c Min unsat cost LB: 72885 ... c Min unsat cost LB: 72886 ... c Min unsat cost LB: 72887 ... c Min unsat cost LB: 72888 ... c Min unsat cost LB: 72889 ... c Min unsat cost LB: 72890 ... c Min unsat cost LB: 72891 ... c Min unsat cost LB: 72892 ... c Min unsat cost LB: 72893 ... c Min unsat cost LB: 72894 ... c Min unsat cost LB: 72895 ... c Min unsat cost LB: 72898 ... c Min unsat cost LB: 72901 ... c Min unsat cost LB: 72902 ... c Min unsat cost LB: 72906 ... c Min unsat cost LB: 72907 ... c Min unsat cost LB: 72915 ... c Min unsat cost LB: 72918 ... c Min unsat cost LB: 72919 ... c Min unsat cost LB: 72921 ... c Min unsat cost LB: 72925 ... c Min unsat cost LB: 72927 ... c Min unsat cost LB: 72928 ... c Min unsat cost LB: 72930 ... c Min unsat cost LB: 72931 ... c Min unsat cost LB: 72933 ... c Min unsat cost LB: 72937 ... c Min unsat cost LB: 72938 ... c Min unsat cost LB: 72939 ... c Min unsat cost LB: 72940 ... c Min unsat cost LB: 72942 ... c Min unsat cost LB: 72948 ... c Min unsat cost LB: 72962 ... c Min unsat cost LB: 72963 ... c Min unsat cost LB: 72964 ... c Min unsat cost LB: 72965 ... c Min unsat cost LB: 72966 ... c Min unsat cost LB: 72967 ... c Min unsat cost LB: 72968 ... c Min unsat cost LB: 72976 ... c Min unsat cost LB: 72978 ... c Min unsat cost LB: 72979 ... c Min unsat cost LB: 72980 ... c Min unsat cost LB: 72986 ... c Min unsat cost LB: 72987 ... c Min unsat cost LB: 72988 ... c Min unsat cost LB: 72990 ... c Min unsat cost LB: 72992 ... c Min unsat cost LB: 72994 ... c Min unsat cost LB: 72995 ... c Min unsat cost LB: 72996 ... c Min unsat cost LB: 72997 ... c Min unsat cost LB: 72998 ... c Min unsat cost LB: 73000 ... c Min unsat cost LB: 73001 ... c Min unsat cost LB: 73002 ... c Min unsat cost LB: 73004 ... c Min unsat cost LB: 73010 ... c Min unsat cost LB: 73011 ... c Min unsat cost LB: 73014 ... c Min unsat cost LB: 73017 ... c Min unsat cost LB: 73021 ... c Min unsat cost LB: 73032 ... c Min unsat cost LB: 73033 ... c Min unsat cost LB: 73052 ... c Min unsat cost LB: 73056 ... c Min unsat cost LB: 73057 ... c Min unsat cost LB: 73062 ... c Min unsat cost LB: 73069 ... c Min unsat cost LB: 73070 ... c Min unsat cost LB: 73071 ... c Min unsat cost LB: 73072 ... c Min unsat cost LB: 73073 ... c Min unsat cost LB: 73074 ... c Min unsat cost LB: 73075 ... c Min unsat cost LB: 73077 ... c Min unsat cost LB: 73078 ... c Min unsat cost LB: 73079 ... c Min unsat cost LB: 73080 ... c Min unsat cost LB: 73081 ... c Min unsat cost LB: 73082 ... c Min unsat cost LB: 73083 ... c Min unsat cost LB: 73084 ... c Min unsat cost LB: 73085 ... c Min unsat cost LB: 73086 ... c Min unsat cost LB: 73087 ... c Min unsat cost LB: 73090 ... c Min unsat cost LB: 73094 ... c Min unsat cost LB: 73100 ... c Min unsat cost LB: 73101 ... c Min unsat cost LB: 73110 ... c Min unsat cost LB: 73111 ... c Min unsat cost LB: 73117 ... c Min unsat cost LB: 73120 ... c Min unsat cost LB: 73123 ... c Min unsat cost LB: 73124 ... c Min unsat cost LB: 73125 ... c Min unsat cost LB: 73126 ... c Min unsat cost LB: 73127 ... c Min unsat cost LB: 73129 ... c Min unsat cost LB: 73130 ... c Min unsat cost LB: 73131 ... c Min unsat cost LB: 73132 ... c Min unsat cost LB: 73133 ... c Min unsat cost LB: 73134 ... c Min unsat cost LB: 73135 ... c Min unsat cost LB: 73136 ... c Min unsat cost LB: 73137 ... c Min unsat cost LB: 73138 ... c Min unsat cost LB: 73139 ... c Min unsat cost LB: 73167 ... c Min unsat cost LB: 73172 ... c Min unsat cost LB: 73173 ... c Min unsat cost LB: 73174 ... c Min unsat cost LB: 73175 ... c Min unsat cost LB: 73176 ... c Min unsat cost LB: 73177 ... c Min unsat cost LB: 73178 ... c Min unsat cost LB: 73179 ... c Min unsat cost LB: 73181 ... c Min unsat cost LB: 73182 ... c Min unsat cost LB: 73183 ... c Min unsat cost LB: 73185 ... c Min unsat cost LB: 73187 ... c Min unsat cost LB: 73188 ... c Min unsat cost LB: 73189 ... c Min unsat cost LB: 73200 ... c Min unsat cost LB: 73201 ... c Min unsat cost LB: 73205 ... c Min unsat cost LB: 73207 ... c Min unsat cost LB: 73208 ... c Min unsat cost LB: 73209 ... c Min unsat cost LB: 73211 ... c Min unsat cost LB: 73212 ... c Min unsat cost LB: 73213 ... c Min unsat cost LB: 73214 ... c Min unsat cost LB: 73215 ... c Min unsat cost LB: 73218 ... c Min unsat cost LB: 73219 ... c Min unsat cost LB: 73220 ... c Min unsat cost LB: 73224 ... c Min unsat cost LB: 73226 ... c Min unsat cost LB: 73227 ... c Min unsat cost LB: 73228 ... c Min unsat cost LB: 73232 ... c Min unsat cost LB: 73233 ... c Min unsat cost LB: 73236 ... c Min unsat cost LB: 73237 ... c Min unsat cost LB: 73238 ... c Min unsat cost LB: 73239 ... c Min unsat cost LB: 73240 ... c Min unsat cost LB: 73241 ... c Min unsat cost LB: 73242 ... c Min unsat cost LB: 73243 ... c Min unsat cost LB: 73244 ... c Min unsat cost LB: 73245 ... c Min unsat cost LB: 73272 ... c Min unsat cost LB: 73273 ... c Min unsat cost LB: 73274 ... c Min unsat cost LB: 73275 ... c Min unsat cost LB: 73276 ... c Min unsat cost LB: 73277 ... c Min unsat cost LB: 73278 ... c Min unsat cost LB: 73279 ... c Min unsat cost LB: 73280 ... c Min unsat cost LB: 73281 ... c Min unsat cost LB: 73282 ... c Min unsat cost LB: 73305 ... c Min unsat cost LB: 73306 ... c Min unsat cost LB: 73307 ... c Min unsat cost LB: 73308 ... c Min unsat cost LB: 73309 ... c Min unsat cost LB: 73310 ... c Min unsat cost LB: 73311 ... c Min unsat cost LB: 73312 ... c Min unsat cost LB: 73313 ... c Min unsat cost LB: 73314 ... c Min unsat cost LB: 73317 ... c Min unsat cost LB: 73323 ... c Min unsat cost LB: 73324 ... c Min unsat cost LB: 73326 ... c Min unsat cost LB: 73327 ... c Min unsat cost LB: 73328 ... c Min unsat cost LB: 73329 ... c Min unsat cost LB: 73331 ... c Min unsat cost LB: 73333 ... c Min unsat cost LB: 73334 ... c Min unsat cost LB: 73335 ... c Min unsat cost LB: 73337 ... c Min unsat cost LB: 73338 ... c Min unsat cost LB: 73339 ... c Min unsat cost LB: 73340 ... c Min unsat cost LB: 73341 ... c Min unsat cost LB: 73343 ... c Min unsat cost LB: 73344 ... c Min unsat cost LB: 73345 ... c Min unsat cost LB: 73349 ... c Min unsat cost LB: 73350 ... c Min unsat cost LB: 73351 ... c Min unsat cost LB: 73352 ... c Min unsat cost LB: 73371 ... c Min unsat cost LB: 73373 ... c Min unsat cost LB: 73377 ... c Min unsat cost LB: 73381 ... c Min unsat cost LB: 73382 ... c Min unsat cost LB: 73383 ... c Min unsat cost LB: 73384 ... c Min unsat cost LB: 73385 ... c Min unsat cost LB: 73386 ... c Min unsat cost LB: 73387 ... c Min unsat cost LB: 73388 ... c Min unsat cost LB: 73389 ... c Min unsat cost LB: 73392 ... c Min unsat cost LB: 73393 ... c Min unsat cost LB: 73394 ... c Min unsat cost LB: 73395 ... c Min unsat cost LB: 73396 ... c Min unsat cost LB: 73399 ... c Min unsat cost LB: 73400 ... c Min unsat cost LB: 73401 ... c Min unsat cost LB: 73402 ... c Min unsat cost LB: 73404 ... c Min unsat cost LB: 73410 ... c Min unsat cost LB: 73413 ... c Min unsat cost LB: 73421 ... c Min unsat cost LB: 73423 ... c Min unsat cost LB: 73424 ... c Min unsat cost LB: 73425 ... c Min unsat cost LB: 73428 ... c Min unsat cost LB: 73430 ... c Min unsat cost LB: 73431 ... c Min unsat cost LB: 73432 ... c Min unsat cost LB: 73436 ... c Min unsat cost LB: 73450 ... c Min unsat cost LB: 73451 ... c Min unsat cost LB: 73452 ... c Min unsat cost LB: 73453 ... c Min unsat cost LB: 73454 ... c Min unsat cost LB: 73457 ... c Min unsat cost LB: 73458 ... c Min unsat cost LB: 73459 ... c Min unsat cost LB: 73479 ... c Min unsat cost LB: 73482 ... c Min unsat cost LB: 73483 ... c Min unsat cost LB: 73515 ... c Min unsat cost LB: 73520 ... c Min unsat cost LB: 73521 ... c Min unsat cost LB: 73522 ... c Min unsat cost LB: 73523 ... c Min unsat cost LB: 73524 ... c Min unsat cost LB: 73532 ... c Min unsat cost LB: 73535 ... c Min unsat cost LB: 73536 ... c Min unsat cost LB: 73541 ... c Min unsat cost LB: 73543 ... c Min unsat cost LB: 73545 ... c Min unsat cost LB: 73546 ... c Min unsat cost LB: 73547 ... c Min unsat cost LB: 73548 ... c Min unsat cost LB: 73549 ... c Min unsat cost LB: 73551 ... c Min unsat cost LB: 73554 ... c Min unsat cost LB: 73563 ... c Min unsat cost LB: 73565 ... c Min unsat cost LB: 73566 ... c Min unsat cost LB: 73568 ... c Min unsat cost LB: 73569 ... c Min unsat cost LB: 73570 ... c Min unsat cost LB: 73571 ... c Min unsat cost LB: 73572 ... c Min unsat cost LB: 73573 ... c Min unsat cost LB: 73574 ... c Min unsat cost LB: 73575 ... c Min unsat cost LB: 73576 ... c Min unsat cost LB: 73577 ... c Min unsat cost LB: 73578 ... c Min unsat cost LB: 73579 ... c Min unsat cost LB: 73580 ... c Min unsat cost LB: 73584 ... c Min unsat cost LB: 73585 ... c Min unsat cost LB: 73586 ... c Min unsat cost LB: 73587 ... c Min unsat cost LB: 73588 ... c Min unsat cost LB: 73589 ... c Min unsat cost LB: 73590 ... c Min unsat cost LB: 73591 ... c Min unsat cost LB: 73592 ... c Min unsat cost LB: 73593 ... c Min unsat cost LB: 73595 ... c Min unsat cost LB: 73596 ... c Min unsat cost LB: 73597 ... c Min unsat cost LB: 73598 ... c Min unsat cost LB: 73599 ... c Min unsat cost LB: 73600 ... c Min unsat cost LB: 73601 ... c Min unsat cost LB: 73602 ... c Min unsat cost LB: 73603 ... c Min unsat cost LB: 73604 ... c Min unsat cost LB: 73605 ... c Min unsat cost LB: 73606 ... c Min unsat cost LB: 73607 ... c Min unsat cost LB: 73609 ... c Min unsat cost LB: 73612 ... c Min unsat cost LB: 73618 ... c Min unsat cost LB: 73619 ... c Min unsat cost LB: 73620 ... c Min unsat cost LB: 73621 ... c Min unsat cost LB: 73622 ... c Min unsat cost LB: 73623 ... c Min unsat cost LB: 73624 ... c Min unsat cost LB: 73625 ... c Min unsat cost LB: 73629 ... c Min unsat cost LB: 73630 ... c Min unsat cost LB: 73631 ... c Min unsat cost LB: 73632 ... c Min unsat cost LB: 73633 ... c Min unsat cost LB: 73635 ... c Min unsat cost LB: 73638 ... c Min unsat cost LB: 73639 ... c Min unsat cost LB: 73640 ... c Min unsat cost LB: 73642 ... c Min unsat cost LB: 73645 ... c Min unsat cost LB: 73646 ... c Min unsat cost LB: 73647 ... c Min unsat cost LB: 73649 ... c Min unsat cost LB: 73658 ... c Min unsat cost LB: 73672 ... c Min unsat cost LB: 73673 ... c Min unsat cost LB: 73674 ... c Min unsat cost LB: 73675 ... c Min unsat cost LB: 73676 ... c Min unsat cost LB: 73677 ... c Min unsat cost LB: 73678 ... c Min unsat cost LB: 73679 ... c Min unsat cost LB: 73680 ... c Min unsat cost LB: 73681 ... c Min unsat cost LB: 73682 ... c Min unsat cost LB: 73683 ... c Min unsat cost LB: 73684 ... c Min unsat cost LB: 73685 ... c Min unsat cost LB: 73715 ... c Min unsat cost LB: 73716 ... c Min unsat cost LB: 73717 ... c Min unsat cost LB: 73718 ... c Min unsat cost LB: 73719 ... c Min unsat cost LB: 73720 ... c Min unsat cost LB: 73723 ... c Min unsat cost LB: 73724 ... c Min unsat cost LB: 73725 ... c Min unsat cost LB: 73726 ... c Min unsat cost LB: 73727 ... c Min unsat cost LB: 73728 ... c Min unsat cost LB: 73729 ... c Min unsat cost LB: 73730 ... c Min unsat cost LB: 73731 ... c Min unsat cost LB: 73732 ... c Min unsat cost LB: 73734 ... c Min unsat cost LB: 73740 ... c Min unsat cost LB: 73742 ... c Min unsat cost LB: 73755 ... c Min unsat cost LB: 73756 ... c Min unsat cost LB: 73757 ... c Min unsat cost LB: 73758 ... c Min unsat cost LB: 73759 ... c Min unsat cost LB: 73761 ... c Min unsat cost LB: 73762 ... c Min unsat cost LB: 73763 ... c Min unsat cost LB: 73764 ... c Min unsat cost LB: 73765 ... c Min unsat cost LB: 73766 ... c Min unsat cost LB: 73767 ... c Min unsat cost LB: 73771 ... c Min unsat cost LB: 73772 ... c Min unsat cost LB: 73773 ... c Min unsat cost LB: 73774 ... c Min unsat cost LB: 73775 ... c Min unsat cost LB: 73777 ... c Min unsat cost LB: 73778 ... c Min unsat cost LB: 73779 ... c Min unsat cost LB: 73783 ... c Min unsat cost LB: 73784 ... c Min unsat cost LB: 73792 ... c Min unsat cost LB: 73793 ... c Min unsat cost LB: 73794 ... c Min unsat cost LB: 73795 ... c Min unsat cost LB: 73796 ... c Min unsat cost LB: 73797 ... c Min unsat cost LB: 73798 ... c Min unsat cost LB: 73799 ... c Min unsat cost LB: 73800 ... c Min unsat cost LB: 73801 ... c Min unsat cost LB: 73802 ... c Min unsat cost LB: 73803 ... c Min unsat cost LB: 73804 ... c Min unsat cost LB: 73805 ... c Min unsat cost LB: 73806 ... c Min unsat cost LB: 73814 ... c Min unsat cost LB: 73815 ... c Min unsat cost LB: 73816 ... c Min unsat cost LB: 73817 ... c Min unsat cost LB: 73818 ... c Min unsat cost LB: 73819 ... c Min unsat cost LB: 73820 ... c Min unsat cost LB: 73821 ... c Min unsat cost LB: 73824 ... c Min unsat cost LB: 73826 ... c Min unsat cost LB: 73827 ... c Min unsat cost LKilled 1814.738u 4.999s 30:23.37 99.7% 0+0k 0+0io 0pf+0w