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_160_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_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_160_0000.txt.wcnf *** c c Min unsat cost LB: 219 ... c Min unsat cost LB: 565 ... c Min unsat cost LB: 784 ... c Min unsat cost LB: 1003 ... c Min unsat cost LB: 1349 ... c Min unsat cost LB: 1695 ... c Min unsat cost LB: 2041 ... c Min unsat cost LB: 2260 ... c Min unsat cost LB: 2479 ... c Min unsat cost LB: 2825 ... c Min unsat cost LB: 3108 ... c Min unsat cost LB: 3454 ... c Min unsat cost LB: 3517 ... c Min unsat cost LB: 3737 ... c Min unsat cost LB: 3956 ... c Min unsat cost LB: 4175 ... c Min unsat cost LB: 4521 ... c Min unsat cost LB: 4804 ... c Min unsat cost LB: 5049 ... c Min unsat cost LB: 5395 ... c Min unsat cost LB: 5496 ... c Min unsat cost LB: 5580 ... c Min unsat cost LB: 5664 ... c Min unsat cost LB: 5748 ... c Min unsat cost LB: 5832 ... c Min unsat cost LB: 6178 ... c Min unsat cost LB: 6423 ... c Min unsat cost LB: 6769 ... c Min unsat cost LB: 6895 ... c Min unsat cost LB: 6979 ... c Min unsat cost LB: 7080 ... c Min unsat cost LB: 7363 ... c Min unsat cost LB: 7520 ... c Min unsat cost LB: 7765 ... c Min unsat cost LB: 7849 ... c Min unsat cost LB: 8094 ... c Min unsat cost LB: 8313 ... c Min unsat cost LB: 8532 ... c Min unsat cost LB: 8751 ... c Min unsat cost LB: 8793 ... c Min unsat cost LB: 9038 ... c Min unsat cost LB: 9257 ... c Min unsat cost LB: 9435 ... c Min unsat cost LB: 9483 ... c Min unsat cost LB: 9766 ... c Min unsat cost LB: 9819 ... c Min unsat cost LB: 10045 ... c Min unsat cost LB: 10165 ... c Min unsat cost LB: 10448 ... c Min unsat cost LB: 10532 ... c Min unsat cost LB: 10731 ... c Min unsat cost LB: 10875 ... c Min unsat cost LB: 11405 ... c Min unsat cost LB: 11489 ... c Min unsat cost LB: 12231 ... c Min unsat cost LB: 12627 ... c Min unsat cost LB: 12711 ... c Min unsat cost LB: 12795 ... c Min unsat cost LB: 13042 ... c Min unsat cost LB: 13289 ... c Min unsat cost LB: 13373 ... c Min unsat cost LB: 13551 ... c Min unsat cost LB: 13635 ... c Min unsat cost LB: 13719 ... c Min unsat cost LB: 13761 ... c Min unsat cost LB: 14291 ... c Min unsat cost LB: 14375 ... c Min unsat cost LB: 14432 ... c Min unsat cost LB: 15109 ... c Min unsat cost LB: 15193 ... c Min unsat cost LB: 15688 ... c Min unsat cost LB: 16050 ... c Min unsat cost LB: 16067 ... c Min unsat cost LB: 16151 ... c Min unsat cost LB: 16208 ... c Min unsat cost LB: 16275 ... c Min unsat cost LB: 16494 ... c Min unsat cost LB: 16551 ... c Min unsat cost LB: 16770 ... c Min unsat cost LB: 16778 ... c Min unsat cost LB: 16862 ... c Min unsat cost LB: 17081 ... c Min unsat cost LB: 17116 ... c Min unsat cost LB: 17335 ... c Min unsat cost LB: 17392 ... c Min unsat cost LB: 17449 ... c Min unsat cost LB: 17541 ... c Min unsat cost LB: 17625 ... c Min unsat cost LB: 17668 ... c Min unsat cost LB: 17725 ... c Min unsat cost LB: 18255 ... c Min unsat cost LB: 18347 ... c Min unsat cost LB: 18404 ... c Min unsat cost LB: 18488 ... c Min unsat cost LB: 18545 ... c Min unsat cost LB: 18575 ... c Min unsat cost LB: 18602 ... c Min unsat cost LB: 18780 ... c Min unsat cost LB: 18837 ... c Min unsat cost LB: 18999 ... c Min unsat cost LB: 19025 ... c Min unsat cost LB: 19183 ... c Min unsat cost LB: 19371 ... c Min unsat cost LB: 19506 ... c Min unsat cost LB: 19521 ... c Min unsat cost LB: 19578 ... c Min unsat cost LB: 19590 ... c Min unsat cost LB: 19635 ... c Min unsat cost LB: 19674 ... c Min unsat cost LB: 19893 ... c Min unsat cost LB: 20022 ... c Min unsat cost LB: 20040 ... c Min unsat cost LB: 20097 ... c Min unsat cost LB: 20154 ... c Min unsat cost LB: 20184 ... c Min unsat cost LB: 20241 ... c Min unsat cost LB: 20298 ... c Min unsat cost LB: 20304 ... c Min unsat cost LB: 20361 ... c Min unsat cost LB: 20418 ... c Min unsat cost LB: 20449 ... c Min unsat cost LB: 20475 ... c Min unsat cost LB: 20476 ... c Min unsat cost LB: 20585 ... c Min unsat cost LB: 20601 ... c Min unsat cost LB: 20634 ... c Min unsat cost LB: 20691 ... c Min unsat cost LB: 20748 ... c Min unsat cost LB: 20758 ... c Min unsat cost LB: 20810 ... c Min unsat cost LB: 20948 ... c Min unsat cost LB: 20953 ... c Min unsat cost LB: 21399 ... c Min unsat cost LB: 21483 ... c Min unsat cost LB: 21567 ... c Min unsat cost LB: 21651 ... c Min unsat cost LB: 21778 ... c Min unsat cost LB: 21819 ... c Min unsat cost LB: 21870 ... c Min unsat cost LB: 21913 ... c Min unsat cost LB: 22132 ... c Min unsat cost LB: 22351 ... c Min unsat cost LB: 22443 ... c Min unsat cost LB: 22611 ... c Min unsat cost LB: 22619 ... c Min unsat cost LB: 22646 ... c Min unsat cost LB: 22773 ... c Min unsat cost LB: 22806 ... c Min unsat cost LB: 22922 ... c Min unsat cost LB: 22949 ... c Min unsat cost LB: 22995 ... c Min unsat cost LB: 23052 ... c Min unsat cost LB: 23109 ... c Min unsat cost LB: 23119 ... c Min unsat cost LB: 23173 ... c Min unsat cost LB: 23226 ... c Min unsat cost LB: 23394 ... c Min unsat cost LB: 23402 ... c Min unsat cost LB: 23418 ... c Min unsat cost LB: 23471 ... c Min unsat cost LB: 23479 ... c Min unsat cost LB: 23480 ... c Min unsat cost LB: 23506 ... c Min unsat cost LB: 23510 ... c Min unsat cost LB: 23518 ... c Min unsat cost LB: 23537 ... c Min unsat cost LB: 23553 ... c Min unsat cost LB: 23577 ... c Min unsat cost LB: 23669 ... c Min unsat cost LB: 23745 ... c Min unsat cost LB: 23888 ... c Min unsat cost LB: 23909 ... c Min unsat cost LB: 23913 ... c Min unsat cost LB: 23962 ... c Min unsat cost LB: 23983 ... c Min unsat cost LB: 23988 ... c Min unsat cost LB: 23993 ... c Min unsat cost LB: 24019 ... c Min unsat cost LB: 24050 ... c Min unsat cost LB: 24068 ... c Min unsat cost LB: 24085 ... c Min unsat cost LB: 24092 ... c Min unsat cost LB: 24107 ... c Min unsat cost LB: 24169 ... c Min unsat cost LB: 24176 ... c Min unsat cost LB: 24218 ... c Min unsat cost LB: 24244 ... c Min unsat cost LB: 24245 ... c Min unsat cost LB: 24251 ... c Min unsat cost LB: 24265 ... c Min unsat cost LB: 24318 ... c Min unsat cost LB: 24322 ... c Min unsat cost LB: 24349 ... c Min unsat cost LB: 24379 ... c Min unsat cost LB: 24416 ... c Min unsat cost LB: 24432 ... c Min unsat cost LB: 24453 ... c Min unsat cost LB: 24500 ... c Min unsat cost LB: 24516 ... c Min unsat cost LB: 24522 ... c Min unsat cost LB: 24584 ... c Min unsat cost LB: 24611 ... c Min unsat cost LB: 24760 ... c Min unsat cost LB: 24806 ... c Min unsat cost LB: 24830 ... c Min unsat cost LB: 24922 ... c Min unsat cost LB: 24931 ... c Min unsat cost LB: 24960 ... c Min unsat cost LB: 25053 ... c Min unsat cost LB: 25076 ... c Min unsat cost LB: 25113 ... c Min unsat cost LB: 25156 ... c Min unsat cost LB: 25198 ... c Min unsat cost LB: 25215 ... c Min unsat cost LB: 25231 ... c Min unsat cost LB: 25265 ... c Min unsat cost LB: 25269 ... c Min unsat cost LB: 25297 ... c Min unsat cost LB: 25413 ... c Min unsat cost LB: 25475 ... c Min unsat cost LB: 25559 ... c Min unsat cost LB: 25775 ... c Min unsat cost LB: 25842 ... c Min unsat cost LB: 25851 ... c Min unsat cost LB: 25879 ... c Min unsat cost LB: 25980 ... c Min unsat cost LB: 26005 ... c Min unsat cost LB: 26041 ... c Min unsat cost LB: 26046 ... c Min unsat cost LB: 26087 ... c Min unsat cost LB: 26088 ... c Min unsat cost LB: 26089 ... c Min unsat cost LB: 26181 ... c Min unsat cost LB: 26208 ... c Min unsat cost LB: 26212 ... c Min unsat cost LB: 26220 ... c Min unsat cost LB: 26225 ... c Min unsat cost LB: 26237 ... c Min unsat cost LB: 26239 ... c Min unsat cost LB: 26325 ... c Min unsat cost LB: 26366 ... c Min unsat cost LB: 26401 ... c Min unsat cost LB: 26481 ... c Min unsat cost LB: 26572 ... c Min unsat cost LB: 26616 ... c Min unsat cost LB: 26629 ... c Min unsat cost LB: 26664 ... c Min unsat cost LB: 26681 ... c Min unsat cost LB: 26702 ... c Min unsat cost LB: 27098 ... c Min unsat cost LB: 27202 ... c Min unsat cost LB: 27271 ... c Min unsat cost LB: 27282 ... c Min unsat cost LB: 27290 ... c Min unsat cost LB: 27457 ... c Min unsat cost LB: 27651 ... c Min unsat cost LB: 27817 ... c Min unsat cost LB: 27992 ... c Min unsat cost LB: 28001 ... c Min unsat cost LB: 28008 ... c Min unsat cost LB: 28019 ... c Min unsat cost LB: 28052 ... c Min unsat cost LB: 28068 ... c Min unsat cost LB: 28128 ... c Min unsat cost LB: 28155 ... c Min unsat cost LB: 28163 ... c Min unsat cost LB: 28257 ... c Min unsat cost LB: 28329 ... c Min unsat cost LB: 28336 ... c Min unsat cost LB: 28378 ... c Min unsat cost LB: 28389 ... c Min unsat cost LB: 28393 ... c Min unsat cost LB: 28411 ... c Min unsat cost LB: 28422 ... c Min unsat cost LB: 28430 ... c Min unsat cost LB: 28442 ... c Min unsat cost LB: 28447 ... c Min unsat cost LB: 28472 ... c Min unsat cost LB: 28473 ... c Min unsat cost LB: 28474 ... c Min unsat cost LB: 28475 ... c Min unsat cost LB: 28478 ... c Min unsat cost LB: 28492 ... c Min unsat cost LB: 28505 ... c Min unsat cost LB: 28528 ... c Min unsat cost LB: 28533 ... c Min unsat cost LB: 28554 ... c Min unsat cost LB: 28608 ... c Min unsat cost LB: 28613 ... c Min unsat cost LB: 28636 ... c Min unsat cost LB: 28639 ... c Min unsat cost LB: 28642 ... c Min unsat cost LB: 28650 ... c Min unsat cost LB: 28667 ... c Min unsat cost LB: 28670 ... c Min unsat cost LB: 28671 ... c Min unsat cost LB: 28685 ... c Min unsat cost LB: 28687 ... c Min unsat cost LB: 28689 ... c Min unsat cost LB: 28693 ... c Min unsat cost LB: 28735 ... c Min unsat cost LB: 28743 ... c Min unsat cost LB: 28749 ... c Min unsat cost LB: 28766 ... c Min unsat cost LB: 28768 ... c Min unsat cost LB: 28771 ... c Min unsat cost LB: 28772 ... c Min unsat cost LB: 28780 ... c Min unsat cost LB: 28784 ... c Min unsat cost LB: 28788 ... c Min unsat cost LB: 28792 ... c Min unsat cost LB: 28805 ... c Min unsat cost LB: 28811 ... c Min unsat cost LB: 28818 ... c Min unsat cost LB: 28967 ... c Min unsat cost LB: 28991 ... c Min unsat cost LB: 29013 ... c Min unsat cost LB: 29018 ... c Min unsat cost LB: 29037 ... c Min unsat cost LB: 29039 ... c Min unsat cost LB: 29047 ... c Min unsat cost LB: 29050 ... c Min unsat cost LB: 29051 ... c Min unsat cost LB: 29059 ... c Min unsat cost LB: 29069 ... c Min unsat cost LB: 29116 ... c Min unsat cost LB: 29170 ... c Min unsat cost LB: 29177 ... c Min unsat cost LB: 29178 ... c Min unsat cost LB: 29179 ... c Min unsat cost LB: 29185 ... c Min unsat cost LB: 29186 ... c Min unsat cost LB: 29188 ... c Min unsat cost LB: 29235 ... c Min unsat cost LB: 29236 ... c Min unsat cost LB: 29240 ... c Min unsat cost LB: 29245 ... c Min unsat cost LB: 29247 ... c Min unsat cost LB: 29248 ... c Min unsat cost LB: 29251 ... c Min unsat cost LB: 29343 ... c Min unsat cost LB: 29352 ... c Min unsat cost LB: 29396 ... c Min unsat cost LB: 29401 ... c Min unsat cost LB: 29464 ... c Min unsat cost LB: 29466 ... c Min unsat cost LB: 29467 ... c Min unsat cost LB: 29474 ... c Min unsat cost LB: 29476 ... c Min unsat cost LB: 29478 ... c Min unsat cost LB: 29479 ... c Min unsat cost LB: 29480 ... c Min unsat cost LB: 29481 ... c Min unsat cost LB: 29482 ... c Min unsat cost LB: 29492 ... c Min unsat cost LB: 29501 ... c Min unsat cost LB: 29511 ... c Min unsat cost LB: 29673 ... c Min unsat cost LB: 29682 ... c Min unsat cost LB: 29740 ... c Min unsat cost LB: 29749 ... c Min unsat cost LB: 29758 ... c Min unsat cost LB: 29770 ... c Min unsat cost LB: 29775 ... c Min unsat cost LB: 29782 ... c Min unsat cost LB: 29791 ... c Min unsat cost LB: 29812 ... c Min unsat cost LB: 29821 ... c Min unsat cost LB: 29831 ... c Min unsat cost LB: 29840 ... c Min unsat cost LB: 29850 ... c Min unsat cost LB: 29860 ... c Min unsat cost LB: 29863 ... c Min unsat cost LB: 29864 ... c Min unsat cost LB: 29867 ... c Min unsat cost LB: 29869 ... c Min unsat cost LB: 29876 ... c Min unsat cost LB: 29884 ... c Min unsat cost LB: 29929 ... c Min unsat cost LB: 29970 ... c Min unsat cost LB: 29971 ... c Min unsat cost LB: 29972 ... c Min unsat cost LB: 29976 ... c Min unsat cost LB: 29984 ... c Min unsat cost LB: 29987 ... c Min unsat cost LB: 29988 ... c Min unsat cost LB: 29990 ... c Min unsat cost LB: 29992 ... c Min unsat cost LB: 29995 ... c Min unsat cost LB: 29997 ... c Min unsat cost LB: 29999 ... c Min unsat cost LB: 30000 ... c Min unsat cost LB: 30001 ... c Min unsat cost LB: 30002 ... c Min unsat cost LB: 30005 ... c Min unsat cost LB: 30081 ... c Min unsat cost LB: 30102 ... c Min unsat cost LB: 30103 ... c Min unsat cost LB: 30105 ... c Min unsat cost LB: 30106 ... c Min unsat cost LB: 30107 ... c Min unsat cost LB: 30108 ... c Min unsat cost LB: 30109 ... c Min unsat cost LB: 30116 ... c Min unsat cost LB: 30119 ... c Min unsat cost LB: 30124 ... c Min unsat cost LB: 30125 ... c Min unsat cost LB: 30126 ... c Min unsat cost LB: 30132 ... c Min unsat cost LB: 30133 ... c Min unsat cost LB: 30134 ... c Min unsat cost LB: 30149 ... c Min unsat cost LB: 30153 ... c Min unsat cost LB: 30156 ... c Min unsat cost LB: 30157 ... c Min unsat cost LB: 30158 ... c Min unsat cost LB: 30166 ... c Min unsat cost LB: 30167 ... c Min unsat cost LB: 30168 ... c Min unsat cost LB: 30169 ... c Min unsat cost LB: 30171 ... c Min unsat cost LB: 30174 ... c Min unsat cost LB: 30183 ... c Min unsat cost LB: 30187 ... c Min unsat cost LB: 30192 ... c Min unsat cost LB: 30202 ... c Min unsat cost LB: 30226 ... c Min unsat cost LB: 30230 ... c Min unsat cost LB: 30235 ... c Min unsat cost LB: 30245 ... c Min unsat cost LB: 30259 ... c Min unsat cost LB: 30260 ... c Min unsat cost LB: 30264 ... c Min unsat cost LB: 30266 ... c Min unsat cost LB: 30270 ... c Min unsat cost LB: 30272 ... c Min unsat cost LB: 30273 ... c Min unsat cost LB: 30274 ... c Min unsat cost LB: 30276 ... c Min unsat cost LB: 30277 ... c Min unsat cost LB: 30292 ... c Min unsat cost LB: 30293 ... c Min unsat cost LB: 30294 ... c Min unsat cost LB: 30295 ... c Min unsat cost LB: 30296 ... c Min unsat cost LB: 30298 ... c Min unsat cost LB: 30299 ... c Min unsat cost LB: 30300 ... c Min unsat cost LB: 30301 ... c Min unsat cost LB: 30304 ... c Min unsat cost LB: 30305 ... c Min unsat cost LB: 30306 ... c Min unsat cost LB: 30307 ... c Min unsat cost LB: 30309 ... c Min unsat cost LB: 30314 ... c Min unsat cost LB: 30319 ... c Min unsat cost LB: 30321 ... c Min unsat cost LB: 30323 ... c Min unsat cost LB: 30324 ... c Min unsat cost LB: 30328 ... c Min unsat cost LB: 30329 ... c Min unsat cost LB: 30339 ... c Min unsat cost LB: 30341 ... c Min unsat cost LB: 30342 ... c Min unsat cost LB: 30344 ... c Min unsat cost LB: 30355 ... c Min unsat cost LB: 30360 ... c Min unsat cost LB: 30364 ... c Min unsat cost LB: 30367 ... c Min unsat cost LB: 30369 ... c Min unsat cost LB: 30414 ... c Min unsat cost LB: 30421 ... c Min unsat cost LB: 30422 ... c Min unsat cost LB: 30423 ... c Min unsat cost LB: 30424 ... c Min unsat cost LB: 30428 ... c Min unsat cost LB: 30429 ... c Min unsat cost LB: 30430 ... c Min unsat cost LB: 30431 ... c Min unsat cost LB: 30495 ... c Min unsat cost LB: 30503 ... c Min unsat cost LB: 30530 ... c Min unsat cost LB: 30573 ... c Min unsat cost LB: 30574 ... c Min unsat cost LB: 30575 ... c Min unsat cost LB: 30576 ... c Min unsat cost LB: 30580 ... c Min unsat cost LB: 30581 ... c Min unsat cost LB: 30584 ... c Min unsat cost LB: 30588 ... c Min unsat cost LB: 30589 ... c Min unsat cost LB: 30590 ... c Min unsat cost LB: 30591 ... c Min unsat cost LB: 30592 ... c Min unsat cost LB: 30593 ... c Min unsat cost LB: 30594 ... c Min unsat cost LB: 30595 ... c Min unsat cost LB: 30596 ... c Min unsat cost LB: 30597 ... c Min unsat cost LB: 30598 ... c Min unsat cost LB: 30601 ... c Min unsat cost LB: 30612 ... c Min unsat cost LB: 30631 ... c Min unsat cost LB: 30637 ... c Min unsat cost LB: 30638 ... c Min unsat cost LB: 30639 ... c Min unsat cost LB: 30640 ... c Min unsat cost LB: 30641 ... c Min unsat cost LB: 30643 ... c Min unsat cost LB: 30644 ... c Min unsat cost LB: 30646 ... c Min unsat cost LB: 30647 ... c Min unsat cost LB: 30648 ... c Min unsat cost LB: 30649 ... c Min unsat cost LB: 30653 ... c Min unsat cost LB: 30661 ... c Min unsat cost LB: 30662 ... c Min unsat cost LB: 30666 ... c Min unsat cost LB: 30669 ... c Min unsat cost LB: 30672 ... c Min unsat cost LB: 30674 ... c Min unsat cost LB: 30676 ... c Min unsat cost LB: 30677 ... c Min unsat cost LB: 30683 ... c Min unsat cost LB: 30685 ... c Min unsat cost LB: 30686 ... c Min unsat cost LB: 30688 ... c Min unsat cost LB: 30689 ... c Min unsat cost LB: 30691 ... c Min unsat cost LB: 30702 ... c Min unsat cost LB: 30704 ... c Min unsat cost LB: 30705 ... c Min unsat cost LB: 30707 ... c Min unsat cost LB: 30711 ... c Min unsat cost LB: 30712 ... c Min unsat cost LB: 30713 ... c Min unsat cost LB: 30715 ... c Min unsat cost LB: 30716 ... c Min unsat cost LB: 30717 ... c Min unsat cost LB: 30718 ... c Min unsat cost LB: 30719 ... c Min unsat cost LB: 30720 ... c Min unsat cost LB: 30721 ... c Min unsat cost LB: 30722 ... c Min unsat cost LB: 30723 ... c Min unsat cost LB: 30724 ... c Min unsat cost LB: 30725 ... c Min unsat cost LB: 30726 ... c Min unsat cost LB: 30727 ... c Min unsat cost LB: 30730 ... c Min unsat cost LB: 30732 ... c Min unsat cost LB: 30735 ... c Min unsat cost LB: 30738 ... c Min unsat cost LB: 30742 ... c Min unsat cost LB: 30743 ... c Min unsat cost LB: 30746 ... c Min unsat cost LB: 30749 ... c Min unsat cost LB: 30750 ... c Min unsat cost LB: 30755 ... c Min unsat cost LB: 30765 ... c Min unsat cost LB: 30767 ... c Min unsat cost LB: 30768 ... c Min unsat cost LB: 30769 ... c Min unsat cost LB: 30770 ... c Min unsat cost LB: 30771 ... c Min unsat cost LB: 30772 ... c Min unsat cost LB: 30773 ... c Min unsat cost LB: 30774 ... c Min unsat cost LB: 30775 ... c Min unsat cost LB: 30778 ... c Min unsat cost LB: 30779 ... c Min unsat cost LB: 30782 ... c Min unsat cost LB: 30783 ... c Min unsat cost LB: 30785 ... c Min unsat cost LB: 30787 ... c Min unsat cost LB: 30788 ... c Min unsat cost LB: 30789 ... c Min unsat cost LB: 30793 ... c Min unsat cost LB: 30794 ... c Min unsat cost LB: 30795 ... c Min unsat cost LB: 30802 ... c Min unsat cost LB: 30803 ... c Min unsat cost LB: 30804 ... c Min unsat cost LB: 30805 ... c Min unsat cost LB: 30806 ... c Min unsat cost LB: 30807 ... c Min unsat cost LB: 30817 ... c Min unsat cost LB: 30818 ... c Min unsat cost LB: 30819 ... c Min unsat cost LB: 30820 ... c Min unsat cost LB: 30821 ... c Min unsat cost LB: 30822 ... c Min unsat cost LB: 30823 ... c Min unsat cost LB: 30824 ... c Min unsat cost LB: 30825 ... c Min unsat cost LB: 30826 ... c Min unsat cost LB: 30827 ... c Min unsat cost LB: 30828 ... c Min unsat cost LB: 30829 ... c Min unsat cost LB: 30830 ... c Min unsat cost LB: 30831 ... c Min unsat cost LB: 30832 ... c Min unsat cost LB: 30833 ... c Min unsat cost LB: 30834 ... c Min unsat cost LB: 30835 ... c Min unsat cost LB: 30836 ... c Min unsat cost LB: 30837 ... c Min unsat cost LB: 30838 ... c Min unsat cost LB: 30839 ... c Min unsat cost LB: 30840 ... c Min unsat cost LB: 30841 ... c Min unsat cost LB: 30842 ... c Min unsat cost LB: 30843 ... c Min unsat cost LB: 30844 ... c Min unsat cost LB: 30845 ... c Min unsat cost LB: 30846 ... c Min unsat cost LB: 30847 ... c Min unsat cost LB: 30852 ... c Min unsat cost LB: 30854 ... c Min unsat cost LB: 30856 ... c Min unsat cost LB: 30857 ... c Min unsat cost LB: 30858 ... c Min unsat cost LB: 30859 ... c Min unsat cost LB: 30861 ... c Min unsat cost LB: 30869 ... c Min unsat cost LB: 30873 ... c Min unsat cost LB: 30874 ... c Min unsat cost LB: 30876 ... c Min unsat cost LB: 30884 ... c Min unsat cost LB: 30888 ... c Min unsat cost LB: 30889 ... c Min unsat cost LB: 30890 ... c Min unsat cost LB: 30891 ... c Min unsat cost LB: 30892 ... c Min unsat cost LB: 30893 ... c Min unsat cost LB: 30894 ... c Min unsat cost LB: 30895 ... c Min unsat cost LB: 30896 ... c Min unsat cost LB: 30897 ... c Min unsat cost LB: 30898 ... c Min unsat cost LB: 30899 ... c Min unsat cost LB: 30900 ... c Min unsat cost LB: 30901 ... c Min unsat cost LB: 30902 ... c Min unsat cost LB: 30903 ... c Min unsat cost LB: 30904 ... c Min unsat cost LB: 30905 ... c Min unsat cost LB: 30906 ... c Min unsat cost LB: 30907 ... c Min unsat cost LB: 30908 ... c Min unsat cost LB: 30909 ... c Min unsat cost LB: 30910 ... c Min unsat cost LB: 30911 ... c Min unsat cost LB: 30912 ... c Min unsat cost LB: 30913 ... c Min unsat cost LB: 30914 ... c Min unsat cost LB: 30915 ... c Min unsat cost LB: 30916 ... c Min unsat cost LB: 30917 ... c Min unsat cost LB: 30918 ... c Min unsat cost LB: 30919 ... c Min unsat cost LB: 30920 ... c Min unsat cost LB: 30921 ... c Min unsat cost LB: 30922 ... c Min unsat cost LB: 30923 ... c Min unsat cost LB: 30924 ... c Min unsat cost LB: 30975 ... c Min unsat cost LB: 30982 ... c Min unsat cost LB: 30984 ... c Min unsat cost LB: 30986 ... c Min unsat cost LB: 31001 ... c Min unsat cost LB: 31003 ... c Min unsat cost LB: 31004 ... c Min unsat cost LB: 31005 ... c Min unsat cost LB: 31006 ... c Min unsat cost LB: 31007 ... c Min unsat cost LB: 31031 ... c Min unsat cost LB: 31045 ... c Min unsat cost LB: 31055 ... c Min unsat cost LB: 31156 ... c Min unsat cost LB: 31157 ... c Min unsat cost LB: 31158 ... c Min unsat cost LB: 31162 ... c Min unsat cost LB: 31163 ... c Min unsat cost LB: 31164 ... c Min unsat cost LB: 31166 ... c Min unsat cost LB: 31171 ... c Min unsat cost LB: 31196 ... c Min unsat cost LB: 31197 ... c Min unsat cost LB: 31198 ... c Min unsat cost LB: 31199 ... c Min unsat cost LB: 31200 ... c Min unsat cost LB: 31201 ... c Min unsat cost LB: 31202 ... c Min unsat cost LB: 31203 ... c Min unsat cost LB: 31204 ... c Min unsat cost LB: 31205 ... c Min unsat cost LB: 31206 ... c Min unsat cost LB: 31207 ... c Min unsat cost LB: 31208 ... c Min unsat cost LB: 31215 ... c Min unsat cost LB: 31217 ... c Min unsat cost LB: 31219 ... c Min unsat cost LB: 31222 ... c Min unsat cost LB: 31223 ... c Min unsat cost LB: 31224 ... c Min unsat cost LB: 31225 ... c Min unsat cost LB: 31229 ... c Min unsat cost LB: 31268 ... c Min unsat cost LB: 31274 ... c Min unsat cost LB: 31275 ... c Min unsat cost LB: 31277 ... c Min unsat cost LB: 31278 ... c Min unsat cost LB: 31279 ... c Min unsat cost LB: 31282 ... c Min unsat cost LB: 31301 ... c Min unsat cost LB: 31318 ... c Min unsat cost LB: 31319 ... c Min unsat cost LB: 31320 ... c Min unsat cost LB: 31321 ... c Min unsat cost LB: 31323 ... c Min unsat cost LB: 31324 ... c Min unsat cost LB: 31327 ... c Min unsat cost LB: 31328 ... c Min unsat cost LB: 31329 ... c Min unsat cost LB: 31330 ... c Min unsat cost LB: 31342 ... c Min unsat cost LB: 31345 ... c Min unsat cost LB: 31347 ... c Min unsat cost LB: 31348 ... c Min unsat cost LB: 31351 ... c Min unsat cost LB: 31352 ... c Min unsat cost LB: 31353 ... c Min unsat cost LB: 31354 ... c Min unsat cost LB: 31355 ... c Min unsat cost LB: 31356 ... c Min unsat cost LB: 31357 ... c Min unsat cost LB: 31358 ... c Min unsat cost LB: 31359 ... c Min unsat cost LB: 31360 ... c Min unsat cost LB: 31361 ... c Min unsat cost LB: 31362 ... c Min unsat cost LB: 31363 ... c Min unsat cost LB: 31364 ... c Min unsat cost LB: 31365 ... c Min unsat cost LB: 31366 ... c Min unsat cost LB: 31367 ... c Min unsat cost LB: 31369 ... c Min unsat cost LB: 31371 ... c Min unsat cost LB: 31372 ... c Min unsat cost LB: 31375 ... c Min unsat cost LB: 31376 ... c Min unsat cost LB: 31377 ... c Min unsat cost LB: 31378 ... c Min unsat cost LB: 31379 ... c Min unsat cost LB: 31380 ... c Min unsat cost LB: 31381 ... c Min unsat cost LB: 31382 ... c Min unsat cost LB: 31393 ... c Min unsat cost LB: 31394 ... c Min unsat cost LB: 31395 ... c Min unsat cost LB: 31396 ... c Min unsat cost LB: 31397 ... c Min unsat cost LB: 31398 ... c Min unsat cost LB: 31399 ... c Min unsat cost LB: 31400 ... c Min unsat cost LB: 31401 ... c Min unsat cost LB: 31402 ... c Min unsat cost LB: 31403 ... c Min unsat cost LB: 31404 ... c Min unsat cost LB: 31405 ... c Min unsat cost LB: 31406 ... c Min unsat cost LB: 31407 ... c Min unsat cost LB: 31411 ... c Min unsat cost LB: 31412 ... c Min unsat cost LB: 31413 ... c Min unsat cost LB: 31414 ... c Min unsat cost LB: 31415 ... c Min unsat cost LB: 31416 ... c Min unsat cost LB: 31417 ... c Min unsat cost LB: 31418 ... c Min unsat cost LB: 31419 ... c Min unsat cost LB: 31420 ... c Min unsat cost LB: 31421 ... c Min unsat cost LB: 31422 ... c Min unsat cost LB: 31423 ... c Min unsat cost LB: 31424 ... c Min unsat cost LB: 31425 ... c Min unsat cost LB: 31426 ... c Min unsat cost LB: 31427 ... c Min unsat cost LB: 31428 ... c Min unsat cost LB: 31429 ... c Min unsat cost LB: 31430 ... c Min unsat cost LB: 31431 ... c Min unsat cost LB: 31432 ... c Min unsat cost LB: 31433 ... c Min unsat cost LB: 31434 ... c Min unsat cost LB: 31435 ... c Min unsat cost LB: 31436 ... c Min unsat cost LB: 31437 ... c Min unsat cost LB: 31438 ... c Min unsat cost LB: 31439 ... c Min unsat cost LB: 31440 ... c Min unsat cost LB: 31441 ... c Min unsat cost LB: 31442 ... c Min unsat cost LB: 31443 ... c Min unsat cost LB: 31444 ... c Min unsat cost LB: 31446 ... c Min unsat cost LB: 31447 ... c Min unsat cost LB: 31448 ... c Min unsat cost LB: 31449 ... c Min unsat cost LB: 31450 ... c Min unsat cost LB: 31466 ... c Min unsat cost LB: 31467 ... c Min unsat cost LB: 31468 ... c Min unsat cost LB: 31469 ... c Min unsat cost LB: 31470 ... c Min unsat cost LB: 31471 ... c Min unsat cost LB: 31472 ... c Min unsat cost LB: 31473 ... c Min unsat cost LB: 31474 ... c Min unsat cost LB: 31476 ... c Min unsat cost LB: 31477 ... c Min unsat cost LB: 31478 ... c Min unsat cost LB: 31485 ... c Min unsat cost LB: 31486 ... c Min unsat cost LB: 31487 ... c Min unsat cost LB: 31488 ... c Min unsat cost LB: 31489 ... c Min unsat cost LB: 31490 ... c Min unsat cost LB: 31491 ... c Min unsat cost LB: 31492 ... c Min unsat cost LB: 31493 ... c Min unsat cost LB: 31494 ... c Min unsat cost LB: 31495 ... c Min unsat cost LB: 31496 ... c Min unsat cost LB: 31497 ... c Min unsat cost LB: 31498 ... c Min unsat cost LB: 31499 ... c Min unsat cost LB: 31500 ... c Min unsat cost LB: 31501 ... c Min unsat cost LB: 31502 ... c Min unsat cost LB: 31503 ... c Min unsat cost LB: 31504 ... c Min unsat cost LB: 31505 ... c Min unsat cost LB: 31506 ... c Min unsat cost LB: 31507 ... c Min unsat cost LB: 31508 ... c Min unsat cost LB: 31509 ... c Min unsat cost LB: 31510 ... c Min unsat cost LB: 31511 ... c Min unsat cost LB: 31512 ... c Min unsat cost LB: 31513 ... c Min unsat cost LB: 31514 ... c Min unsat cost LB: 31515 ... c Min unsat cost LB: 31516 ... c Min unsat cost LB: 31517 ... c Min unsat cost LB: 31518 ... c Min unsat cost LB: 31519 ... c Min unsat cost LB: 31520 ... c Min unsat cost LB: 31521 ... c Min unsat cost LB: 31522 ... c Min unsat cost LB: 31523 ... c Min unsat cost LB: 31524 ... c Min unsat cost LB: 31525 ... c Min unsat cost LB: 31526 ... c Min unsat cost LB: 31527 ... c Min unsat cost LB: 31528 ... c Min unsat cost LB: 31529 ... c Min unsat cost LB: 31530 ... c Min unsat cost LB: 31532 ... c Min unsat cost LB: 31539 ... c Min unsat cost LB: 31540 ... c Min unsat cost LB: 31541 ... c Min unsat cost LB: 31545 ... c Min unsat cost LB: 31546 ... c Min unsat cost LB: 31547 ... c Min unsat cost LB: 31548 ... c Min unsat cost LB: 31549 ... c Min unsat cost LB: 31550 ... c Min unsat cost LB: 31552 ... c Min unsat cost LB: 31553 ... c Min unsat cost LB: 31554 ... c Min unsat cost LB: 31555 ... c Min unsat cost LB: 31561 ... c Min unsat cost LB: 31562 ... c Min unsat cost LB: 31563 ... c Min unsat cost LB: 31564 ... c Min unsat cost LB: 31565 ... c Min unsat cost LB: 31566 ... c Min unsat cost LB: 31567 ... c Min unsat cost LB: 31568 ... c Min unsat cost LB: 31570 ... c Min unsat cost LB: 31571 ... c Min unsat cost LB: 31572 ... c Min unsat cost LB: 31573 ... c Min unsat cost LB: 31575 ... c Min unsat cost LB: 31576 ... c Min unsat cost LB: 31577 ... c Min unsat cost LB: 31578 ... c Min unsat cost LB: 31579 ... c Min unsat cost LB: 31580 ... c Min unsat cost LB: 31581 ... c Min unsat cost LB: 31582 ... c Min unsat cost LB: 31583 ... c Min unsat cost LB: 31584 ... c Min unsat cost LB: 31585 ... c Min unsat cost LB: 31586 ... c Min unsat cost LB: 31587 ... c Min unsat cost LB: 31589 ... c Min unsat cost LB: 31590 ... c Min unsat cost LB: 31591 ... c Min unsat cost LB: 31594 ... c Min unsat cost LB: 31595 ... c Min unsat cost LB: 31597 ... c Min unsat cost LB: 31614 ... c Min unsat cost LB: 31615 ... c Min unsat cost LB: 31616 ... c Min unsat cost LB: 31617 ... c Min unsat cost LB: 31618 ... c Min unsat cost LB: 31619 ... c Min unsat cost LB: 31620 ... c Min unsat cost LB: 31621 ... c Min unsat cost LB: 31622 ... c Min unsat cost LB: 31623 ... c Min unsat cost LB: 31631 ... c Min unsat cost LB: 31632 ... c Min unsat cost LB: 31633 ... c Min unsat cost LB: 31634 ... c Min unsat cost LB: 31635 ... c Min unsat cost LB: 31636 ... c Min unsat cost LB: 31637 ... c Min unsat cost LB: 31638 ... c Min unsat cost LB: 31639 ... c Min unsat cost LB: 31640 ... c Min unsat cost LB: 31641 ... c Min unsat cost LB: 31642 ... c Min unsat cost LB: 31643 ... c Min unsat cost LB: 31644 ... c Min unsat cost LB: 31645 ... c Min unsat cost LB: 31646 ... c Min unsat cost LB: 31647 ... c Min unsat cost LB: 31649 ... c Min unsat cost LB: 31650 ... c Min unsat cost LB: 31651 ... c Min unsat cost LB: 31652 ... c Min unsat cost LB: 31653 ... c Min unsat cost LB: 31659 ... c Min unsat cost LB: 31660 ... c Min unsat cost LB: 31662 ... c Min unsat cost LB: 31663 ... c Min unsat cost LB: 31664 ... c Min unsat cost LB: 31665 ... c Min unsat cost LB: 31666 ... c Min unsat cost LB: 31667 ... c Min unsat cost LB: 31668 ... c Min unsat cost LB: 31669 ... c Min unsat cost LB: 31670 ... c Min unsat cost LB: 31671 ... c Min unsat cost LB: 31672 ... c Min unsat cost LB: 31673 ... c Min unsat cost LB: 31674 ... c Min unsat cost LB: 31675 ... c Min unsat cost LB: 31676 ... c Min unsat cost LB: 31677 ... c Min unsat cost LB: 31678 ... c Min unsat cost LB: 31679 ... c Min unsat cost LB: 31680 ... c Min unsat cost LB: 31681 ... c Min unsat cost LB: 31682 ... c Min unsat cost LB: 31683 ... c Min unsat cost LB: 31684 ... c Min unsat cost LB: 31685 ... c Min unsat cost LB: 31686 ... c Min unsat cost LB: 31687 ... c Min unsat cost LB: 31688 ... c Min unsat cost LB: 31691 ... c Min unsat cost LB: 31718 ... c Min unsat cost LB: 31719 ... c Min unsat cost LB: 31720 ... c Min unsat cost LB: 31721 ... c Min unsat cost LB: 31722 ... c Min unsat cost LB: 31723 ... c Min unsat cost LB: 31724 ... c Min unsat cost LB: 31725 ... c Min unsat cost LB: 31726 ... c Min unsat cost LB: 31727 ... c Min unsat cost LB: 31728 ... c Min unsat cost LB: 31729 ... c Min unsat cost LB: 31730 ... c Min unsat cost LB: 31731 ... c Min unsat cost LB: 31732 ... c Min unsat cost LB: 31733 ... c Min unsat cost LB: 31734 ... c Min unsat cost LB: 31735 ... c Min unsat cost LB: 31736 ... c Min unsat cost LB: 31737 ... c Min unsat cost LB: 31738 ... c Min unsat cost LB: 31739 ... c Min unsat cost LB: 31741 ... c Min unsat cost LB: 31742 ... c Min unsat cost LB: 31743 ... c Min unsat cost LB: 31744 ... c Min unsat cost LB: 31745 ... c Min unsat cost LB: 31746 ... c Min unsat cost LB: 31747 ... c Min unsat cost LB: 31748 ... c Min unsat cost LB: 31749 ... c Min unsat cost LB: 31751 ... c Min unsat cost LB: 31752 ... c Min unsat cost LB: 31754 ... c Min unsat cost LB: 31786 ... c Min unsat cost LB: 31788 ... c Min unsat cost LB: 31789 ... c Min unsat cost LB: 31790 ... c Min unsat cost LB: 31791 ... c Min unsat cost LB: 31792 ... c Min unsat cost LB: 31793 ... c Min unsat cost LB: 31794 ... c Min unsat cost LB: 31796 ... c Min unsat cost LB: 31797 ... c Min unsat cost LB: 31798 ... c Min unsat cost LB: 31799 ... c Min unsat cost LB: 31800 ... c Min unsat cost LB: 31801 ... c Min unsat cost Killed 1815.391u 4.360s 30:19.86 99.9% 0+0k 0+0io 0pf+0w