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_70_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_70_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_70_0001.txt.wcnf *** c c Min unsat cost LB: 685 ... c Min unsat cost LB: 852 ... c Min unsat cost LB: 1936 ... c Min unsat cost LB: 3020 ... c Min unsat cost LB: 3612 ... c Min unsat cost LB: 4204 ... c Min unsat cost LB: 4889 ... c Min unsat cost LB: 4982 ... c Min unsat cost LB: 5242 ... c Min unsat cost LB: 5409 ... c Min unsat cost LB: 5927 ... c Min unsat cost LB: 6612 ... c Min unsat cost LB: 7011 ... c Min unsat cost LB: 7863 ... c Min unsat cost LB: 8715 ... c Min unsat cost LB: 8947 ... c Min unsat cost LB: 9799 ... c Min unsat cost LB: 9873 ... c Min unsat cost LB: 10326 ... c Min unsat cost LB: 11104 ... c Min unsat cost LB: 11735 ... c Min unsat cost LB: 11956 ... c Min unsat cost LB: 12195 ... c Min unsat cost LB: 12587 ... c Min unsat cost LB: 12819 ... c Min unsat cost LB: 13671 ... c Min unsat cost LB: 13903 ... c Min unsat cost LB: 14103 ... c Min unsat cost LB: 15187 ... c Min unsat cost LB: 15419 ... c Min unsat cost LB: 15725 ... c Min unsat cost LB: 16577 ... c Min unsat cost LB: 17169 ... c Min unsat cost LB: 17229 ... c Min unsat cost LB: 17761 ... c Min unsat cost LB: 18081 ... c Min unsat cost LB: 18163 ... c Min unsat cost LB: 19247 ... c Min unsat cost LB: 20099 ... c Min unsat cost LB: 20371 ... c Min unsat cost LB: 21223 ... c Min unsat cost LB: 21455 ... c Min unsat cost LB: 22307 ... c Min unsat cost LB: 23391 ... c Min unsat cost LB: 24475 ... c Min unsat cost LB: 25327 ... c Min unsat cost LB: 25559 ... c Min unsat cost LB: 25791 ... c Min unsat cost LB: 26139 ... c Min unsat cost LB: 26991 ... c Min unsat cost LB: 27141 ... c Min unsat cost LB: 27877 ... c Min unsat cost LB: 27993 ... c Min unsat cost LB: 28845 ... c Min unsat cost LB: 29697 ... c Min unsat cost LB: 29929 ... c Min unsat cost LB: 30781 ... c Min unsat cost LB: 31865 ... c Min unsat cost LB: 32103 ... c Min unsat cost LB: 32723 ... c Min unsat cost LB: 32788 ... c Min unsat cost LB: 33473 ... c Min unsat cost LB: 34087 ... c Min unsat cost LB: 34325 ... c Min unsat cost LB: 34427 ... c Min unsat cost LB: 35511 ... c Min unsat cost LB: 35627 ... c Min unsat cost LB: 36312 ... c Min unsat cost LB: 36479 ... c Min unsat cost LB: 36997 ... c Min unsat cost LB: 37235 ... c Min unsat cost LB: 37309 ... c Min unsat cost LB: 37495 ... c Min unsat cost LB: 37827 ... c Min unsat cost LB: 38027 ... c Min unsat cost LB: 38087 ... c Min unsat cost LB: 38319 ... c Min unsat cost LB: 39171 ... c Min unsat cost LB: 39431 ... c Min unsat cost LB: 39505 ... c Min unsat cost LB: 40589 ... c Min unsat cost LB: 41673 ... c Min unsat cost LB: 42284 ... c Min unsat cost LB: 42757 ... c Min unsat cost LB: 42989 ... c Min unsat cost LB: 43841 ... c Min unsat cost LB: 43951 ... c Min unsat cost LB: 44118 ... c Min unsat cost LB: 44183 ... c Min unsat cost LB: 44701 ... c Min unsat cost LB: 44814 ... c Min unsat cost LB: 45046 ... c Min unsat cost LB: 45445 ... c Min unsat cost LB: 45573 ... c Min unsat cost LB: 45898 ... c Min unsat cost LB: 46750 ... c Min unsat cost LB: 46872 ... c Min unsat cost LB: 46982 ... c Min unsat cost LB: 47036 ... c Min unsat cost LB: 47110 ... c Min unsat cost LB: 47370 ... c Min unsat cost LB: 47486 ... c Min unsat cost LB: 47718 ... c Min unsat cost LB: 47950 ... c Min unsat cost LB: 48454 ... c Min unsat cost LB: 48516 ... c Min unsat cost LB: 48570 ... c Min unsat cost LB: 48598 ... c Min unsat cost LB: 48686 ... c Min unsat cost LB: 48830 ... c Min unsat cost LB: 48836 ... c Min unsat cost LB: 49139 ... c Min unsat cost LB: 49283 ... c Min unsat cost LB: 49323 ... c Min unsat cost LB: 49532 ... c Min unsat cost LB: 49538 ... c Min unsat cost LB: 50175 ... c Min unsat cost LB: 50274 ... c Min unsat cost LB: 50616 ... c Min unsat cost LB: 50848 ... c Min unsat cost LB: 50854 ... c Min unsat cost LB: 51069 ... c Min unsat cost LB: 51516 ... c Min unsat cost LB: 51522 ... c Min unsat cost LB: 51706 ... c Min unsat cost LB: 52060 ... c Min unsat cost LB: 52298 ... c Min unsat cost LB: 52320 ... c Min unsat cost LB: 52465 ... c Min unsat cost LB: 52912 ... c Min unsat cost LB: 52940 ... c Min unsat cost LB: 53184 ... c Min unsat cost LB: 53232 ... c Min unsat cost LB: 53472 ... c Min unsat cost LB: 53557 ... c Min unsat cost LB: 53711 ... c Min unsat cost LB: 53788 ... c Min unsat cost LB: 53823 ... c Min unsat cost LB: 53888 ... c Min unsat cost LB: 53932 ... c Min unsat cost LB: 54036 ... c Min unsat cost LB: 54318 ... c Min unsat cost LB: 54356 ... c Min unsat cost LB: 54443 ... c Min unsat cost LB: 54523 ... c Min unsat cost LB: 54611 ... c Min unsat cost LB: 54656 ... c Min unsat cost LB: 54713 ... c Min unsat cost LB: 54918 ... c Min unsat cost LB: 55011 ... c Min unsat cost LB: 55271 ... c Min unsat cost LB: 55341 ... c Min unsat cost LB: 55401 ... c Min unsat cost LB: 55438 ... c Min unsat cost LB: 55509 ... c Min unsat cost LB: 55512 ... c Min unsat cost LB: 55601 ... c Min unsat cost LB: 55622 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55693 ... c Min unsat cost LB: 55770 ... c Min unsat cost LB: 55776 ... c Min unsat cost LB: 55925 ... c Min unsat cost LB: 55931 ... c Min unsat cost LB: 56002 ... c Min unsat cost LB: 56067 ... c Min unsat cost LB: 56079 ... c Min unsat cost LB: 56545 ... c Min unsat cost LB: 56635 ... c Min unsat cost LB: 56712 ... c Min unsat cost LB: 56750 ... c Min unsat cost LB: 56756 ... c Min unsat cost LB: 56766 ... c Min unsat cost LB: 56800 ... c Min unsat cost LB: 56836 ... c Min unsat cost LB: 56838 ... c Min unsat cost LB: 56846 ... c Min unsat cost LB: 56880 ... c Min unsat cost LB: 56888 ... c Min unsat cost LB: 56890 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 56924 ... c Min unsat cost LB: 56994 ... c Min unsat cost LB: 57039 ... c Min unsat cost LB: 57059 ... c Min unsat cost LB: 57107 ... c Min unsat cost LB: 57124 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57291 ... c Min unsat cost LB: 57413 ... c Min unsat cost LB: 57447 ... c Min unsat cost LB: 57469 ... c Min unsat cost LB: 57475 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57585 ... c Min unsat cost LB: 57597 ... c Min unsat cost LB: 57809 ... c Min unsat cost LB: 57868 ... c Min unsat cost LB: 58042 ... c Min unsat cost LB: 58077 ... c Min unsat cost LB: 58154 ... c Min unsat cost LB: 58222 ... c Min unsat cost LB: 58460 ... c Min unsat cost LB: 58482 ... c Min unsat cost LB: 58517 ... c Min unsat cost LB: 58547 ... c Min unsat cost LB: 58613 ... c Min unsat cost LB: 58615 ... c Min unsat cost LB: 58656 ... c Min unsat cost LB: 58705 ... c Min unsat cost LB: 58720 ... c Min unsat cost LB: 58723 ... c Min unsat cost LB: 58725 ... c Min unsat cost LB: 58818 ... c Min unsat cost LB: 58829 ... c Min unsat cost LB: 58831 ... c Min unsat cost LB: 58847 ... c Min unsat cost LB: 58868 ... c Min unsat cost LB: 58928 ... c Min unsat cost LB: 58938 ... c Min unsat cost LB: 58944 ... c Min unsat cost LB: 59063 ... c Min unsat cost LB: 59122 ... c Min unsat cost LB: 59125 ... c Min unsat cost LB: 59129 ... c Min unsat cost LB: 59137 ... c Min unsat cost LB: 59140 ... c Min unsat cost LB: 59143 ... c Min unsat cost LB: 59152 ... c Min unsat cost LB: 59158 ... c Min unsat cost LB: 59184 ... c Min unsat cost LB: 59190 ... c Min unsat cost LB: 59208 ... c Min unsat cost LB: 59220 ... c Min unsat cost LB: 59223 ... c Min unsat cost LB: 59230 ... c Min unsat cost LB: 59231 ... c Min unsat cost LB: 59239 ... c Min unsat cost LB: 59251 ... c Min unsat cost LB: 59269 ... c Min unsat cost LB: 59272 ... c Min unsat cost LB: 59273 ... c Min unsat cost LB: 59276 ... c Min unsat cost LB: 59277 ... c Min unsat cost LB: 59278 ... c Min unsat cost LB: 59279 ... c Min unsat cost LB: 59280 ... c Min unsat cost LB: 59281 ... c Min unsat cost LB: 59282 ... c Min unsat cost LB: 59283 ... c Min unsat cost LB: 59284 ... c Min unsat cost LB: 59285 ... c Min unsat cost LB: 59293 ... c Min unsat cost LB: 59294 ... c Min unsat cost LB: 59295 ... c Min unsat cost LB: 59296 ... c Min unsat cost LB: 59300 ... c Min unsat cost LB: 59302 ... c Min unsat cost LB: 59303 ... c Min unsat cost LB: 59304 ... c Min unsat cost LB: 59307 ... c Min unsat cost LB: 59308 ... c Min unsat cost LB: 59311 ... c Min unsat cost LB: 59312 ... c Min unsat cost LB: 59314 ... c Min unsat cost LB: 59315 ... c Min unsat cost LB: 59317 ... c Min unsat cost LB: 59319 ... c Min unsat cost LB: 59322 ... c Min unsat cost LB: 59323 ... c Min unsat cost LB: 59324 ... c Min unsat cost LB: 59326 ... c Min unsat cost LB: 59327 ... c Min unsat cost LB: 59329 ... c Min unsat cost LB: 59334 ... c Min unsat cost LB: 59335 ... c Min unsat cost LB: 59336 ... c Min unsat cost LB: 59338 ... c Min unsat cost LB: 59339 ... c Min unsat cost LB: 59340 ... c Min unsat cost LB: 59342 ... c Min unsat cost LB: 59345 ... c Min unsat cost LB: 59346 ... c Min unsat cost LB: 59347 ... c Min unsat cost LB: 59348 ... c Min unsat cost LB: 59404 ... c Min unsat cost LB: 59405 ... c Min unsat cost LB: 59406 ... c Min unsat cost LB: 59407 ... c Min unsat cost LB: 59409 ... c Min unsat cost LB: 59411 ... c Min unsat cost LB: 59421 ... c Min unsat cost LB: 59460 ... c Min unsat cost LB: 59464 ... c Min unsat cost LB: 59469 ... c Min unsat cost LB: 59473 ... c Min unsat cost LB: 59474 ... c Min unsat cost LB: 59507 ... c Min unsat cost LB: 59508 ... c Min unsat cost LB: 59516 ... c Min unsat cost LB: 59526 ... c Min unsat cost LB: 59527 ... c Min unsat cost LB: 59529 ... c Min unsat cost LB: 59546 ... c Min unsat cost LB: 59554 ... c Min unsat cost LB: 59556 ... c Min unsat cost LB: 59557 ... c Min unsat cost LB: 59558 ... c Min unsat cost LB: 59572 ... c Min unsat cost LB: 59574 ... c Min unsat cost LB: 59586 ... c Min unsat cost LB: 59599 ... c Min unsat cost LB: 59600 ... c Min unsat cost LB: 59601 ... c Min unsat cost LB: 59602 ... c Min unsat cost LB: 59603 ... c Min unsat cost LB: 59604 ... c Min unsat cost LB: 59605 ... c Min unsat cost LB: 59606 ... c Min unsat cost LB: 59607 ... c Min unsat cost LB: 59608 ... c Min unsat cost LB: 59609 ... c Min unsat cost LB: 59610 ... c Min unsat cost LB: 59611 ... c Min unsat cost LB: 59612 ... c Min unsat cost LB: 59613 ... c Min unsat cost LB: 59614 ... c Min unsat cost LB: 59615 ... c Min unsat cost LB: 59616 ... c Min unsat cost LB: 59635 ... c Min unsat cost LB: 59642 ... c Min unsat cost LB: 59656 ... c Min unsat cost LB: 59657 ... c Min unsat cost LB: 59658 ... c Min unsat cost LB: 59659 ... c Min unsat cost LB: 59660 ... c Min unsat cost LB: 59661 ... c Min unsat cost LB: 59662 ... c Min unsat cost LB: 59663 ... c Min unsat cost LB: 59694 ... c Min unsat cost LB: 59695 ... c Min unsat cost LB: 59705 ... c Min unsat cost LB: 59711 ... c Min unsat cost LB: 59717 ... c Min unsat cost LB: 59719 ... c Min unsat cost LB: 59863 ... c Min unsat cost LB: 59879 ... c Min unsat cost LB: 59881 ... c Min unsat cost LB: 59890 ... c Min unsat cost LB: 59891 ... c Min unsat cost LB: 59892 ... c Min unsat cost LB: 59893 ... c Min unsat cost LB: 59894 ... c Min unsat cost LB: 59895 ... c Min unsat cost LB: 59896 ... c Min unsat cost LB: 59897 ... c Min unsat cost LB: 59898 ... c Min unsat cost LB: 59899 ... c Min unsat cost LB: 59900 ... c Min unsat cost LB: 59901 ... c Min unsat cost LB: 59902 ... c Min unsat cost LB: 59903 ... c Min unsat cost LB: 59938 ... c Min unsat cost LB: 59944 ... c Min unsat cost LB: 59945 ... c Min unsat cost LB: 59957 ... c Min unsat cost LB: 60038 ... c Min unsat cost LB: 60281 ... c Min unsat cost LB: 60282 ... c Min unsat cost LB: 60283 ... c Min unsat cost LB: 60284 ... c Min unsat cost LB: 60287 ... c Min unsat cost LB: 60290 ... c Min unsat cost LB: 60292 ... c Min unsat cost LB: 60293 ... c Min unsat cost LB: 60294 ... c Min unsat cost LB: 60296 ... c Min unsat cost LB: 60538 ... c Min unsat cost LB: 60539 ... c Min unsat cost LB: 60540 ... c Min unsat cost LB: 60542 ... c Min unsat cost LB: 60543 ... c Min unsat cost LB: 60544 ... c Min unsat cost LB: 60623 ... c Min unsat cost LB: 60660 ... c Min unsat cost LB: 60697 ... c Min unsat cost LB: 60791 ... c Min unsat cost LB: 60792 ... c Min unsat cost LB: 60804 ... c Min unsat cost LB: 60808 ... c Min unsat cost LB: 60824 ... c Min unsat cost LB: 60829 ... c Min unsat cost LB: 60835 ... c Min unsat cost LB: 60836 ... c Min unsat cost LB: 60837 ... c Min unsat cost LB: 60838 ... c Min unsat cost LB: 60842 ... c Min unsat cost LB: 60843 ... c Min unsat cost LB: 60844 ... c Min unsat cost LB: 60855 ... c Min unsat cost LB: 60864 ... c Min unsat cost LB: 60869 ... c Min unsat cost LB: 60877 ... c Min unsat cost LB: 60885 ... c Min unsat cost LB: 60914 ... c Min unsat cost LB: 60915 ... c Min unsat cost LB: 60952 ... c Min unsat cost LB: 60953 ... c Min unsat cost LB: 60971 ... c Min unsat cost LB: 60975 ... c Min unsat cost LB: 60976 ... c Min unsat cost LB: 61116 ... c Min unsat cost LB: 61122 ... c Min unsat cost LB: 61135 ... c Min unsat cost LB: 61137 ... c Min unsat cost LB: 61143 ... c Min unsat cost LB: 61146 ... c Min unsat cost LB: 61147 ... c Min unsat cost LB: 61148 ... c Min unsat cost LB: 61149 ... c Min unsat cost LB: 61152 ... c Min unsat cost LB: 61153 ... c Min unsat cost LB: 61155 ... c Min unsat cost LB: 61168 ... c Min unsat cost LB: 61190 ... c Min unsat cost LB: 61192 ... c Min unsat cost LB: 61194 ... c Min unsat cost LB: 61195 ... c Min unsat cost LB: 61197 ... c Min unsat cost LB: 61198 ... c Min unsat cost LB: 61199 ... c Min unsat cost LB: 61200 ... c Min unsat cost LB: 61201 ... c Min unsat cost LB: 61202 ... c Min unsat cost LB: 61203 ... c Min unsat cost LB: 61204 ... c Min unsat cost LB: 61206 ... c Min unsat cost LB: 61207 ... c Min unsat cost LB: 61217 ... c Min unsat cost LB: 61222 ... c Min unsat cost LB: 61223 ... c Min unsat cost LB: 61224 ... c Min unsat cost LB: 61225 ... c Min unsat cost LB: 61226 ... c Min unsat cost LB: 61227 ... c Min unsat cost LB: 61228 ... c Min unsat cost LB: 61229 ... c Min unsat cost LB: 61231 ... c Min unsat cost LB: 61232 ... c Min unsat cost LB: 61233 ... c Min unsat cost LB: 61236 ... c Min unsat cost LB: 61237 ... c Min unsat cost LB: 61238 ... c Min unsat cost LB: 61239 ... c Min unsat cost LB: 61240 ... c Min unsat cost LB: 61241 ... c Min unsat cost LB: 61243 ... c Min unsat cost LB: 61244 ... c Min unsat cost LB: 61245 ... c Min unsat cost LB: 61246 ... c Min unsat cost LB: 61247 ... c Min unsat cost LB: 61248 ... c Min unsat cost LB: 61249 ... c Min unsat cost LB: 61250 ... c Min unsat cost LB: 61251 ... c Min unsat cost LB: 61252 ... c Min unsat cost LB: 61253 ... c Min unsat cost LB: 61254 ... c Min unsat cost LB: 61255 ... c Min unsat cost LB: 61256 ... c Min unsat cost LB: 61257 ... c Min unsat cost LB: 61258 ... c Min unsat cost LB: 61259 ... c Min unsat cost LB: 61260 ... c Min unsat cost LB: 61261 ... c Min unsat cost LB: 61262 ... c Min unsat cost LB: 61264 ... c Min unsat cost LB: 61265 ... c Min unsat cost LB: 61266 ... c Min unsat cost LB: 61267 ... c Min unsat cost LB: 61268 ... c Min unsat cost LB: 61269 ... c Min unsat cost LB: 61270 ... c Min unsat cost LB: 61271 ... c Min unsat cost LB: 61272 ... c Min unsat cost LB: 61273 ... c Min unsat cost LB: 61274 ... c Min unsat cost LB: 61275 ... c Min unsat cost LB: 61276 ... c Min unsat cost LB: 61277 ... c Min unsat cost LB: 61278 ... c Min unsat cost LB: 61279 ... c Min unsat cost LB: 61280 ... c Min unsat cost LB: 61281 ... c Min unsat cost LB: 61282 ... c Min unsat cost LB: 61283 ... c Min unsat cost LB: 61284 ... c Min unsat cost LB: 61287 ... c Min unsat cost LB: 61289 ... c Min unsat cost LB: 61320 ... c Min unsat cost LB: 61321 ... c Min unsat cost LB: 61325 ... c Min unsat cost LB: 61331 ... c Min unsat cost LB: 61332 ... c Min unsat cost LB: 61333 ... c Min unsat cost LB: 61342 ... c Min unsat cost LB: 61343 ... c Min unsat cost LB: 61344 ... c Min unsat cost LB: 61346 ... c Min unsat cost LB: 61347 ... c Min unsat cost LB: 61350 ... c Min unsat cost LB: 61353 ... c Min unsat cost LB: 61354 ... c Min unsat cost LB: 61355 ... c Min unsat cost LB: 61356 ... c Min unsat cost LB: 61358 ... c Min unsat cost LB: 61359 ... c Min unsat cost LB: 61360 ... c Min unsat cost LB: 61361 ... c Min unsat cost LB: 61366 ... c Min unsat cost LB: 61375 ... c Min unsat cost LB: 61377 ... c Min unsat cost LB: 61378 ... c Min unsat cost LB: 61382 ... c Min unsat cost LB: 61401 ... c Min unsat cost LB: 61402 ... c Min unsat cost LB: 61403 ... c Min unsat cost LB: 61404 ... c Min unsat cost LB: 61406 ... c Min unsat cost LB: 61409 ... c Min unsat cost LB: 61420 ... c Min unsat cost LB: 61434 ... c Min unsat cost LB: 61496 ... c Min unsat cost LB: 61498 ... c Min unsat cost LB: 61502 ... c Min unsat cost LB: 61508 ... c Min unsat cost LB: 61517 ... c Min unsat cost LB: 61549 ... c Min unsat cost LB: 61550 ... c Min unsat cost LB: 61551 ... c Min unsat cost LB: 61552 ... c Min unsat cost LB: 61575 ... c Min unsat cost LB: 61576 ... c Min unsat cost LB: 61675 ... c Min unsat cost LB: 61683 ... c Min unsat cost LB: 61686 ... c Min unsat cost LB: 61972 ... c Min unsat cost LB: 61973 ... c Min unsat cost LB: 61974 ... c Min unsat cost LB: 61975 ... c Min unsat cost LB: 61976 ... c Min unsat cost LB: 61977 ... c Min unsat cost LB: 61978 ... c Min unsat cost LB: 61979 ... c Min unsat cost LB: 61980 ... c Min unsat cost LB: 61981 ... c Min unsat cost LB: 61985 ... c Min unsat cost LB: 61992 ... c Min unsat cost LB: 61996 ... c Min unsat cost LB: 61999 ... c Min unsat cost LB: 62002 ... c Min unsat cost LB: 62003 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62005 ... c Min unsat cost LB: 62006 ... c Min unsat cost LB: 62007 ... c Min unsat cost LB: 62008 ... c Min unsat cost LB: 62009 ... c Min unsat cost LB: 62010 ... c Min unsat cost LB: 62011 ... c Min unsat cost LB: 62013 ... c Min unsat cost LB: 62014 ... c Min unsat cost LB: 62015 ... c Min unsat cost LB: 62016 ... c Min unsat cost LB: 62018 ... c Min unsat cost LB: 62022 ... c Min unsat cost LB: 62023 ... c Min unsat cost LB: 62136 ... c Min unsat cost LB: 62137 ... c Min unsat cost LB: 62138 ... c Min unsat cost LB: 62139 ... c Min unsat cost LB: 62171 ... c Min unsat cost LB: 62177 ... c Min unsat cost LB: 62178 ... c Min unsat cost LB: 62182 ... c Min unsat cost LB: 62189 ... c Min unsat cost LB: 62193 ... c Min unsat cost LB: 62197 ... c Min unsat cost LB: 62198 ... c Min unsat cost LB: 62199 ... c Min unsat cost LB: 62201 ... c Min unsat cost LB: 62204 ... c Min unsat cost LB: 62205 ... c Min unsat cost LB: 62206 ... c Min unsat cost LB: 62207 ... c Min unsat cost LB: 62208 ... c Min unsat cost LB: 62209 ... c Min unsat cost LB: 62210 ... c Min unsat cost LB: 62211 ... c Min unsat cost LB: 62212 ... c Min unsat cost LB: 62213 ... c Min unsat cost LB: 62215 ... c Min unsat cost LB: 62216 ... c Min unsat cost LB: 62217 ... c Min unsat cost LB: 62218 ... c Min unsat cost LB: 62219 ... c Min unsat cost LB: 62220 ... c Min unsat cost LB: 62221 ... c Min unsat cost LB: 62222 ... c Min unsat cost LB: 62223 ... c Min unsat cost LB: 62224 ... c Min unsat cost LB: 62225 ... c Min unsat cost LB: 62226 ... c Min unsat cost LB: 62227 ... c Min unsat cost LB: 62228 ... c Min unsat cost LB: 62229 ... c Min unsat cost LB: 62230 ... c Min unsat cost LB: 62232 ... c Min unsat cost LB: 62233 ... c Min unsat cost LB: 62235 ... c Min unsat cost LB: 62236 ... c Min unsat cost LB: 62237 ... c Min unsat cost LB: 62238 ... c Min unsat cost LB: 62239 ... c Min unsat cost LB: 62240 ... c Min unsat cost LB: 62241 ... c Min unsat cost LB: 62244 ... c Min unsat cost LB: 62245 ... c Min unsat cost LB: 62246 ... c Min unsat cost LB: 62247 ... c Min unsat cost LB: 62248 ... c Min unsat cost LB: 62249 ... c Min unsat cost LB: 62250 ... c Min unsat cost LB: 62251 ... c Min unsat cost LB: 62252 ... c Min unsat cost LB: 62253 ... c Min unsat cost LB: 62254 ... c Min unsat cost LB: 62255 ... c Min unsat cost LB: 62256 ... c Min unsat cost LB: 62257 ... c Min unsat cost LB: 62258 ... c Min unsat cost LB: 62259 ... c Min unsat cost LB: 62260 ... c Min unsat cost LB: 62261 ... c Min unsat cost LB: 62262 ... c Min unsat cost LB: 62263 ... c Min unsat cost LB: 62264 ... c Min unsat cost LB: 62265 ... c Min unsat cost LB: 62266 ... c Min unsat cost LB: 62267 ... c Min unsat cost LB: 62268 ... c Min unsat cost LB: 62269 ... c Min unsat cost LB: 62270 ... c Min unsat cost LB: 62271 ... c Min unsat cost LB: 62272 ... c Min unsat cost LB: 62273 ... c Min unsat cost LB: 62274 ... c Min unsat cost LB: 62275 ... c Min unsat cost LB: 62276 ... c Min unsat cost LB: 62277 ... c Min unsat cost LB: 62278 ... c Min unsat cost LB: 62346 ... c Min unsat cost LB: 62347 ... c Min unsat cost LB: 62348 ... c Min unsat cost LB: 62349 ... c Min unsat cost LB: 62350 ... c Min unsat cost LB: 62351 ... c Min unsat cost LB: 62352 ... c Min unsat cost LB: 62353 ... c Min unsat cost LB: 62354 ... c Min unsat cost LB: 62355 ... c Min unsat cost LB: 62356 ... c Min unsat cost LB: 62357 ... c Min unsat cost LB: 62358 ... c Min unsat cost LB: 62362 ... c Min unsat cost LB: 62368 ... c Min unsat cost LB: 62369 ... c Min unsat cost LB: 62370 ... c Min unsat cost LB: 62372 ... c Min unsat cost LB: 62373 ... c Min unsat cost LB: 62413 ... c Min unsat cost LB: 62414 ... c Min unsat cost LB: 62495 ... c Min unsat cost LB: 62509 ... c Min unsat cost LB: 62515 ... c Min unsat cost LB: 62522 ... c Min unsat cost LB: 62528 ... c Min unsat cost LB: 62545 ... c Min unsat cost LB: 62567 ... c Min unsat cost LB: 62572 ... c Min unsat cost LB: 62573 ... c Min unsat cost LB: 62574 ... c Min unsat cost LB: 62575 ... c Min unsat cost LB: 62576 ... c Min unsat cost LB: 62577 ... c Min unsat cost LB: 62578 ... c Min unsat cost LB: 62579 ... c Min unsat cost LB: 62580 ... c Min unsat cost LB: 62581 ... c Min unsat cost LB: 62582 ... c Min unsat cost LB: 62584 ... c Min unsat cost LB: 62585 ... c Min unsat cost LB: 62587 ... c Min unsat cost LB: 62591 ... c Min unsat cost LB: 62592 ... c Min unsat cost LB: 62594 ... c Min unsat cost LB: 62595 ... c Min unsat cost LB: 62596 ... c Min unsat cost LB: 62597 ... c Min unsat cost LB: 62599 ... c Min unsat cost LB: 62605 ... c Min unsat cost LB: 62608 ... c Min unsat cost LB: 62609 ... c Min unsat cost LB: 62611 ... c Min unsat cost LB: 62612 ... c Min unsat cost LB: 62613 ... c Min unsat cost LB: 62614 ... c Min unsat cost LB: 62615 ... c Min unsat cost LB: 62616 ... c Min unsat cost LB: 62617 ... c Min unsat cost LB: 62618 ... c Min unsat cost LB: 62619 ... c Min unsat cost LB: 62620 ... c Min unsat cost LB: 62621 ... c Min unsat cost LB: 62622 ... c Min unsat cost LB: 62623 ... c Min unsat cost LB: 62624 ... c Min unsat cost LB: 62625 ... c Min unsat cost LB: 62626 ... c Min unsat cost LB: 62627 ... c Min unsat cost LB: 62628 ... c Min unsat cost LB: 62629 ... c Min unsat cost LB: 62630 ... c Min unsat cost LB: 62631 ... c Min unsat cost LB: 62632 ... c Min unsat cost LB: 62633 ... c Min unsat cost LB: 62634 ... c Min unsat cost LB: 62635 ... c Min unsat cost LB: 62636 ... c Min unsat cost LB: 62637 ... c Min unsat cost LB: 62638 ... c Min unsat cost LB: 62639 ... c Min unsat cost LB: 62640 ... c Min unsat cost LB: 62641 ... c Min unsat cost LB: 62642 ... c Min unsat cost LB: 62643 ... c Min unsat cost LB: 62644 ... c Min unsat cost LB: 62645 ... c Min unsat cost LB: 62646 ... c Min unsat cost LB: 62647 ... c Min unsat cost LB: 62648 ... c Min unsat cost LB: 62649 ... c Min unsat cost LB: 62650 ... c Min unsat cost LB: 62651 ... c Min unsat cost LB: 62652 ... c Min unsat cost LB: 62653 ... c Min unsat cost LB: 62654 ... c Min unsat cost LB: 62655 ... c Min unsat cost LB: 62656 ... c Min unsat cost LB: 62657 ... c Min unsat cost LB: 62658 ... c Min unsat cost LB: 62659 ... c Min unsat cost LB: 62660 ... c Min unsat cost LB: 62661 ... c Min unsat cost LB: 62662 ... c Min unsat cost LB: 62666 ... c Min unsat cost LB: 62667 ... c Min unsat cost LB: 62668 ... c Min unsat cost LB: 62669 ... c Min unsat cost LB: 62670 ... c Min unsat cost LB: 62671 ... c Min unsat cost LB: 62672 ... c Min unsat cost LB: 62675 ... c Min unsat cost LB: 62676 ... c Min unsat cost LB: 62677 ... c Min unsat cost LB: 62678 ... c Min unsat cost LB: 62679 ... c Min unsat cost LB: 62680 ... c Min unsat cost LB: 62681 ... c Min unsat cost LB: 62682 ... c Min unsat cost LB: 62683 ... c Min unsat cost LB: 62684 ... c Min unsat cost LB: 62685 ... c Min unsat cost LB: 62686 ... c Min unsat cost LB: 62687 ... c Min unsat cost LB: 62688 ... c Min unsat cost LB: 62689 ... c Min unsat cost LB: 62690 ... c Min unsat cost LB: 62691 ... c Min unsat cost LB: 62692 ... c Min unsat cost LB: 62693 ... c Min unsat cost LB: 62694 ... c Min unsat cost LB: 62696 ... c Min unsat cost LB: 62697 ... c Min unsat cost LB: 62698 ... c Min unsat cost LB: 62699 ... c Min unsat cost LB: 62702 ... c Min unsat cost LB: 62703 ... c Min unsat cost LB: 62707 ... c Min unsat cost LB: 62708 ... c Min unsat cost LB: 62713 ... c Min unsat cost LB: 62714 ... c Min unsat cost LB: 62715 ... c Min unsat cost LB: 62716 ... c Min unsat cost LB: 62717 ... c Min unsat cost LB: 62718 ... c Min unsat cost LB: 62719 ... c Min unsat cost LB: 62723 ... c Min unsat cost LB: 62724 ... c Min unsat cost LB: 62725 ... c Min unsat cost LB: 62726 ... c Min unsat cost LB: 62729 ... c Min unsat cost LB: 62731 ... c Min unsat cost LB: 62732 ... c Min unsat cost LB: 62733 ... c Min unsat cost LB: 62734 ... c Min unsat cost LB: 62747 ... c Min unsat cost LB: 62750 ... c Min unsat cost LB: 62753 ... c Min unsat cost LB: 62754 ... c Min unsat cost LB: 62755 ... c Min unsat cost LB: 62756 ... c Min unsat cost LB: 62757 ... c Min unsat cost LB: 62779 ... c Min unsat cost LB: 62780 ... c Min unsat cost LB: 62781 ... c Min unsat cost LB: 62782 ... c Min unsat cost LB: 62783 ... c Min unsat cost LB: 62784 ... c Min unsat cost LB: 62785 ... c Min unsat cost LB: 62786 ... c Min unsat cost LB: 62787 ... c Min unsat cost LB: 62788 ... c Min unsat cost LB: 62789 ... c Min unsat cost LB: 62792 ... c Min unsat cost LB: 62793 ... c Min unsat cost LB: 62794 ... c Min unsat cost LB: 62795 ... c Min unsat cost LB: 62796 ... c Min unsat cost LB: 62799 ... c Min unsat cost LB: 62800 ... c Min unsat cost LB: 62805 ... c Min unsat cost LB: 62806 ... c Min unsat cost LB: 62807 ... c Min unsat cost LB: 62808 ... c Min unsat cost LB: 62809 ... c Min unsat cost LB: 62810 ... c Min unsat cost LB: 62811 ... c Min unsat cost LB: 62812 ... c Min unsat cost LB: 62813 ... c Min unsat cost LB: 62814 ... c Min unsat cost LB: 62815 ... c Min unsat cost LB: 62816 ... c Min unsat cost LB: 62817 ... c Min unsat cost LB: 62818 ... c Min unsat cost LB: 62819 ... c Min unsat cost LB: 62820 ... c Min unsat cost LB: 62821 ... c Min unsat cost LB: 62822 ... c Min unsat cost LB: 62823 ... c Min unsat cost LB: 62824 ... c Min unsat cost LB: 62825 ... c Min unsat cost LB: 62826 ... c Min unsat cost LB: 62832 ... c Min unsat cost LB: 62833 ... c Min unsat cost LB: 62834 ... c Min unsat cost LB: 62835 ... c Min unsat cost LB: 62836 ... c Min unsat cost LB: 62837 ... c Min unsat cost LB: 62838 ... c Min unsat cost LB: 62839 ... c Min unsat cost LB: 62840 ... c Min unsat cost LB: 62841 ... c Min unsat cost LB: 62842 ... c Min unsat cost LB: 62843 ... c Min unsat cost LB: 62844 ... c Min unsat cost LB: 62845 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62847 ... c Min unsat cost LB: 62848 ... c Min unsat cost LB: 62849 ... c Min unsat cost LB: 62850 ... c Min unsat cost LB: 62851 ... c Min unsat cost LB: 62852 ... c Min unsat cost LB: 62853 ... c Min unsat cost LB: 62854 ... c Min unsat cost LB: 62855 ... c Min unsat cost LB: 62856 ... c Min unsat cost LB: 62857 ... c Min unsat cost LB: 62858 ... c Min unsat cost LB: 62859 ... c Min unsat cost LB: 62862 ... c Min unsat cost LB: 62863 ... c Min unsat cost LB: 62864 ... c Min unsat cost LB: 62865 ... c Min unsat cost LB: 62866 ... c Min unsat cost LB: 62867 ... c Min unsat cost LB: 62868 ... c Min unsat cost LB: 62869 ... c Min unsat cost LB: 62870 ... c Min unsat cost LB: 62871 ... c Min unsat cost LB: 62872 ... c Min unsat cost LB: 62873 ... c Min unsat cost LB: 62874 ... c Min unsat cost LB: 62875 ... c Min unsat cost LB: 62876 ... c Min unsat cost LB: 62877 ... c Min unsat cost LB: 62878 ... c Min unsat cost LB: 62879 ... c Min unsat cost LB: 62880 ... c Min unsat cost LB: 62881 ... c Min unsat cost LB: 62882 ... c Min unsat cost LB: 62883 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62888 ... c Min unsat cost LB: 62921 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62923 ... c Min unsat cost LB: 62924 ... c Min unsat cost LB: 62925 ... c Min unsat cost LB: 62926 ... c Min unsat cost LB: 62927 ... c Min unsat cost LB: 62928 ... c Min unsat cost LB: 62929 ... c Min unsat cost LB: 62930 ... c Min unsat cost LB: 62931 ... c Min unsat cost LB: 62932 ... c Min unsat cost LB: 62933 ... c Min unsat cost LB: 62934 ... c Min unsat cost LB: 62935 ... c Min unsat cost LB: 62936 ... c Min unsat cost LB: 62937 ... c Min unsat cost LB: 62938 ... c Min unsat cost LB: 62945 ... c Min unsat cost LB: 62946 ... c Min unsat cost LB: 62947 ... c Min unsat cost LB: 62973 ... c Min unsat cost LB: 62974 ... c Min unsat cost LB: 62975 ... c Min unsat cost LB: 62976 ... c Min unsat cost LB: 62977 ... c Min unsat cost LB: 62978 ... c Min unsat cost LB: 62979 ... c Min unsat cost LB: 62980 ... c Min unsat cost LB: 62981 ... c Min unsat cost LB: 62982 ... c Min unsat cost LB: 62983 ... c Min unsat cost LB: 62984 ... c Min unsat cost LB: 62985 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 62987 ... c Min unsat cost LB: 62988 ... c Min unsat cost LB: 62989 ... c Min unsat cost LB: 62990 ... c Min unsat cost LB: 62991 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 62993 ... c Min unsat cost LB: 62994 ... c Min unsat cost LB: 62995 ... c Min unsat cost LB: 62999 ... c Min unsat cost LB: 63000 ... c Min unsat cost LB: 63001 ... c Min unsat cost LB: 63002 ... c Min unsat cost LB: 63003 ... c Min unsat cost LB: 63004 ... c Min unsat cost LB: 63005 ... c Min unsat cost LB: 63006 ... c Min unsat cost LB: 63007 ... c Min unsat cost LB: 63009 ... c Min unsat cost LB: 63011 ... c Min unsat cost LB: 63012 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63014 ... c Min unsat cost LB: 63015 ... c Min unsat cost LB: 63016 ... c Min unsat cost LB: 63017 ... c Min unsat cost LB: 63018 ... c Min unsat cost LB: 63019 ... c Min unsat cost LB: 63020 ... c Min unsat cost LB: 63021 ... c Min unsat cost LB: 63022 ... c Min unsat cost LB: 63023 ... c Min unsat cost LB: 63024 ... c Min unsat cost LB: 63025 ... c Min unsat cost LB: 63026 ... c Min unsat cost LB: 63027 ... c Min unsat cost LB: 63028 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63030 ... c Min unsat cost LB: 63031 ... c Min unsat cost LB: 63032 ... c Min unsat cost LB: 63040 ... c Min unsat cost LB: 63041 ... c Min unsat cost LB: 63042 ... c Min unsat cost LB: 63043 ... c Min unsat cost LB: 63044 ... c Min unsat cost LB: 63045 ... c Min unsat cost LB: 63046 ... c Min unsat cost LB: 63047 ... c Min unsat cost LB: 63048 ... c Min unsat cost LB: 63049 ... c Min unsat cost LB: 63050 ... c Min unsat cost LB: 63052 ... c Min unsat cost LB: 63053 ... c Min unsat cost LB: 63054 ... c Min unsat cost LB: 63058 ... c Min unsat cost LB: 63059 ... c Min unsat cost LB: 63063 ... c Min unsat cost LB: 63064 ... c Min unsat cost LB: 63065 ... c Min unsat cost LB: 63066 ... c Min unsat cost LB: 63067 ... c Min unsat cost LB: 63070 ... c Min unsat cost LB: 63071 ... c Min unsat cost LB: 63073 ... c Min unsat cost LB: 63074 ... c Min unsat cost LB: 63075 ... c Min unsat cost LB: 63076 ... c Min unsat cost LB: 63077 ... c Min unsat cost LB: 63078 ... c Min unsat cost LB: 63080 ... c Min unsat cost LB: 63081 ... c Min unsat cost LB: 63082 ... c Min unsat cost LB: 63083 ... c Min unsat cost LB:Killed 1816.633u 3.104s 30:19.87 99.9% 0+0k 0+0io 0pf+0w