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_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0001.txt.wcnf *** c c Min unsat cost LB: 146 ... c Min unsat cost LB: 557 ... c Min unsat cost LB: 677 ... c Min unsat cost LB: 823 ... c Min unsat cost LB: 969 ... c Min unsat cost LB: 1115 ... c Min unsat cost LB: 1235 ... c Min unsat cost LB: 1355 ... c Min unsat cost LB: 1464 ... c Min unsat cost LB: 1610 ... c Min unsat cost LB: 1730 ... c Min unsat cost LB: 1850 ... c Min unsat cost LB: 2053 ... c Min unsat cost LB: 2173 ... c Min unsat cost LB: 2293 ... c Min unsat cost LB: 2439 ... c Min unsat cost LB: 2585 ... c Min unsat cost LB: 2705 ... c Min unsat cost LB: 2731 ... c Min unsat cost LB: 2757 ... c Min unsat cost LB: 2877 ... c Min unsat cost LB: 2903 ... c Min unsat cost LB: 3023 ... c Min unsat cost LB: 3049 ... c Min unsat cost LB: 3488 ... c Min unsat cost LB: 3634 ... c Min unsat cost LB: 3780 ... c Min unsat cost LB: 3874 ... c Min unsat cost LB: 4020 ... c Min unsat cost LB: 4285 ... c Min unsat cost LB: 4724 ... c Min unsat cost LB: 4989 ... c Min unsat cost LB: 5163 ... c Min unsat cost LB: 5428 ... c Min unsat cost LB: 5602 ... c Min unsat cost LB: 5748 ... c Min unsat cost LB: 5868 ... c Min unsat cost LB: 6014 ... c Min unsat cost LB: 6108 ... c Min unsat cost LB: 6202 ... c Min unsat cost LB: 6348 ... c Min unsat cost LB: 6400 ... c Min unsat cost LB: 6426 ... c Min unsat cost LB: 6546 ... c Min unsat cost LB: 6640 ... c Min unsat cost LB: 6933 ... c Min unsat cost LB: 7226 ... c Min unsat cost LB: 7400 ... c Min unsat cost LB: 7546 ... c Min unsat cost LB: 7985 ... c Min unsat cost LB: 7996 ... c Min unsat cost LB: 8169 ... c Min unsat cost LB: 8608 ... c Min unsat cost LB: 9047 ... c Min unsat cost LB: 9193 ... c Min unsat cost LB: 9287 ... c Min unsat cost LB: 9726 ... c Min unsat cost LB: 11482 ... c Min unsat cost LB: 11921 ... c Min unsat cost LB: 12067 ... c Min unsat cost LB: 13823 ... c Min unsat cost LB: 13917 ... c Min unsat cost LB: 13969 ... c Min unsat cost LB: 14750 ... c Min unsat cost LB: 15531 ... c Min unsat cost LB: 15677 ... c Min unsat cost LB: 16458 ... c Min unsat cost LB: 17239 ... c Min unsat cost LB: 17433 ... c Min unsat cost LB: 17579 ... c Min unsat cost LB: 17698 ... c Min unsat cost LB: 17892 ... c Min unsat cost LB: 18107 ... c Min unsat cost LB: 18175 ... c Min unsat cost LB: 18321 ... c Min unsat cost LB: 18399 ... c Min unsat cost LB: 18614 ... c Min unsat cost LB: 18829 ... c Min unsat cost LB: 18907 ... c Min unsat cost LB: 19091 ... c Min unsat cost LB: 19275 ... c Min unsat cost LB: 19346 ... c Min unsat cost LB: 19561 ... c Min unsat cost LB: 19707 ... c Min unsat cost LB: 20146 ... c Min unsat cost LB: 20361 ... c Min unsat cost LB: 20525 ... c Min unsat cost LB: 20964 ... c Min unsat cost LB: 21078 ... c Min unsat cost LB: 21120 ... c Min unsat cost LB: 21221 ... c Min unsat cost LB: 21325 ... c Min unsat cost LB: 21540 ... c Min unsat cost LB: 21561 ... c Min unsat cost LB: 21708 ... c Min unsat cost LB: 21822 ... c Min unsat cost LB: 22037 ... c Min unsat cost LB: 22138 ... c Min unsat cost LB: 22151 ... c Min unsat cost LB: 22590 ... c Min unsat cost LB: 22606 ... c Min unsat cost LB: 22704 ... c Min unsat cost LB: 22919 ... c Min unsat cost LB: 22987 ... c Min unsat cost LB: 23033 ... c Min unsat cost LB: 23147 ... c Min unsat cost LB: 23238 ... c Min unsat cost LB: 23261 ... c Min unsat cost LB: 23374 ... c Min unsat cost LB: 23488 ... c Min unsat cost LB: 23672 ... c Min unsat cost LB: 23719 ... c Min unsat cost LB: 23865 ... c Min unsat cost LB: 24549 ... c Min unsat cost LB: 25950 ... c Min unsat cost LB: 25982 ... c Min unsat cost LB: 26030 ... c Min unsat cost LB: 26144 ... c Min unsat cost LB: 26258 ... c Min unsat cost LB: 26372 ... c Min unsat cost LB: 26484 ... c Min unsat cost LB: 26699 ... c Min unsat cost LB: 26818 ... c Min unsat cost LB: 26840 ... c Min unsat cost LB: 26846 ... c Min unsat cost LB: 26852 ... c Min unsat cost LB: 26858 ... c Min unsat cost LB: 26866 ... c Min unsat cost LB: 26986 ... c Min unsat cost LB: 27106 ... c Min unsat cost LB: 27226 ... c Min unsat cost LB: 27229 ... c Min unsat cost LB: 27375 ... c Min unsat cost LB: 27454 ... c Min unsat cost LB: 27571 ... c Min unsat cost LB: 27691 ... c Min unsat cost LB: 27811 ... c Min unsat cost LB: 27865 ... c Min unsat cost LB: 27900 ... c Min unsat cost LB: 28046 ... c Min unsat cost LB: 28157 ... c Min unsat cost LB: 28302 ... c Min unsat cost LB: 28448 ... c Min unsat cost LB: 28514 ... c Min unsat cost LB: 28632 ... c Min unsat cost LB: 28778 ... c Min unsat cost LB: 28924 ... c Min unsat cost LB: 29070 ... c Min unsat cost LB: 29216 ... c Min unsat cost LB: 29219 ... c Min unsat cost LB: 29258 ... c Min unsat cost LB: 29336 ... c Min unsat cost LB: 29362 ... c Min unsat cost LB: 29430 ... c Min unsat cost LB: 29508 ... c Min unsat cost LB: 29540 ... c Min unsat cost LB: 29654 ... c Min unsat cost LB: 29723 ... c Min unsat cost LB: 29765 ... c Min unsat cost LB: 29800 ... c Min unsat cost LB: 29920 ... c Min unsat cost LB: 29946 ... c Min unsat cost LB: 30015 ... c Min unsat cost LB: 30061 ... c Min unsat cost LB: 30067 ... c Min unsat cost LB: 30069 ... c Min unsat cost LB: 30161 ... c Min unsat cost LB: 30215 ... c Min unsat cost LB: 30241 ... c Min unsat cost LB: 30280 ... c Min unsat cost LB: 30306 ... c Min unsat cost LB: 30348 ... c Min unsat cost LB: 30372 ... c Min unsat cost LB: 30411 ... c Min unsat cost LB: 30494 ... c Min unsat cost LB: 30516 ... c Min unsat cost LB: 30579 ... c Min unsat cost LB: 30677 ... c Min unsat cost LB: 30781 ... c Min unsat cost LB: 30864 ... c Min unsat cost LB: 30880 ... c Min unsat cost LB: 30958 ... c Min unsat cost LB: 30997 ... c Min unsat cost LB: 31007 ... c Min unsat cost LB: 31070 ... c Min unsat cost LB: 31076 ... c Min unsat cost LB: 31117 ... c Min unsat cost LB: 31200 ... c Min unsat cost LB: 31237 ... c Min unsat cost LB: 31238 ... c Min unsat cost LB: 31332 ... c Min unsat cost LB: 31346 ... c Min unsat cost LB: 31357 ... c Min unsat cost LB: 31492 ... c Min unsat cost LB: 31576 ... c Min unsat cost LB: 31577 ... c Min unsat cost LB: 31580 ... c Min unsat cost LB: 31605 ... c Min unsat cost LB: 31615 ... c Min unsat cost LB: 31625 ... c Min unsat cost LB: 31651 ... c Min unsat cost LB: 31661 ... c Min unsat cost LB: 31669 ... c Min unsat cost LB: 31777 ... c Min unsat cost LB: 31815 ... c Min unsat cost LB: 31856 ... c Min unsat cost LB: 31923 ... c Min unsat cost LB: 31962 ... c Min unsat cost LB: 32019 ... c Min unsat cost LB: 32031 ... c Min unsat cost LB: 32133 ... c Min unsat cost LB: 32137 ... c Min unsat cost LB: 32301 ... c Min unsat cost LB: 32321 ... c Min unsat cost LB: 32336 ... c Min unsat cost LB: 32450 ... c Min unsat cost LB: 32551 ... c Min unsat cost LB: 32671 ... c Min unsat cost LB: 32686 ... c Min unsat cost LB: 32721 ... c Min unsat cost LB: 32761 ... c Min unsat cost LB: 32763 ... c Min unsat cost LB: 32776 ... c Min unsat cost LB: 32784 ... c Min unsat cost LB: 32802 ... c Min unsat cost LB: 32831 ... c Min unsat cost LB: 32862 ... c Min unsat cost LB: 32874 ... c Min unsat cost LB: 32906 ... c Min unsat cost LB: 33025 ... c Min unsat cost LB: 33036 ... c Min unsat cost LB: 33210 ... c Min unsat cost LB: 33285 ... c Min unsat cost LB: 33379 ... c Min unsat cost LB: 33458 ... c Min unsat cost LB: 33473 ... c Min unsat cost LB: 33512 ... c Min unsat cost LB: 33513 ... c Min unsat cost LB: 33581 ... c Min unsat cost LB: 33594 ... c Min unsat cost LB: 33683 ... c Min unsat cost LB: 33715 ... c Min unsat cost LB: 33730 ... c Min unsat cost LB: 33850 ... c Min unsat cost LB: 34094 ... c Min unsat cost LB: 34111 ... c Min unsat cost LB: 34122 ... c Min unsat cost LB: 34179 ... c Min unsat cost LB: 34257 ... c Min unsat cost LB: 34353 ... c Min unsat cost LB: 34387 ... c Min unsat cost LB: 34505 ... c Min unsat cost LB: 34585 ... c Min unsat cost LB: 34631 ... c Min unsat cost LB: 34664 ... c Min unsat cost LB: 34691 ... c Min unsat cost LB: 34721 ... c Min unsat cost LB: 34733 ... c Min unsat cost LB: 34739 ... c Min unsat cost LB: 34834 ... c Min unsat cost LB: 34954 ... c Min unsat cost LB: 34966 ... c Min unsat cost LB: 35004 ... c Min unsat cost LB: 35042 ... c Min unsat cost LB: 35074 ... c Min unsat cost LB: 35111 ... c Min unsat cost LB: 35131 ... c Min unsat cost LB: 35144 ... c Min unsat cost LB: 35146 ... c Min unsat cost LB: 35162 ... c Min unsat cost LB: 35214 ... c Min unsat cost LB: 35220 ... c Min unsat cost LB: 35237 ... c Min unsat cost LB: 35240 ... c Min unsat cost LB: 35244 ... c Min unsat cost LB: 35281 ... c Min unsat cost LB: 35283 ... c Min unsat cost LB: 35285 ... c Min unsat cost LB: 35307 ... c Min unsat cost LB: 35327 ... c Min unsat cost LB: 35346 ... c Min unsat cost LB: 35378 ... c Min unsat cost LB: 35380 ... c Min unsat cost LB: 35403 ... c Min unsat cost LB: 35496 ... c Min unsat cost LB: 35498 ... c Min unsat cost LB: 35557 ... c Min unsat cost LB: 35558 ... c Min unsat cost LB: 35644 ... c Min unsat cost LB: 35651 ... c Min unsat cost LB: 35661 ... c Min unsat cost LB: 35663 ... c Min unsat cost LB: 35666 ... c Min unsat cost LB: 35679 ... c Min unsat cost LB: 35691 ... c Min unsat cost LB: 35746 ... c Min unsat cost LB: 35757 ... c Min unsat cost LB: 35763 ... c Min unsat cost LB: 35770 ... c Min unsat cost LB: 35937 ... c Min unsat cost LB: 35954 ... c Min unsat cost LB: 35957 ... c Min unsat cost LB: 35961 ... c Min unsat cost LB: 35968 ... c Min unsat cost LB: 36007 ... c Min unsat cost LB: 36040 ... c Min unsat cost LB: 36076 ... c Min unsat cost LB: 36082 ... c Min unsat cost LB: 36088 ... c Min unsat cost LB: 36104 ... c Min unsat cost LB: 36126 ... c Min unsat cost LB: 36127 ... c Min unsat cost LB: 36160 ... c Min unsat cost LB: 36167 ... c Min unsat cost LB: 36224 ... c Min unsat cost LB: 36225 ... c Min unsat cost LB: 36259 ... c Min unsat cost LB: 36265 ... c Min unsat cost LB: 36267 ... c Min unsat cost LB: 36271 ... c Min unsat cost LB: 36277 ... c Min unsat cost LB: 36299 ... c Min unsat cost LB: 36316 ... c Min unsat cost LB: 36325 ... c Min unsat cost LB: 36334 ... c Min unsat cost LB: 36373 ... c Min unsat cost LB: 36375 ... c Min unsat cost LB: 36454 ... c Min unsat cost LB: 36493 ... c Min unsat cost LB: 36508 ... c Min unsat cost LB: 36511 ... c Min unsat cost LB: 36516 ... c Min unsat cost LB: 36552 ... c Min unsat cost LB: 36610 ... c Min unsat cost LB: 36672 ... c Min unsat cost LB: 36687 ... c Min unsat cost LB: 36688 ... c Min unsat cost LB: 36726 ... c Min unsat cost LB: 36746 ... c Min unsat cost LB: 36776 ... c Min unsat cost LB: 37157 ... c Min unsat cost LB: 37171 ... c Min unsat cost LB: 37175 ... c Min unsat cost LB: 37290 ... c Min unsat cost LB: 37475 ... c Min unsat cost LB: 37669 ... c Min unsat cost LB: 37785 ... c Min unsat cost LB: 38329 ... c Min unsat cost LB: 38459 ... c Min unsat cost LB: 38537 ... c Min unsat cost LB: 38653 ... c Min unsat cost LB: 38829 ... c Min unsat cost LB: 39013 ... c Min unsat cost LB: 39034 ... c Min unsat cost LB: 39053 ... c Min unsat cost LB: 39066 ... c Min unsat cost LB: 39101 ... c Min unsat cost LB: 39103 ... c Min unsat cost LB: 39301 ... c Min unsat cost LB: 39680 ... c Min unsat cost LB: 39816 ... c Min unsat cost LB: 39831 ... c Min unsat cost LB: 39850 ... c Min unsat cost LB: 39862 ... c Min unsat cost LB: 39870 ... c Min unsat cost LB: 39872 ... c Min unsat cost LB: 39880 ... c Min unsat cost LB: 39897 ... c Min unsat cost LB: 39945 ... c Min unsat cost LB: 40011 ... c Min unsat cost LB: 40015 ... c Min unsat cost LB: 40024 ... c Min unsat cost LB: 40040 ... c Min unsat cost LB: 40054 ... c Min unsat cost LB: 40055 ... c Min unsat cost LB: 40062 ... c Min unsat cost LB: 40096 ... c Min unsat cost LB: 40106 ... c Min unsat cost LB: 40123 ... c Min unsat cost LB: 40124 ... c Min unsat cost LB: 40202 ... c Min unsat cost LB: 40215 ... c Min unsat cost LB: 40291 ... c Min unsat cost LB: 40321 ... c Min unsat cost LB: 40360 ... c Min unsat cost LB: 40461 ... c Min unsat cost LB: 40474 ... c Min unsat cost LB: 40476 ... c Min unsat cost LB: 40486 ... c Min unsat cost LB: 40510 ... c Min unsat cost LB: 40512 ... c Min unsat cost LB: 40569 ... c Min unsat cost LB: 40585 ... c Min unsat cost LB: 40601 ... c Min unsat cost LB: 40605 ... c Min unsat cost LB: 40630 ... c Min unsat cost LB: 40641 ... c Min unsat cost LB: 40645 ... c Min unsat cost LB: 40659 ... c Min unsat cost LB: 40759 ... c Min unsat cost LB: 40773 ... c Min unsat cost LB: 40805 ... c Min unsat cost LB: 40885 ... c Min unsat cost LB: 40892 ... c Min unsat cost LB: 40896 ... c Min unsat cost LB: 40990 ... c Min unsat cost LB: 41000 ... c Min unsat cost LB: 41010 ... c Min unsat cost LB: 41033 ... c Min unsat cost LB: 41037 ... c Min unsat cost LB: 41060 ... c Min unsat cost LB: 41068 ... c Min unsat cost LB: 41072 ... c Min unsat cost LB: 41076 ... c Min unsat cost LB: 41080 ... c Min unsat cost LB: 41096 ... c Min unsat cost LB: 41098 ... c Min unsat cost LB: 41099 ... c Min unsat cost LB: 41103 ... c Min unsat cost LB: 41114 ... c Min unsat cost LB: 41127 ... c Min unsat cost LB: 41130 ... c Min unsat cost LB: 41131 ... c Min unsat cost LB: 41133 ... c Min unsat cost LB: 41146 ... c Min unsat cost LB: 41149 ... c Min unsat cost LB: 41152 ... c Min unsat cost LB: 41168 ... c Min unsat cost LB: 41174 ... c Min unsat cost LB: 41189 ... c Min unsat cost LB: 41191 ... c Min unsat cost LB: 41192 ... c Min unsat cost LB: 41223 ... c Min unsat cost LB: 41224 ... c Min unsat cost LB: 41226 ... c Min unsat cost LB: 41262 ... c Min unsat cost LB: 41345 ... c Min unsat cost LB: 41377 ... c Min unsat cost LB: 41379 ... c Min unsat cost LB: 41387 ... c Min unsat cost LB: 41393 ... c Min unsat cost LB: 41409 ... c Min unsat cost LB: 41415 ... c Min unsat cost LB: 41421 ... c Min unsat cost LB: 41432 ... c Min unsat cost LB: 41438 ... c Min unsat cost LB: 41440 ... c Min unsat cost LB: 41443 ... c Min unsat cost LB: 41449 ... c Min unsat cost LB: 41451 ... c Min unsat cost LB: 41463 ... c Min unsat cost LB: 41464 ... c Min unsat cost LB: 41469 ... c Min unsat cost LB: 41470 ... c Min unsat cost LB: 41474 ... c Min unsat cost LB: 41482 ... c Min unsat cost LB: 41496 ... c Min unsat cost LB: 41571 ... c Min unsat cost LB: 41585 ... c Min unsat cost LB: 41592 ... c Min unsat cost LB: 41790 ... c Min unsat cost LB: 41825 ... c Min unsat cost LB: 41827 ... c Min unsat cost LB: 42012 ... c Min unsat cost LB: 42020 ... c Min unsat cost LB: 42021 ... c Min unsat cost LB: 42023 ... c Min unsat cost LB: 42025 ... c Min unsat cost LB: 42027 ... c Min unsat cost LB: 42035 ... c Min unsat cost LB: 42065 ... c Min unsat cost LB: 42115 ... c Min unsat cost LB: 42116 ... c Min unsat cost LB: 42120 ... c Min unsat cost LB: 42122 ... c Min unsat cost LB: 42126 ... c Min unsat cost LB: 42127 ... c Min unsat cost LB: 42130 ... c Min unsat cost LB: 42131 ... c Min unsat cost LB: 42135 ... c Min unsat cost LB: 42137 ... c Min unsat cost LB: 42140 ... c Min unsat cost LB: 42142 ... c Min unsat cost LB: 42144 ... c Min unsat cost LB: 42145 ... c Min unsat cost LB: 42154 ... c Min unsat cost LB: 42163 ... c Min unsat cost LB: 42173 ... c Min unsat cost LB: 42174 ... c Min unsat cost LB: 42176 ... c Min unsat cost LB: 42177 ... c Min unsat cost LB: 42180 ... c Min unsat cost LB: 42186 ... c Min unsat cost LB: 42187 ... c Min unsat cost LB: 42191 ... c Min unsat cost LB: 42192 ... c Min unsat cost LB: 42208 ... c Min unsat cost LB: 42211 ... c Min unsat cost LB: 42213 ... c Min unsat cost LB: 42214 ... c Min unsat cost LB: 42215 ... c Min unsat cost LB: 42216 ... c Min unsat cost LB: 42220 ... c Min unsat cost LB: 42221 ... c Min unsat cost LB: 42243 ... c Min unsat cost LB: 42244 ... c Min unsat cost LB: 42250 ... c Min unsat cost LB: 42412 ... c Min unsat cost LB: 42418 ... c Min unsat cost LB: 42420 ... c Min unsat cost LB: 42422 ... c Min unsat cost LB: 42424 ... c Min unsat cost LB: 42428 ... c Min unsat cost LB: 42439 ... c Min unsat cost LB: 42455 ... c Min unsat cost LB: 42458 ... c Min unsat cost LB: 42547 ... c Min unsat cost LB: 42549 ... c Min unsat cost LB: 42556 ... c Min unsat cost LB: 42557 ... c Min unsat cost LB: 42558 ... c Min unsat cost LB: 42559 ... c Min unsat cost LB: 42560 ... c Min unsat cost LB: 42561 ... c Min unsat cost LB: 42562 ... c Min unsat cost LB: 42563 ... c Min unsat cost LB: 42564 ... c Min unsat cost LB: 42570 ... c Min unsat cost LB: 42571 ... c Min unsat cost LB: 42572 ... c Min unsat cost LB: 42573 ... c Min unsat cost LB: 42574 ... c Min unsat cost LB: 42575 ... c Min unsat cost LB: 42576 ... c Min unsat cost LB: 42577 ... c Min unsat cost LB: 42578 ... c Min unsat cost LB: 42579 ... c Min unsat cost LB: 42580 ... c Min unsat cost LB: 42582 ... c Min unsat cost LB: 42585 ... c Min unsat cost LB: 42586 ... c Min unsat cost LB: 42587 ... c Min unsat cost LB: 42588 ... c Min unsat cost LB: 42594 ... c Min unsat cost LB: 42595 ... c Min unsat cost LB: 42596 ... c Min unsat cost LB: 42597 ... c Min unsat cost LB: 42598 ... c Min unsat cost LB: 42599 ... c Min unsat cost LB: 42600 ... c Min unsat cost LB: 42601 ... c Min unsat cost LB: 42602 ... c Min unsat cost LB: 42603 ... c Min unsat cost LB: 42604 ... c Min unsat cost LB: 42605 ... c Min unsat cost LB: 42606 ... c Min unsat cost LB: 42607 ... c Min unsat cost LB: 42608 ... c Min unsat cost LB: 42609 ... c Min unsat cost LB: 42610 ... c Min unsat cost LB: 42614 ... c Min unsat cost LB: 42617 ... c Min unsat cost LB: 42620 ... c Min unsat cost LB: 42622 ... c Min unsat cost LB: 42623 ... c Min unsat cost LB: 42624 ... c Min unsat cost LB: 42625 ... c Min unsat cost LB: 42626 ... c Min unsat cost LB: 42627 ... c Min unsat cost LB: 42629 ... c Min unsat cost LB: 42630 ... c Min unsat cost LB: 42636 ... c Min unsat cost LB: 42639 ... c Min unsat cost LB: 42640 ... c Min unsat cost LB: 42641 ... c Min unsat cost LB: 42642 ... c Min unsat cost LB: 42643 ... c Min unsat cost LB: 42644 ... c Min unsat cost LB: 42645 ... c Min unsat cost LB: 42646 ... c Min unsat cost LB: 42647 ... c Min unsat cost LB: 42648 ... c Min unsat cost LB: 42650 ... c Min unsat cost LB: 42651 ... c Min unsat cost LB: 42652 ... c Min unsat cost LB: 42654 ... c Min unsat cost LB: 42662 ... c Min unsat cost LB: 42663 ... c Min unsat cost LB: 42664 ... c Min unsat cost LB: 42665 ... c Min unsat cost LB: 42668 ... c Min unsat cost LB: 42671 ... c Min unsat cost LB: 42672 ... c Min unsat cost LB: 42675 ... c Min unsat cost LB: 42676 ... c Min unsat cost LB: 42682 ... c Min unsat cost LB: 42683 ... c Min unsat cost LB: 42685 ... c Min unsat cost LB: 42690 ... c Min unsat cost LB: 42691 ... c Min unsat cost LB: 42694 ... c Min unsat cost LB: 42695 ... c Min unsat cost LB: 42696 ... c Min unsat cost LB: 42700 ... c Min unsat cost LB: 42703 ... c Min unsat cost LB: 42704 ... c Min unsat cost LB: 42705 ... c Min unsat cost LB: 42706 ... c Min unsat cost LB: 42707 ... c Min unsat cost LB: 42711 ... c Min unsat cost LB: 42712 ... c Min unsat cost LB: 42713 ... c Min unsat cost LB: 42714 ... c Min unsat cost LB: 42715 ... c Min unsat cost LB: 42716 ... c Min unsat cost LB: 42718 ... c Min unsat cost LB: 42719 ... c Min unsat cost LB: 42720 ... c Min unsat cost LB: 42724 ... c Min unsat cost LB: 42729 ... c Min unsat cost LB: 42730 ... c Min unsat cost LB: 42731 ... c Min unsat cost LB: 42733 ... c Min unsat cost LB: 42734 ... c Min unsat cost LB: 42735 ... c Min unsat cost LB: 42738 ... c Min unsat cost LB: 42750 ... c Min unsat cost LB: 42752 ... c Min unsat cost LB: 42768 ... c Min unsat cost LB: 42769 ... c Min unsat cost LB: 42770 ... c Min unsat cost LB: 42771 ... c Min unsat cost LB: 42777 ... c Min unsat cost LB: 42779 ... c Min unsat cost LB: 42781 ... c Min unsat cost LB: 42782 ... c Min unsat cost LB: 42783 ... c Min unsat cost LB: 42784 ... c Min unsat cost LB: 42790 ... c Min unsat cost LB: 42791 ... c Min unsat cost LB: 42793 ... c Min unsat cost LB: 42794 ... c Min unsat cost LB: 42795 ... c Min unsat cost LB: 42797 ... c Min unsat cost LB: 42798 ... c Min unsat cost LB: 42799 ... c Min unsat cost LB: 42800 ... c Min unsat cost LB: 42805 ... c Min unsat cost LB: 42851 ... c Min unsat cost LB: 42853 ... c Min unsat cost LB: 42854 ... c Min unsat cost LB: 42855 ... c Min unsat cost LB: 42856 ... c Min unsat cost LB: 42857 ... c Min unsat cost LB: 42858 ... c Min unsat cost LB: 42859 ... c Min unsat cost LB: 42863 ... c Min unsat cost LB: 42864 ... c Min unsat cost LB: 42865 ... c Min unsat cost LB: 42866 ... c Min unsat cost LB: 42867 ... c Min unsat cost LB: 42868 ... c Min unsat cost LB: 42869 ... c Min unsat cost LB: 42870 ... c Min unsat cost LB: 42871 ... c Min unsat cost LB: 42872 ... c Min unsat cost LB: 42873 ... c Min unsat cost LB: 42887 ... c Min unsat cost LB: 42892 ... c Min unsat cost LB: 42905 ... c Min unsat cost LB: 42911 ... c Min unsat cost LB: 42913 ... c Min unsat cost LB: 42914 ... c Min unsat cost LB: 42915 ... c Min unsat cost LB: 42916 ... c Min unsat cost LB: 42917 ... c Min unsat cost LB: 42918 ... c Min unsat cost LB: 42919 ... c Min unsat cost LB: 42920 ... c Min unsat cost LB: 42922 ... c Min unsat cost LB: 42924 ... c Min unsat cost LB: 42927 ... c Min unsat cost LB: 42931 ... c Min unsat cost LB: 42933 ... c Min unsat cost LB: 42934 ... c Min unsat cost LB: 42935 ... c Min unsat cost LB: 42936 ... c Min unsat cost LB: 42937 ... c Min unsat cost LB: 42938 ... c Min unsat cost LB: 42946 ... c Min unsat cost LB: 42947 ... c Min unsat cost LB: 42948 ... c Min unsat cost LB: 42949 ... c Min unsat cost LB: 42950 ... c Min unsat cost LB: 42951 ... c Min unsat cost LB: 42952 ... c Min unsat cost LB: 42953 ... c Min unsat cost LB: 42954 ... c Min unsat cost LB: 42955 ... c Min unsat cost LB: 42956 ... c Min unsat cost LB: 42957 ... c Min unsat cost LB: 42958 ... c Min unsat cost LB: 42959 ... c Min unsat cost LB: 42961 ... c Min unsat cost LB: 42962 ... c Min unsat cost LB: 42963 ... c Min unsat cost LB: 42964 ... c Min unsat cost LB: 42965 ... c Min unsat cost LB: 42966 ... c Min unsat cost LB: 42967 ... c Min unsat cost LB: 42969 ... c Min unsat cost LB: 42981 ... c Min unsat cost LB: 42982 ... c Min unsat cost LB: 42987 ... c Min unsat cost LB: 42989 ... c Min unsat cost LB: 42998 ... c Min unsat cost LB: 43001 ... c Min unsat cost LB: 43002 ... c Min unsat cost LB: 43005 ... c Min unsat cost LB: 43010 ... c Min unsat cost LB: 43028 ... c Min unsat cost LB: 43041 ... c Min unsat cost LB: 43042 ... c Min unsat cost LB: 43043 ... c Min unsat cost LB: 43045 ... c Min unsat cost LB: 43046 ... c Min unsat cost LB: 43047 ... c Min unsat cost LB: 43051 ... c Min unsat cost LB: 43052 ... c Min unsat cost LB: 43054 ... c Min unsat cost LB: 43055 ... c Min unsat cost LB: 43057 ... c Min unsat cost LB: 43058 ... c Min unsat cost LB: 43060 ... c Min unsat cost LB: 43064 ... c Min unsat cost LB: 43065 ... c Min unsat cost LB: 43067 ... c Min unsat cost LB: 43068 ... c Min unsat cost LB: 43070 ... c Min unsat cost LB: 43102 ... c Min unsat cost LB: 43139 ... c Min unsat cost LB: 43254 ... c Min unsat cost LB: 43257 ... c Min unsat cost LB: 43260 ... c Min unsat cost LB: 43264 ... c Min unsat cost LB: 43267 ... c Min unsat cost LB: 43270 ... c Min unsat cost LB: 43273 ... c Min unsat cost LB: 43274 ... c Min unsat cost LB: 43277 ... c Min unsat cost LB: 43279 ... c Min unsat cost LB: 43280 ... c Min unsat cost LB: 43281 ... c Min unsat cost LB: 43282 ... c Min unsat cost LB: 43283 ... c Min unsat cost LB: 43284 ... c Min unsat cost LB: 43285 ... c Min unsat cost LB: 43286 ... c Min unsat cost LB: 43288 ... c Min unsat cost LB: 43291 ... c Min unsat cost LB: 43294 ... c Min unsat cost LB: 43298 ... c Min unsat cost LB: 43301 ... c Min unsat cost LB: 43304 ... c Min unsat cost LB: 43308 ... c Min unsat cost LB: 43312 ... c Min unsat cost LB: 43313 ... c Min unsat cost LB: 43318 ... c Min unsat cost LB: 43319 ... c Min unsat cost LB: 43320 ... c Min unsat cost LB: 43322 ... c Min unsat cost LB: 43323 ... c Min unsat cost LB: 43325 ... c Min unsat cost LB: 43403 ... c Min unsat cost LB: 43408 ... c Min unsat cost LB: 43411 ... c Min unsat cost LB: 43424 ... c Min unsat cost LB: 43425 ... c Min unsat cost LB: 43428 ... c Min unsat cost LB: 43440 ... c Min unsat cost LB: 43441 ... c Min unsat cost LB: 43442 ... c Min unsat cost LB: 43443 ... c Min unsat cost LB: 43445 ... c Min unsat cost LB: 43446 ... c Min unsat cost LB: 43447 ... c Min unsat cost LB: 43449 ... c Min unsat cost LB: 43454 ... c Min unsat cost LB: 43455 ... c Min unsat cost LB: 43456 ... c Min unsat cost LB: 43459 ... c Min unsat cost LB: 43460 ... c Min unsat cost LB: 43461 ... c Min unsat cost LB: 43462 ... c Min unsat cost LB: 43463 ... c Min unsat cost LB: 43464 ... c Min unsat cost LB: 43467 ... c Min unsat cost LB: 43469 ... c Min unsat cost LB: 43471 ... c Min unsat cost LB: 43472 ... c Min unsat cost LB: 43473 ... c Min unsat cost LB: 43474 ... c Min unsat cost LB: 43475 ... c Min unsat cost LB: 43476 ... c Min unsat cost LB: 43477 ... c Min unsat cost LB: 43481 ... c Min unsat cost LB: 43487 ... c Min unsat cost LB: 43489 ... c Min unsat cost LB: 43492 ... c Min unsat cost LB: 43493 ... c Min unsat cost LB: 43494 ... c Min unsat cost LB: 43495 ... c Min unsat cost LB: 43496 ... c Min unsat cost LB: 43498 ... c Min unsat cost LB: 43506 ... c Min unsat cost LB: 43507 ... c Min unsat cost LB: 43508 ... c Min unsat cost LB: 43509 ... c Min unsat cost LB: 43510 ... c Min unsat cost LB: 43511 ... c Min unsat cost LB: 43512 ... c Min unsat cost LB: 43513 ... c Min unsat cost LB: 43514 ... c Min unsat cost LB: 43515 ... c Min unsat cost LB: 43529 ... c Min unsat cost LB: 43530 ... c Min unsat cost LB: 43531 ... c Min unsat cost LB: 43532 ... c Min unsat cost LB: 43533 ... c Min unsat cost LB: 43536 ... c Min unsat cost LB: 43537 ... c Min unsat cost LB: 43538 ... c Min unsat cost LB: 43539 ... c Min unsat cost LB: 43540 ... c Min unsat cost LB: 43541 ... c Min unsat cost LB: 43542 ... c Min unsat cost LB: 43543 ... c Min unsat cost LB: 43549 ... c Min unsat cost LB: 43553 ... c Min unsat cost LB: 43568 ... c Min unsat cost LB: 43569 ... c Min unsat cost LB: 43570 ... c Min unsat cost LB: 43572 ... c Min unsat cost LB: 43574 ... c Min unsat cost LB: 43575 ... c Min unsat cost LB: 43576 ... c Min unsat cost LB: 43577 ... c Min unsat cost LB: 43578 ... c Min unsat cost LB: 43579 ... c Min unsat cost LB: 43580 ... c Min unsat cost LB: 43581 ... c Min unsat cost LB: 43586 ... c Min unsat cost LB: 43587 ... c Min unsat cost LB: 43602 ... c Min unsat cost LB: 43603 ... c Min unsat cost LB: 43604 ... c Min unsat cost LB: 43605 ... c Min unsat cost LB: 43607 ... c Min unsat cost LB: 43623 ... c Min unsat cost LB: 43630 ... c Min unsat cost LB: 43631 ... c Min unsat cost LB: 43646 ... c Min unsat cost LB: 43648 ... c Min unsat cost LB: 43649 ... c Min unsat cost LB: 43651 ... c Min unsat cost LB: 43653 ... c Min unsat cost LB: 43655 ... c Min unsat cost LB: 43656 ... c Min unsat cost LB: 43657 ... c Min unsat cost LB: 43659 ... c Min unsat cost LB: 43660 ... c Min unsat cost LB: 43661 ... c Min unsat cost LB: 43662 ... c Min unsat cost LB: 43663 ... c Min unsat cost LB: 43680 ... c Min unsat cost LB: 43681 ... c Min unsat cost LB: 43686 ... c Min unsat cost LB: 43690 ... c Min unsat cost LB: 43691 ... c Min unsat cost LB: 43696 ... c Min unsat cost LB: 43697 ... c Min unsat cost LB: 43715 ... c Min unsat cost LB: 43716 ... c Min unsat cost LB: 43717 ... c Min unsat cost LB: 43718 ... c Min unsat cost LB: 43719 ... c Min unsat cost LB: 43721 ... c Min unsat cost LB: 43722 ... c Min unsat cost LB: 43723 ... c Min unsat cost LB: 43724 ... c Min unsat cost LB: 43730 ... c Min unsat cost LB: 43731 ... c Min unsat cost LB: 43732 ... c Min unsat cost LB: 43735 ... c Min unsat cost LB: 43740 ... c Min unsat cost LB: 43741 ... c Min unsat cost LB: 43742 ... c Min unsat cost LB: 43743 ... c Min unsat cost LB: 43744 ... c Min unsat cost LB: 43745 ... c Min unsat cost LB: 43746 ... c Min unsat cost LB: 43747 ... c Min unsat cost LB: 43748 ... c Min unsat cost LB: 43749 ... c Min unsat cost LB: 43750 ... c Min unsat cost LB: 43751 ... c Min unsat cost LB: 43758 ... c Min unsat cost LB: 43759 ... c Min unsat cost LB: 43760 ... c Min unsat cost LB: 43761 ... c Min unsat cost LB: 43762 ... c Min unsat cost LB: 43763 ... c Min unsat cost LB: 43764 ... c Min unsat cost LB: 43765 ... c Min unsat cost LB: 43766 ... c Min unsat cost LB: 43767 ... c Min unsat cost LB: 43769 ... c Min unsat cost LB: 43770 ... c Min unsat cost LB: 43771 ... c Min unsat cost LB: 43772 ... c Min unsat cost LB: 43779 ... c Min unsat cost LB: 43780 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43785 ... c Min unsat cost LB: 43786 ... c Min unsat cost LB: 43787 ... c Min unsat cost LB: 43788 ... c Min unsat cost LB: 43819 ... c Min unsat cost LB: 43821 ... c Min unsat cost LB: 43824 ... c Min unsat cost LB: 43825 ... c Min unsat cost LB: 43826 ... c Min unsat cost LB: 43827 ... c Min unsat cost LB: 43831 ... c Min unsat cost LB: 43868 ... c Min unsat cost LB: 43891 ... c Min unsat cost LB: 43900 ... c Min unsat cost LB: 43901 ... c Min unsat cost LB: 43910 ... c Min unsat cost LB: 43911 ... c Min unsat cost LB: 43976 ... c Min unsat cost LB: 43977 ... c Min unsat cost LB: 43978 ... c Min unsat cost LB: 43979 ... c Min unsat cost LB: 43980 ... c Min unsat cost LB: 43984 ... c Min unsat cost LB: 43985 ... c Min unsat cost LB: 43986 ... c Min unsat cost LB: 43991 ... c Min unsat cost LB: 43996 ... c Min unsat cost LB: 43998 ... c Min unsat cost LB: 43999 ... c Min unsat cost LB: 44006 ... c Min unsat cost LB: 44007 ... c Min unsat cost LB: 44008 ... c Min unsat cost LB: 44009 ... c Min unsat cost LB: 44012 ... c Min unsat cost LB: 44013 ... c Min unsat cost LB: 44014 ... c Min unsat cost LB: 44015 ... c Min unsat cost LB: 44016 ... c Min unsat cost LB: 44017 ... c Min unsat cost LB: 44018 ... c Min unsat cost LB: 44019 ... c Min unsat cost LB: 44020 ... c Min unsat cost LB: 44022 ... c Min unsat cost LB: 44023 ... c Min unsat cost LB: 44024 ... c Min unsat cost LB: 44025 ... c Min unsat cost LB: 44026 ... c Min unsat cost LB: 44027 ... c Min unsat cost LB: 44028 ... c Min unsat cost LB: 44030 ... c Min unsat cost LB: 44031 ... c Min unsat cost LB: 44032 ... c Min unsat cost LB: 44033 ... c Min unsat cost LB: 44034 ... c Min unsat cost LB: 44037 ... c Min unsat cost LB: 44039 ... c Min unsat cost LB: 44040 ... c Min unsat cost LB: 44041 ... c Min unsat cost LB: 44044 ... c Min unsat cost LB: 44045 ... c Min unsat cost LB: 44046 ... c Min unsat cost LB: 44047 ... c Min unsat cost LB: 44048 ... c Min unsat cost LB: 44049 ... c Min unsat cost LB: 44054 ... c Min unsat cost LB: 44055 ... c Min unsat cost LB: 44056 ... c Min unsat cost LB: 44058 ... c Min unsat cost LB: 44059 ... c Min unsat cost LB: 44060 ... c Min unsat cost LB: 44061 ... c Min unsat cost LB: 44062 ... c Min unsat cost LB: 44063 ... c Min unsat cost LB: 44064 ... c Min unsat cost LB: 44074 ... c Min unsat cost LB: 44075 ... c Min unsat cost LB: 44076 ... c Min unsat cost LB: 44077 ... c Min unsat cost LB: 44078 ... c Min unsat cost LB: 44079 ... c Min unsat cost LB: 44080 ... c Min unsat cost LB: 44081 ... c Min unsat cost LB: 44082 ... c Min unsat cost LB: 44083 ... c Min unsat cost LB: 44084 ... c Min unsat cost LB: 44085 ... c Min unsat cost LB: 44086 ... c Min unsat cost LB: 44087 ... c Min unsat cost LB: 44088 ... c Min unsat cost LB: 44089 ... c Min unsat cost LB: 44090 ... c Min unsat cost LB: 44091 ... c Min unsat cost LB: 44092 ... c Min unsat cost LB: 44093 ... c Min unsat cost LB: 44094 ... c Min unsat cost LB: 44095 ... c Min unsat cost LB: 44096 ... c Min unsat cost LB: 44097 ... c Min unsat cost LB: 44098 ... c Min unsat cost LB: 44099 ... c Min unsat cost LB: 44100 ... c Min unsat cost LB: 44101 ... c Min unsat cost LB: 44102 ...Killed 1815.133u 4.608s 30:20.06 99.9% 0+0k 0+0io 0pf+0w