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_120_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_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_120_0000.txt.wcnf *** c c Min unsat cost LB: 678 ... c Min unsat cost LB: 1356 ... c Min unsat cost LB: 2034 ... c Min unsat cost LB: 2712 ... c Min unsat cost LB: 3390 ... c Min unsat cost LB: 4068 ... c Min unsat cost LB: 4577 ... c Min unsat cost LB: 5129 ... c Min unsat cost LB: 5255 ... c Min unsat cost LB: 5933 ... c Min unsat cost LB: 6485 ... c Min unsat cost LB: 6985 ... c Min unsat cost LB: 7537 ... c Min unsat cost LB: 8215 ... c Min unsat cost LB: 8641 ... c Min unsat cost LB: 9193 ... c Min unsat cost LB: 9319 ... c Min unsat cost LB: 9445 ... c Min unsat cost LB: 9745 ... c Min unsat cost LB: 10123 ... c Min unsat cost LB: 10249 ... c Min unsat cost LB: 10258 ... c Min unsat cost LB: 10936 ... c Min unsat cost LB: 11441 ... c Min unsat cost LB: 11614 ... c Min unsat cost LB: 12292 ... c Min unsat cost LB: 12970 ... c Min unsat cost LB: 13569 ... c Min unsat cost LB: 13648 ... c Min unsat cost LB: 14247 ... c Min unsat cost LB: 14846 ... c Min unsat cost LB: 15445 ... c Min unsat cost LB: 15571 ... c Min unsat cost LB: 16170 ... c Min unsat cost LB: 16769 ... c Min unsat cost LB: 17289 ... c Min unsat cost LB: 17888 ... c Min unsat cost LB: 18487 ... c Min unsat cost LB: 19086 ... c Min unsat cost LB: 19685 ... c Min unsat cost LB: 20284 ... c Min unsat cost LB: 20363 ... c Min unsat cost LB: 20962 ... c Min unsat cost LB: 21010 ... c Min unsat cost LB: 21436 ... c Min unsat cost LB: 22035 ... c Min unsat cost LB: 22634 ... c Min unsat cost LB: 23233 ... c Min unsat cost LB: 23565 ... c Min unsat cost LB: 24164 ... c Min unsat cost LB: 24715 ... c Min unsat cost LB: 25235 ... c Min unsat cost LB: 25834 ... c Min unsat cost LB: 25992 ... c Min unsat cost LB: 26040 ... c Min unsat cost LB: 26544 ... c Min unsat cost LB: 27143 ... c Min unsat cost LB: 27652 ... c Min unsat cost LB: 28161 ... c Min unsat cost LB: 28670 ... c Min unsat cost LB: 28843 ... c Min unsat cost LB: 29348 ... c Min unsat cost LB: 29857 ... c Min unsat cost LB: 30366 ... c Min unsat cost LB: 30445 ... c Min unsat cost LB: 30540 ... c Min unsat cost LB: 30977 ... c Min unsat cost LB: 31486 ... c Min unsat cost LB: 31995 ... c Min unsat cost LB: 32504 ... c Min unsat cost LB: 33013 ... c Min unsat cost LB: 33522 ... c Min unsat cost LB: 34031 ... c Min unsat cost LB: 34540 ... c Min unsat cost LB: 35049 ... c Min unsat cost LB: 35572 ... c Min unsat cost LB: 35727 ... c Min unsat cost LB: 36236 ... c Min unsat cost LB: 36586 ... c Min unsat cost LB: 37095 ... c Min unsat cost LB: 37257 ... c Min unsat cost LB: 37766 ... c Min unsat cost LB: 37935 ... c Min unsat cost LB: 38444 ... c Min unsat cost LB: 38613 ... c Min unsat cost LB: 39122 ... c Min unsat cost LB: 39631 ... c Min unsat cost LB: 40140 ... c Min unsat cost LB: 40649 ... c Min unsat cost LB: 41079 ... c Min unsat cost LB: 41158 ... c Min unsat cost LB: 41317 ... c Min unsat cost LB: 41331 ... c Min unsat cost LB: 41414 ... c Min unsat cost LB: 41831 ... c Min unsat cost LB: 41930 ... c Min unsat cost LB: 42080 ... c Min unsat cost LB: 42336 ... c Min unsat cost LB: 42495 ... c Min unsat cost LB: 42859 ... c Min unsat cost LB: 42868 ... c Min unsat cost LB: 42935 ... c Min unsat cost LB: 43061 ... c Min unsat cost LB: 43182 ... c Min unsat cost LB: 43344 ... c Min unsat cost LB: 43363 ... c Min unsat cost LB: 43499 ... c Min unsat cost LB: 43911 ... c Min unsat cost LB: 44008 ... c Min unsat cost LB: 44438 ... c Min unsat cost LB: 44517 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 44643 ... c Min unsat cost LB: 44733 ... c Min unsat cost LB: 44769 ... c Min unsat cost LB: 45195 ... c Min unsat cost LB: 45332 ... c Min unsat cost LB: 45458 ... c Min unsat cost LB: 45856 ... c Min unsat cost LB: 45967 ... c Min unsat cost LB: 46136 ... c Min unsat cost LB: 46476 ... c Min unsat cost LB: 46508 ... c Min unsat cost LB: 46587 ... c Min unsat cost LB: 46859 ... c Min unsat cost LB: 47094 ... c Min unsat cost LB: 47603 ... c Min unsat cost LB: 47646 ... c Min unsat cost LB: 47772 ... c Min unsat cost LB: 47794 ... c Min unsat cost LB: 47963 ... c Min unsat cost LB: 48134 ... c Min unsat cost LB: 48355 ... c Min unsat cost LB: 48472 ... c Min unsat cost LB: 48707 ... c Min unsat cost LB: 48833 ... c Min unsat cost LB: 48864 ... c Min unsat cost LB: 48959 ... c Min unsat cost LB: 49085 ... c Min unsat cost LB: 49373 ... c Min unsat cost LB: 49637 ... c Min unsat cost LB: 49684 ... c Min unsat cost LB: 49763 ... c Min unsat cost LB: 50283 ... c Min unsat cost LB: 50362 ... c Min unsat cost LB: 50373 ... c Min unsat cost LB: 50463 ... c Min unsat cost LB: 50621 ... c Min unsat cost LB: 50914 ... c Min unsat cost LB: 51008 ... c Min unsat cost LB: 51112 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51513 ... c Min unsat cost LB: 51621 ... c Min unsat cost LB: 52126 ... c Min unsat cost LB: 52130 ... c Min unsat cost LB: 52178 ... c Min unsat cost LB: 52216 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52548 ... c Min unsat cost LB: 52639 ... c Min unsat cost LB: 52801 ... c Min unsat cost LB: 53141 ... c Min unsat cost LB: 53148 ... c Min unsat cost LB: 53217 ... c Min unsat cost LB: 53238 ... c Min unsat cost LB: 53274 ... c Min unsat cost LB: 53305 ... c Min unsat cost LB: 53384 ... c Min unsat cost LB: 53441 ... c Min unsat cost LB: 53454 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53562 ... c Min unsat cost LB: 53635 ... c Min unsat cost LB: 54133 ... c Min unsat cost LB: 54165 ... c Min unsat cost LB: 54291 ... c Min unsat cost LB: 54470 ... c Min unsat cost LB: 54481 ... c Min unsat cost LB: 54495 ... c Min unsat cost LB: 54504 ... c Min unsat cost LB: 54507 ... c Min unsat cost LB: 54554 ... c Min unsat cost LB: 54558 ... c Min unsat cost LB: 54814 ... c Min unsat cost LB: 54910 ... c Min unsat cost LB: 54946 ... c Min unsat cost LB: 54968 ... c Min unsat cost LB: 54994 ... c Min unsat cost LB: 55013 ... c Min unsat cost LB: 55041 ... c Min unsat cost LB: 55058 ... c Min unsat cost LB: 55227 ... c Min unsat cost LB: 55322 ... c Min unsat cost LB: 55331 ... c Min unsat cost LB: 55394 ... c Min unsat cost LB: 55418 ... c Min unsat cost LB: 55504 ... c Min unsat cost LB: 55656 ... c Min unsat cost LB: 55860 ... c Min unsat cost LB: 55903 ... c Min unsat cost LB: 55950 ... c Min unsat cost LB: 56051 ... c Min unsat cost LB: 56136 ... c Min unsat cost LB: 56231 ... c Min unsat cost LB: 56339 ... c Min unsat cost LB: 56368 ... c Min unsat cost LB: 56423 ... c Min unsat cost LB: 56527 ... c Min unsat cost LB: 56675 ... c Min unsat cost LB: 56735 ... c Min unsat cost LB: 56787 ... c Min unsat cost LB: 56831 ... c Min unsat cost LB: 56874 ... c Min unsat cost LB: 56946 ... c Min unsat cost LB: 56960 ... c Min unsat cost LB: 57029 ... c Min unsat cost LB: 57112 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57274 ... c Min unsat cost LB: 57289 ... c Min unsat cost LB: 57433 ... c Min unsat cost LB: 57463 ... c Min unsat cost LB: 57530 ... c Min unsat cost LB: 57548 ... c Min unsat cost LB: 57582 ... c Min unsat cost LB: 57589 ... c Min unsat cost LB: 57882 ... c Min unsat cost LB: 57902 ... c Min unsat cost LB: 58008 ... c Min unsat cost LB: 58032 ... c Min unsat cost LB: 58181 ... c Min unsat cost LB: 58211 ... c Min unsat cost LB: 58328 ... c Min unsat cost LB: 58569 ... c Min unsat cost LB: 58618 ... c Min unsat cost LB: 58633 ... c Min unsat cost LB: 58709 ... c Min unsat cost LB: 58720 ... c Min unsat cost LB: 58747 ... c Min unsat cost LB: 58799 ... c Min unsat cost LB: 58897 ... c Min unsat cost LB: 58907 ... c Min unsat cost LB: 58945 ... c Min unsat cost LB: 59011 ... c Min unsat cost LB: 59033 ... c Min unsat cost LB: 59099 ... c Min unsat cost LB: 59141 ... c Min unsat cost LB: 59235 ... c Min unsat cost LB: 59277 ... c Min unsat cost LB: 59313 ... c Min unsat cost LB: 59352 ... c Min unsat cost LB: 59392 ... c Min unsat cost LB: 59421 ... c Min unsat cost LB: 59471 ... c Min unsat cost LB: 59613 ... c Min unsat cost LB: 59629 ... c Min unsat cost LB: 59640 ... c Min unsat cost LB: 59764 ... c Min unsat cost LB: 59793 ... c Min unsat cost LB: 59795 ... c Min unsat cost LB: 59797 ... c Min unsat cost LB: 59817 ... c Min unsat cost LB: 60182 ... c Min unsat cost LB: 60232 ... c Min unsat cost LB: 60309 ... c Min unsat cost LB: 60388 ... c Min unsat cost LB: 60601 ... c Min unsat cost LB: 60638 ... c Min unsat cost LB: 60719 ... c Min unsat cost LB: 60809 ... c Min unsat cost LB: 60830 ... c Min unsat cost LB: 60888 ... c Min unsat cost LB: 61221 ... c Min unsat cost LB: 61252 ... c Min unsat cost LB: 61255 ... c Min unsat cost LB: 61281 ... c Min unsat cost LB: 61284 ... c Min unsat cost LB: 61293 ... c Min unsat cost LB: 61315 ... c Min unsat cost LB: 61331 ... c Min unsat cost LB: 61332 ... c Min unsat cost LB: 61355 ... c Min unsat cost LB: 61358 ... c Min unsat cost LB: 61367 ... c Min unsat cost LB: 61370 ... c Min unsat cost LB: 61378 ... c Min unsat cost LB: 61397 ... c Min unsat cost LB: 61416 ... c Min unsat cost LB: 61426 ... c Min unsat cost LB: 61429 ... c Min unsat cost LB: 61439 ... c Min unsat cost LB: 61442 ... c Min unsat cost LB: 61448 ... c Min unsat cost LB: 61453 ... c Min unsat cost LB: 61511 ... c Min unsat cost LB: 61548 ... c Min unsat cost LB: 61561 ... c Min unsat cost LB: 61568 ... c Min unsat cost LB: 61574 ... c Min unsat cost LB: 61590 ... c Min unsat cost LB: 61597 ... c Min unsat cost LB: 61601 ... c Min unsat cost LB: 61606 ... c Min unsat cost LB: 61609 ... c Min unsat cost LB: 61620 ... c Min unsat cost LB: 61624 ... c Min unsat cost LB: 61627 ... c Min unsat cost LB: 61631 ... c Min unsat cost LB: 61633 ... c Min unsat cost LB: 61634 ... c Min unsat cost LB: 61638 ... c Min unsat cost LB: 61639 ... c Min unsat cost LB: 61645 ... c Min unsat cost LB: 61650 ... c Min unsat cost LB: 61689 ... c Min unsat cost LB: 61694 ... c Min unsat cost LB: 61697 ... c Min unsat cost LB: 61704 ... c Min unsat cost LB: 61708 ... c Min unsat cost LB: 61709 ... c Min unsat cost LB: 61715 ... c Min unsat cost LB: 61717 ... c Min unsat cost LB: 61719 ... c Min unsat cost LB: 61721 ... c Min unsat cost LB: 61724 ... c Min unsat cost LB: 61726 ... c Min unsat cost LB: 61729 ... c Min unsat cost LB: 61741 ... c Min unsat cost LB: 61772 ... c Min unsat cost LB: 61784 ... c Min unsat cost LB: 61798 ... c Min unsat cost LB: 61806 ... c Min unsat cost LB: 61822 ... c Min unsat cost LB: 61833 ... c Min unsat cost LB: 61858 ... c Min unsat cost LB: 61885 ... c Min unsat cost LB: 61896 ... c Min unsat cost LB: 61912 ... c Min unsat cost LB: 61923 ... c Min unsat cost LB: 61947 ... c Min unsat cost LB: 61976 ... c Min unsat cost LB: 61981 ... c Min unsat cost LB: 61988 ... c Min unsat cost LB: 62034 ... c Min unsat cost LB: 62319 ... c Min unsat cost LB: 62321 ... c Min unsat cost LB: 62323 ... c Min unsat cost LB: 62331 ... c Min unsat cost LB: 62359 ... c Min unsat cost LB: 62390 ... c Min unsat cost LB: 62428 ... c Min unsat cost LB: 62437 ... c Min unsat cost LB: 62461 ... c Min unsat cost LB: 62470 ... c Min unsat cost LB: 62490 ... c Min unsat cost LB: 62517 ... c Min unsat cost LB: 62532 ... c Min unsat cost LB: 62533 ... c Min unsat cost LB: 62534 ... c Min unsat cost LB: 62543 ... c Min unsat cost LB: 62545 ... c Min unsat cost LB: 62552 ... c Min unsat cost LB: 62563 ... c Min unsat cost LB: 62566 ... c Min unsat cost LB: 62570 ... c Min unsat cost LB: 62571 ... c Min unsat cost LB: 62572 ... c Min unsat cost LB: 62573 ... c Min unsat cost LB: 62574 ... c Min unsat cost LB: 62575 ... c Min unsat cost LB: 62576 ... c Min unsat cost LB: 62580 ... c Min unsat cost LB: 62582 ... c Min unsat cost LB: 62584 ... c Min unsat cost LB: 62586 ... c Min unsat cost LB: 62593 ... c Min unsat cost LB: 62613 ... c Min unsat cost LB: 62614 ... c Min unsat cost LB: 62615 ... c Min unsat cost LB: 62620 ... c Min unsat cost LB: 62627 ... c Min unsat cost LB: 62629 ... c Min unsat cost LB: 62631 ... c Min unsat cost LB: 62632 ... c Min unsat cost LB: 62634 ... c Min unsat cost LB: 62635 ... c Min unsat cost LB: 62642 ... c Min unsat cost LB: 62647 ... c Min unsat cost LB: 62652 ... c Min unsat cost LB: 62653 ... c Min unsat cost LB: 62654 ... c Min unsat cost LB: 62655 ... c Min unsat cost LB: 62657 ... c Min unsat cost LB: 62675 ... c Min unsat cost LB: 62681 ... c Min unsat cost LB: 62891 ... c Min unsat cost LB: 62905 ... c Min unsat cost LB: 62928 ... c Min unsat cost LB: 62939 ... c Min unsat cost LB: 62948 ... c Min unsat cost LB: 62955 ... c Min unsat cost LB: 62969 ... c Min unsat cost LB: 62998 ... c Min unsat cost LB: 62999 ... c Min unsat cost LB: 63007 ... c Min unsat cost LB: 63008 ... c Min unsat cost LB: 63009 ... c Min unsat cost LB: 63010 ... c Min unsat cost LB: 63014 ... c Min unsat cost LB: 63017 ... c Min unsat cost LB: 63018 ... c Min unsat cost LB: 63019 ... c Min unsat cost LB: 63022 ... c Min unsat cost LB: 63023 ... c Min unsat cost LB: 63024 ... c Min unsat cost LB: 63025 ... c Min unsat cost LB: 63026 ... c Min unsat cost LB: 63027 ... c Min unsat cost LB: 63028 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63062 ... c Min unsat cost LB: 63071 ... c Min unsat cost LB: 63110 ... c Min unsat cost LB: 63113 ... c Min unsat cost LB: 63114 ... c Min unsat cost LB: 63115 ... c Min unsat cost LB: 63116 ... c Min unsat cost LB: 63117 ... c Min unsat cost LB: 63118 ... c Min unsat cost LB: 63119 ... c Min unsat cost LB: 63120 ... c Min unsat cost LB: 63121 ... c Min unsat cost LB: 63131 ... c Min unsat cost LB: 63161 ... c Min unsat cost LB: 63180 ... c Min unsat cost LB: 63238 ... c Min unsat cost LB: 63248 ... c Min unsat cost LB: 63249 ... c Min unsat cost LB: 63251 ... c Min unsat cost LB: 63252 ... c Min unsat cost LB: 63253 ... c Min unsat cost LB: 63254 ... c Min unsat cost LB: 63255 ... c Min unsat cost LB: 63258 ... c Min unsat cost LB: 63263 ... c Min unsat cost LB: 63349 ... c Min unsat cost LB: 63350 ... c Min unsat cost LB: 63364 ... c Min unsat cost LB: 63365 ... c Min unsat cost LB: 63366 ... c Min unsat cost LB: 63369 ... c Min unsat cost LB: 63372 ... c Min unsat cost LB: 63374 ... c Min unsat cost LB: 63377 ... c Min unsat cost LB: 63381 ... c Min unsat cost LB: 63383 ... c Min unsat cost LB: 63384 ... c Min unsat cost LB: 63386 ... c Min unsat cost LB: 63388 ... c Min unsat cost LB: 63393 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63398 ... c Min unsat cost LB: 63401 ... c Min unsat cost LB: 63402 ... c Min unsat cost LB: 63403 ... c Min unsat cost LB: 63404 ... c Min unsat cost LB: 63405 ... c Min unsat cost LB: 63406 ... c Min unsat cost LB: 63407 ... c Min unsat cost LB: 63408 ... c Min unsat cost LB: 63409 ... c Min unsat cost LB: 63411 ... c Min unsat cost LB: 63412 ... c Min unsat cost LB: 63415 ... c Min unsat cost LB: 63416 ... c Min unsat cost LB: 63417 ... c Min unsat cost LB: 63418 ... c Min unsat cost LB: 63419 ... c Min unsat cost LB: 63420 ... c Min unsat cost LB: 63421 ... c Min unsat cost LB: 63422 ... c Min unsat cost LB: 63423 ... c Min unsat cost LB: 63424 ... c Min unsat cost LB: 63425 ... c Min unsat cost LB: 63426 ... c Min unsat cost LB: 63427 ... c Min unsat cost LB: 63428 ... c Min unsat cost LB: 63429 ... c Min unsat cost LB: 63430 ... c Min unsat cost LB: 63436 ... c Min unsat cost LB: 63437 ... c Min unsat cost LB: 63471 ... c Min unsat cost LB: 63477 ... c Min unsat cost LB: 63479 ... c Min unsat cost LB: 63480 ... c Min unsat cost LB: 63481 ... c Min unsat cost LB: 63482 ... c Min unsat cost LB: 63483 ... c Min unsat cost LB: 63484 ... c Min unsat cost LB: 63485 ... c Min unsat cost LB: 63486 ... c Min unsat cost LB: 63487 ... c Min unsat cost LB: 63488 ... c Min unsat cost LB: 63499 ... c Min unsat cost LB: 63501 ... c Min unsat cost LB: 63502 ... c Min unsat cost LB: 63504 ... c Min unsat cost LB: 63505 ... c Min unsat cost LB: 63508 ... c Min unsat cost LB: 63513 ... c Min unsat cost LB: 63514 ... c Min unsat cost LB: 63515 ... c Min unsat cost LB: 63517 ... c Min unsat cost LB: 63520 ... c Min unsat cost LB: 63526 ... c Min unsat cost LB: 63527 ... c Min unsat cost LB: 63528 ... c Min unsat cost LB: 63529 ... c Min unsat cost LB: 63530 ... c Min unsat cost LB: 63531 ... c Min unsat cost LB: 63532 ... c Min unsat cost LB: 63535 ... c Min unsat cost LB: 63536 ... c Min unsat cost LB: 63538 ... c Min unsat cost LB: 63539 ... c Min unsat cost LB: 63540 ... c Min unsat cost LB: 63541 ... c Min unsat cost LB: 63542 ... c Min unsat cost LB: 63543 ... c Min unsat cost LB: 63544 ... c Min unsat cost LB: 63546 ... c Min unsat cost LB: 63547 ... c Min unsat cost LB: 63548 ... c Min unsat cost LB: 63549 ... c Min unsat cost LB: 63550 ... c Min unsat cost LB: 63551 ... c Min unsat cost LB: 63552 ... c Min unsat cost LB: 63553 ... c Min unsat cost LB: 63554 ... c Min unsat cost LB: 63557 ... c Min unsat cost LB: 63559 ... c Min unsat cost LB: 63562 ... c Min unsat cost LB: 63563 ... c Min unsat cost LB: 63569 ... c Min unsat cost LB: 63570 ... c Min unsat cost LB: 63571 ... c Min unsat cost LB: 63573 ... c Min unsat cost LB: 63574 ... c Min unsat cost LB: 63576 ... c Min unsat cost LB: 63577 ... c Min unsat cost LB: 63578 ... c Min unsat cost LB: 63580 ... c Min unsat cost LB: 63581 ... c Min unsat cost LB: 63583 ... c Min unsat cost LB: 63584 ... c Min unsat cost LB: 63589 ... c Min unsat cost LB: 63590 ... c Min unsat cost LB: 63597 ... c Min unsat cost LB: 63598 ... c Min unsat cost LB: 63599 ... c Min unsat cost LB: 63604 ... c Min unsat cost LB: 63607 ... c Min unsat cost LB: 63609 ... c Min unsat cost LB: 63610 ... c Min unsat cost LB: 63612 ... c Min unsat cost LB: 63614 ... c Min unsat cost LB: 63615 ... c Min unsat cost LB: 63617 ... c Min unsat cost LB: 63620 ... c Min unsat cost LB: 63624 ... c Min unsat cost LB: 63625 ... c Min unsat cost LB: 63627 ... c Min unsat cost LB: 63629 ... c Min unsat cost LB: 63632 ... c Min unsat cost LB: 63633 ... c Min unsat cost LB: 63637 ... c Min unsat cost LB: 63642 ... c Min unsat cost LB: 63643 ... c Min unsat cost LB: 63644 ... c Min unsat cost LB: 63645 ... c Min unsat cost LB: 63654 ... c Min unsat cost LB: 63656 ... c Min unsat cost LB: 63658 ... c Min unsat cost LB: 63659 ... c Min unsat cost LB: 63687 ... c Min unsat cost LB: 63696 ... c Min unsat cost LB: 63697 ... c Min unsat cost LB: 63698 ... c Min unsat cost LB: 63699 ... c Min unsat cost LB: 63704 ... c Min unsat cost LB: 63713 ... c Min unsat cost LB: 63714 ... c Min unsat cost LB: 63715 ... c Min unsat cost LB: 63716 ... c Min unsat cost LB: 63717 ... c Min unsat cost LB: 63718 ... c Min unsat cost LB: 63719 ... c Min unsat cost LB: 63720 ... c Min unsat cost LB: 63721 ... c Min unsat cost LB: 63722 ... c Min unsat cost LB: 63723 ... c Min unsat cost LB: 63724 ... c Min unsat cost LB: 63725 ... c Min unsat cost LB: 63727 ... c Min unsat cost LB: 63728 ... c Min unsat cost LB: 63729 ... c Min unsat cost LB: 63731 ... c Min unsat cost LB: 63732 ... c Min unsat cost LB: 63733 ... c Min unsat cost LB: 63734 ... c Min unsat cost LB: 63735 ... c Min unsat cost LB: 63736 ... c Min unsat cost LB: 63737 ... c Min unsat cost LB: 63738 ... c Min unsat cost LB: 63739 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63741 ... c Min unsat cost LB: 63742 ... c Min unsat cost LB: 63743 ... c Min unsat cost LB: 63744 ... c Min unsat cost LB: 63745 ... c Min unsat cost LB: 63747 ... c Min unsat cost LB: 63748 ... c Min unsat cost LB: 63749 ... c Min unsat cost LB: 63754 ... c Min unsat cost LB: 63755 ... c Min unsat cost LB: 63756 ... c Min unsat cost LB: 63757 ... c Min unsat cost LB: 63758 ... c Min unsat cost LB: 63759 ... c Min unsat cost LB: 63760 ... c Min unsat cost LB: 63761 ... c Min unsat cost LB: 63762 ... c Min unsat cost LB: 63763 ... c Min unsat cost LB: 63764 ... c Min unsat cost LB: 63765 ... c Min unsat cost LB: 63766 ... c Min unsat cost LB: 63767 ... c Min unsat cost LB: 63768 ... c Min unsat cost LB: 63769 ... c Min unsat cost LB: 63770 ... c Min unsat cost LB: 63771 ... c Min unsat cost LB: 63774 ... c Min unsat cost LB: 63775 ... c Min unsat cost LB: 63776 ... c Min unsat cost LB: 63777 ... c Min unsat cost LB: 63778 ... c Min unsat cost LB: 63779 ... c Min unsat cost LB: 63780 ... c Min unsat cost LB: 63781 ... c Min unsat cost LB: 63782 ... c Min unsat cost LB: 63783 ... c Min unsat cost LB: 63784 ... c Min unsat cost LB: 63785 ... c Min unsat cost LB: 63786 ... c Min unsat cost LB: 63789 ... c Min unsat cost LB: 63791 ... c Min unsat cost LB: 63792 ... c Min unsat cost LB: 63793 ... c Min unsat cost LB: 63794 ... c Min unsat cost LB: 63795 ... c Min unsat cost LB: 63796 ... c Min unsat cost LB: 63797 ... c Min unsat cost LB: 63798 ... c Min unsat cost LB: 63799 ... c Min unsat cost LB: 63800 ... c Min unsat cost LB: 63801 ... c Min unsat cost LB: 63808 ... c Min unsat cost LB: 63809 ... c Min unsat cost LB: 63810 ... c Min unsat cost LB: 63811 ... c Min unsat cost LB: 63816 ... c Min unsat cost LB: 63817 ... c Min unsat cost LB: 63824 ... c Min unsat cost LB: 63825 ... c Min unsat cost LB: 63826 ... c Min unsat cost LB: 63827 ... c Min unsat cost LB: 63830 ... c Min unsat cost LB: 63853 ... c Min unsat cost LB: 63855 ... c Min unsat cost LB: 63864 ... c Min unsat cost LB: 63867 ... c Min unsat cost LB: 63868 ... c Min unsat cost LB: 63869 ... c Min unsat cost LB: 63870 ... c Min unsat cost LB: 63871 ... c Min unsat cost LB: 63878 ... c Min unsat cost LB: 63879 ... c Min unsat cost LB: 63885 ... c Min unsat cost LB: 63916 ... c Min unsat cost LB: 63926 ... c Min unsat cost LB: 63934 ... c Min unsat cost LB: 63957 ... c Min unsat cost LB: 63958 ... c Min unsat cost LB: 63969 ... c Min unsat cost LB: 64021 ... c Min unsat cost LB: 64032 ... c Min unsat cost LB: 64044 ... c Min unsat cost LB: 64112 ... c Min unsat cost LB: 64142 ... c Min unsat cost LB: 64144 ... c Min unsat cost LB: 64156 ... c Min unsat cost LB: 64160 ... c Min unsat cost LB: 64239 ... c Min unsat cost LB: 64275 ... c Min unsat cost LB: 64276 ... c Min unsat cost LB: 64277 ... c Min unsat cost LB: 64278 ... c Min unsat cost LB: 64281 ... c Min unsat cost LB: 64282 ... c Min unsat cost LB: 64292 ... c Min unsat cost LB: 64293 ... c Min unsat cost LB: 64303 ... c Min unsat cost LB: 64305 ... c Min unsat cost LB: 64311 ... c Min unsat cost LB: 64312 ... c Min unsat cost LB: 64313 ... c Min unsat cost LB: 64317 ... c Min unsat cost LB: 64320 ... c Min unsat cost LB: 64321 ... c Min unsat cost LB: 64323 ... c Min unsat cost LB: 64325 ... c Min unsat cost LB: 64326 ... c Min unsat cost LB: 64330 ... c Min unsat cost LB: 64331 ... c Min unsat cost LB: 64332 ... c Min unsat cost LB: 64351 ... c Min unsat cost LB: 64424 ... c Min unsat cost LB: 64430 ... c Min unsat cost LB: 64433 ... c Min unsat cost LB: 64434 ... c Min unsat cost LB: 64441 ... c Min unsat cost LB: 64570 ... c Min unsat cost LB: 64574 ... c Min unsat cost LB: 64576 ... c Min unsat cost LB: 64579 ... c Min unsat cost LB: 64580 ... c Min unsat cost LB: 64583 ... c Min unsat cost LB: 64584 ... c Min unsat cost LB: 64585 ... c Min unsat cost LB: 64586 ... c Min unsat cost LB: 64587 ... c Min unsat cost LB: 64588 ... c Min unsat cost LB: 64589 ... c Min unsat cost LB: 64590 ... c Min unsat cost LB: 64591 ... c Min unsat cost LB: 64592 ... c Min unsat cost LB: 64593 ... c Min unsat cost LB: 64594 ... c Min unsat cost LB: 64595 ... c Min unsat cost LB: 64598 ... c Min unsat cost LB: 64599 ... c Min unsat cost LB: 64605 ... c Min unsat cost LB: 64606 ... c Min unsat cost LB: 64609 ... c Min unsat cost LB: 64612 ... c Min unsat cost LB: 64613 ... c Min unsat cost LB: 64614 ... c Min unsat cost LB: 64615 ... c Min unsat cost LB: 64616 ... c Min unsat cost LB: 64617 ... c Min unsat cost LB: 64618 ... c Min unsat cost LB: 64620 ... c Min unsat cost LB: 64628 ... c Min unsat cost LB: 64632 ... c Min unsat cost LB: 64633 ... c Min unsat cost LB: 64634 ... c Min unsat cost LB: 64635 ... c Min unsat cost LB: 64636 ... c Min unsat cost LB: 64668 ... c Min unsat cost LB: 64670 ... c Min unsat cost LB: 64673 ... c Min unsat cost LB: 64674 ... c Min unsat cost LB: 64676 ... c Min unsat cost LB: 64678 ... c Min unsat cost LB: 64679 ... c Min unsat cost LB: 64680 ... c Min unsat cost LB: 64684 ... c Min unsat cost LB: 64685 ... c Min unsat cost LB: 64687 ... c Min unsat cost LB: 64688 ... c Min unsat cost LB: 64689 ... c Min unsat cost LB: 64690 ... c Min unsat cost LB: 64696 ... c Min unsat cost LB: 64697 ... c Min unsat cost LB: 64698 ... c Min unsat cost LB: 64699 ... c Min unsat cost LB: 64700 ... c Min unsat cost LB: 64701 ... c Min unsat cost LB: 64702 ... c Min unsat cost LB: 64703 ... c Min unsat cost LB: 64704 ... c Min unsat cost LB: 64705 ... c Min unsat cost LB: 64706 ... c Min unsat cost LB: 64707 ... c Min unsat cost LB: 64708 ... c Min unsat cost LB: 64709 ... c Min unsat cost LB: 64710 ... c Min unsat cost LB: 64711 ... c Min unsat cost LB: 64712 ... c Min unsat cost LB: 64717 ... c Min unsat cost LB: 64724 ... c Min unsat cost LB: 64725 ... c Min unsat cost LB: 64726 ... c Min unsat cost LB: 64727 ... c Min unsat cost LB: 64728 ... c Min unsat cost LB: 64740 ... c Min unsat cost LB: 64743 ... c Min unsat cost LB: 64748 ... c Min unsat cost LB: 64750 ... c Min unsat cost LB: 64757 ... c Min unsat cost LB: 64825 ... c Min unsat cost LB: 64826 ... c Min unsat cost LB: 64829 ... c Min unsat cost LB: 64830 ... c Min unsat cost LB: 64831 ... c Min unsat cost LB: 64832 ... c Min unsat cost LB: 64876 ... c Min unsat cost LB: 64877 ... c Min unsat cost LB: 64898 ... c Min unsat cost LB: 64899 ... c Min unsat cost LB: 64904 ... c Min unsat cost LB: 64911 ... c Min unsat cost LB: 64919 ... c Min unsat cost LB: 64924 ... c Min unsat cost LB: 64925 ... c Min unsat cost LB: 64926 ... c Min unsat cost LB: 64927 ... c Min unsat cost LB: 64929 ... c Min unsat cost LB: 64930 ... c Min unsat cost LB: 64955 ... c Min unsat cost LB: 65143 ... c Min unsat cost LB: 65147 ... c Min unsat cost LB: 65151 ... c Min unsat cost LB: 65154 ... c Min unsat cost LB: 65157 ... c Min unsat cost LB: 65158 ... c Min unsat cost LB: 65165 ... c Min unsat cost LB: 65175 ... c Min unsat cost LB: 65176 ... c Min unsat cost LB: 65178 ... c Min unsat cost LB: 65179 ... c Min unsat cost LB: 65183 ... c Min unsat cost LB: 65184 ... c Min unsat cost LB: 65185 ... c Min unsat cost LB: 65186 ... c Min unsat cost LB: 65187 ... c Min unsat cost LB: 65188 ... c Min unsat cost LB: 65189 ... c Min unsat cost LB: 65191 ... c Min unsat cost LB: 65192 ... c Min unsat cost LB: 65193 ... c Min unsat cost LB: 65194 ... c Min unsat cost LB: 65195 ... c Min unsat cost LB: 65196 ... c Min unsat cost LB: 65197 ... c Min unsat cost LB: 65198 ... c Min unsat cost LB: 65199 ... c Min unsat cost LB: 65200 ... c Min unsat cost LB: 65201 ... c Min unsat cost LB: 65202 ... c Min unsat cost LB: 65203 ... c Min unsat cost LB: 65204 ... c Min unsat cost LB: 65205 ... c Min unsat cost LB: 65206 ... c Min unsat cost LB: 65207 ... c Min unsat cost LB: 65208 ... c Min unsat cost LB: 65209 ... c Min unsat cost LB: 65210 ... c Min unsat cost LB: 65211 ... c Min unsat cost LB: 65212 ... c Min unsat cost LB: 65213 ... c Min unsat cost LB: 65214 ... c Min unsat cost LB: 65215 ... c Min unsat cost LB: 65216 ... c Min unsat cost LB: 65217 ... c Min unsat cost LB: 65218 ... c Min unsat cost LB: 65219 ... c Min unsat cost LB: 65220 ... c Min unsat cost LB: 65221 ... c Min unsat cost LB: 65222 ... c Min unsat cost LB: 65223 ... c Min unsat cost LB: 65224 ... c Min unsat cost LB: 65225 ... c Min unsat cost LB: 65226 ... c Min unsat cost LB: 65227 ... c Min unsat cost LB: 65228 ... c Min unsat cost LB: 65230 ... c Min unsat cost LB: 65231 ... c Min unsat cost LB: 65232 ... c Min unsat cost LB: 65233 ... c Min unsat cost LB: 65243 ... c Min unsat cost LB: 65250 ... c Min unsat cost LB: 65251 ... c Min unsat cost LB: 65254 ... c Min unsat cost LB: 65258 ... c Min unsat cost LB: 65259 ... c Min unsat cost LB: 65260 ... c Min unsat cost LB: 65261 ... c Min unsat cost LB: 65262 ... c Min unsat cost LB: 65263 ... c Min unsat cost LB: 65264 ... c Min unsat cost LB: 65265 ... c Min unsat cost LB: 65266 ... c Min unsat cost LB: 65267 ... c Min unsat cost LB: 65268 ... c Min unsat cost LB: 65269 ... c Min unsat cost LB: 65270 ... c Min unsat cost LB: 65271 ... c Min unsat cost LB: 65273 ... c Min unsat cost LB: 65274 ... c Min unsat cost LB: 65275 ... c Min unsat cost LB: 65276 ... c Min unsat cost LB: 65277 ... c Min unsat cost LB: 65278 ... c Min unsat cost LB: 65279 ... c Min unsat cost LB: 65322 ... c Min unsat cost LB: 65323 ... c Min unsat cost LB: 65347 ... c Min unsat cost LB: 65348 ... c Min unsat cost LB: 65349 ... c Min unsat cost LB: 65350 ... c Min unsat cost LB: 65351 ... c Min unsat cost LB: 65352 ... c Min unsat cost LB: 65353 ... c Min unsat cost LB: 65354 ... c Min unsat cost LB: 65355 ... c Min unsat cost LB: 65356 ... c Min unsat cost LB: 65357 ... c Min unsat cost LB: 65367 ... c Min unsat cost LB: 65372 ... c Min unsat cost LB: 65402 ... c Min unsat cost LB: 65423 ... c Min unsat cost LB: 65424 ... c Min unsat cost LB: 65430 ... c Min unsat cost LB: 65432 ... c Min unsat cost LB: 65439 ... c Min unsat cost LB: 65442 ... c Min unsat cost LB: 65452 ... c Min unsat cost LB: 65454 ... c Min unsat cost LB: 65480 ... c Min unsat cost LB: 65481 ... c Min unsat cost LB: 65484 ... c Min unsat cost LB: 65487 ... c Min unsat cost LB: 65497 ... c Min unsat cost LB: 65499 ... c Min unsat cost LB: 65500 ... c Min unsat cost LB: 65508 ... c Min unsat cost LB: 65509 ... c Min unsat cost LB: 65512 ... c Min unsat cost LB: 65513 ... c Min unsat cost LB: 65514 ... c Min unsat cost LB: 65523 ... c Min unsat cost LB: 65527 ... c Min unsat cost LB: 65531 ... c Min unsat cost LB: 65533 ... c Min unsat cost LB: 65555 ... c Min unsat cost LB: 65556 ... c Min unsat cost LB: 65558 ... c Min unsat cost LB: 65559 ... c Min unsat cost LB: 65561 ... c Min unsat cost LB: 65562 ... c Min unsat cost LB: 65563 ... c Min unsat cost LB: 65565 ... c Min unsat cost LB: 65566 ... c Min unsat cost LB: 65568 ... c Min unsat cost LB: 65569 ... c Min unsat cost LB: 65570 ... c Min unsat cost LB: 65571 ... c Min unsat cost LB: 65572 ... c Min unsat cost LB: 65573 ... c Min unsat cost LB: 65574 ... c Min unsat cost LB: 65575 ... c Min unsat cost LB: 65576 ... c Min unsat cost LB: 65577 ... c Min unsat cost LB: 65578 ... c Min unsat cost LB: 65579 ... c Min unsat cost LB: 65580 ... c Min unsat cost LB: 65581 ... c Min unsat cost LB: 65582 ... c Min unsat cost LB: 65583 ... c Min unsat cost LB: 65584 ... c Min unsat cost LB: 65585 ... c Min unsat cost LB: 65586 ... c Min unsat cost LB: 65587 ... c Min unsat cost LB: 65588 ... c Min unsat cost LB: 65589 ... c Min unsat cost LB: 65590 ... c Min unsat cost LB: 65591 ... c Min unsat cost LB: 65592 ... c Min unsat cost LB: 65593 ... c Min unsat cost LB: 65594 ... c Min unsat cost LB: 65595 ... c Min unsat cost LB: 65596 ... c Min unsat cost LB: 65597 ... c Min unsat cost LB: 65598 ... c Min unsat cost LB: 65599 ... c Min unsat cost LB: 65600 ... c Min unsat cost LB: 65601 ... c Min unsat cost LB: 65602 ... c Min unsat cost LB: 65603 ... c Min unsat cost LB: 65604 ... c Min unsat cost LB: 65605 ... c Min unsat cost LB: 65606 ... c Min unsat cost LB: 65607 ... c Min unsat cost LB: 65608 ... c Min unsat cost LB: 65609 ... c Min unsat cost LB: 65610 ... c Min unsat cost LB: 65611 ... c Min unsat cost LB: 65616 ... c Min unsat cost LB: 65617 ... c Min unsat cost LB: 65618 ... c Min unsat cost LB: 65619 ... c Min unsat cost LB: 65620 ... c Min unsat cost LB: 65638 ... c Min unsat cost LB: 65651 ... c Min unsat cost LB: 65658 ... c Min unsat cost LB: 65679 ... c Min unsat cost LB: 65681 ... c Min unsat cost LB: 65682 ... c Min unsat cost LB: 65689 ... c Min unsat cost LB: 65694 ... c Min unsat cost LB:Killed 1815.703u 4.031s 34:45.49 87.2% 0+0k 0+0io 0pf+0w