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_180_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_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_180_0000.txt.wcnf *** c c Min unsat cost LB: 288 ... c Min unsat cost LB: 1073 ... c Min unsat cost LB: 1278 ... c Min unsat cost LB: 1566 ... c Min unsat cost LB: 1854 ... c Min unsat cost LB: 2639 ... c Min unsat cost LB: 2844 ... c Min unsat cost LB: 3132 ... c Min unsat cost LB: 3136 ... c Min unsat cost LB: 3621 ... c Min unsat cost LB: 4106 ... c Min unsat cost LB: 4126 ... c Min unsat cost LB: 4414 ... c Min unsat cost LB: 4899 ... c Min unsat cost LB: 5684 ... c Min unsat cost LB: 6169 ... c Min unsat cost LB: 6189 ... c Min unsat cost LB: 6477 ... c Min unsat cost LB: 6765 ... c Min unsat cost LB: 7053 ... c Min unsat cost LB: 7341 ... c Min unsat cost LB: 7538 ... c Min unsat cost LB: 7735 ... c Min unsat cost LB: 7826 ... c Min unsat cost LB: 8110 ... c Min unsat cost LB: 8496 ... c Min unsat cost LB: 8784 ... c Min unsat cost LB: 8883 ... c Min unsat cost LB: 9080 ... c Min unsat cost LB: 9281 ... c Min unsat cost LB: 9667 ... c Min unsat cost LB: 9861 ... c Min unsat cost LB: 10801 ... c Min unsat cost LB: 11065 ... c Min unsat cost LB: 11115 ... c Min unsat cost LB: 12055 ... c Min unsat cost LB: 12105 ... c Min unsat cost LB: 13045 ... c Min unsat cost LB: 14035 ... c Min unsat cost LB: 14085 ... c Min unsat cost LB: 14372 ... c Min unsat cost LB: 14569 ... c Min unsat cost LB: 15509 ... c Min unsat cost LB: 15600 ... c Min unsat cost LB: 15797 ... c Min unsat cost LB: 16737 ... c Min unsat cost LB: 17627 ... c Min unsat cost LB: 18092 ... c Min unsat cost LB: 18478 ... c Min unsat cost LB: 19418 ... c Min unsat cost LB: 19509 ... c Min unsat cost LB: 20399 ... c Min unsat cost LB: 20687 ... c Min unsat cost LB: 20688 ... c Min unsat cost LB: 20779 ... c Min unsat cost LB: 21719 ... c Min unsat cost LB: 21809 ... c Min unsat cost LB: 22203 ... c Min unsat cost LB: 23143 ... c Min unsat cost LB: 23193 ... c Min unsat cost LB: 23481 ... c Min unsat cost LB: 23679 ... c Min unsat cost LB: 24114 ... c Min unsat cost LB: 25054 ... c Min unsat cost LB: 25242 ... c Min unsat cost LB: 26132 ... c Min unsat cost LB: 27072 ... c Min unsat cost LB: 28012 ... c Min unsat cost LB: 28062 ... c Min unsat cost LB: 28162 ... c Min unsat cost LB: 28383 ... c Min unsat cost LB: 29323 ... c Min unsat cost LB: 29709 ... c Min unsat cost LB: 30263 ... c Min unsat cost LB: 31117 ... c Min unsat cost LB: 31203 ... c Min unsat cost LB: 32143 ... c Min unsat cost LB: 33083 ... c Min unsat cost LB: 33103 ... c Min unsat cost LB: 34161 ... c Min unsat cost LB: 34252 ... c Min unsat cost LB: 34302 ... c Min unsat cost LB: 34688 ... c Min unsat cost LB: 35006 ... c Min unsat cost LB: 35324 ... c Min unsat cost LB: 35792 ... c Min unsat cost LB: 36080 ... c Min unsat cost LB: 36398 ... c Min unsat cost LB: 36502 ... c Min unsat cost LB: 36820 ... c Min unsat cost LB: 37422 ... c Min unsat cost LB: 37808 ... c Min unsat cost LB: 38126 ... c Min unsat cost LB: 38444 ... c Min unsat cost LB: 38762 ... c Min unsat cost LB: 39062 ... c Min unsat cost LB: 39380 ... c Min unsat cost LB: 39466 ... c Min unsat cost LB: 39754 ... c Min unsat cost LB: 40042 ... c Min unsat cost LB: 40360 ... c Min unsat cost LB: 40547 ... c Min unsat cost LB: 40761 ... c Min unsat cost LB: 41049 ... c Min unsat cost LB: 41367 ... c Min unsat cost LB: 41852 ... c Min unsat cost LB: 42140 ... c Min unsat cost LB: 42478 ... c Min unsat cost LB: 42625 ... c Min unsat cost LB: 42908 ... c Min unsat cost LB: 43146 ... c Min unsat cost LB: 43700 ... c Min unsat cost LB: 43988 ... c Min unsat cost LB: 44180 ... c Min unsat cost LB: 45170 ... c Min unsat cost LB: 45556 ... c Min unsat cost LB: 45942 ... c Min unsat cost LB: 46160 ... c Min unsat cost LB: 47000 ... c Min unsat cost LB: 47068 ... c Min unsat cost LB: 47150 ... c Min unsat cost LB: 47438 ... c Min unsat cost LB: 48414 ... c Min unsat cost LB: 48428 ... c Min unsat cost LB: 48716 ... c Min unsat cost LB: 49004 ... c Min unsat cost LB: 49095 ... c Min unsat cost LB: 49130 ... c Min unsat cost LB: 49292 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 49580 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 50186 ... c Min unsat cost LB: 50470 ... c Min unsat cost LB: 50496 ... c Min unsat cost LB: 50526 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 51162 ... c Min unsat cost LB: 51281 ... c Min unsat cost LB: 51599 ... c Min unsat cost LB: 51798 ... c Min unsat cost LB: 52086 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52533 ... c Min unsat cost LB: 52624 ... c Min unsat cost LB: 52635 ... c Min unsat cost LB: 52640 ... c Min unsat cost LB: 52928 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53245 ... c Min unsat cost LB: 53432 ... c Min unsat cost LB: 53446 ... c Min unsat cost LB: 53579 ... c Min unsat cost LB: 53710 ... c Min unsat cost LB: 53778 ... c Min unsat cost LB: 53897 ... c Min unsat cost LB: 54028 ... c Min unsat cost LB: 54316 ... c Min unsat cost LB: 54503 ... c Min unsat cost LB: 54515 ... c Min unsat cost LB: 54583 ... c Min unsat cost LB: 54784 ... c Min unsat cost LB: 55072 ... c Min unsat cost LB: 55259 ... c Min unsat cost LB: 55376 ... c Min unsat cost LB: 55470 ... c Min unsat cost LB: 55488 ... c Min unsat cost LB: 55500 ... c Min unsat cost LB: 55530 ... c Min unsat cost LB: 55669 ... c Min unsat cost LB: 55805 ... c Min unsat cost LB: 55825 ... c Min unsat cost LB: 56080 ... c Min unsat cost LB: 56093 ... c Min unsat cost LB: 56310 ... c Min unsat cost LB: 56381 ... c Min unsat cost LB: 56484 ... c Min unsat cost LB: 56772 ... c Min unsat cost LB: 56795 ... c Min unsat cost LB: 57070 ... c Min unsat cost LB: 57083 ... c Min unsat cost LB: 57371 ... c Min unsat cost LB: 57580 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57868 ... c Min unsat cost LB: 58060 ... c Min unsat cost LB: 58653 ... c Min unsat cost LB: 58858 ... c Min unsat cost LB: 58908 ... c Min unsat cost LB: 59050 ... c Min unsat cost LB: 59229 ... c Min unsat cost LB: 59249 ... c Min unsat cost LB: 59368 ... c Min unsat cost LB: 59447 ... c Min unsat cost LB: 59686 ... c Min unsat cost LB: 59788 ... c Min unsat cost LB: 59808 ... c Min unsat cost LB: 59964 ... c Min unsat cost LB: 59994 ... c Min unsat cost LB: 60012 ... c Min unsat cost LB: 60040 ... c Min unsat cost LB: 60178 ... c Min unsat cost LB: 60589 ... c Min unsat cost LB: 60661 ... c Min unsat cost LB: 60710 ... c Min unsat cost LB: 60711 ... c Min unsat cost LB: 60761 ... c Min unsat cost LB: 60771 ... c Min unsat cost LB: 60923 ... c Min unsat cost LB: 61035 ... c Min unsat cost LB: 61139 ... c Min unsat cost LB: 61144 ... c Min unsat cost LB: 61345 ... c Min unsat cost LB: 61444 ... c Min unsat cost LB: 61530 ... c Min unsat cost LB: 61624 ... c Min unsat cost LB: 61634 ... c Min unsat cost LB: 61762 ... c Min unsat cost LB: 61864 ... c Min unsat cost LB: 61922 ... c Min unsat cost LB: 62210 ... c Min unsat cost LB: 62215 ... c Min unsat cost LB: 62243 ... c Min unsat cost LB: 62252 ... c Min unsat cost LB: 62301 ... c Min unsat cost LB: 62345 ... c Min unsat cost LB: 62395 ... c Min unsat cost LB: 62408 ... c Min unsat cost LB: 62411 ... c Min unsat cost LB: 62428 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62502 ... c Min unsat cost LB: 62589 ... c Min unsat cost LB: 62700 ... c Min unsat cost LB: 62877 ... c Min unsat cost LB: 62927 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 62988 ... c Min unsat cost LB: 63001 ... c Min unsat cost LB: 63139 ... c Min unsat cost LB: 63193 ... c Min unsat cost LB: 63201 ... c Min unsat cost LB: 63225 ... c Min unsat cost LB: 63287 ... c Min unsat cost LB: 63381 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63399 ... c Min unsat cost LB: 63445 ... c Min unsat cost LB: 63491 ... c Min unsat cost LB: 63688 ... c Min unsat cost LB: 63715 ... c Min unsat cost LB: 63774 ... c Min unsat cost LB: 63813 ... c Min unsat cost LB: 63944 ... c Min unsat cost LB: 64028 ... c Min unsat cost LB: 64125 ... c Min unsat cost LB: 64140 ... c Min unsat cost LB: 64230 ... c Min unsat cost LB: 64248 ... c Min unsat cost LB: 64249 ... c Min unsat cost LB: 64366 ... c Min unsat cost LB: 64562 ... c Min unsat cost LB: 64585 ... c Min unsat cost LB: 64673 ... c Min unsat cost LB: 64764 ... c Min unsat cost LB: 64903 ... c Min unsat cost LB: 64911 ... c Min unsat cost LB: 64953 ... c Min unsat cost LB: 65109 ... c Min unsat cost LB: 65224 ... c Min unsat cost LB: 65228 ... c Min unsat cost LB: 65295 ... c Min unsat cost LB: 65477 ... c Min unsat cost LB: 65516 ... c Min unsat cost LB: 65533 ... c Min unsat cost LB: 65656 ... c Min unsat cost LB: 65759 ... c Min unsat cost LB: 65931 ... c Min unsat cost LB: 65976 ... c Min unsat cost LB: 66015 ... c Min unsat cost LB: 66037 ... c Min unsat cost LB: 66078 ... c Min unsat cost LB: 66155 ... c Min unsat cost LB: 66275 ... c Min unsat cost LB: 66279 ... c Min unsat cost LB: 66297 ... c Min unsat cost LB: 66299 ... c Min unsat cost LB: 66604 ... c Min unsat cost LB: 66654 ... c Min unsat cost LB: 66734 ... c Min unsat cost LB: 66894 ... c Min unsat cost LB: 66944 ... c Min unsat cost LB: 66947 ... c Min unsat cost LB: 67060 ... c Min unsat cost LB: 67090 ... c Min unsat cost LB: 67111 ... c Min unsat cost LB: 67138 ... c Min unsat cost LB: 67152 ... c Min unsat cost LB: 67183 ... c Min unsat cost LB: 67231 ... c Min unsat cost LB: 67243 ... c Min unsat cost LB: 67260 ... c Min unsat cost LB: 67289 ... c Min unsat cost LB: 67349 ... c Min unsat cost LB: 67416 ... c Min unsat cost LB: 67487 ... c Min unsat cost LB: 67569 ... c Min unsat cost LB: 67766 ... c Min unsat cost LB: 68066 ... c Min unsat cost LB: 68136 ... c Min unsat cost LB: 68199 ... c Min unsat cost LB: 68742 ... c Min unsat cost LB: 68766 ... c Min unsat cost LB: 68976 ... c Min unsat cost LB: 68999 ... c Min unsat cost LB: 69035 ... c Min unsat cost LB: 69115 ... c Min unsat cost LB: 69606 ... c Min unsat cost LB: 69756 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 69937 ... c Min unsat cost LB: 70083 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70718 ... c Min unsat cost LB: 70723 ... c Min unsat cost LB: 70733 ... c Min unsat cost LB: 70804 ... c Min unsat cost LB: 70817 ... c Min unsat cost LB: 70837 ... c Min unsat cost LB: 70954 ... c Min unsat cost LB: 70956 ... c Min unsat cost LB: 71038 ... c Min unsat cost LB: 71098 ... c Min unsat cost LB: 71106 ... c Min unsat cost LB: 71254 ... c Min unsat cost LB: 71366 ... c Min unsat cost LB: 71389 ... c Min unsat cost LB: 71406 ... c Min unsat cost LB: 71418 ... c Min unsat cost LB: 71441 ... c Min unsat cost LB: 71499 ... c Min unsat cost LB: 71529 ... c Min unsat cost LB: 71601 ... c Min unsat cost LB: 71609 ... c Min unsat cost LB: 71610 ... c Min unsat cost LB: 71619 ... c Min unsat cost LB: 71623 ... c Min unsat cost LB: 71632 ... c Min unsat cost LB: 71660 ... c Min unsat cost LB: 71678 ... c Min unsat cost LB: 71719 ... c Min unsat cost LB: 71739 ... c Min unsat cost LB: 71742 ... c Min unsat cost LB: 71777 ... c Min unsat cost LB: 71788 ... c Min unsat cost LB: 71803 ... c Min unsat cost LB: 71868 ... c Min unsat cost LB: 71903 ... c Min unsat cost LB: 71939 ... c Min unsat cost LB: 72030 ... c Min unsat cost LB: 72114 ... c Min unsat cost LB: 72116 ... c Min unsat cost LB: 72163 ... c Min unsat cost LB: 72212 ... c Min unsat cost LB: 72221 ... c Min unsat cost LB: 72255 ... c Min unsat cost LB: 72261 ... c Min unsat cost LB: 72378 ... c Min unsat cost LB: 72458 ... c Min unsat cost LB: 72474 ... c Min unsat cost LB: 72497 ... c Min unsat cost LB: 72508 ... c Min unsat cost LB: 72543 ... c Min unsat cost LB: 72549 ... c Min unsat cost LB: 72573 ... c Min unsat cost LB: 72645 ... c Min unsat cost LB: 72662 ... c Min unsat cost LB: 72741 ... c Min unsat cost LB: 72797 ... c Min unsat cost LB: 72899 ... c Min unsat cost LB: 72917 ... c Min unsat cost LB: 72947 ... c Min unsat cost LB: 72980 ... c Min unsat cost LB: 73019 ... c Min unsat cost LB: 73032 ... c Min unsat cost LB: 73050 ... c Min unsat cost LB: 73065 ... c Min unsat cost LB: 73126 ... c Min unsat cost LB: 73150 ... c Min unsat cost LB: 73188 ... c Min unsat cost LB: 73226 ... c Min unsat cost LB: 73239 ... c Min unsat cost LB: 73247 ... c Min unsat cost LB: 73257 ... c Min unsat cost LB: 73267 ... c Min unsat cost LB: 73280 ... c Min unsat cost LB: 73296 ... c Min unsat cost LB: 73300 ... c Min unsat cost LB: 73307 ... c Min unsat cost LB: 73313 ... c Min unsat cost LB: 73333 ... c Min unsat cost LB: 73350 ... c Min unsat cost LB: 73357 ... c Min unsat cost LB: 73363 ... c Min unsat cost LB: 73369 ... c Min unsat cost LB: 73429 ... c Min unsat cost LB: 73457 ... c Min unsat cost LB: 73472 ... c Min unsat cost LB: 73480 ... c Min unsat cost LB: 73491 ... c Min unsat cost LB: 73497 ... c Min unsat cost LB: 73498 ... c Min unsat cost LB: 73510 ... c Min unsat cost LB: 73519 ... c Min unsat cost LB: 73553 ... c Min unsat cost LB: 73567 ... c Min unsat cost LB: 73571 ... c Min unsat cost LB: 73573 ... c Min unsat cost LB: 73576 ... c Min unsat cost LB: 73581 ... c Min unsat cost LB: 73601 ... c Min unsat cost LB: 73610 ... c Min unsat cost LB: 73615 ... c Min unsat cost LB: 73616 ... c Min unsat cost LB: 73621 ... c Min unsat cost LB: 73624 ... c Min unsat cost LB: 73665 ... c Min unsat cost LB: 73669 ... c Min unsat cost LB: 73673 ... c Min unsat cost LB: 73674 ... c Min unsat cost LB: 73697 ... c Min unsat cost LB: 73703 ... c Min unsat cost LB: 73708 ... c Min unsat cost LB: 73742 ... c Min unsat cost LB: 73747 ... c Min unsat cost LB: 73749 ... c Min unsat cost LB: 73753 ... c Min unsat cost LB: 73848 ... c Min unsat cost LB: 73856 ... c Min unsat cost LB: 73859 ... c Min unsat cost LB: 73867 ... c Min unsat cost LB: 73868 ... c Min unsat cost LB: 73870 ... c Min unsat cost LB: 73872 ... c Min unsat cost LB: 73874 ... c Min unsat cost LB: 73882 ... c Min unsat cost LB: 73891 ... c Min unsat cost LB: 73904 ... c Min unsat cost LB: 73907 ... c Min unsat cost LB: 73909 ... c Min unsat cost LB: 73912 ... c Min unsat cost LB: 73931 ... c Min unsat cost LB: 73939 ... c Min unsat cost LB: 73972 ... c Min unsat cost LB: 73985 ... c Min unsat cost LB: 73990 ... c Min unsat cost LB: 73993 ... c Min unsat cost LB: 73994 ... c Min unsat cost LB: 74002 ... c Min unsat cost LB: 74007 ... c Min unsat cost LB: 74009 ... c Min unsat cost LB: 74013 ... c Min unsat cost LB: 74014 ... c Min unsat cost LB: 74021 ... c Min unsat cost LB: 74022 ... c Min unsat cost LB: 74033 ... c Min unsat cost LB: 74040 ... c Min unsat cost LB: 74041 ... c Min unsat cost LB: 74049 ... c Min unsat cost LB: 74053 ... c Min unsat cost LB: 74054 ... c Min unsat cost LB: 74056 ... c Min unsat cost LB: 74058 ... c Min unsat cost LB: 74059 ... c Min unsat cost LB: 74061 ... c Min unsat cost LB: 74062 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74067 ... c Min unsat cost LB: 74070 ... c Min unsat cost LB: 74083 ... c Min unsat cost LB: 74085 ... c Min unsat cost LB: 74089 ... c Min unsat cost LB: 74091 ... c Min unsat cost LB: 74093 ... c Min unsat cost LB: 74094 ... c Min unsat cost LB: 74095 ... c Min unsat cost LB: 74097 ... c Min unsat cost LB: 74098 ... c Min unsat cost LB: 74099 ... c Min unsat cost LB: 74101 ... c Min unsat cost LB: 74105 ... c Min unsat cost LB: 74106 ... c Min unsat cost LB: 74107 ... c Min unsat cost LB: 74108 ... c Min unsat cost LB: 74109 ... c Min unsat cost LB: 74110 ... c Min unsat cost LB: 74111 ... c Min unsat cost LB: 74112 ... c Min unsat cost LB: 74113 ... c Min unsat cost LB: 74115 ... c Min unsat cost LB: 74121 ... c Min unsat cost LB: 74122 ... c Min unsat cost LB: 74124 ... c Min unsat cost LB: 74125 ... c Min unsat cost LB: 74127 ... c Min unsat cost LB: 74129 ... c Min unsat cost LB: 74130 ... c Min unsat cost LB: 74159 ... c Min unsat cost LB: 74163 ... c Min unsat cost LB: 74167 ... c Min unsat cost LB: 74183 ... c Min unsat cost LB: 74185 ... c Min unsat cost LB: 74187 ... c Min unsat cost LB: 74188 ... c Min unsat cost LB: 74189 ... c Min unsat cost LB: 74190 ... c Min unsat cost LB: 74191 ... c Min unsat cost LB: 74192 ... c Min unsat cost LB: 74193 ... c Min unsat cost LB: 74194 ... c Min unsat cost LB: 74195 ... c Min unsat cost LB: 74200 ... c Min unsat cost LB: 74204 ... c Min unsat cost LB: 74206 ... c Min unsat cost LB: 74219 ... c Min unsat cost LB: 74227 ... c Min unsat cost LB: 74228 ... c Min unsat cost LB: 74229 ... c Min unsat cost LB: 74230 ... c Min unsat cost LB: 74231 ... c Min unsat cost LB: 74232 ... c Min unsat cost LB: 74233 ... c Min unsat cost LB: 74234 ... c Min unsat cost LB: 74235 ... c Min unsat cost LB: 74236 ... c Min unsat cost LB: 74237 ... c Min unsat cost LB: 74238 ... c Min unsat cost LB: 74239 ... c Min unsat cost LB: 74240 ... c Min unsat cost LB: 74241 ... c Min unsat cost LB: 74242 ... c Min unsat cost LB: 74243 ... c Min unsat cost LB: 74244 ... c Min unsat cost LB: 74255 ... c Min unsat cost LB: 74256 ... c Min unsat cost LB: 74257 ... c Min unsat cost LB: 74258 ... c Min unsat cost LB: 74259 ... c Min unsat cost LB: 74260 ... c Min unsat cost LB: 74261 ... c Min unsat cost LB: 74262 ... c Min unsat cost LB: 74267 ... c Min unsat cost LB: 74268 ... c Min unsat cost LB: 74270 ... c Min unsat cost LB: 74281 ... c Min unsat cost LB: 74283 ... c Min unsat cost LB: 74284 ... c Min unsat cost LB: 74289 ... c Min unsat cost LB: 74293 ... c Min unsat cost LB: 74299 ... c Min unsat cost LB: 74310 ... c Min unsat cost LB: 74335 ... c Min unsat cost LB: 74352 ... c Min unsat cost LB: 74383 ... c Min unsat cost LB: 74388 ... c Min unsat cost LB: 74389 ... c Min unsat cost LB: 74390 ... c Min unsat cost LB: 74391 ... c Min unsat cost LB: 74392 ... c Min unsat cost LB: 74393 ... c Min unsat cost LB: 74394 ... c Min unsat cost LB: 74395 ... c Min unsat cost LB: 74396 ... c Min unsat cost LB: 74397 ... c Min unsat cost LB: 74398 ... c Min unsat cost LB: 74399 ... c Min unsat cost LB: 74400 ... c Min unsat cost LB: 74401 ... c Min unsat cost LB: 74402 ... c Min unsat cost LB: 74403 ... c Min unsat cost LB: 74405 ... c Min unsat cost LB: 74406 ... c Min unsat cost LB: 74407 ... c Min unsat cost LB: 74408 ... c Min unsat cost LB: 74409 ... c Min unsat cost LB: 74410 ... c Min unsat cost LB: 74412 ... c Min unsat cost LB: 74435 ... c Min unsat cost LB: 74488 ... c Min unsat cost LB: 74496 ... c Min unsat cost LB: 74497 ... c Min unsat cost LB: 74499 ... c Min unsat cost LB: 74508 ... c Min unsat cost LB: 74526 ... c Min unsat cost LB: 74527 ... c Min unsat cost LB: 74560 ... c Min unsat cost LB: 74583 ... c Min unsat cost LB: 74592 ... c Min unsat cost LB: 74601 ... c Min unsat cost LB: 74606 ... c Min unsat cost LB: 74609 ... c Min unsat cost LB: 74621 ... c Min unsat cost LB: 74625 ... c Min unsat cost LB: 74632 ... c Min unsat cost LB: 74633 ... c Min unsat cost LB: 74638 ... c Min unsat cost LB: 74644 ... c Min unsat cost LB: 74645 ... c Min unsat cost LB: 74646 ... c Min unsat cost LB: 74698 ... c Min unsat cost LB: 74751 ... c Min unsat cost LB: 74778 ... c Min unsat cost LB: 74789 ... c Min unsat cost LB: 74797 ... c Min unsat cost LB: 74801 ... c Min unsat cost LB: 74805 ... c Min unsat cost LB: 74812 ... c Min unsat cost LB: 74816 ... c Min unsat cost LB: 74823 ... c Min unsat cost LB: 74829 ... c Min unsat cost LB: 74830 ... c Min unsat cost LB: 74836 ... c Min unsat cost LB: 74842 ... c Min unsat cost LB: 74847 ... c Min unsat cost LB: 74848 ... c Min unsat cost LB: 74849 ... c Min unsat cost LB: 74851 ... c Min unsat cost LB: 74853 ... c Min unsat cost LB: 74854 ... c Min unsat cost LB: 74857 ... c Min unsat cost LB: 74860 ... c Min unsat cost LB: 74870 ... c Min unsat cost LB: 74871 ... c Min unsat cost LB: 74882 ... c Min unsat cost LB: 74883 ... c Min unsat cost LB: 74884 ... c Min unsat cost LB: 74891 ... c Min unsat cost LB: 74895 ... c Min unsat cost LB: 74896 ... c Min unsat cost LB: 74899 ... c Min unsat cost LB: 74900 ... c Min unsat cost LB: 74901 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74926 ... c Min unsat cost LB: 74927 ... c Min unsat cost LB: 74929 ... c Min unsat cost LB: 74933 ... c Min unsat cost LB: 74935 ... c Min unsat cost LB: 74937 ... c Min unsat cost LB: 74938 ... c Min unsat cost LB: 74939 ... c Min unsat cost LB: 74940 ... c Min unsat cost LB: 74941 ... c Min unsat cost LB: 74942 ... c Min unsat cost LB: 74943 ... c Min unsat cost LB: 74944 ... c Min unsat cost LB: 74945 ... c Min unsat cost LB: 74946 ... c Min unsat cost LB: 74948 ... c Min unsat cost LB: 74951 ... c Min unsat cost LB: 74953 ... c Min unsat cost LB: 74955 ... c Min unsat cost LB: 74968 ... c Min unsat cost LB: 74969 ... c Min unsat cost LB: 74970 ... c Min unsat cost LB: 74971 ... c Min unsat cost LB: 74972 ... c Min unsat cost LB: 74973 ... c Min unsat cost LB: 74974 ... c Min unsat cost LB: 74975 ... c Min unsat cost LB: 74976 ... c Min unsat cost LB: 74977 ... c Min unsat cost LB: 74978 ... c Min unsat cost LB: 74979 ... c Min unsat cost LB: 74980 ... c Min unsat cost LB: 74981 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74983 ... c Min unsat cost LB: 74984 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 74986 ... c Min unsat cost LB: 74987 ... c Min unsat cost LB: 74988 ... c Min unsat cost LB: 74989 ... c Min unsat cost LB: 74990 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 75017 ... c Min unsat cost LB: 75023 ... c Min unsat cost LB: 75029 ... c Min unsat cost LB: 75067 ... c Min unsat cost LB: 75072 ... c Min unsat cost LB: 75073 ... c Min unsat cost LB: 75074 ... c Min unsat cost LB: 75090 ... c Min unsat cost LB: 75125 ... c Min unsat cost LB: 75129 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75147 ... c Min unsat cost LB: 75152 ... c Min unsat cost LB: 75154 ... c Min unsat cost LB: 75156 ... c Min unsat cost LB: 75157 ... c Min unsat cost LB: 75160 ... c Min unsat cost LB: 75161 ... c Min unsat cost LB: 75162 ... c Min unsat cost LB: 75164 ... c Min unsat cost LB: 75165 ... c Min unsat cost LB: 75166 ... c Min unsat cost LB: 75167 ... c Min unsat cost LB: 75168 ... c Min unsat cost LB: 75171 ... c Min unsat cost LB: 75176 ... c Min unsat cost LB: 75178 ... c Min unsat cost LB: 75179 ... c Min unsat cost LB: 75181 ... c Min unsat cost LB: 75182 ... c Min unsat cost LB: 75192 ... c Min unsat cost LB: 75196 ... c Min unsat cost LB: 75197 ... c Min unsat cost LB: 75198 ... c Min unsat cost LB: 75201 ... c Min unsat cost LB: 75206 ... c Min unsat cost LB: 75207 ... c Min unsat cost LB: 75217 ... c Min unsat cost LB: 75221 ... c Min unsat cost LB: 75222 ... c Min unsat cost LB: 75224 ... c Min unsat cost LB: 75230 ... c Min unsat cost LB: 75231 ... c Min unsat cost LB: 75236 ... c Min unsat cost LB: 75243 ... c Min unsat cost LB: 75244 ... c Min unsat cost LB: 75246 ... c Min unsat cost LB: 75248 ... c Min unsat cost LB: 75250 ... c Min unsat cost LB: 75251 ... c Min unsat cost LB: 75253 ... c Min unsat cost LB: 75255 ... c Min unsat cost LB: 75260 ... c Min unsat cost LB: 75261 ... c Min unsat cost LB: 75262 ... c Min unsat cost LB: 75264 ... c Min unsat cost LB: 75265 ... c Min unsat cost LB: 75266 ... c Min unsat cost LB: 75267 ... c Min unsat cost LB: 75268 ... c Min unsat cost LB: 75273 ... c Min unsat cost LB: 75289 ... c Min unsat cost LB: 75290 ... c Min unsat cost LB: 75291 ... c Min unsat cost LB: 75292 ... c Min unsat cost LB: 75293 ... c Min unsat cost LB: 75294 ... c Min unsat cost LB: 75295 ... c Min unsat cost LB: 75296 ... c Min unsat cost LB: 75297 ... c Min unsat cost LB: 75298 ... c Min unsat cost LB: 75299 ... c Min unsat cost LB: 75300 ... c Min unsat cost LB: 75301 ... c Min unsat cost LB: 75314 ... c Min unsat cost LB: 75315 ... c Min unsat cost LB: 75316 ... c Min unsat cost LB: 75317 ... c Min unsat cost LB: 75318 ... c Min unsat cost LB: 75320 ... c Min unsat cost LB: 75321 ... c Min unsat cost LB: 75324 ... c Min unsat cost LB: 75325 ... c Min unsat cost LB: 75327 ... c Min unsat cost LB: 75328 ... c Min unsat cost LB: 75332 ... c Min unsat cost LB: 75333 ... c Min unsat cost LB: 75341 ... c Min unsat cost LB: 75342 ... c Min unsat cost LB: 75343 ... c Min unsat cost LB: 75344 ... c Min unsat cost LB: 75347 ... c Min unsat cost LB: 75348 ... c Min unsat cost LB: 75349 ... c Min unsat cost LB: 75350 ... c Min unsat cost LB: 75353 ... c Min unsat cost LB: 75354 ... c Min unsat cost LB: 75356 ... c Min unsat cost LB: 75357 ... c Min unsat cost LB: 75361 ... c Min unsat cost LB: 75365 ... c Min unsat cost LB: 75366 ... c Min unsat cost LB: 75370 ... c Min unsat cost LB: 75378 ... c Min unsat cost LB: 75379 ... c Min unsat cost LB: 75384 ... c Min unsat cost LB: 75393 ... c Min unsat cost LB: 75394 ... c Min unsat cost LB: 75395 ... c Min unsat cost LB: 75396 ... c Min unsat cost LB: 75397 ... c Min unsat cost LB: 75399 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75401 ... c Min unsat cost LB: 75414 ... c Min unsat cost LB: 75418 ... c Min unsat cost LB: 75421 ... c Min unsat cost LB: 75426 ... c Min unsat cost LB: 75439 ... c Min unsat cost LB: 75454 ... c Min unsat cost LB: 75459 ... c Min unsat cost LB: 75460 ... c Min unsat cost LB: 75461 ... c Min unsat cost LB: 75462 ... c Min unsat cost LB: 75463 ... c Min unsat cost LB: 75464 ... c Min unsat cost LB: 75465 ... c Min unsat cost LB: 75469 ... c Min unsat cost LB: 75471 ... c Min unsat cost LB: 75472 ... c Min unsat cost LB: 75483 ... c Min unsat cost LB: 75497 ... c Min unsat cost LB: 75511 ... c Min unsat cost LB: 75513 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75520 ... c Min unsat cost LB: 75522 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75524 ... c Min unsat cost LB: 75531 ... c Min unsat cost LB: 75532 ... c Min unsat cost LB: 75535 ... c Min unsat cost LB: 75536 ... c Min unsat cost LB: 75537 ... c Min unsat cost LB: 75540 ... c Min unsat cost LB: 75542 ... c Min unsat cost LB: 75543 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75550 ... c Min unsat cost LB: 75556 ... c Min unsat cost LB: 75561 ... c Min unsat cost LB: 75564 ... c Min unsat cost LB: 75565 ... c Min unsat cost LB: 75567 ... c Min unsat cost LB: 75568 ... c Min unsat cost LB: 75569 ... c Min unsat cost LB: 75570 ... c Min unsat cost LB: 75571 ... c Min unsat cost LB: 75572 ... c Min unsat cost LB: 75573 ... c Min unsat cost LB: 75574 ... c Min unsat cost LB: 75575 ... c Min unsat cost LB: 75576 ... c Min unsat cost LB: 75577 ... c Min unsat cost LB: 75579 ... c Min unsat cost LB: 75580 ... c Min unsat cost LB: 75581 ... c Min unsat cost LB: 75582 ... c Min unsat cost LB: 75583 ... c Min unsat cost LB: 75584 ... c Min unsat cost LB: 75585 ... c Min unsat cost LB: 75586 ... c Min unsat cost LB: 75587 ... c Min unsat cost LB: 75588 ... c Min unsat cost LB: 75589 ... c Min unsat cost LB: 75590 ... c Min unsat cost LB: 75598 ... c Min unsat cost LB: 75600 ... c Min unsat cost LB: 75601 ... c Min unsat cost LB: 75602 ... c Min unsat cost LB: 75603 ... c Min unsat cost LB: 75604 ... c Min unsat cost LB: 75605 ... c Min unsat cost LB: 75606 ... c Min unsat cost LB: 75608 ... c Min unsat cost LB: 75610 ... c Min unsat cost LB: 75611 ... c Min unsat cost LB: 75613 ... c Min unsat cost LB: 75614 ... c Min unsat cost LB: 75615 ... c Min unsat cost LB: 75616 ... c Min unsat cost LB: 75617 ... c Min unsat cost LB: 75618 ... c Min unsat cost LB: 75619 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75621 ... c Min unsat cost LB: 75622 ... c Min unsat cost LB: 75623 ... c Min unsat cost LB: 75624 ... c Min unsat cost LB: 75625 ... c Min unsat cost LB: 75626 ... c Min unsat cost LB: 75627 ... c Min unsat cost LB: 75628 ... c Min unsat cost LB: 75668 ... c Min unsat cost LB: 75673 ... c Min unsat cost LB: 75675 ... c Min unsat cost LB: 75676 ... c Min unsat cost LB: 75679 ... c Min unsat cost LB: 75684 ... c Min unsat cost LB: 75686 ... c Min unsat cost LB: 75688 ... c Min unsat cost LB: 75689 ... c Min unsat cost LB: 75690 ... c Min unsat cost LB: 75725 ... c Min unsat cost LB: 75811 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 75826 ... c Min unsat cost LB: 75827 ... c Min unsat cost LB: 75828 ... c Min unsat cost LB: 75829 ... c Min unsat cost LB: 75831 ... c Min unsat cost LB: 75832 ... c Min unsat cost LB: 75833 ... c Min unsat cost LB: 75834 ... c Min unsat cost LB: 75835 ... c Min unsat cost LB: 75836 ... c Min unsat cost LB: 75837 ... c Min unsat cost LB: 75838 ... c Min unsat cost LB: 75839 ... c Min unsat cost LB: 75840 ... c Min unsat cost LB: 75841 ... c Min unsat cost LB: 75842 ... c Min unsat cost LB: 75843 ... c Min unsat cost LB: 75844 ... c Min unsat cost LB: 75845 ... c Min unsat cost LB: 75846 ... c Min unsat cost LB: 75847 ... c Min unsat cost LB: 75848 ... c Min unsat cost LB: 75849 ... c Min unsat cost LB: 75853 ... c Min unsat cost LB: 75854 ... c Min unsat cost LB: 75855 ... c Min unsat cost LB: 75856 ... c Min unsat cost LB: 75857 ... c Min unsat cost LB: 75858 ... c Min unsat cost LB: 75859 ... c Min unsat cost LB: 75860 ... c Min unsat cost LB: 75861 ... c Min unsat cost LB: 75862 ... c Min unsat cost LB: 75863 ... c Min unsat cost LB: 75865 ... c Min unsat cost LB: 75866 ... c Min unsat cost LB: 75867 ... c Min unsat cost LB: 75868 ... c Min unsat cost LB: 75872 ... c Min unsat cost LB: 75874 ... c Min unsat cost LB: 75877 ... c Min unsat cost LB: 75878 ... c Min unsat cost LB: 75879 ... c Min unsat cost LB: 75880 ... c Min unsat cost LB: 75881 ... c Min unsat cost LB: 75882 ... c Min unsat cost LB: 75883 ... c Min unsat cost LB: 75885 ... c Min unsat cost LB: 75886 ... c Min unsat cost LB: 75887 ... c Min unsat cost LB: 75888 ... c Min unsat cost LB: 75890 ... c Min unsat cost LB: 75891 ... c Min unsat cost LB: 75892 ... c Min unsat cost LB: 75893 ... c Min unsat cost LB: 75894 ... c Min unsat cost LB: 75895 ... c Min unsat cost LB: 75896 ... c Min unsat cost LB: 75897 ... c Min unsat cost LB: 75898 ... c Min unsat cost LB: 75899 ... c Min unsat cost LB: 75900 ... c Min unsat cost LB: 75901 ... c Min unsat cost LB: 75902 ... c Min unsat cost LB: 75903 ... c Min unsat cost LB: 75904 ... c Min unsat cost LB: 75905 ... c Min unsat cost LB: 75906 ... c Min unsat cost LB: 75908 ... c Min unsat cost LB: 75909 ... c Min unsat cost LB: 75910 ... c Min unsat cost LB: 75912 ... c Min unsat cost LB: 75913 ... c Min unsat cost LB: 75914 ... c Min unsat cost LB: 75915 ... c Min unsat cost LB: 75916 ... c Min unsat cost LB: 75917 ... c Min unsat cost LB: 75918 ... c Min unsat cost LB: 75919 ... c Min unsat cost LB: 75920 ... c Min unsat cost LB: 75921 ... c Min unsat cost LB: 75922 ... c Min unsat cost LB: 75923 ... c Min unsat cost LB: 75924 ... c Min unsat cost LB: 75925 ... c Min unsat cost LB: 75926 ... c Min unsat cost LB: 75927 ... c Min unsat cost LB: 75928 ... c Min unsat cost LB: 75929 ... c Min unsat cost LB: 75931 ... c Min unsat cost LB: 75932 ... c Min unsat cost LB: 75933 ... c Min unsat cost LB: 75934 ... c Min unsat cost LB: 75935 ... c Min unsat cost LB: 75936 ... c Min unsat cost LB: 75948 ... c Min unsat cost LB: 75956 ... c Min unsat cost LB: 75995 ... c Min unsat cost LB: 75999 ... c Min unsat cost LB: 76010 ... c Min unsat cost LB: 76019 ... c Min unsat cost LB: 76074 ... c Min unsat cost LB: 76075 ... c Min unsat cost LB: 76076 ... c Min unsat cost LB: 76077 ... c Min unsat cost LB: 76079 ... c Min unsat cost LB: 76080 ... c Min unsat cost LB: 76081 ... c Min unsat cost LB: 76082 ... c Min unsat cost LB: 76083 ... c Min unsat cost LB: 76084 ... c Min unsat cost LB: 76085 ... c Min unsat cost LB: 76086 ... c Min unsat cost LB: 76087 ... c Min unsat cost LB: 76088 ... c Min unsat cost LB: 76089 ... c Min unsat cost LB: 76090 ... c Min unsat cost LB: 76091 ... c Min unsat cost LB: 76092 ... c Min unsat cost LB: 76093 ... c Min unsat cost LB: 76094 ... c Min unsat cost LB: 76095 ... c Min unsat cost LB: 76096 ... cKilled 1814.091u 5.645s 30:21.89 99.8% 0+0k 0+0io 0pf+0w