Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_170_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_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_SCHEDULING/cat_sched_60_170_0000.txt.wcnf *** c c Min unsat cost LB: 510 ... c Min unsat cost LB: 1260 ... c Min unsat cost LB: 1770 ... c Min unsat cost LB: 2280 ... c Min unsat cost LB: 2520 ... c Min unsat cost LB: 3030 ... c Min unsat cost LB: 3540 ... c Min unsat cost LB: 3810 ... c Min unsat cost LB: 4320 ... c Min unsat cost LB: 5580 ... c Min unsat cost LB: 6840 ... c Min unsat cost LB: 7350 ... c Min unsat cost LB: 7860 ... c Min unsat cost LB: 8100 ... c Min unsat cost LB: 9360 ... c Min unsat cost LB: 9840 ... c Min unsat cost LB: 11100 ... c Min unsat cost LB: 12360 ... c Min unsat cost LB: 12390 ... c Min unsat cost LB: 12900 ... c Min unsat cost LB: 13410 ... c Min unsat cost LB: 13620 ... c Min unsat cost LB: 14130 ... c Min unsat cost LB: 14880 ... c Min unsat cost LB: 15897 ... c Min unsat cost LB: 16140 ... c Min unsat cost LB: 17157 ... c Min unsat cost LB: 17302 ... c Min unsat cost LB: 17602 ... c Min unsat cost LB: 18619 ... c Min unsat cost LB: 19129 ... c Min unsat cost LB: 19372 ... c Min unsat cost LB: 19822 ... c Min unsat cost LB: 19967 ... c Min unsat cost LB: 20237 ... c Min unsat cost LB: 21227 ... c Min unsat cost LB: 21737 ... c Min unsat cost LB: 21882 ... c Min unsat cost LB: 22027 ... c Min unsat cost LB: 22139 ... c Min unsat cost LB: 22172 ... c Min unsat cost LB: 22317 ... c Min unsat cost LB: 22405 ... c Min unsat cost LB: 22462 ... c Min unsat cost LB: 22607 ... c Min unsat cost LB: 22752 ... c Min unsat cost LB: 22897 ... c Min unsat cost LB: 22985 ... c Min unsat cost LB: 23023 ... c Min unsat cost LB: 23035 ... c Min unsat cost LB: 23161 ... c Min unsat cost LB: 23211 ... c Min unsat cost LB: 23228 ... c Min unsat cost LB: 23261 ... c Min unsat cost LB: 23311 ... c Min unsat cost LB: 24010 ... c Min unsat cost LB: 24015 ... c Min unsat cost LB: 25032 ... c Min unsat cost LB: 25158 ... c Min unsat cost LB: 25303 ... c Min unsat cost LB: 25322 ... c Min unsat cost LB: 25372 ... c Min unsat cost LB: 25410 ... c Min unsat cost LB: 25460 ... c Min unsat cost LB: 26210 ... c Min unsat cost LB: 26355 ... c Min unsat cost LB: 26448 ... c Min unsat cost LB: 26536 ... c Min unsat cost LB: 26548 ... c Min unsat cost LB: 26598 ... c Min unsat cost LB: 26636 ... c Min unsat cost LB: 27803 ... c Min unsat cost LB: 27852 ... c Min unsat cost LB: 28122 ... c Min unsat cost LB: 28267 ... c Min unsat cost LB: 28298 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29364 ... c Min unsat cost LB: 29413 ... c Min unsat cost LB: 29619 ... c Min unsat cost LB: 29664 ... c Min unsat cost LB: 30840 ... c Min unsat cost LB: 31857 ... c Min unsat cost LB: 32682 ... c Min unsat cost LB: 32793 ... c Min unsat cost LB: 32881 ... c Min unsat cost LB: 33346 ... c Min unsat cost LB: 34411 ... c Min unsat cost LB: 34416 ... c Min unsat cost LB: 35552 ... c Min unsat cost LB: 36679 ... c Min unsat cost LB: 37855 ... c Min unsat cost LB: 39031 ... c Min unsat cost LB: 40021 ... c Min unsat cost LB: 41197 ... c Min unsat cost LB: 42373 ... c Min unsat cost LB: 43549 ... c Min unsat cost LB: 43599 ... c Min unsat cost LB: 44775 ... c Min unsat cost LB: 45520 ... c Min unsat cost LB: 45532 ... c Min unsat cost LB: 46306 ... c Min unsat cost LB: 46792 ... c Min unsat cost LB: 47143 ... c Min unsat cost LB: 48052 ... c Min unsat cost LB: 48562 ... c Min unsat cost LB: 49072 ... c Min unsat cost LB: 49603 ... c Min unsat cost LB: 50332 ... c Min unsat cost LB: 50488 ... c Min unsat cost LB: 50842 ... c Min unsat cost LB: 51130 ... c Min unsat cost LB: 51837 ... c Min unsat cost LB: 52347 ... c Min unsat cost LB: 52794 ... c Min unsat cost LB: 53553 ... c Min unsat cost LB: 54063 ... c Min unsat cost LB: 54117 ... c Min unsat cost LB: 54627 ... c Min unsat cost LB: 54894 ... c Min unsat cost LB: 55050 ... c Min unsat cost LB: 55236 ... c Min unsat cost LB: 56040 ... c Min unsat cost LB: 56045 ... c Min unsat cost LB: 56156 ... c Min unsat cost LB: 56315 ... c Min unsat cost LB: 56555 ... c Min unsat cost LB: 57065 ... c Min unsat cost LB: 57327 ... c Min unsat cost LB: 57362 ... c Min unsat cost LB: 57575 ... c Min unsat cost LB: 57731 ... c Min unsat cost LB: 58538 ... c Min unsat cost LB: 58640 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59798 ... c Min unsat cost LB: 59900 ... c Min unsat cost LB: 60002 ... c Min unsat cost LB: 60165 ... c Min unsat cost LB: 60452 ... c Min unsat cost LB: 60962 ... c Min unsat cost LB: 61207 ... c Min unsat cost LB: 62138 ... c Min unsat cost LB: 62222 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 63195 ... c Min unsat cost LB: 64181 ... c Min unsat cost LB: 64188 ... c Min unsat cost LB: 64238 ... c Min unsat cost LB: 64281 ... c Min unsat cost LB: 64392 ... c Min unsat cost LB: 64441 ... c Min unsat cost LB: 64902 ... c Min unsat cost LB: 64951 ... c Min unsat cost LB: 64991 ... c Min unsat cost LB: 64998 ... c Min unsat cost LB: 65048 ... c Min unsat cost LB: 65079 ... c Min unsat cost LB: 65129 ... c Min unsat cost LB: 65378 ... c Min unsat cost LB: 65639 ... c Min unsat cost LB: 66389 ... c Min unsat cost LB: 66765 ... c Min unsat cost LB: 67275 ... c Min unsat cost LB: 67866 ... c Min unsat cost LB: 67941 ... c Min unsat cost LB: 67948 ... c Min unsat cost LB: 67998 ... c Min unsat cost LB: 68029 ... c Min unsat cost LB: 68048 ... c Min unsat cost LB: 68060 ... c Min unsat cost LB: 68274 ... c Min unsat cost LB: 68304 ... c Min unsat cost LB: 68342 ... c Min unsat cost LB: 68517 ... c Min unsat cost LB: 69234 ... c Min unsat cost LB: 69321 ... c Min unsat cost LB: 69675 ... c Min unsat cost LB: 69725 ... c Min unsat cost LB: 69775 ... c Min unsat cost LB: 69820 ... c Min unsat cost LB: 69825 ... c Min unsat cost LB: 69875 ... c Min unsat cost LB: 69925 ... c Min unsat cost LB: 70384 ... c Min unsat cost LB: 70543 ... c Min unsat cost LB: 70548 ... c Min unsat cost LB: 71111 ... c Min unsat cost LB: 71354 ... c Min unsat cost LB: 71789 ... c Min unsat cost LB: 71856 ... c Min unsat cost LB: 72061 ... c Min unsat cost LB: 72431 ... c Min unsat cost LB: 72510 ... c Min unsat cost LB: 72644 ... c Min unsat cost LB: 72666 ... c Min unsat cost LB: 72790 ... c Min unsat cost LB: 72806 ... c Min unsat cost LB: 73078 ... c Min unsat cost LB: 73180 ... c Min unsat cost LB: 73365 ... c Min unsat cost LB: 73373 ... c Min unsat cost LB: 73536 ... c Min unsat cost LB: 73774 ... c Min unsat cost LB: 73785 ... c Min unsat cost LB: 73804 ... c Min unsat cost LB: 73828 ... c Min unsat cost LB: 73835 ... c Min unsat cost LB: 73847 ... c Min unsat cost LB: 73854 ... c Min unsat cost LB: 73904 ... c Min unsat cost LB: 73907 ... c Min unsat cost LB: 74009 ... c Min unsat cost LB: 74021 ... c Min unsat cost LB: 74037 ... c Min unsat cost LB: 74059 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74139 ... c Min unsat cost LB: 74338 ... c Min unsat cost LB: 74465 ... c Min unsat cost LB: 74477 ... c Min unsat cost LB: 74527 ... c Min unsat cost LB: 74564 ... c Min unsat cost LB: 74610 ... c Min unsat cost LB: 74614 ... c Min unsat cost LB: 74652 ... c Min unsat cost LB: 74664 ... c Min unsat cost LB: 74672 ... c Min unsat cost LB: 74702 ... c Min unsat cost LB: 74709 ... c Min unsat cost LB: 74712 ... c Min unsat cost LB: 74755 ... c Min unsat cost LB: 74790 ... c Min unsat cost LB: 74800 ... c Min unsat cost LB: 74831 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 74874 ... c Min unsat cost LB: 74879 ... c Min unsat cost LB: 74897 ... c Min unsat cost LB: 74914 ... c Min unsat cost LB: 74924 ... c Min unsat cost LB: 74964 ... c Min unsat cost LB: 74972 ... c Min unsat cost LB: 74974 ... c Min unsat cost LB: 74976 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 75011 ... c Min unsat cost LB: 75012 ... c Min unsat cost LB: 75031 ... c Min unsat cost LB: 75045 ... c Min unsat cost LB: 75068 ... c Min unsat cost LB: 75074 ... c Min unsat cost LB: 75095 ... c Min unsat cost LB: 75097 ... c Min unsat cost LB: 75130 ... c Min unsat cost LB: 75152 ... c Min unsat cost LB: 75188 ... c Min unsat cost LB: 75236 ... c Min unsat cost LB: 75240 ... c Min unsat cost LB: 75289 ... c Min unsat cost LB: 75318 ... c Min unsat cost LB: 75323 ... c Min unsat cost LB: 75371 ... c Min unsat cost LB: 75425 ... c Min unsat cost LB: 75558 ... c Min unsat cost LB: 75602 ... c Min unsat cost LB: 75609 ... c Min unsat cost LB: 75614 ... c Min unsat cost LB: 75943 ... c Min unsat cost LB: 76011 ... c Min unsat cost LB: 76027 ... c Min unsat cost LB: 76050 ... c Min unsat cost LB: 76312 ... c Min unsat cost LB: 76397 ... c Min unsat cost LB: 76423 ... c Min unsat cost LB: 76442 ... c Min unsat cost LB: 76569 ... c Min unsat cost LB: 77049 ... c Min unsat cost LB: 77079 ... c Min unsat cost LB: 77169 ... c Min unsat cost LB: 77193 ... c Min unsat cost LB: 77325 ... c Min unsat cost LB: 77348 ... c Min unsat cost LB: 77356 ... c Min unsat cost LB: 77426 ... c Min unsat cost LB: 77588 ... c Min unsat cost LB: 77720 ... c Min unsat cost LB: 77798 ... c Min unsat cost LB: 77909 ... c Min unsat cost LB: 78004 ... c Min unsat cost LB: 78342 ... c Min unsat cost LB: 78856 ... c Min unsat cost LB: 78925 ... c Min unsat cost LB: 78966 ... c Min unsat cost LB: 78974 ... c Min unsat cost LB: 79484 ... c Min unsat cost LB: 79838 ... c Min unsat cost LB: 79945 ... c Min unsat cost LB: 80200 ... c Min unsat cost LB: 80234 ... c Min unsat cost LB: 80361 ... c Min unsat cost LB: 80464 ... c Min unsat cost LB: 80808 ... c Min unsat cost LB: 80862 ... c Min unsat cost LB: 80906 ... c Min unsat cost LB: 81442 ... c Min unsat cost LB: 81447 ... c Min unsat cost LB: 81560 ... c Min unsat cost LB: 81719 ... c Min unsat cost LB: 81721 ... c Min unsat cost LB: 81739 ... c Min unsat cost LB: 81760 ... c Min unsat cost LB: 81790 ... c Min unsat cost LB: 81894 ... c Min unsat cost LB: 81974 ... c Min unsat cost LB: 81979 ... c Min unsat cost LB: 82020 ... c Min unsat cost LB: 82039 ... c Min unsat cost LB: 82080 ... c Min unsat cost LB: 82239 ... c Min unsat cost LB: 82647 ... c Min unsat cost LB: 82697 ... c Min unsat cost LB: 82747 ... c Min unsat cost LB: 82759 ... c Min unsat cost LB: 82866 ... c Min unsat cost LB: 82895 ... c Min unsat cost LB: 82951 ... c Min unsat cost LB: 83083 ... c Min unsat cost LB: 83384 ... c Min unsat cost LB: 83386 ... c Min unsat cost LB: 83407 ... c Min unsat cost LB: 83476 ... c Min unsat cost LB: 83486 ... c Min unsat cost LB: 83595 ... c Min unsat cost LB: 83624 ... c Min unsat cost LB: 83945 ... c Min unsat cost LB: 83995 ... c Min unsat cost LB: 83997 ... c Min unsat cost LB: 84007 ... c Min unsat cost LB: 84016 ... c Min unsat cost LB: 84024 ... c Min unsat cost LB: 84044 ... c Min unsat cost LB: 84089 ... c Min unsat cost LB: 84105 ... c Min unsat cost LB: 84168 ... c Min unsat cost LB: 84172 ... c Min unsat cost LB: 84190 ... c Min unsat cost LB: 84247 ... c Min unsat cost LB: 84251 ... c Min unsat cost LB: 84302 ... c Min unsat cost LB: 84326 ... c Min unsat cost LB: 84334 ... c Min unsat cost LB: 84371 ... c Min unsat cost LB: 84379 ... c Min unsat cost LB: 84393 ... c Min unsat cost LB: 84401 ... c Min unsat cost LB: 84423 ... c Min unsat cost LB: 84438 ... c Min unsat cost LB: 84450 ... c Min unsat cost LB: 84457 ... c Min unsat cost LB: 84460 ... c Min unsat cost LB: 84538 ... c Min unsat cost LB: 84548 ... c Min unsat cost LB: 84554 ... c Min unsat cost LB: 84560 ... c Min unsat cost LB: 84562 ... c Min unsat cost LB: 84570 ... c Min unsat cost LB: 84577 ... c Min unsat cost LB: 84582 ... c Min unsat cost LB: 84593 ... c Min unsat cost LB: 84598 ... c Min unsat cost LB: 84605 ... c Min unsat cost LB: 84626 ... c Min unsat cost LB: 84647 ... c Min unsat cost LB: 84652 ... c Min unsat cost LB: 84657 ... c Min unsat cost LB: 84687 ... c Min unsat cost LB: 84747 ... c Min unsat cost LB: 84770 ... c Min unsat cost LB: 84784 ... c Min unsat cost LB: 84807 ... c Min unsat cost LB: 84812 ... c Min unsat cost LB: 84815 ... c Min unsat cost LB: 84817 ... c Min unsat cost LB: 84822 ... c Min unsat cost LB: 84825 ... c Min unsat cost LB: 84828 ... c Min unsat cost LB: 84833 ... c Min unsat cost LB: 84837 ... c Min unsat cost LB: 84876 ... c Min unsat cost LB: 84882 ... c Min unsat cost LB: 84895 ... c Min unsat cost LB: 84908 ... c Min unsat cost LB: 84913 ... c Min unsat cost LB: 84917 ... c Min unsat cost LB: 84951 ... c Min unsat cost LB: 84954 ... c Min unsat cost LB: 85002 ... c Min unsat cost LB: 85007 ... c Min unsat cost LB: 85009 ... c Min unsat cost LB: 85010 ... c Min unsat cost LB: 85018 ... c Min unsat cost LB: 85047 ... c Min unsat cost LB: 85133 ... c Min unsat cost LB: 85135 ... c Min unsat cost LB: 85138 ... c Min unsat cost LB: 85141 ... c Min unsat cost LB: 85143 ... c Min unsat cost LB: 85145 ... c Min unsat cost LB: 85146 ... c Min unsat cost LB: 85149 ... c Min unsat cost LB: 85151 ... c Min unsat cost LB: 85156 ... c Min unsat cost LB: 85163 ... c Min unsat cost LB: 85172 ... c Min unsat cost LB: 85182 ... c Min unsat cost LB: 85189 ... c Min unsat cost LB: 85192 ... c Min unsat cost LB: 85196 ... c Min unsat cost LB: 85199 ... c Min unsat cost LB: 85215 ... c Min unsat cost LB: 85222 ... c Min unsat cost LB: 85241 ... c Min unsat cost LB: 85257 ... c Min unsat cost LB: 85494 ... c Min unsat cost LB: 85499 ... c Min unsat cost LB: 85636 ... c Min unsat cost LB: 85660 ... c Min unsat cost LB: 85678 ... c Min unsat cost LB: 85768 ... c Min unsat cost LB: 86106 ... c Min unsat cost LB: 86174 ... c Min unsat cost LB: 86179 ... c Min unsat cost LB: 86184 ... c Min unsat cost LB: 86198 ... c Min unsat cost LB: 86207 ... c Min unsat cost LB: 86210 ... c Min unsat cost LB: 86213 ... c Min unsat cost LB: 86229 ... c Min unsat cost LB: 86231 ... c Min unsat cost LB: 86243 ... c Min unsat cost LB: 86255 ... c Min unsat cost LB: 86272 ... c Min unsat cost LB: 86273 ... c Min unsat cost LB: 86275 ... c Min unsat cost LB: 86278 ... c Min unsat cost LB: 86279 ... c Min unsat cost LB: 86280 ... c Min unsat cost LB: 86281 ... c Min unsat cost LB: 86282 ... c Min unsat cost LB: 86283 ... c Min unsat cost LB: 86284 ... c Min unsat cost LB: 86285 ... c Min unsat cost LB: 86286 ... c Min unsat cost LB: 86287 ... c Min unsat cost LB: 86291 ... c Min unsat cost LB: 86293 ... c Min unsat cost LB: 86312 ... c Min unsat cost LB: 86335 ... c Min unsat cost LB: 86352 ... c Min unsat cost LB: 86354 ... c Min unsat cost LB: 86376 ... c Min unsat cost LB: 86381 ... c Min unsat cost LB: 86392 ... c Min unsat cost LB: 86393 ... c Min unsat cost LB: 86394 ... c Min unsat cost LB: 86397 ... c Min unsat cost LB: 86401 ... c Min unsat cost LB: 86403 ... c Min unsat cost LB: 86404 ... c Min unsat cost LB: 86405 ... c Min unsat cost LB: 86406 ... c Min unsat cost LB: 86407 ... c Min unsat cost LB: 86408 ... c Min unsat cost LB: 86409 ... c Min unsat cost LB: 86410 ... c Min unsat cost LB: 86411 ... c Min unsat cost LB: 86412 ... c Min unsat cost LB: 86413 ... c Min unsat cost LB: 86414 ... c Min unsat cost LB: 86415 ... c Min unsat cost LB: 86416 ... c Min unsat cost LB: 86417 ... c Min unsat cost LB: 86419 ... c Min unsat cost LB: 86420 ... c Min unsat cost LB: 86423 ... c Min unsat cost LB: 86424 ... c Min unsat cost LB: 86425 ... c Min unsat cost LB: 86426 ... c Min unsat cost LB: 86427 ... c Min unsat cost LB: 86428 ... c Min unsat cost LB: 86429 ... c Min unsat cost LB: 86430 ... c Min unsat cost LB: 86431 ... c Min unsat cost LB: 86432 ... c Min unsat cost LB: 86438 ... c Min unsat cost LB: 86439 ... c Min unsat cost LB: 86440 ... c Min unsat cost LB: 86441 ... c Min unsat cost LB: 86443 ... c Min unsat cost LB: 86444 ... c Min unsat cost LB: 86459 ... c Min unsat cost LB: 86460 ... c Min unsat cost LB: 86461 ... c Min unsat cost LB: 86462 ... c Min unsat cost LB: 86463 ... c Min unsat cost LB: 86464 ... c Min unsat cost LB: 86465 ... c Min unsat cost LB: 86466 ... c Min unsat cost LB: 86467 ... c Min unsat cost LB: 86468 ... c Min unsat cost LB: 86469 ... c Min unsat cost LB: 86470 ... c Min unsat cost LB: 86471 ... c Min unsat cost LB: 86473 ... c Min unsat cost LB: 86474 ... c Min unsat cost LB: 86475 ... c Min unsat cost LB: 86476 ... c Min unsat cost LB: 86477 ... c Min unsat cost LB: 86478 ... c Min unsat cost LB: 86479 ... c Min unsat cost LB: 86480 ... c Min unsat cost LB: 86481 ... c Min unsat cost LB: 86482 ... c Min unsat cost LB: 86497 ... c Min unsat cost LB: 86504 ... c Min unsat cost LB: 86513 ... c Min unsat cost LB: 86523 ... c Min unsat cost LB: 86525 ... c Min unsat cost LB: 86526 ... c Min unsat cost LB: 86529 ... c Min unsat cost LB: 86532 ... c Min unsat cost LB: 86539 ... c Min unsat cost LB: 86541 ... c Min unsat cost LB: 86542 ... c Min unsat cost LB: 86543 ... c Min unsat cost LB: 86544 ... c Min unsat cost LB: 86545 ... c Min unsat cost LB: 86546 ... c Min unsat cost LB: 86547 ... c Min unsat cost LB: 86548 ... c Min unsat cost LB: 86549 ... c Min unsat cost LB: 86550 ... c Min unsat cost LB: 86551 ... c Min unsat cost LB: 86552 ... c Min unsat cost LB: 86553 ... c Min unsat cost LB: 86554 ... c Min unsat cost LB: 86555 ... c Min unsat cost LB: 86556 ... c Min unsat cost LB: 86557 ... c Min unsat cost LB: 86558 ... c Min unsat cost LB: 86559 ... c Min unsat cost LB: 86560 ... c Min unsat cost LB: 86562 ... c Min unsat cost LB: 86563 ... c Min unsat cost LB: 86564 ... c Min unsat cost LB: 86565 ... c Min unsat cost LB: 86566 ... c Min unsat cost LB: 86567 ... c Min unsat cost LB: 86568 ... c Min unsat cost LB: 86569 ... c Min unsat cost LB: 86571 ... c Min unsat cost LB: 86572 ... c Min unsat cost LB: 86573 ... c Min unsat cost LB: 86574 ... c Min unsat cost LB: 86575 ... c Min unsat cost LB: 86576 ... c Min unsat cost LB: 86577 ... c Min unsat cost LB: 86578 ... c Min unsat cost LB: 86579 ... c Min unsat cost LB: 86581 ... c Min unsat cost LB: 86582 ... c Min unsat cost LB: 86583 ... c Min unsat cost LB: 86584 ... c Min unsat cost LB: 86585 ... c Min unsat cost LB: 86586 ... c Min unsat cost LB: 86587 ... c Min unsat cost LB: 86588 ... c Min unsat cost LB: 86589 ... c Min unsat cost LB: 86590 ... c Min unsat cost LB: 86593 ... c Min unsat cost LB: 86594 ... c Min unsat cost LB: 86595 ... c Min unsat cost LB: 86596 ... c Min unsat cost LB: 86597 ... c Min unsat cost LB: 86598 ... c Min unsat cost LB: 86599 ... c Min unsat cost LB: 86600 ... c Min unsat cost LB: 86601 ... c Min unsat cost LB: 86602 ... c Min unsat cost LB: 86603 ... c Min unsat cost LB: 86604 ... c Min unsat cost LB: 86605 ... c Min unsat cost LB: 86606 ... c Min unsat cost LB: 86607 ... c Min unsat cost LB: 86608 ... c Min unsat cost LB: 86651 ... c Min unsat cost LB: 86652 ... c Min unsat cost LB: 86653 ... c Min unsat cost LB: 86654 ... c Min unsat cost LB: 86655 ... c Min unsat cost LB: 86656 ... c Min unsat cost LB: 86657 ... c Min unsat cost LB: 86658 ... c Min unsat cost LB: 86659 ... c Min unsat cost LB: 86660 ... c Min unsat cost LB: 86661 ... c Min unsat cost LB: 86662 ... c Min unsat cost LB: 86663 ... c Min unsat cost LB: 86664 ... c Min unsat cost LB: 87026 ... c Min unsat cost LB: 87027 ... c Min unsat cost LB: 87127 ... c Min unsat cost LB: 87151 ... c Min unsat cost LB: 87172 ... c Min unsat cost LB: 87270 ... c Min unsat cost LB: 87274 ... c Min unsat cost LB: 87275 ... c Min unsat cost LB: 87276 ... c Min unsat cost LB: 87279 ... c Min unsat cost LB: 87280 ... c Min unsat cost LB: 87281 ... c Min unsat cost LB: 87282 ... c Min unsat cost LB: 87283 ... c Min unsat cost LB: 87284 ... c Min unsat cost LB: 87285 ... c Min unsat cost LB: 87286 ... c Min unsat cost LB: 87287 ... c Min unsat cost LB: 87288 ... c Min unsat cost LB: 87289 ... c Min unsat cost LB: 87290 ... c Min unsat cost LB: 87291 ... c Min unsat cost LB: 87292 ... c Min unsat cost LB: 87295 ... c Min unsat cost LB: 87296 ... c Min unsat cost LB: 87298 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87302 ... c Min unsat cost LB: 87304 ... c Min unsat cost LB: 87305 ... c Min unsat cost LB: 87307 ... c Min unsat cost LB: 87309 ... c Min unsat cost LB: 87315 ... c Min unsat cost LB: 87316 ... c Min unsat cost LB: 87317 ... c Min unsat cost LB: 87331 ... c Min unsat cost LB: 87341 ... c Min unsat cost LB: 87346 ... c Min unsat cost LB: 87349 ... c Min unsat cost LB: 87362 ... c Min unsat cost LB: 87363 ... c Min unsat cost LB: 87365 ... c Min unsat cost LB: 87366 ... c Min unsat cost LB: 87367 ... c Min unsat cost LB: 87368 ... c Min unsat cost LB: 87369 ... c Min unsat cost LB: 87372 ... c Min unsat cost LB: 87373 ... c Min unsat cost LB: 87375 ... c Min unsat cost LB: 87380 ... c Min unsat cost LB: 87381 ... c Min unsat cost LB: 87382 ... c Min unsat cost LB: 87383 ... c Min unsat cost LB: 87392 ... c Min unsat cost LB: 87393 ... c Min unsat cost LB: 87394 ... c Min unsat cost LB: 87395 ... c Min unsat cost LB: 87396 ... c Min unsat cost LB: 87397 ... c Min unsat cost LB: 87398 ... c Min unsat cost LB: 87399 ... c Min unsat cost LB: 87400 ... c Min unsat cost LB: 87402 ... c Min unsat cost LB: 87524 ... c Min unsat cost LB: 87878 ... c Min unsat cost LB: 87909 ... c Min unsat cost LB: 87911 ... c Min unsat cost LB: 87945 ... c Min unsat cost LB: 87950 ... c Min unsat cost LB: 87952 ... c Min unsat cost LB: 87955 ... c Min unsat cost LB: 87963 ... c Min unsat cost LB: 87965 ... c Min unsat cost LB: 87995 ... c Min unsat cost LB: 88018 ... c Min unsat cost LB: 88036 ... c Min unsat cost LB: 88044 ... c Min unsat cost LB: 88052 ... c Min unsat cost LB: 88091 ... c Min unsat cost LB: 88098 ... c Min unsat cost LB: 88111 ... c Min unsat cost LB: 88119 ... c Min unsat cost LB: 88121 ... c Min unsat cost LB: 88125 ... c Min unsat cost LB: 88126 ... c Min unsat cost LB: 88127 ... c Min unsat cost LB: 88128 ... c Min unsat cost LB: 88129 ... c Min unsat cost LB: 88130 ... c Min unsat cost LB: 88131 ... c Min unsat cost LB: 88132 ... c Min unsat cost LB: 88133 ... c Min unsat cost LB: 88134 ... c Min unsat cost LB: 88135 ... c Min unsat cost LB: 88136 ... c Min unsat cost LB: 88137 ... c Min unsat cost LB: 88138 ... c Min unsat cost LB: 88140 ... c Min unsat cost LB: 88141 ... c Min unsat cost LB: 88142 ... c Min unsat cost LB: 88143 ... c Min unsat cost LB: 88144 ... c Min unsat cost LB: 88145 ... c Min unsat cost LB: 88150 ... c Min unsat cost LB: 88186 ... c Min unsat cost LB: 88187 ... c Min unsat cost LB: 88188 ... c Min unsat cost LB: 88190 ... c Min unsat cost LB: 88191 ... c Min unsat cost LB: 88192 ... c Min unsat cost LB: 88193 ... c Min unsat cost LB: 88194 ... c Min unsat cost LB: 88195 ... c Min unsat cost LB: 88196 ... c Min unsat cost LB: 88197 ... c Min unsat cost LB: 88198 ... c Min unsat cost LB: 88199 ... c Min unsat cost LB: 88206 ... c Min unsat cost LB: 88208 ... c Min unsat cost LB: 88211 ... c Min unsat cost LB: 88212 ... c Min unsat cost LB: 88213 ... c Min unsat cost LB: 88214 ... c Min unsat cost LB: 88215 ... c Min unsat cost LB: 88216 ... c Min unsat cost LB: 88217 ... c Min unsat cost LB: 88219 ... c Min unsat cost LB: 88220 ... c Min unsat cost LB: 88221 ... c Min unsat cost LB: 88222 ... c Min unsat cost LB: 88223 ... c Min unsat cost LB: 88224 ... c Min unsat cost LB: 88225 ... c Min unsat cost LB: 88226 ... c Min unsat cost LB: 88227 ... c Min unsat cost LB: 88228 ... c Min unsat cost LB: 88229 ... c Min unsat cost LB: 88230 ... c Min unsat cost LB: 88232 ... c Min unsat cost LB: 88234 ... c Min unsat cost LB: 88235 ... c Min unsat cost LB: 88236 ... c Min unsat cost LB: 88237 ... c Min unsat cost LB: 88238 ... c Min unsat cost LB: 88239 ... c Min unsat cost LB: 88240 ... c Min unsat cost LB: 88241 ... c Min unsat cost LB: 88242 ... c Min unsat cost LB: 88243 ... c Min unsat cost LB: 88244 ... c Min unsat cost LB: 88245 ... c Min unsat cost LB: 88246 ... c Min unsat cost LB: 88251 ... c Min unsat cost LB: 88252 ... c Min unsat cost LB: 88253 ... c Min unsat cost LB: 88254 ... c Min unsat cost LB: 88255 ... c Min unsat cost LB: 88256 ... c Min unsat cost LB: 88257 ... c Min unsat cost LB: 88258 ... c Min unsat cost LB: 88259 ... c Min unsat cost LB: 88260 ... c Min unsat cost LB: 88261 ... c Min unsat cost LB: 88262 ... c Min unsat cost LB: 88263 ... c Min unsat cost LB: 88264 ... c Min unsat cost LB: 88265 ... c Min unsat cost LB: 88266 ... c Min unsat cost LB: 88267 ... c Min unsat cost LB: 88334 ... c Min unsat cost LB: 88336 ... c Min unsat cost LB: 88344 ... c Min unsat cost LB: 88345 ... c Min unsat cost LB: 88351 ... c Min unsat cost LB: 88353 ... c Min unsat cost LB: 88354 ... c Min unsat cost LB: 88355 ... c Min unsat cost LB: 88356 ... c Min unsat cost LB: 88357 ... c Min unsat cost LB: 88358 ... c Min unsat cost LB: 88360 ... c Min unsat cost LB: 88366 ... c Min unsat cost LB: 88367 ... c Min unsat cost LB: 88368 ... c Min unsat cost LB: 88369 ... c Min unsat cost LB: 88373 ... c Min unsat cost LB: 88375 ... c Min unsat cost LB: 88376 ... c Min unsat cost LB: 88377 ... c Min unsat cost LB: 88378 ... c Min unsat cost LB: 88392 ... c Min unsat cost LB: 88541 ... c Min unsat cost LB: 88553 ... c Min unsat cost LB: 88555 ... c Min unsat cost LB: 88558 ... c Min unsat cost LB: 88561 ... c Min unsat cost LB: 88567 ... c Min unsat cost LB: 88577 ... c Min unsat cost LB: 88589 ... c Min unsat cost LB: 88596 ... c Min unsat cost LB: 88618 ... c Min unsat cost LB: 88634 ... c Min unsat cost LB: 88768 ... c Min unsat cost LB: 88769 ... c Min unsat cost LB: 88780 ... c Min unsat cost LB: 88781 ... c Min unsat cost LB: 88810 ... c Min unsat cost LB: 88811 ... c Min unsat cost LB: 88812 ... c Min unsat cost LB: 88817 ... c Min unsat cost LB: 88818 ... c Min unsat cost LB: 88819 ... c Min unsat cost LB: 88821 ... c Min unsat cost LB: 88824 ... c Min unsat cost LB: 88829 ... c Min unsat cost LB: 88832 ... c Min unsat cost LB: 88833 ... c Min unsat cost LB: 88836 ... c Min unsat cost LB: 88837 ... c Min unsat cost LB: 88838 ... c Min unsat cost LB: 88839 ... c Min unsat cost LB: 88840 ... c Min unsat cost LB: 88841 ... c Min unsat cost LB: 88842 ... c Min unsat cost LB: 88843 ... c Min unsat cost LB: 88844 ... c Min unsat cost LB: 88845 ... c Min unsat cost LB: 88846 ... c Min unsat cost LB: 88847 ... c Min unsat cost LB: 88848 ... c Min unsat cost LB: 88849 ... c Min unsat cost LB: 88859 ... c Min unsat cost LB: 88860 ... c Min unsat cost LB: 88861 ... c Min unsat cost LB: 88862 ... c Min unsat cost LB: 88863 ... c Min unsat cost LB: 88864 ... c Min unsat cost LB: 88865 ... c Min unsat cost LB: 88866 ... c Min unsat cost LB: 88867 ... c Min unsat cost LB: 88868 ... c Min unsat cost LB: 88869 ... c Min unsat cost LB: 88871 ... c Min unsat cost LB: 88872 ... c Min unsat cost LB: 88873 ... c Min unsat cost LB: 88874 ... c Min unsat cost LB: 88875 ... c Min unsat cost LB: 88876 ... c Min unsat cost LB: 88877 ... c Min unsat cost LB: 88879 ... c Min unsat cost LB: 88880 ... c Min unsat cost LB: 88881 ... c Min unsat cost LB: 88882 ... c Min unsat cost LB: 88883 ... c Min unsat cost LB: 88884 ... c Min unsat cost LB: 88885 ... c Min unsat cost LB: 88887 ... c Min unsat cost LB: 88888 ... c Min unsat cost LB: 88889 ... c Min unsat cost LB: 88890 ... c Min unsat cost LB: 88891 ... c Min unsat cost LB: 88892 ... c Min unsat cost LB: 88893 ... c Min unsat cost LB: 88906 ... c Min unsat cost LB: 88907 ... c Min unsat cost LB: 88908 ... c Min unsat cost LB: 88910 ... c Min unsat cost LB: 88928 ... c Min unsat cost LB: 88929 ... c Min unsat cost LB: 88930 ... c Min unsat cost LB: 88931 ... c Min unsat cost LB: 88932 ... c Min unsat cost LB: 88933 ... c Min unsat cost LB: 88934 ... c Min unsat cost LB: 88935 ... c Min unsat cost LB: 88936 ... c Min unsat cost LB: 88937 ... c Min unsat cost LB: 88938 ... c Min unsat cost LB: 88939 ... c Min unsat cost LB: 88940 ... c Min unsat cost LB: 88941 ... c Min unsat cost LB: 88942 ... c Min unsat cost LB: 88943 ... c Min unsat cost LB: 88944 ... c Min unsat cost LB: 88945 ... c Min unsat cost LB: 88946 ... c Min unsat cost LB: 88947 ... c Min unsat cost LB: 88949 ... c Min unsat cost LB: 88950 ... c Min unsat cost LB: 88951 ... c Min unsat cost LB: 88952 ... c Min unsat cost LB: 88953 ... c Min unsat cost LB: 88954 ... c Min unsat cost LB: 88955 ... c Min unsat cost LB: 88956 ... c Min unsat cost LB: 88957 ... c Min unsat cost LB: 88958 ... c Min unsat cost LB: 88959 ... c Min unsat cost LB: 88960 ... c Min unsat cost LB: 88961 ... c Min unsat cost LB: 88962 ... c Min unsat cost LB: 88963 ... c Min unsat cost LB: 88964 ... c Min unsat cost LB: 88965 ... c Min unsat cost LB: 88966 ... c Min unsat cost LB: 88967 ... c Min unsat cost LB: 88968 ... c Min unsat cost LB: 88969 ... c Min unsat cost LB: 88970 ... c Min unsat cost LB: 88971 ... c Min unsat cost LB: 88972 ... c Min unsat cost LB: 88973 ... c Min unsat cost LB: 88974 ... c Min unsat cost LB: 88976 ... c Min unsat cost LB: 88977 ... c Min unsat cost LB: 88978 ... c Min unsat cost LB: 88979 ... c Min unsat cost LB: 88980 ... c Min unsat cost LB: 88981 ... c Min unsat cost LB: 88982 ... c Min unsat cost LB: 88983 ... c Min unsat cost LB: 88984 ... c Min unsat cost LB: 88985 ... c Min unsat cost LB: 88986 ... c Min unsat cost LB: 88987 ... c Min unsat cost LB: 88988 ... c Min unsat cost LB: 88989 ... c Min unsat cost LB: 88990 ... c Min unsat cost LB: 88991 ... c Min unsat cost LB: 88992 ... c Min unsat cost LB: 88993 ... c Min unsat cost LB: 88994 ... c Min unsat cost LB: 89001 ... c Min unsat cost LB: 89003 ... c Min unsat cost LB: 89005 ... c Min unsat cost LB: 89011 ... c Min unsat cost LB: 89012 ... c Min unsat cost LB: 89013 ... c Min unsat cost LB: 89016 ... c Min unsat cost LB: 89027 ... c Min unsat cost LB: 89145 ... c Min unsat cost LB: 89150 ... c Min unsat cost LB: 89152 ... c Min unsat cost LB: 89174 ... c Min unsat cost LB: 89179 ... c Min unsat cost LB: 89193 ... c Min unsat cost LB: 89199 ... c Min unsat cost LB: 89211 ... c Min unsat cost LB: 89212 ... c Min unsat cost LB: 89242 ... c Min unsat cost LB: 89247 ... c Min unsat cost LB: 89248 ... c Min unsat cost LB: 89250 ... c Min unsat cost LB: 89252 ... c Min unsat cost LB: 89255 ... c Min unsat cost LB: 89256 ... c Min unsat cost LB: 89257 ... c Min unsat cost LB: 89258 ... c Min unsat cost LB: 89259 ... c Min unsat cost LB: 89260 ... c Min unsat cost LB: 89261 ... c Min unsat cost LB: 89262 ... c Min unsat cost LB: 89263 ... c Min unsat cost LB: 89265 ... c Min unsat cost LB: 89266 ... c Min unsat cost LB: 89269 ... c Min unsat cost LB: 89273 ... c Min unsat cost LB: 89274 ... c Min unsat cost LB: 89275 ... c Min unsat cost LB: 89276 ... c Min unsat cost LB: 89277 ... c Min unsat cost LB: 89278 ... c Min unsat cost LB: 89279 ... c Min unsat cost LB: 89281 ... c Min unsat cost LB: 89284 ... c Min unsat cost LB: 89285 ... c Min unsat cost LB: 89286 ... c Min unsat cost LB: 89288 ... c Min unsat cost LB: 89292 ... c Min unsat cost LB: 89293 ... c Min unsat cost LB: 89294 ... c Min unsat cost LB: 89295 ... c Min unsat cost LB: 89296 ... c Min unsat cost LB: 89297 ... c Min unsat cost LB: 89299 ... c Min unsat cost LB: 89300 ... c Min unsat cost LB: 89301 ... c Min unsat cost LB: 89302 ... c Min unsat cost LB: 89303 ... c Min unsat cost LB: 89304 ... c Min unsat cost LB: 89305 ... c Min unsat cost LB: 89306 ... c Min unsat cost LB: 89307 ... c Min unsat cost LB: 89308 ... c Min unsat cost LB: 89309 ... c Min unsat cost LB: 89310 ... c Min unsat cost LB: 89311 ... c Min unsat cost LB: 89312 ... c Min unsat cost LB: 89314 ... c Min unsat cost LB: 89319 ... c Min unsat cost LB: 89320 ... c Min unsat cost LB: 89321 ... c Min unsat cost LB: 89322 ... c Min unsat cost LB: 89323 ... c Min unsat cost LB: 89324 ... c Min unsat cost LB: 89327 ... c Min unsat cost LB: 89328 ... c Min unsat cost LB: 89329 ... c Min unsat cost LB: 89330 ... c Min unsat cost LB: 89331 ... c Min unsat cost LB: 89332 ... c Min unsat cost LB: 89333 ... c Min unsat cost LB: 89334 ... c Min unsat cost Killed 1814.581u 5.155s 30:20.74 99.9% 0+0k 0+0io 0pf+0w