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_140_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0000.txt.wcnf *** c c Min unsat cost LB: 522 ... c Min unsat cost LB: 1418 ... c Min unsat cost LB: 1751 ... c Min unsat cost LB: 3037 ... c Min unsat cost LB: 4001 ... c Min unsat cost LB: 4965 ... c Min unsat cost LB: 5815 ... c Min unsat cost LB: 6308 ... c Min unsat cost LB: 7163 ... c Min unsat cost LB: 7220 ... c Min unsat cost LB: 8506 ... c Min unsat cost LB: 9399 ... c Min unsat cost LB: 9872 ... c Min unsat cost LB: 10922 ... c Min unsat cost LB: 11322 ... c Min unsat cost LB: 11966 ... c Min unsat cost LB: 11981 ... c Min unsat cost LB: 12038 ... c Min unsat cost LB: 12368 ... c Min unsat cost LB: 12439 ... c Min unsat cost LB: 12775 ... c Min unsat cost LB: 13112 ... c Min unsat cost LB: 13589 ... c Min unsat cost LB: 14366 ... c Min unsat cost LB: 14953 ... c Min unsat cost LB: 15410 ... c Min unsat cost LB: 15659 ... c Min unsat cost LB: 16454 ... c Min unsat cost LB: 17007 ... c Min unsat cost LB: 17206 ... c Min unsat cost LB: 18156 ... c Min unsat cost LB: 18371 ... c Min unsat cost LB: 18958 ... c Min unsat cost LB: 19499 ... c Min unsat cost LB: 19701 ... c Min unsat cost LB: 20873 ... c Min unsat cost LB: 21369 ... c Min unsat cost LB: 21699 ... c Min unsat cost LB: 21762 ... c Min unsat cost LB: 21907 ... c Min unsat cost LB: 22114 ... c Min unsat cost LB: 22538 ... c Min unsat cost LB: 23080 ... c Min unsat cost LB: 23824 ... c Min unsat cost LB: 24408 ... c Min unsat cost LB: 24752 ... c Min unsat cost LB: 25213 ... c Min unsat cost LB: 25623 ... c Min unsat cost LB: 25869 ... c Min unsat cost LB: 26274 ... c Min unsat cost LB: 26448 ... c Min unsat cost LB: 26758 ... c Min unsat cost LB: 27451 ... c Min unsat cost LB: 27802 ... c Min unsat cost LB: 28554 ... c Min unsat cost LB: 28948 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29510 ... c Min unsat cost LB: 30054 ... c Min unsat cost LB: 30351 ... c Min unsat cost LB: 31244 ... c Min unsat cost LB: 32114 ... c Min unsat cost LB: 32566 ... c Min unsat cost LB: 32787 ... c Min unsat cost LB: 33009 ... c Min unsat cost LB: 33161 ... c Min unsat cost LB: 33408 ... c Min unsat cost LB: 34492 ... c Min unsat cost LB: 34611 ... c Min unsat cost LB: 35525 ... c Min unsat cost LB: 36185 ... c Min unsat cost LB: 36529 ... c Min unsat cost LB: 36600 ... c Min unsat cost LB: 36628 ... c Min unsat cost LB: 37475 ... c Min unsat cost LB: 37689 ... c Min unsat cost LB: 38026 ... c Min unsat cost LB: 38992 ... c Min unsat cost LB: 39833 ... c Min unsat cost LB: 40143 ... c Min unsat cost LB: 40532 ... c Min unsat cost LB: 41029 ... c Min unsat cost LB: 41266 ... c Min unsat cost LB: 41756 ... c Min unsat cost LB: 42113 ... c Min unsat cost LB: 42564 ... c Min unsat cost LB: 43405 ... c Min unsat cost LB: 44033 ... c Min unsat cost LB: 44370 ... c Min unsat cost LB: 45360 ... c Min unsat cost LB: 46012 ... c Min unsat cost LB: 46696 ... c Min unsat cost LB: 46910 ... c Min unsat cost LB: 47327 ... c Min unsat cost LB: 47350 ... c Min unsat cost LB: 47654 ... c Min unsat cost LB: 47766 ... c Min unsat cost LB: 49002 ... c Min unsat cost LB: 49217 ... c Min unsat cost LB: 49604 ... c Min unsat cost LB: 49869 ... c Min unsat cost LB: 49998 ... c Min unsat cost LB: 50872 ... c Min unsat cost LB: 50921 ... c Min unsat cost LB: 51911 ... c Min unsat cost LB: 52377 ... c Min unsat cost LB: 52563 ... c Min unsat cost LB: 53247 ... c Min unsat cost LB: 53875 ... c Min unsat cost LB: 54211 ... c Min unsat cost LB: 54324 ... c Min unsat cost LB: 54453 ... c Min unsat cost LB: 54583 ... c Min unsat cost LB: 55447 ... c Min unsat cost LB: 55497 ... c Min unsat cost LB: 55567 ... c Min unsat cost LB: 55656 ... c Min unsat cost LB: 55711 ... c Min unsat cost LB: 55732 ... c Min unsat cost LB: 55812 ... c Min unsat cost LB: 55941 ... c Min unsat cost LB: 56341 ... c Min unsat cost LB: 56625 ... c Min unsat cost LB: 57102 ... c Min unsat cost LB: 57110 ... c Min unsat cost LB: 57190 ... c Min unsat cost LB: 57319 ... c Min unsat cost LB: 57721 ... c Min unsat cost LB: 57797 ... c Min unsat cost LB: 58044 ... c Min unsat cost LB: 58148 ... c Min unsat cost LB: 58800 ... c Min unsat cost LB: 59245 ... c Min unsat cost LB: 59273 ... c Min unsat cost LB: 59416 ... c Min unsat cost LB: 59590 ... c Min unsat cost LB: 59593 ... c Min unsat cost LB: 59654 ... c Min unsat cost LB: 59677 ... c Min unsat cost LB: 60082 ... c Min unsat cost LB: 60103 ... c Min unsat cost LB: 60205 ... c Min unsat cost LB: 60255 ... c Min unsat cost LB: 60463 ... c Min unsat cost LB: 60483 ... c Min unsat cost LB: 60542 ... c Min unsat cost LB: 60602 ... c Min unsat cost LB: 60816 ... c Min unsat cost LB: 60949 ... c Min unsat cost LB: 61203 ... c Min unsat cost LB: 61315 ... c Min unsat cost LB: 61440 ... c Min unsat cost LB: 61497 ... c Min unsat cost LB: 61790 ... c Min unsat cost LB: 61875 ... c Min unsat cost LB: 62127 ... c Min unsat cost LB: 62624 ... c Min unsat cost LB: 62719 ... c Min unsat cost LB: 62744 ... c Min unsat cost LB: 62928 ... c Min unsat cost LB: 62940 ... c Min unsat cost LB: 63008 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63113 ... c Min unsat cost LB: 63163 ... c Min unsat cost LB: 63170 ... c Min unsat cost LB: 63574 ... c Min unsat cost LB: 63599 ... c Min unsat cost LB: 63685 ... c Min unsat cost LB: 63744 ... c Min unsat cost LB: 63946 ... c Min unsat cost LB: 63984 ... c Min unsat cost LB: 63995 ... c Min unsat cost LB: 64052 ... c Min unsat cost LB: 64147 ... c Min unsat cost LB: 64158 ... c Min unsat cost LB: 64207 ... c Min unsat cost LB: 64269 ... c Min unsat cost LB: 64380 ... c Min unsat cost LB: 64386 ... c Min unsat cost LB: 64476 ... c Min unsat cost LB: 64555 ... c Min unsat cost LB: 64569 ... c Min unsat cost LB: 64599 ... c Min unsat cost LB: 64618 ... c Min unsat cost LB: 64622 ... c Min unsat cost LB: 64627 ... c Min unsat cost LB: 64635 ... c Min unsat cost LB: 64825 ... c Min unsat cost LB: 65099 ... c Min unsat cost LB: 65115 ... c Min unsat cost LB: 65186 ... c Min unsat cost LB: 65270 ... c Min unsat cost LB: 65309 ... c Min unsat cost LB: 65312 ... c Min unsat cost LB: 65481 ... c Min unsat cost LB: 65544 ... c Min unsat cost LB: 65680 ... c Min unsat cost LB: 65770 ... c Min unsat cost LB: 65905 ... c Min unsat cost LB: 66071 ... c Min unsat cost LB: 66092 ... c Min unsat cost LB: 66216 ... c Min unsat cost LB: 66266 ... c Min unsat cost LB: 66374 ... c Min unsat cost LB: 66381 ... c Min unsat cost LB: 66423 ... c Min unsat cost LB: 66454 ... c Min unsat cost LB: 66679 ... c Min unsat cost LB: 66760 ... c Min unsat cost LB: 66837 ... c Min unsat cost LB: 66898 ... c Min unsat cost LB: 66947 ... c Min unsat cost LB: 67144 ... c Min unsat cost LB: 67177 ... c Min unsat cost LB: 67283 ... c Min unsat cost LB: 67305 ... c Min unsat cost LB: 67332 ... c Min unsat cost LB: 67346 ... c Min unsat cost LB: 67364 ... c Min unsat cost LB: 67595 ... c Min unsat cost LB: 67693 ... c Min unsat cost LB: 67747 ... c Min unsat cost LB: 67825 ... c Min unsat cost LB: 67900 ... c Min unsat cost LB: 67932 ... c Min unsat cost LB: 67951 ... c Min unsat cost LB: 68141 ... c Min unsat cost LB: 68204 ... c Min unsat cost LB: 68294 ... c Min unsat cost LB: 68314 ... c Min unsat cost LB: 68329 ... c Min unsat cost LB: 68346 ... c Min unsat cost LB: 68417 ... c Min unsat cost LB: 68494 ... c Min unsat cost LB: 68784 ... c Min unsat cost LB: 69001 ... c Min unsat cost LB: 69062 ... c Min unsat cost LB: 69119 ... c Min unsat cost LB: 69250 ... c Min unsat cost LB: 69257 ... c Min unsat cost LB: 69294 ... c Min unsat cost LB: 69346 ... c Min unsat cost LB: 69374 ... c Min unsat cost LB: 69404 ... c Min unsat cost LB: 69492 ... c Min unsat cost LB: 69603 ... c Min unsat cost LB: 69670 ... c Min unsat cost LB: 69772 ... c Min unsat cost LB: 69867 ... c Min unsat cost LB: 69955 ... c Min unsat cost LB: 70074 ... c Min unsat cost LB: 70236 ... c Min unsat cost LB: 70312 ... c Min unsat cost LB: 70638 ... c Min unsat cost LB: 70658 ... c Min unsat cost LB: 70722 ... c Min unsat cost LB: 70725 ... c Min unsat cost LB: 70780 ... c Min unsat cost LB: 70801 ... c Min unsat cost LB: 70869 ... c Min unsat cost LB: 70881 ... c Min unsat cost LB: 70935 ... c Min unsat cost LB: 71043 ... c Min unsat cost LB: 71205 ... c Min unsat cost LB: 71275 ... c Min unsat cost LB: 71381 ... c Min unsat cost LB: 71457 ... c Min unsat cost LB: 71460 ... c Min unsat cost LB: 71631 ... c Min unsat cost LB: 71702 ... c Min unsat cost LB: 71714 ... c Min unsat cost LB: 71817 ... c Min unsat cost LB: 71874 ... c Min unsat cost LB: 71889 ... c Min unsat cost LB: 71921 ... c Min unsat cost LB: 71932 ... c Min unsat cost LB: 71936 ... c Min unsat cost LB: 71939 ... c Min unsat cost LB: 71967 ... c Min unsat cost LB: 72047 ... c Min unsat cost LB: 72052 ... c Min unsat cost LB: 72078 ... c Min unsat cost LB: 72147 ... c Min unsat cost LB: 72172 ... c Min unsat cost LB: 72183 ... c Min unsat cost LB: 72202 ... c Min unsat cost LB: 72223 ... c Min unsat cost LB: 72235 ... c Min unsat cost LB: 72252 ... c Min unsat cost LB: 72273 ... c Min unsat cost LB: 72278 ... c Min unsat cost LB: 72281 ... c Min unsat cost LB: 72286 ... c Min unsat cost LB: 72296 ... c Min unsat cost LB: 72349 ... c Min unsat cost LB: 72368 ... c Min unsat cost LB: 72376 ... c Min unsat cost LB: 72385 ... c Min unsat cost LB: 72397 ... c Min unsat cost LB: 72411 ... c Min unsat cost LB: 72422 ... c Min unsat cost LB: 72481 ... c Min unsat cost LB: 72482 ... c Min unsat cost LB: 72486 ... c Min unsat cost LB: 72493 ... c Min unsat cost LB: 72495 ... c Min unsat cost LB: 72498 ... c Min unsat cost LB: 72501 ... c Min unsat cost LB: 72504 ... c Min unsat cost LB: 72509 ... c Min unsat cost LB: 72524 ... c Min unsat cost LB: 72528 ... c Min unsat cost LB: 72536 ... c Min unsat cost LB: 72586 ... c Min unsat cost LB: 72588 ... c Min unsat cost LB: 72591 ... c Min unsat cost LB: 72592 ... c Min unsat cost LB: 72610 ... c Min unsat cost LB: 72655 ... c Min unsat cost LB: 72666 ... c Min unsat cost LB: 72669 ... c Min unsat cost LB: 72685 ... c Min unsat cost LB: 72696 ... c Min unsat cost LB: 72714 ... c Min unsat cost LB: 72721 ... c Min unsat cost LB: 72724 ... c Min unsat cost LB: 72732 ... c Min unsat cost LB: 72733 ... c Min unsat cost LB: 72736 ... c Min unsat cost LB: 72752 ... c Min unsat cost LB: 72756 ... c Min unsat cost LB: 72769 ... c Min unsat cost LB: 72772 ... c Min unsat cost LB: 72779 ... c Min unsat cost LB: 72780 ... c Min unsat cost LB: 72791 ... c Min unsat cost LB: 72794 ... c Min unsat cost LB: 72833 ... c Min unsat cost LB: 72883 ... c Min unsat cost LB: 72890 ... c Min unsat cost LB: 72899 ... c Min unsat cost LB: 72905 ... c Min unsat cost LB: 72937 ... c Min unsat cost LB: 72951 ... c Min unsat cost LB: 72953 ... c Min unsat cost LB: 72978 ... c Min unsat cost LB: 72980 ... c Min unsat cost LB: 72991 ... c Min unsat cost LB: 73033 ... c Min unsat cost LB: 73037 ... c Min unsat cost LB: 73039 ... c Min unsat cost LB: 73047 ... c Min unsat cost LB: 73053 ... c Min unsat cost LB: 73066 ... c Min unsat cost LB: 73124 ... c Min unsat cost LB: 73127 ... c Min unsat cost LB: 73132 ... c Min unsat cost LB: 73133 ... c Min unsat cost LB: 73134 ... c Min unsat cost LB: 73138 ... c Min unsat cost LB: 73143 ... c Min unsat cost LB: 73146 ... c Min unsat cost LB: 73147 ... c Min unsat cost LB: 73148 ... c Min unsat cost LB: 73149 ... c Min unsat cost LB: 73153 ... c Min unsat cost LB: 73156 ... c Min unsat cost LB: 73161 ... c Min unsat cost LB: 73163 ... c Min unsat cost LB: 73167 ... c Min unsat cost LB: 73168 ... c Min unsat cost LB: 73170 ... c Min unsat cost LB: 73171 ... c Min unsat cost LB: 73173 ... c Min unsat cost LB: 73185 ... c Min unsat cost LB: 73194 ... c Min unsat cost LB: 73273 ... c Min unsat cost LB: 73278 ... c Min unsat cost LB: 73289 ... c Min unsat cost LB: 73291 ... c Min unsat cost LB: 73298 ... c Min unsat cost LB: 73314 ... c Min unsat cost LB: 73315 ... c Min unsat cost LB: 73316 ... c Min unsat cost LB: 73318 ... c Min unsat cost LB: 73319 ... c Min unsat cost LB: 73324 ... c Min unsat cost LB: 73328 ... c Min unsat cost LB: 73331 ... c Min unsat cost LB: 73332 ... c Min unsat cost LB: 73336 ... c Min unsat cost LB: 73338 ... c Min unsat cost LB: 73342 ... c Min unsat cost LB: 73347 ... c Min unsat cost LB: 73349 ... c Min unsat cost LB: 73379 ... c Min unsat cost LB: 73391 ... c Min unsat cost LB: 73404 ... c Min unsat cost LB: 73405 ... c Min unsat cost LB: 73406 ... c Min unsat cost LB: 73411 ... c Min unsat cost LB: 73413 ... c Min unsat cost LB: 73414 ... c Min unsat cost LB: 73416 ... c Min unsat cost LB: 73417 ... c Min unsat cost LB: 73418 ... c Min unsat cost LB: 73419 ... c Min unsat cost LB: 73422 ... c Min unsat cost LB: 73424 ... c Min unsat cost LB: 73425 ... c Min unsat cost LB: 73431 ... c Min unsat cost LB: 73442 ... c Min unsat cost LB: 73443 ... c Min unsat cost LB: 73444 ... c Min unsat cost LB: 73449 ... c Min unsat cost LB: 73450 ... c Min unsat cost LB: 73473 ... c Min unsat cost LB: 73475 ... c Min unsat cost LB: 73507 ... c Min unsat cost LB: 73512 ... c Min unsat cost LB: 73514 ... c Min unsat cost LB: 73542 ... c Min unsat cost LB: 73552 ... c Min unsat cost LB: 73554 ... c Min unsat cost LB: 73557 ... c Min unsat cost LB: 73560 ... c Min unsat cost LB: 73562 ... c Min unsat cost LB: 73567 ... c Min unsat cost LB: 73569 ... c Min unsat cost LB: 73573 ... c Min unsat cost LB: 73574 ... c Min unsat cost LB: 73575 ... c Min unsat cost LB: 73580 ... c Min unsat cost LB: 73582 ... 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: 73604 ... c Min unsat cost LB: 73605 ... c Min unsat cost LB: 73606 ... c Min unsat cost LB: 73607 ... c Min unsat cost LB: 73608 ... c Min unsat cost LB: 73609 ... c Min unsat cost LB: 73610 ... c Min unsat cost LB: 73611 ... c Min unsat cost LB: 73612 ... c Min unsat cost LB: 73614 ... c Min unsat cost LB: 73615 ... c Min unsat cost LB: 73622 ... c Min unsat cost LB: 73623 ... c Min unsat cost LB: 73775 ... c Min unsat cost LB: 73780 ... c Min unsat cost LB: 73781 ... c Min unsat cost LB: 73783 ... c Min unsat cost LB: 73786 ... c Min unsat cost LB: 73787 ... c Min unsat cost LB: 73788 ... c Min unsat cost LB: 73790 ... c Min unsat cost LB: 73816 ... c Min unsat cost LB: 73817 ... c Min unsat cost LB: 73819 ... c Min unsat cost LB: 73820 ... c Min unsat cost LB: 73821 ... c Min unsat cost LB: 73822 ... c Min unsat cost LB: 73823 ... c Min unsat cost LB: 73824 ... c Min unsat cost LB: 73827 ... c Min unsat cost LB: 73828 ... c Min unsat cost LB: 73830 ... c Min unsat cost LB: 73831 ... c Min unsat cost LB: 73832 ... c Min unsat cost LB: 73833 ... c Min unsat cost LB: 73834 ... c Min unsat cost LB: 73835 ... c Min unsat cost LB: 73836 ... c Min unsat cost LB: 73837 ... c Min unsat cost LB: 73838 ... c Min unsat cost LB: 73839 ... c Min unsat cost LB: 73840 ... c Min unsat cost LB: 73841 ... c Min unsat cost LB: 73842 ... c Min unsat cost LB: 73843 ... c Min unsat cost LB: 73844 ... c Min unsat cost LB: 73845 ... c Min unsat cost LB: 73846 ... c Min unsat cost LB: 73847 ... c Min unsat cost LB: 73848 ... c Min unsat cost LB: 73849 ... c Min unsat cost LB: 73850 ... c Min unsat cost LB: 73851 ... c Min unsat cost LB: 73852 ... c Min unsat cost LB: 73853 ... c Min unsat cost LB: 73854 ... c Min unsat cost LB: 73870 ... c Min unsat cost LB: 73949 ... c Min unsat cost LB: 73950 ... c Min unsat cost LB: 73951 ... c Min unsat cost LB: 73952 ... c Min unsat cost LB: 73953 ... c Min unsat cost LB: 73954 ... c Min unsat cost LB: 73957 ... c Min unsat cost LB: 73958 ... c Min unsat cost LB: 73959 ... c Min unsat cost LB: 73960 ... c Min unsat cost LB: 73962 ... c Min unsat cost LB: 73964 ... c Min unsat cost LB: 73967 ... c Min unsat cost LB: 73968 ... c Min unsat cost LB: 73976 ... c Min unsat cost LB: 73982 ... c Min unsat cost LB: 73991 ... c Min unsat cost LB: 73992 ... c Min unsat cost LB: 73993 ... c Min unsat cost LB: 73994 ... c Min unsat cost LB: 73995 ... c Min unsat cost LB: 73996 ... c Min unsat cost LB: 73997 ... c Min unsat cost LB: 73998 ... c Min unsat cost LB: 73999 ... c Min unsat cost LB: 74000 ... c Min unsat cost LB: 74001 ... c Min unsat cost LB: 74009 ... c Min unsat cost LB: 74011 ... c Min unsat cost LB: 74015 ... c Min unsat cost LB: 74023 ... c Min unsat cost LB: 74034 ... c Min unsat cost LB: 74059 ... c Min unsat cost LB: 74060 ... c Min unsat cost LB: 74062 ... c Min unsat cost LB: 74063 ... c Min unsat cost LB: 74097 ... c Min unsat cost LB: 74103 ... c Min unsat cost LB: 74108 ... c Min unsat cost LB: 74109 ... c Min unsat cost LB: 74116 ... c Min unsat cost LB: 74132 ... c Min unsat cost LB: 74150 ... c Min unsat cost LB: 74153 ... c Min unsat cost LB: 74154 ... c Min unsat cost LB: 74180 ... c Min unsat cost LB: 74202 ... c Min unsat cost LB: 74219 ... c Min unsat cost LB: 74229 ... c Min unsat cost LB: 74232 ... c Min unsat cost LB: 74394 ... c Min unsat cost LB: 74410 ... c Min unsat cost LB: 74411 ... c Min unsat cost LB: 74413 ... c Min unsat cost LB: 74414 ... c Min unsat cost LB: 74416 ... c Min unsat cost LB: 74417 ... c Min unsat cost LB: 74418 ... c Min unsat cost LB: 74419 ... c Min unsat cost LB: 74421 ... c Min unsat cost LB: 74424 ... c Min unsat cost LB: 74427 ... c Min unsat cost LB: 74428 ... c Min unsat cost LB: 74429 ... c Min unsat cost LB: 74435 ... c Min unsat cost LB: 74442 ... c Min unsat cost LB: 74458 ... c Min unsat cost LB: 74463 ... c Min unsat cost LB: 74475 ... c Min unsat cost LB: 74476 ... c Min unsat cost LB: 74480 ... c Min unsat cost LB: 74481 ... c Min unsat cost LB: 74482 ... c Min unsat cost LB: 74485 ... c Min unsat cost LB: 74486 ... c Min unsat cost LB: 74488 ... c Min unsat cost LB: 74491 ... c Min unsat cost LB: 74495 ... c Min unsat cost LB: 74497 ... c Min unsat cost LB: 74498 ... c Min unsat cost LB: 74499 ... c Min unsat cost LB: 74500 ... c Min unsat cost LB: 74501 ... c Min unsat cost LB: 74502 ... c Min unsat cost LB: 74505 ... c Min unsat cost LB: 74506 ... c Min unsat cost LB: 74507 ... c Min unsat cost LB: 74509 ... c Min unsat cost LB: 74510 ... c Min unsat cost LB: 74539 ... c Min unsat cost LB: 74540 ... c Min unsat cost LB: 74541 ... c Min unsat cost LB: 74543 ... c Min unsat cost LB: 74544 ... c Min unsat cost LB: 74555 ... c Min unsat cost LB: 74557 ... c Min unsat cost LB: 74561 ... c Min unsat cost LB: 74562 ... c Min unsat cost LB: 74563 ... c Min unsat cost LB: 74564 ... c Min unsat cost LB: 74565 ... c Min unsat cost LB: 74566 ... c Min unsat cost LB: 74567 ... c Min unsat cost LB: 74568 ... c Min unsat cost LB: 74569 ... c Min unsat cost LB: 74570 ... c Min unsat cost LB: 74571 ... c Min unsat cost LB: 74577 ... c Min unsat cost LB: 74593 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74609 ... c Min unsat cost LB: 74610 ... c Min unsat cost LB: 74611 ... c Min unsat cost LB: 74612 ... c Min unsat cost LB: 74614 ... c Min unsat cost LB: 74615 ... c Min unsat cost LB: 74618 ... c Min unsat cost LB: 74620 ... c Min unsat cost LB: 74621 ... c Min unsat cost LB: 74622 ... c Min unsat cost LB: 74623 ... c Min unsat cost LB: 74624 ... c Min unsat cost LB: 74625 ... c Min unsat cost LB: 74626 ... c Min unsat cost LB: 74627 ... c Min unsat cost LB: 74630 ... c Min unsat cost LB: 74631 ... c Min unsat cost LB: 74632 ... c Min unsat cost LB: 74634 ... c Min unsat cost LB: 74635 ... c Min unsat cost LB: 74636 ... c Min unsat cost LB: 74637 ... c Min unsat cost LB: 74638 ... c Min unsat cost LB: 74652 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74754 ... c Min unsat cost LB: 74776 ... c Min unsat cost LB: 74777 ... c Min unsat cost LB: 74778 ... c Min unsat cost LB: 74779 ... c Min unsat cost LB: 74781 ... c Min unsat cost LB: 74782 ... c Min unsat cost LB: 74783 ... c Min unsat cost LB: 74785 ... c Min unsat cost LB: 74786 ... c Min unsat cost LB: 74787 ... c Min unsat cost LB: 74791 ... c Min unsat cost LB: 74794 ... c Min unsat cost LB: 74797 ... c Min unsat cost LB: 74808 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74863 ... c Min unsat cost LB: 74868 ... c Min unsat cost LB: 74872 ... c Min unsat cost LB: 74873 ... c Min unsat cost LB: 74874 ... c Min unsat cost LB: 74890 ... c Min unsat cost LB: 74893 ... c Min unsat cost LB: 74899 ... c Min unsat cost LB: 74911 ... c Min unsat cost LB: 74915 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74924 ... c Min unsat cost LB: 74926 ... c Min unsat cost LB: 74928 ... c Min unsat cost LB: 74929 ... c Min unsat cost LB: 74932 ... c Min unsat cost LB: 74933 ... c Min unsat cost LB: 74934 ... c Min unsat cost LB: 74935 ... c Min unsat cost LB: 74938 ... c Min unsat cost LB: 74949 ... c Min unsat cost LB: 74956 ... c Min unsat cost LB: 74962 ... c Min unsat cost LB: 74964 ... c Min unsat cost LB: 74973 ... c Min unsat cost LB: 74975 ... c Min unsat cost LB: 74976 ... c Min unsat cost LB: 74981 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74983 ... c Min unsat cost LB: 74984 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 74986 ... c Min unsat cost LB: 74987 ... c Min unsat cost LB: 74989 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 74999 ... c Min unsat cost LB: 75004 ... c Min unsat cost LB: 75006 ... c Min unsat cost LB: 75007 ... c Min unsat cost LB: 75008 ... c Min unsat cost LB: 75010 ... c Min unsat cost LB: 75011 ... c Min unsat cost LB: 75012 ... c Min unsat cost LB: 75013 ... c Min unsat cost LB: 75014 ... c Min unsat cost LB: 75019 ... c Min unsat cost LB: 75038 ... c Min unsat cost LB: 75041 ... c Min unsat cost LB: 75046 ... c Min unsat cost LB: 75048 ... c Min unsat cost LB: 75049 ... c Min unsat cost LB: 75050 ... c Min unsat cost LB: 75055 ... c Min unsat cost LB: 75059 ... c Min unsat cost LB: 75061 ... c Min unsat cost LB: 75099 ... c Min unsat cost LB: 75104 ... c Min unsat cost LB: 75105 ... c Min unsat cost LB: 75106 ... c Min unsat cost LB: 75110 ... c Min unsat cost LB: 75118 ... c Min unsat cost LB: 75119 ... c Min unsat cost LB: 75123 ... 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: 75129 ... c Min unsat cost LB: 75130 ... c Min unsat cost LB: 75228 ... c Min unsat cost LB: 75229 ... c Min unsat cost LB: 75230 ... c Min unsat cost LB: 75231 ... c Min unsat cost LB: 75232 ... c Min unsat cost LB: 75242 ... c Min unsat cost LB: 75243 ... c Min unsat cost LB: 75244 ... c Min unsat cost LB: 75255 ... c Min unsat cost LB: 75268 ... c Min unsat cost LB: 75279 ... c Min unsat cost LB: 75287 ... c Min unsat cost LB: 75296 ... c Min unsat cost LB: 75297 ... c Min unsat cost LB: 75299 ... c Min unsat cost LB: 75300 ... c Min unsat cost LB: 75302 ... c Min unsat cost LB: 75303 ... c Min unsat cost LB: 75306 ... c Min unsat cost LB: 75307 ... c Min unsat cost LB: 75308 ... c Min unsat cost LB: 75309 ... c Min unsat cost LB: 75311 ... c Min unsat cost LB: 75315 ... c Min unsat cost LB: 75316 ... c Min unsat cost LB: 75317 ... c Min unsat cost LB: 75318 ... c Min unsat cost LB: 75319 ... c Min unsat cost LB: 75321 ... c Min unsat cost LB: 75323 ... c Min unsat cost LB: 75324 ... c Min unsat cost LB: 75326 ... c Min unsat cost LB: 75327 ... c Min unsat cost LB: 75350 ... c Min unsat cost LB: 75392 ... c Min unsat cost LB: 75393 ... c Min unsat cost LB: 75395 ... c Min unsat cost LB: 75397 ... c Min unsat cost LB: 75398 ... c Min unsat cost LB: 75399 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75401 ... c Min unsat cost LB: 75402 ... c Min unsat cost LB: 75403 ... c Min unsat cost LB: 75404 ... c Min unsat cost LB: 75406 ... c Min unsat cost LB: 75407 ... c Min unsat cost LB: 75408 ... c Min unsat cost LB: 75409 ... c Min unsat cost LB: 75410 ... c Min unsat cost LB: 75411 ... c Min unsat cost LB: 75412 ... c Min unsat cost LB: 75413 ... c Min unsat cost LB: 75414 ... c Min unsat cost LB: 75416 ... c Min unsat cost LB: 75417 ... c Min unsat cost LB: 75418 ... c Min unsat cost LB: 75419 ... c Min unsat cost LB: 75420 ... c Min unsat cost LB: 75421 ... c Min unsat cost LB: 75422 ... c Min unsat cost LB: 75423 ... c Min unsat cost LB: 75424 ... c Min unsat cost LB: 75425 ... c Min unsat cost LB: 75426 ... c Min unsat cost LB: 75427 ... c Min unsat cost LB: 75429 ... c Min unsat cost LB: 75430 ... c Min unsat cost LB: 75431 ... c Min unsat cost LB: 75432 ... c Min unsat cost LB: 75433 ... c Min unsat cost LB: 75434 ... c Min unsat cost LB: 75435 ... c Min unsat cost LB: 75436 ... c Min unsat cost LB: 75437 ... c Min unsat cost LB: 75438 ... c Min unsat cost LB: 75440 ... c Min unsat cost LB: 75441 ... c Min unsat cost LB: 75442 ... c Min unsat cost LB: 75443 ... c Min unsat cost LB: 75444 ... c Min unsat cost LB: 75445 ... c Min unsat cost LB: 75447 ... c Min unsat cost LB: 75449 ... c Min unsat cost LB: 75450 ... c Min unsat cost LB: 75452 ... c Min unsat cost LB: 75454 ... c Min unsat cost LB: 75455 ... c Min unsat cost LB: 75456 ... c Min unsat cost LB: 75457 ... c Min unsat cost LB: 75458 ... c Min unsat cost LB: 75459 ... c Min unsat cost LB: 75460 ... c Min unsat cost LB: 75461 ... c Min unsat cost LB: 75462 ... c Min unsat cost LB: 75463 ... c Min unsat cost LB: 75464 ... c Min unsat cost LB: 75465 ... c Min unsat cost LB: 75466 ... c Min unsat cost LB: 75467 ... c Min unsat cost LB: 75468 ... c Min unsat cost LB: 75469 ... c Min unsat cost LB: 75472 ... c Min unsat cost LB: 75473 ... c Min unsat cost LB: 75474 ... c Min unsat cost LB: 75475 ... c Min unsat cost LB: 75476 ... c Min unsat cost LB: 75477 ... c Min unsat cost LB: 75478 ... c Min unsat cost LB: 75479 ... c Min unsat cost LB: 75480 ... c Min unsat cost LB: 75482 ... c Min unsat cost LB: 75483 ... c Min unsat cost LB: 75484 ... c Min unsat cost LB: 75485 ... c Min unsat cost LB: 75486 ... c Min unsat cost LB: 75487 ... c Min unsat cost LB: 75488 ... c Min unsat cost LB: 75489 ... c Min unsat cost LB: 75490 ... c Min unsat cost LB: 75494 ... c Min unsat cost LB: 75495 ... c Min unsat cost LB: 75496 ... c Min unsat cost LB: 75497 ... c Min unsat cost LB: 75498 ... c Min unsat cost LB: 75500 ... c Min unsat cost LB: 75501 ... c Min unsat cost LB: 75502 ... c Min unsat cost LB: 75506 ... c Min unsat cost LB: 75509 ... c Min unsat cost LB: 75515 ... c Min unsat cost LB: 75516 ... c Min unsat cost LB: 75517 ... c Min unsat cost LB: 75518 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75521 ... c Min unsat cost LB: 75522 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75524 ... c Min unsat cost LB: 75525 ... c Min unsat cost LB: 75527 ... c Min unsat cost LB: 75529 ... c Min unsat cost LB: 75530 ... c Min unsat cost LB: 75532 ... c Min unsat cost LB: 75533 ... c Min unsat cost LB: 75534 ... c Min unsat cost LB: 75535 ... c Min unsat cost LB: 75536 ... c Min unsat cost LB: 75537 ... c Min unsat cost LB: 75538 ... c Min unsat cost LB: 75539 ... c Min unsat cost LB: 75540 ... c Min unsat cost LB: 75541 ... c Min unsat cost LB: 75542 ... c Min unsat cost LB: 75543 ... c Min unsat cost LB: 75544 ... c Min unsat cost LB: 75545 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75547 ... c Min unsat cost LB: 75548 ... c Min unsat cost LB: 75549 ... c Min unsat cost LB: 75550 ... c Min unsat cost LB: 75551 ... c Min unsat cost LB: 75552 ... c Min unsat cost LB: 75553 ... c Min unsat cost LB: 75554 ... c Min unsat cost LB: 75555 ... c Min unsat cost LB: 75556 ... c Min unsat cost LB: 75557 ... c Min unsat cost LB: 75558 ... c Min unsat cost LB: 75561 ... c Min unsat cost LB: 75562 ... c Min unsat cost LB: 75563 ... c Min unsat cost LB: 75564 ... c Min unsat cost LB: 75568 ... c Min unsat cost LB: 75570 ... c Min unsat cost LB: 75574 ... c Min unsat cost LB: 75575 ... c Min unsat cost LB: 75576 ... c Min unsat cost LB: 75577 ... c Min unsat cost LB: 75578 ... c Min unsat cost LB: 75579 ... c Min unsat cost LB: 75580 ... c Min unsat cost LB: 75581 ... c Min unsat cost LB: 75582 ... c Min unsat cost LB: 75583 ... c Min unsat cost LB: 75584 ... c Min unsat cost LB: 75585 ... c Min unsat cost LB: 75587 ... c Min unsat cost LB: 75588 ... c Min unsat cost LB: 75590 ... c Min unsat cost LB: 75591 ... c Min unsat cost LB: 75592 ... c Min unsat cost LB: 75593 ... c Min unsat cost LB: 75618 ... c Min unsat cost LB: 75619 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75621 ... c Min unsat cost LB: 75626 ... c Min unsat cost LB: 75637 ... c Min unsat cost LB: 75641 ... c Min unsat cost LB: 75680 ... c Min unsat cost LB: 75681 ... c Min unsat cost LB: 75686 ... c Min unsat cost LB: 75689 ... c Min unsat cost LB: 75691 ... c Min unsat cost LB: 75692 ... c Min unsat cost LB: 75695 ... c Min unsat cost LB: 75696 ... c Min unsat cost LB: 75697 ... c Min unsat cost LB: 75698 ... c Min unsat cost LB: 75700 ... c Min unsat cost LB: 75701 ... c Min unsat cost LB: 75702 ... c Min unsat cost LB: 75703 ... c Min unsat cost LB: 75704 ... c Min unsat cost LB: 75705 ... c Min unsat cost LB: 75706 ... c Min unsat cost LB: 75707 ... c Min unsat cost LB: 75708 ... c Min unsat cost LB: 75709 ... c Min unsat cost LB: 75710 ... c Min unsat cost LB: 75711 ... c Min unsat cost LB: 75712 ... c Min unsat cost LB: 75713 ... c Min unsat cost LB: 75718 ... c Min unsat cost LB: 75719 ... c Min unsat cost LB: 75720 ... c Min unsat cost LB: 75721 ... c Min unsat cost LB: 75722 ... c Min unsat cost LB: 75723 ... c Min unsat cost LB: 75724 ... c Min unsat cost LB: 75725 ... c Min unsat cost LB: 75726 ... c Min unsat cost LB: 75727 ... c Min unsat cost LB: 75728 ... c Min unsat cost LB: 75729 ... c Min unsat cost LB: 75730 ... c Min unsat cost LB: 75733 ... c Min unsat cost LB: 75734 ... c Min unsat cost LB: 75735 ... c Min unsat cost LB: 75736 ... c Min unsat cost LB: 75737 ... c Min unsat cost LB: 75738 ... c Min unsat cost LB: 75739 ... c Min unsat cost LB: 75740 ... c Min unsat cost LB: 75741 ... c Min unsat cost LB: 75742 ... c Min unsat cost LB: 75743 ... c Min unsat cost LB: 75744 ... c Min unsat cost LB: 75745 ... c Min unsat cost LB: 75746 ... c Min unsat cost LB: 75747 ... c Min unsat cost LB: 75748 ... c Min unsat cost LB: 75749 ... c Min unsat cost LB: 75750 ... c Min unsat cost LB: 75751 ... c Min unsat cost LB: 75753 ... c Min unsat cost LB: 75754 ... c Min unsat cost LB: 75755 ... c Min unsat cost LB: 75756 ... c Min unsat cost LB: 75757 ... c Min unsat cost LB: 75758 ... c Min unsat cost LB: 75759 ... c Min unsat cost LB: 75760 ... c Min unsat cost LB: 75761 ... c Min unsat cost LB: 75762 ... c Min unsat cost LB: 75765 ... c Min unsat cost LB: 75766 ... c Min unsat cost LB: 75767 ... c Min unsat cost LB: 75768 ... c Min unsat cost LB: 75769 ... c Min unsat cost LB: 75770 ... c Min unsat cost LB: 75772 ... c Min unsat cost LB: 75775 ... c Min unsat cost LB: 75776 ... c Min unsat cost LB: 75780 ... c Min unsat cost LB: 75781 ... c Min unsat cost LB: 75782 ... c Min unsat cost LB: 75783 ... c Min unsat cost LB: 75785 ... c Min unsat cost LB: 75787 ... c Min unsat cost LB: 75788 ... c Min unsat cost LB: 75789 ... c Min unsat cost LB: 75790 ... c Min unsat cost LB: 75791 ... c Min unsat cost LB: 75792 ... c Min unsat cost LB: 75793 ... c Min unsat cost LB: 75794 ... c Min unsat cost LB: 75795 ... c Min unsat cost LB: 75800 ... c Min unsat cost LB: 75802 ... c Min unsat cost LB: 75803 ... c Min unsat cost LB: 75805 ... c Min unsat cost LB: 75806 ... c Min unsat cost LB: 75821 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 75827 ... c Min unsat cost LB: 75828 ... c Min unsat cost LB: 75832 ... c Min unsat cost LB: 75833 ... c Min unsat cost LB: 75834 ... c Min unsat cost LB: 75835 ... c Min unsat cost LB: 75836 ... c Min unsat coKilled 1814.468u 5.271s 30:20.35 99.9% 0+0k 0+0io 0pf+0w