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_140_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0003.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_140_0003.txt.wcnf *** c c Min unsat cost LB: 1246 ... c Min unsat cost LB: 2208 ... c Min unsat cost LB: 2794 ... c Min unsat cost LB: 4040 ... c Min unsat cost LB: 4696 ... c Min unsat cost LB: 5942 ... c Min unsat cost LB: 6532 ... c Min unsat cost LB: 7494 ... c Min unsat cost LB: 8150 ... c Min unsat cost LB: 9112 ... c Min unsat cost LB: 9396 ... c Min unsat cost LB: 9986 ... c Min unsat cost LB: 10948 ... c Min unsat cost LB: 11910 ... c Min unsat cost LB: 12566 ... c Min unsat cost LB: 13812 ... c Min unsat cost LB: 14096 ... c Min unsat cost LB: 15342 ... c Min unsat cost LB: 16588 ... c Min unsat cost LB: 17244 ... c Min unsat cost LB: 17900 ... c Min unsat cost LB: 18206 ... c Min unsat cost LB: 19168 ... c Min unsat cost LB: 19452 ... c Min unsat cost LB: 20248 ... c Min unsat cost LB: 21044 ... c Min unsat cost LB: 21840 ... c Min unsat cost LB: 22636 ... c Min unsat cost LB: 23432 ... c Min unsat cost LB: 24228 ... c Min unsat cost LB: 25024 ... c Min unsat cost LB: 25610 ... c Min unsat cost LB: 26406 ... c Min unsat cost LB: 27062 ... c Min unsat cost LB: 27858 ... c Min unsat cost LB: 28444 ... c Min unsat cost LB: 29240 ... c Min unsat cost LB: 29896 ... c Min unsat cost LB: 30180 ... c Min unsat cost LB: 30976 ... c Min unsat cost LB: 31488 ... c Min unsat cost LB: 32734 ... c Min unsat cost LB: 33184 ... c Min unsat cost LB: 33980 ... c Min unsat cost LB: 34636 ... c Min unsat cost LB: 35882 ... c Min unsat cost LB: 37128 ... c Min unsat cost LB: 37718 ... c Min unsat cost LB: 38964 ... c Min unsat cost LB: 40210 ... c Min unsat cost LB: 41456 ... c Min unsat cost LB: 42116 ... c Min unsat cost LB: 42850 ... c Min unsat cost LB: 43506 ... c Min unsat cost LB: 44468 ... c Min unsat cost LB: 44774 ... c Min unsat cost LB: 44836 ... c Min unsat cost LB: 46082 ... c Min unsat cost LB: 46982 ... c Min unsat cost LB: 47944 ... c Min unsat cost LB: 48622 ... c Min unsat cost LB: 48906 ... c Min unsat cost LB: 49584 ... c Min unsat cost LB: 50546 ... c Min unsat cost LB: 51792 ... c Min unsat cost LB: 52588 ... c Min unsat cost LB: 53244 ... c Min unsat cost LB: 53694 ... c Min unsat cost LB: 53756 ... c Min unsat cost LB: 54412 ... c Min unsat cost LB: 54718 ... c Min unsat cost LB: 55068 ... c Min unsat cost LB: 55724 ... c Min unsat cost LB: 56030 ... c Min unsat cost LB: 56336 ... c Min unsat cost LB: 56992 ... c Min unsat cost LB: 57788 ... c Min unsat cost LB: 58094 ... c Min unsat cost LB: 58544 ... c Min unsat cost LB: 59200 ... c Min unsat cost LB: 59996 ... c Min unsat cost LB: 60298 ... c Min unsat cost LB: 60792 ... c Min unsat cost LB: 62038 ... c Min unsat cost LB: 62104 ... c Min unsat cost LB: 62900 ... c Min unsat cost LB: 63368 ... c Min unsat cost LB: 63696 ... c Min unsat cost LB: 64046 ... c Min unsat cost LB: 64352 ... c Min unsat cost LB: 64418 ... c Min unsat cost LB: 64680 ... c Min unsat cost LB: 65030 ... c Min unsat cost LB: 65686 ... c Min unsat cost LB: 65760 ... c Min unsat cost LB: 66346 ... c Min unsat cost LB: 66556 ... c Min unsat cost LB: 67212 ... c Min unsat cost LB: 67352 ... c Min unsat cost LB: 67418 ... c Min unsat cost LB: 67440 ... c Min unsat cost LB: 67518 ... c Min unsat cost LB: 68074 ... c Min unsat cost LB: 68096 ... c Min unsat cost LB: 68140 ... c Min unsat cost LB: 68402 ... c Min unsat cost LB: 68690 ... c Min unsat cost LB: 68730 ... c Min unsat cost LB: 68796 ... c Min unsat cost LB: 68862 ... c Min unsat cost LB: 68940 ... c Min unsat cost LB: 68962 ... c Min unsat cost LB: 69202 ... c Min unsat cost LB: 69758 ... c Min unsat cost LB: 69998 ... c Min unsat cost LB: 70300 ... c Min unsat cost LB: 70344 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70616 ... c Min unsat cost LB: 70856 ... c Min unsat cost LB: 71084 ... c Min unsat cost LB: 71318 ... c Min unsat cost LB: 71412 ... c Min unsat cost LB: 71484 ... c Min unsat cost LB: 71818 ... c Min unsat cost LB: 71906 ... c Min unsat cost LB: 72074 ... c Min unsat cost LB: 72132 ... c Min unsat cost LB: 72266 ... c Min unsat cost LB: 72272 ... c Min unsat cost LB: 72416 ... c Min unsat cost LB: 72780 ... c Min unsat cost LB: 72828 ... c Min unsat cost LB: 72946 ... c Min unsat cost LB: 73606 ... c Min unsat cost LB: 73908 ... c Min unsat cost LB: 74262 ... c Min unsat cost LB: 74306 ... c Min unsat cost LB: 74564 ... c Min unsat cost LB: 74846 ... c Min unsat cost LB: 74870 ... c Min unsat cost LB: 74910 ... c Min unsat cost LB: 74962 ... c Min unsat cost LB: 75412 ... c Min unsat cost LB: 75488 ... c Min unsat cost LB: 75694 ... c Min unsat cost LB: 76028 ... c Min unsat cost LB: 76196 ... c Min unsat cost LB: 76208 ... c Min unsat cost LB: 76284 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76356 ... c Min unsat cost LB: 76490 ... c Min unsat cost LB: 76496 ... c Min unsat cost LB: 76554 ... c Min unsat cost LB: 76614 ... c Min unsat cost LB: 76640 ... c Min unsat cost LB: 76676 ... c Min unsat cost LB: 77070 ... c Min unsat cost LB: 77144 ... c Min unsat cost LB: 77428 ... c Min unsat cost LB: 77940 ... c Min unsat cost LB: 78224 ... c Min unsat cost LB: 78306 ... c Min unsat cost LB: 78434 ... c Min unsat cost LB: 78464 ... c Min unsat cost LB: 78578 ... c Min unsat cost LB: 79234 ... c Min unsat cost LB: 79824 ... c Min unsat cost LB: 79890 ... c Min unsat cost LB: 80480 ... c Min unsat cost LB: 80546 ... c Min unsat cost LB: 80568 ... c Min unsat cost LB: 80830 ... c Min unsat cost LB: 81070 ... c Min unsat cost LB: 81092 ... c Min unsat cost LB: 81158 ... c Min unsat cost LB: 81172 ... c Min unsat cost LB: 81202 ... c Min unsat cost LB: 81460 ... c Min unsat cost LB: 81722 ... c Min unsat cost LB: 81858 ... c Min unsat cost LB: 82356 ... c Min unsat cost LB: 82514 ... c Min unsat cost LB: 82574 ... c Min unsat cost LB: 82600 ... c Min unsat cost LB: 82880 ... c Min unsat cost LB: 82942 ... c Min unsat cost LB: 83170 ... c Min unsat cost LB: 83476 ... c Min unsat cost LB: 83704 ... c Min unsat cost LB: 83780 ... c Min unsat cost LB: 84086 ... c Min unsat cost LB: 84376 ... c Min unsat cost LB: 84640 ... c Min unsat cost LB: 84990 ... c Min unsat cost LB: 85260 ... c Min unsat cost LB: 85318 ... c Min unsat cost LB: 85684 ... c Min unsat cost LB: 85850 ... c Min unsat cost LB: 86114 ... c Min unsat cost LB: 86150 ... c Min unsat cost LB: 86280 ... c Min unsat cost LB: 86356 ... c Min unsat cost LB: 86428 ... c Min unsat cost LB: 86820 ... c Min unsat cost LB: 87006 ... c Min unsat cost LB: 87312 ... c Min unsat cost LB: 87532 ... c Min unsat cost LB: 87546 ... c Min unsat cost LB: 87580 ... c Min unsat cost LB: 87630 ... c Min unsat cost LB: 87666 ... c Min unsat cost LB: 87810 ... c Min unsat cost LB: 88074 ... c Min unsat cost LB: 88452 ... c Min unsat cost LB: 88466 ... c Min unsat cost LB: 88606 ... c Min unsat cost LB: 88734 ... c Min unsat cost LB: 88912 ... c Min unsat cost LB: 89036 ... c Min unsat cost LB: 89176 ... c Min unsat cost LB: 89218 ... c Min unsat cost LB: 89278 ... c Min unsat cost LB: 89832 ... c Min unsat cost LB: 90060 ... c Min unsat cost LB: 90106 ... c Min unsat cost LB: 90110 ... c Min unsat cost LB: 90116 ... c Min unsat cost LB: 90390 ... c Min unsat cost LB: 90504 ... c Min unsat cost LB: 90558 ... c Min unsat cost LB: 90642 ... c Min unsat cost LB: 91300 ... c Min unsat cost LB: 91470 ... c Min unsat cost LB: 91888 ... c Min unsat cost LB: 92012 ... c Min unsat cost LB: 92338 ... c Min unsat cost LB: 92420 ... c Min unsat cost LB: 92588 ... c Min unsat cost LB: 92786 ... c Min unsat cost LB: 93666 ... c Min unsat cost LB: 93834 ... c Min unsat cost LB: 93874 ... c Min unsat cost LB: 93886 ... c Min unsat cost LB: 93938 ... c Min unsat cost LB: 93950 ... c Min unsat cost LB: 93968 ... c Min unsat cost LB: 94026 ... c Min unsat cost LB: 94032 ... c Min unsat cost LB: 94048 ... c Min unsat cost LB: 94070 ... c Min unsat cost LB: 94102 ... c Min unsat cost LB: 94122 ... c Min unsat cost LB: 94188 ... c Min unsat cost LB: 94210 ... c Min unsat cost LB: 94252 ... c Min unsat cost LB: 94278 ... c Min unsat cost LB: 94282 ... c Min unsat cost LB: 94288 ... c Min unsat cost LB: 94330 ... c Min unsat cost LB: 94332 ... c Min unsat cost LB: 94394 ... c Min unsat cost LB: 94408 ... c Min unsat cost LB: 94438 ... c Min unsat cost LB: 94528 ... c Min unsat cost LB: 94576 ... c Min unsat cost LB: 94588 ... c Min unsat cost LB: 94616 ... c Min unsat cost LB: 94640 ... c Min unsat cost LB: 94758 ... c Min unsat cost LB: 94852 ... c Min unsat cost LB: 94898 ... c Min unsat cost LB: 94938 ... c Min unsat cost LB: 94974 ... c Min unsat cost LB: 95082 ... c Min unsat cost LB: 95180 ... c Min unsat cost LB: 95184 ... c Min unsat cost LB: 95214 ... c Min unsat cost LB: 95376 ... c Min unsat cost LB: 95398 ... c Min unsat cost LB: 95450 ... c Min unsat cost LB: 95464 ... c Min unsat cost LB: 95534 ... c Min unsat cost LB: 95546 ... c Min unsat cost LB: 95592 ... c Min unsat cost LB: 95620 ... c Min unsat cost LB: 95626 ... c Min unsat cost LB: 95628 ... c Min unsat cost LB: 95706 ... c Min unsat cost LB: 95726 ... c Min unsat cost LB: 95752 ... c Min unsat cost LB: 95786 ... c Min unsat cost LB: 95818 ... c Min unsat cost LB: 95870 ... c Min unsat cost LB: 95890 ... c Min unsat cost LB: 95938 ... c Min unsat cost LB: 95974 ... c Min unsat cost LB: 96000 ... c Min unsat cost LB: 96040 ... c Min unsat cost LB: 96152 ... c Min unsat cost LB: 96160 ... c Min unsat cost LB: 96402 ... c Min unsat cost LB: 96408 ... c Min unsat cost LB: 96456 ... c Min unsat cost LB: 96750 ... c Min unsat cost LB: 96762 ... c Min unsat cost LB: 96776 ... c Min unsat cost LB: 96806 ... c Min unsat cost LB: 96812 ... c Min unsat cost LB: 96816 ... c Min unsat cost LB: 96862 ... c Min unsat cost LB: 96882 ... c Min unsat cost LB: 96888 ... c Min unsat cost LB: 96904 ... c Min unsat cost LB: 96910 ... c Min unsat cost LB: 96918 ... c Min unsat cost LB: 96928 ... c Min unsat cost LB: 96948 ... c Min unsat cost LB: 96954 ... c Min unsat cost LB: 96956 ... c Min unsat cost LB: 96966 ... c Min unsat cost LB: 96988 ... c Min unsat cost LB: 97014 ... c Min unsat cost LB: 97040 ... c Min unsat cost LB: 97044 ... c Min unsat cost LB: 97052 ... c Min unsat cost LB: 97058 ... c Min unsat cost LB: 97078 ... c Min unsat cost LB: 97080 ... c Min unsat cost LB: 97086 ... c Min unsat cost LB: 97090 ... c Min unsat cost LB: 97092 ... c Min unsat cost LB: 97094 ... c Min unsat cost LB: 97096 ... c Min unsat cost LB: 97102 ... c Min unsat cost LB: 97104 ... c Min unsat cost LB: 97106 ... c Min unsat cost LB: 97116 ... c Min unsat cost LB: 97118 ... c Min unsat cost LB: 97122 ... c Min unsat cost LB: 97134 ... c Min unsat cost LB: 97146 ... c Min unsat cost LB: 97150 ... c Min unsat cost LB: 97154 ... c Min unsat cost LB: 97160 ... c Min unsat cost LB: 97162 ... c Min unsat cost LB: 97164 ... c Min unsat cost LB: 97166 ... c Min unsat cost LB: 97168 ... c Min unsat cost LB: 97172 ... c Min unsat cost LB: 97174 ... c Min unsat cost LB: 97176 ... c Min unsat cost LB: 97182 ... c Min unsat cost LB: 97184 ... c Min unsat cost LB: 97186 ... c Min unsat cost LB: 97194 ... c Min unsat cost LB: 97200 ... c Min unsat cost LB: 97202 ... c Min unsat cost LB: 97206 ... c Min unsat cost LB: 97208 ... c Min unsat cost LB: 97210 ... c Min unsat cost LB: 97438 ... c Min unsat cost LB: 97500 ... c Min unsat cost LB: 97666 ... c Min unsat cost LB: 97680 ... c Min unsat cost LB: 97702 ... c Min unsat cost LB: 97784 ... c Min unsat cost LB: 97810 ... c Min unsat cost LB: 97976 ... c Min unsat cost LB: 98010 ... c Min unsat cost LB: 98068 ... c Min unsat cost LB: 98074 ... c Min unsat cost LB: 98138 ... c Min unsat cost LB: 98150 ... c Min unsat cost LB: 98152 ... c Min unsat cost LB: 98156 ... c Min unsat cost LB: 98158 ... c Min unsat cost LB: 98164 ... c Min unsat cost LB: 98166 ... c Min unsat cost LB: 98186 ... c Min unsat cost LB: 98188 ... c Min unsat cost LB: 98190 ... c Min unsat cost LB: 98194 ... c Min unsat cost LB: 98198 ... c Min unsat cost LB: 98200 ... c Min unsat cost LB: 98212 ... c Min unsat cost LB: 98214 ... c Min unsat cost LB: 98216 ... c Min unsat cost LB: 98234 ... c Min unsat cost LB: 98260 ... c Min unsat cost LB: 98282 ... c Min unsat cost LB: 98288 ... c Min unsat cost LB: 98314 ... c Min unsat cost LB: 98316 ... c Min unsat cost LB: 98332 ... c Min unsat cost LB: 98340 ... c Min unsat cost LB: 98342 ... c Min unsat cost LB: 98360 ... c Min unsat cost LB: 98372 ... c Min unsat cost LB: 98386 ... c Min unsat cost LB: 98392 ... c Min unsat cost LB: 98398 ... c Min unsat cost LB: 98422 ... c Min unsat cost LB: 98456 ... c Min unsat cost LB: 98478 ... c Min unsat cost LB: 98526 ... c Min unsat cost LB: 98624 ... c Min unsat cost LB: 98632 ... c Min unsat cost LB: 98634 ... c Min unsat cost LB: 98650 ... c Min unsat cost LB: 98696 ... c Min unsat cost LB: 98704 ... c Min unsat cost LB: 98706 ... c Min unsat cost LB: 98708 ... c Min unsat cost LB: 98720 ... c Min unsat cost LB: 98760 ... c Min unsat cost LB: 98762 ... c Min unsat cost LB: 98764 ... c Min unsat cost LB: 98802 ... c Min unsat cost LB: 98808 ... c Min unsat cost LB: 98850 ... c Min unsat cost LB: 98860 ... c Min unsat cost LB: 98862 ... c Min unsat cost LB: 98866 ... c Min unsat cost LB: 98886 ... c Min unsat cost LB: 98910 ... c Min unsat cost LB: 98918 ... c Min unsat cost LB: 98920 ... c Min unsat cost LB: 98926 ... c Min unsat cost LB: 98940 ... c Min unsat cost LB: 98944 ... c Min unsat cost LB: 98956 ... c Min unsat cost LB: 99058 ... c Min unsat cost LB: 99060 ... c Min unsat cost LB: 99066 ... c Min unsat cost LB: 99082 ... c Min unsat cost LB: 99084 ... c Min unsat cost LB: 99086 ... c Min unsat cost LB: 99088 ... c Min unsat cost LB: 99090 ... c Min unsat cost LB: 99092 ... c Min unsat cost LB: 99096 ... c Min unsat cost LB: 99098 ... c Min unsat cost LB: 99102 ... c Min unsat cost LB: 99104 ... c Min unsat cost LB: 99108 ... c Min unsat cost LB: 99110 ... c Min unsat cost LB: 99112 ... c Min unsat cost LB: 99114 ... c Min unsat cost LB: 99118 ... c Min unsat cost LB: 99120 ... c Min unsat cost LB: 99124 ... c Min unsat cost LB: 99136 ... c Min unsat cost LB: 99146 ... c Min unsat cost LB: 99148 ... c Min unsat cost LB: 99162 ... c Min unsat cost LB: 99164 ... c Min unsat cost LB: 99166 ... c Min unsat cost LB: 99168 ... c Min unsat cost LB: 99170 ... c Min unsat cost LB: 99172 ... c Min unsat cost LB: 99174 ... c Min unsat cost LB: 99190 ... c Min unsat cost LB: 99192 ... c Min unsat cost LB: 99194 ... c Min unsat cost LB: 99196 ... c Min unsat cost LB: 99198 ... c Min unsat cost LB: 99200 ... c Min unsat cost LB: 99202 ... c Min unsat cost LB: 99206 ... c Min unsat cost LB: 99210 ... c Min unsat cost LB: 99218 ... c Min unsat cost LB: 99224 ... c Min unsat cost LB: 99226 ... c Min unsat cost LB: 99228 ... c Min unsat cost LB: 99234 ... c Min unsat cost LB: 99236 ... c Min unsat cost LB: 99238 ... c Min unsat cost LB: 99240 ... c Min unsat cost LB: 99242 ... c Min unsat cost LB: 99244 ... c Min unsat cost LB: 99258 ... c Min unsat cost LB: 99260 ... c Min unsat cost LB: 99262 ... c Min unsat cost LB: 99264 ... c Min unsat cost LB: 99266 ... c Min unsat cost LB: 99272 ... c Min unsat cost LB: 99276 ... c Min unsat cost LB: 99280 ... c Min unsat cost LB: 99282 ... c Min unsat cost LB: 99284 ... c Min unsat cost LB: 99286 ... c Min unsat cost LB: 99288 ... c Min unsat cost LB: 99290 ... c Min unsat cost LB: 99292 ... c Min unsat cost LB: 99294 ... c Min unsat cost LB: 99296 ... c Min unsat cost LB: 99298 ... c Min unsat cost LB: 99300 ... c Min unsat cost LB: 99302 ... c Min unsat cost LB: 99304 ... c Min unsat cost LB: 99306 ... c Min unsat cost LB: 99308 ... c Min unsat cost LB: 99310 ... c Min unsat cost LB: 99336 ... c Min unsat cost LB: 99338 ... c Min unsat cost LB: 99340 ... c Min unsat cost LB: 99342 ... c Min unsat cost LB: 99344 ... c Min unsat cost LB: 99346 ... c Min unsat cost LB: 99350 ... c Min unsat cost LB: 99354 ... c Min unsat cost LB: 99356 ... c Min unsat cost LB: 99358 ... c Min unsat cost LB: 99362 ... c Min unsat cost LB: 99366 ... c Min unsat cost LB: 99370 ... c Min unsat cost LB: 99372 ... c Min unsat cost LB: 99374 ... c Min unsat cost LB: 99376 ... c Min unsat cost LB: 99378 ... c Min unsat cost LB: 99380 ... c Min unsat cost LB: 99412 ... c Min unsat cost LB: 99422 ... c Min unsat cost LB: 99424 ... c Min unsat cost LB: 99426 ... c Min unsat cost LB: 99428 ... c Min unsat cost LB: 99432 ... c Min unsat cost LB: 99436 ... c Min unsat cost LB: 99440 ... c Min unsat cost LB: 99450 ... c Min unsat cost LB: 99452 ... c Min unsat cost LB: 99454 ... c Min unsat cost LB: 99458 ... c Min unsat cost LB: 99460 ... c Min unsat cost LB: 99462 ... c Min unsat cost LB: 99464 ... c Min unsat cost LB: 99466 ... c Min unsat cost LB: 99468 ... c Min unsat cost LB: 99490 ... c Min unsat cost LB: 99498 ... c Min unsat cost LB: 99500 ... c Min unsat cost LB: 99502 ... c Min unsat cost LB: 99504 ... c Min unsat cost LB: 99506 ... c Min unsat cost LB: 99508 ... c Min unsat cost LB: 99520 ... c Min unsat cost LB: 99526 ... c Min unsat cost LB: 99528 ... c Min unsat cost LB: 99532 ... c Min unsat cost LB: 99534 ... c Min unsat cost LB: 99536 ... c Min unsat cost LB: 99538 ... c Min unsat cost LB: 99540 ... c Min unsat cost LB: 99546 ... c Min unsat cost LB: 99548 ... c Min unsat cost LB: 99550 ... c Min unsat cost LB: 99552 ... c Min unsat cost LB: 99558 ... c Min unsat cost LB: 99564 ... c Min unsat cost LB: 99580 ... c Min unsat cost LB: 99582 ... c Min unsat cost LB: 99586 ... c Min unsat cost LB: 99592 ... c Min unsat cost LB: 99596 ... c Min unsat cost LB: 99606 ... c Min unsat cost LB: 99608 ... c Min unsat cost LB: 99610 ... c Min unsat cost LB: 99614 ... c Min unsat cost LB: 99616 ... c Min unsat cost LB: 99622 ... c Min unsat cost LB: 99624 ... c Min unsat cost LB: 99626 ... c Min unsat cost LB: 99628 ... c Min unsat cost LB: 99634 ... c Min unsat cost LB: 99646 ... c Min unsat cost LB: 99648 ... c Min unsat cost LB: 99650 ... c Min unsat cost LB: 99656 ... c Min unsat cost LB: 99658 ... c Min unsat cost LB: 99662 ... c Min unsat cost LB: 99668 ... c Min unsat cost LB: 99670 ... c Min unsat cost LB: 99678 ... c Min unsat cost LB: 99680 ... c Min unsat cost LB: 99682 ... c Min unsat cost LB: 99684 ... c Min unsat cost LB: 99686 ... c Min unsat cost LB: 99688 ... c Min unsat cost LB: 99690 ... c Min unsat cost LB: 99692 ... c Min unsat cost LB: 99696 ... c Min unsat cost LB: 99698 ... c Min unsat cost LB: 99702 ... c Min unsat cost LB: 99704 ... c Min unsat cost LB: 99708 ... c Min unsat cost LB: 99712 ... c Min unsat cost LB: 99714 ... c Min unsat cost LB: 99716 ... c Min unsat cost LB: 99718 ... c Min unsat cost LB: 99720 ... c Min unsat cost LB: 99726 ... c Min unsat cost LB: 99728 ... c Min unsat cost LB: 99730 ... c Min unsat cost LB: 99732 ... c Min unsat cost LB: 99734 ... c Min unsat cost LB: 99736 ... c Min unsat cost LB: 99738 ... c Min unsat cost LB: 99740 ... c Min unsat cost LB: 99742 ... c Min unsat cost LB: 99744 ... c Min unsat cost LB: 99746 ... c Min unsat cost LB: 99750 ... c Min unsat cost LB: 99752 ... c Min unsat cost LB: 99754 ... c Min unsat cost LB: 99756 ... c Min unsat cost LB: 99758 ... c Min unsat cost LB: 99768 ... c Min unsat cost LB: 99770 ... c Min unsat cost LB: 99772 ... c Min unsat cost LB: 99774 ... c Min unsat cost LB: 99776 ... c Min unsat cost LB: 99780 ... c Min unsat cost LB: 99784 ... c Min unsat cost LB: 99786 ... c Min unsat cost LB: 99806 ... c Min unsat cost LB: 99808 ... c Min unsat cost LB: 99812 ... c Min unsat cost LB: 99814 ... c Min unsat cost LB: 99816 ... c Min unsat cost LB: 99822 ... c Min unsat cost LB: 99824 ... c Min unsat cost LB: 99828 ... c Min unsat cost LB: 99830 ... c Min unsat cost LB: 99832 ... c Min unsat cost LB: 99834 ... c Min unsat cost LB: 99838 ... c Min unsat cost LB: 99840 ... c Min unsat cost LB: 99842 ... c Min unsat cost LB: 99844 ... c Min unsat cost LB: 99846 ... c Min unsat cost LB: 99848 ... c Min unsat cost LB: 99850 ... c Min unsat cost LB: 99852 ... c Min unsat cost LB: 99854 ... c Min unsat cost LB: 99856 ... c Min unsat cost LB: 99858 ... c Min unsat cost LB: 99860 ... c Min unsat cost LB: 99866 ... c Min unsat cost LB: 99916 ... c Min unsat cost LB: 99986 ... c Min unsat cost LB: 100012 ... c Min unsat cost LB: 100020 ... c Min unsat cost LB: 100026 ... c Min unsat cost LB: 100028 ... c Min unsat cost LB: 100046 ... c Min unsat cost LB: 100064 ... c Min unsat cost LB: 100086 ... c Min unsat cost LB: 100090 ... c Min unsat cost LB: 100094 ... c Min unsat cost LB: 100098 ... c Min unsat cost LB: 100100 ... c Min unsat cost LB: 100106 ... c Min unsat cost LB: 100116 ... c Min unsat cost LB: 100122 ... c Min unsat cost LB: 100124 ... c Min unsat cost LB: 100126 ... c Min unsat cost LB: 100130 ... c Min unsat cost LB: 100132 ... c Min unsat cost LB: 100134 ... c Min unsat cost LB: 100154 ... c Min unsat cost LB: 100156 ... c Min unsat cost LB: 100158 ... c Min unsat cost LB: 100162 ... c Min unsat cost LB: 100164 ... c Min unsat cost LB: 100170 ... c Min unsat cost LB: 100172 ... c Min unsat cost LB: 100174 ... c Min unsat cost LB: 100236 ... c Min unsat cost LB: 100280 ... c Min unsat cost LB: 100402 ... c Min unsat cost LB: 100418 ... c Min unsat cost LB: 100446 ... c Min unsat cost LB: 100462 ... c Min unsat cost LB: 100464 ... c Min unsat cost LB: 100466 ... c Min unsat cost LB: 100468 ... c Min unsat cost LB: 100472 ... c Min unsat cost LB: 100474 ... c Min unsat cost LB: 100476 ... c Min unsat cost LB: 100478 ... c Min unsat cost LB: 100480 ... c Min unsat cost LB: 100482 ... c Min unsat cost LB: 100484 ... c Min unsat cost LB: 100486 ... c Min unsat cost LB: 100488 ... c Min unsat cost LB: 100492 ... c Min unsat cost LB: 100494 ... c Min unsat cost LB: 100496 ... c Min unsat cost LB: 100498 ... c Min unsat cost LB: 100500 ... c Min unsat cost LB: 100504 ... c Min unsat cost LB: 100506 ... c Min unsat cost LB: 100508 ... c Min unsat cost LB: 100510 ... c Min unsat cost LB: 100512 ... c Min unsat cost LB: 100514 ... c Min unsat cost LB: 100516 ... c Min unsat cost LB: 100518 ... c Min unsat cost LB: 100520 ... c Min unsat cost LB: 100538 ... c Min unsat cost LB: 100540 ... c Min unsat cost LB: 100544 ... c Min unsat cost LB: 100546 ... c Min unsat cost LB: 100586 ... c Min unsat cost LB: 100588 ... c Min unsat cost LB: 100590 ... c Min unsat cost LB: 100596 ... c Min unsat cost LB: 100598 ... c Min unsat cost LB: 100600 ... c Min unsat cost LB: 100604 ... c Min unsat cost LB: 100606 ... c Min unsat cost LB: 100630 ... c Min unsat cost LB: 100632 ... c Min unsat cost LB: 100634 ... c Min unsat cost LB: 100636 ... c Min unsat cost LB: 100638 ... c Min unsat cost LB: 100640 ... c Min unsat cost LB: 100642 ... c Min unsat cost LB: 100644 ... c Min unsat cost LB: 100646 ... c Min unsat cost LB: 100650 ... c Min unsat cost LB: 100654 ... c Min unsat cost LB: 100666 ... c Min unsat cost LB: 100672 ... c Min unsat cost LB: 100674 ... c Min unsat cost LB: 100676 ... c Min unsat cost LB: 100678 ... c Min unsat cost LB: 100680 ... c Min unsat cost LB: 100682 ... c Min unsat cost LB: 100762 ... c Min unsat cost LB: 100764 ... c Min unsat cost LB: 100814 ... c Min unsat cost LB: 100816 ... c Min unsat cost LB: 100818 ... c Min unsat cost LB: 100848 ... c Min unsat cost LB: 100850 ... c Min unsat cost LB: 100962 ... c Min unsat cost LB: 100988 ... c Min unsat cost LB: 100990 ... c Min unsat cost LB: 101108 ... c Min unsat cost LB: 101570 ... c Min unsat cost LB: 101572 ... c Min unsat cost LB: 101574 ... c Min unsat cost LB: 101576 ... c Min unsat cost LB: 101578 ... c Min unsat cost LB: 101592 ... c Min unsat cost LB: 101620 ... c Min unsat cost LB: 101622 ... c Min unsat cost LB: 101724 ... c Min unsat cost LB: 101726 ... c Min unsat cost LB: 101732 ... c Min unsat cost LB: 101896 ... c Min unsat cost LB: 101986 ... c Min unsat cost LB: 101992 ... c Min unsat cost LB: 101998 ... c Min unsat cost LB: 102000 ... c Min unsat cost LB: 102002 ... c Min unsat cost LB: 102004 ... c Min unsat cost LB: 102006 ... c Min unsat cost LB: 102010 ... c Min unsat cost LB: 102012 ... c Min unsat cost LB: 102014 ... c Min unsat cost LB: 102016 ... c Min unsat cost LB: 102346 ... c Min unsat cost LB: 102354 ... c Min unsat cost LB: 102356 ... c Min unsat cost LB: 102358 ... c Min unsat cost LB: 102360 ... c Min unsat cost LB: 102374 ... c Min unsat cost LB: 102382 ... c Min unsat cost LB: 102384 ... c Min unsat cost LB: 102386 ... c Min unsat cost LB: 102388 ... c Min unsat cost LB: 102390 ... c Min unsat cost LB: 102392 ... c Min unsat cost LB: 102394 ... c Min unsat cost LB: 102396 ... c Min unsat cost LB: 102400 ... c Min unsat cost LB: 102404 ... c Min unsat cost LB: 102406 ... c Min unsat cost LB: 102408 ... c Min unsat cost LB: 102410 ... c Min unsat cost LB: 102412 ... c Min unsat cost LB: 102730 ... c Min unsat cost LB: 102732 ... c Min unsat cost LB: 102734 ... c Min unsat cost LB: 102736 ... c Min unsat cost LB: 102738 ... c Min unsat cost LB: 102740 ... c Min unsat cost LB: 102742 ... c Min unsat cost LB: 102744 ... c Min unsat cost LB: 102748 ... c Min unsat cost LB: 102750 ... c Min unsat cost LB: 102752 ... c Min unsat cost LB: 102754 ... c Min unsat cost LB: 102756 ... c Min unsat cost LB: 102758 ... c Min unsat cost LB: 102760 ... c Min unsat cost LB: 102762 ... c Min unsat cost LB: 102764 ... c Min unsat cost LB: 102766 ... c Min unsat cost LB: 102768 ... c Min unsat cost LB: 102770 ... c Min unsat cost LB: 102772 ... c Min unsat cost LB: 102774 ... c Min unsat cost LB: 102776 ... c Min unsat cost LB: 102778 ... c Min unsat cost LB: 102782 ... c Min unsat cost LB: 102808 ... c Min unsat cost LB: 102810 ... c Min unsat cost LB: 102812 ... c Min unsat cost LB: 102814 ... c Min unsat cost LB: 102816 ... c Min unsat cost LB: 102818 ... c Min unsat cost LB: 102820 ... c Min unsat cost LB: 102822 ... c Min unsat cost LB: 102824 ... c Min unsat cost LB: 102826 ... c Min unsat cost LB: 102828 ... c Min unsat cost LB: 102830 ... c Min unsat cost LB: 102832 ... c Min unsat cost LB: 102836 ... c Min unsat cost LB: 102840 ... c Min unsat cost LB: 102842 ... c Min unsat cost LB: 102844 ... c Min unsat cost LB: 102846 ... c Min unsat cost LB: 102848 ... c Min unsat cost LB: 102850 ... c Min unsat cost LB: 102852 ... c Min unsat cost LB: 102854 ... c Min unsat cost LB: 102856 ... c Min unsat cost LB: 102858 ... c Min unsat cost LB: 102872 ... c Min unsat cost LB: 102874 ... c Min unsat cost LB: 102876 ... c Min unsat cost LB: 102878 ... c Min unsat cost LB: 102888 ... c Min unsat cost LB: 102890 ... c Min unsat cost LB: 102900 ... c Min unsat cost LB: 102902 ... c Min unsat cost LB: 102904 ... c Min unsat cost LB: 102936 ... c Min unsat cost LB: 103006 ... c Min unsat cost LB: 103008 ... c Min unsat cost LB: 103010 ... c Min unsat cost LB: 103024 ... c Min unsat cost LB: 103026 ... c Min unsat cost LB: 103028 ... c Min unsat cost LB: 103030 ... c Min unsat cost LB: 103032 ... c Min unsat cost LB: 103034 ... c Min unsat cost LB: 103036 ... c Min unsat cost LB: 103038 ... c Min unsat cost LB: 103040 ... c Min unsat cost LB: 103042 ... c Min unsat cost LB: 103044 ... c Min unsat cost LB: 103046 ... c Min unsat cost LB: 103048 ... c Min unsat cost LB: 103050 ... c Min unsat cost LB: 103054 ... c Min unsat cost LB: 103056 ... c Min unsat cost LB: 103058 ... c Min unsat cost LB: 103060 ... c Min unsat cost LB: 103062 ... c Min unsat cost LB: 103064 ... c Min unsat cost LB: 103066 ... c Min unsat cost LB: 103068 ... c Min unsat cost LB: 103070 ... c Min unsat cost LB: 103072 ... c Min unsat cost LB: 103074 ... c Min unsat cost LB: 103076 ... c Min unsat cost LB: 103078 ... c Min unsat cost LB: 103080 ... c Min unsat cost LB: 103082 ... c Min unsat cost LB: 103084 ... c Min unsat cost LB: 103086 ... c Min unsat cost LB: 103190 ... c Min unsat cost LB: 103194 ... c Min unsat cost LB: 103196 ... c Min unsat cost LB: 103198 ... c Min unsat cost LB: 103200 ... c Min unsat cost LB: 103202 ... c Min unsat cost LB: 103332 ... c Min unsat cost LB: 103346 ... c Min unsat cost LB: 103542 ... c Min unsat cost LB: 103546 ... c Min unsat cost LB: 103548 ... c Min unsat cost LB: 103550 ... c Min unsat cost LB: 103552 ... c Min unsat cost LB: 103554 ... c Min unsat cost LB: 103556 ... c Min unsat cost LB: 103560 ... c Min unsat cost LB: 103562 ... c Min unsat cost LB: 103566 ... c Min unsat cost LB: 103568 ... c Min unsat cost LB: 103570 ... c Min unsat cost LB: 103572 ... c Min unsat cost LB: 103574 ... c Min unsat cost LB: 103576 ... c Min unsat cost LB: 103578 ... c Min unsat cost LB: 103580 ... c Min unsat cost LB: 103582 ... c Min unsat cost LB: 103584 ... c Min unsat cost LB: 103586 ... c Min unsat cost LB: 103588 ... c Min unsat cost LB: 103590 ... c Min unsat cost LB: 103592 ... c Min unsat cost LB: 103594 ... c Min unsat cost LB: 103596 ... c Min unsat cost LB: 103598 ... c Min unsat cost LB: 103600 ... c Min unsat cost LB: 103602 ... c Min unsat cost LB: 103604 ... c Min unsat cost LB: 103618 ... c Min unsat cost LB: 103620 ... c Min unsat cost LB: 103626 ... c Min unsat cost LB: 103628 ... c Min unsat cost LB: 103630 ... c Min unsat cost LB: 103634 ... c Min unsat cost LB: 103636 ... c Min unsat cost LB: 103638 ... c Min unsat cost LB: 103640 ... c Min unsat cost LB: 103642 ... c Min unsat cost LB: 103644 ... c Min unsat cost LB: 103646 ... c Min unsat cost LB: 103648 ... c Min unsat cost LB: 103650 ... c Min unsat cost LB: 103652 ... c Min unsat cost LB: 103656 ... c Min unsat cost LB: 103658 ... c Min unsat cost LB: 103660 ... c Min unsat cost LB: 103664 ... c Min unsat cost LB: 103668 ... c Min unsat cost LB: 103670 ... c Min unsat cost LB: 103672 ... c Min unsat cost LB: 103674 ... c Min unsat cost LB: 103676 ... c Min unsat cost LB: 103678 ... c Min unsat cost LB: 103680 ... c Min unsat cost LB: 103682 ... c Min unsat cost LB: 103684 ... c Min unsat cost LB: 103686 ... c Min unsat cost LB: 103690 ... c Min unsat cost LB: 103692 ... c Min unsat cost LB: 103694 ... c Min unsat cost LB: 103696 ... c Min unsat cost LB: 103698 ... c Min unsat cost LB: 103700 ... c Min unsat cost LB: 103702 ... c Min unsat cost LB: 103704 ... c Min unsat cost LB: 103706 ... c Min unsat cost LB: 103708 ... c Min unsat cost LB: 103710 ... c Min unsat cost LB: 103712 ... c Min unsat cost LB: 103714 ... c Min unsat cost LB: 103716 ... c Min unsat cost LB: 103718 ... c Min unsat cost LB: 103720 ... c Min unsat cost LB: 103722 ... c Min unsat cost LB: 103732 ... c Min unsat cost LB: 103734 ... c Min unsat cost LB: 103744 ... c Min unsat cost LB: 103746 ... c Min unsat cost LB: 103748 ... c Min unsat cost LB: 103752 ... c Min unsat cost LB: 103758 ... c Min unsat cost LB: 103760 ... c Min unsat cost LB: 103762 ... c Min unsat cost LB: 103764 ... c Min unsat cost LB: 103766 ... c Min unsat cost LB: 103768 ... c Min unsat cost LB: 103770 ... c Min unsat cost LB: 103772 ... c Min unsat cost LB: 103774 ... c Min unsat cost LB: 103776 ... c Min unsat cost LB: 103778 ... c Min unsat cost LB: 103780 ... c Min unsat cost LB: 103782 ... c Min unsat cost LB: 103784 ... c Min unsat cost LB: 103786 ... c Min unsat cost LB: 103792 ... c Min unsat cost LB: 103794 ... c Min unsat cost LB: 103796 ... c Min unsat cost LB: 103798 ... c Min unsat cost LB: 103800 ... c Min unsat cost LB: 103802 ... c Min unsat cost LB: 103804 ... c Min unsat cost LB: 103806 ... c Min unsat cost LB: 103808 ... c Min unsat cost LB: 103810 ... c Min unsat cost LB: 103812 ... c Min unsat cost LB: 103814 ... c Min unsat cost LB: 103816 ... c Min unsat cost LB: 103818 ... c Min unsat cost LB: 103820 ... c Min unsat cost LB: 103822 ... c Min unsat cost LB: 103824 ... c Min unsat cost LB: 103826 ... c Min unsat cost LB: 103828 ... c Min unsat cost LB: 103830 ... c Min unsat cost LB: 103832 ... c MKilled 1813.206u 6.535s 30:20.42 99.9% 0+0k 0+0io 0pf+0w