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_90_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_90_0004.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_90_0004.txt.wcnf *** c c Min unsat cost LB: 866 ... c Min unsat cost LB: 1005 ... c Min unsat cost LB: 1871 ... c Min unsat cost LB: 2010 ... c Min unsat cost LB: 3015 ... c Min unsat cost LB: 3442 ... c Min unsat cost LB: 3869 ... c Min unsat cost LB: 4296 ... c Min unsat cost LB: 4723 ... c Min unsat cost LB: 5150 ... c Min unsat cost LB: 5577 ... c Min unsat cost LB: 6582 ... c Min unsat cost LB: 7009 ... c Min unsat cost LB: 7140 ... c Min unsat cost LB: 7567 ... c Min unsat cost LB: 7698 ... c Min unsat cost LB: 7994 ... c Min unsat cost LB: 8721 ... c Min unsat cost LB: 9448 ... c Min unsat cost LB: 11287 ... c Min unsat cost LB: 11714 ... c Min unsat cost LB: 12141 ... c Min unsat cost LB: 12280 ... c Min unsat cost LB: 12707 ... c Min unsat cost LB: 13134 ... c Min unsat cost LB: 14000 ... c Min unsat cost LB: 14139 ... c Min unsat cost LB: 15005 ... c Min unsat cost LB: 15432 ... c Min unsat cost LB: 16657 ... c Min unsat cost LB: 16844 ... c Min unsat cost LB: 17084 ... c Min unsat cost LB: 17511 ... c Min unsat cost LB: 17567 ... c Min unsat cost LB: 17787 ... c Min unsat cost LB: 18214 ... c Min unsat cost LB: 18345 ... c Min unsat cost LB: 18772 ... c Min unsat cost LB: 19997 ... c Min unsat cost LB: 20424 ... c Min unsat cost LB: 21222 ... c Min unsat cost LB: 21649 ... c Min unsat cost LB: 21856 ... c Min unsat cost LB: 22283 ... c Min unsat cost LB: 22710 ... c Min unsat cost LB: 23935 ... c Min unsat cost LB: 25160 ... c Min unsat cost LB: 25587 ... c Min unsat cost LB: 25958 ... c Min unsat cost LB: 26385 ... c Min unsat cost LB: 27052 ... c Min unsat cost LB: 27610 ... c Min unsat cost LB: 28835 ... c Min unsat cost LB: 29075 ... c Min unsat cost LB: 30060 ... c Min unsat cost LB: 30093 ... c Min unsat cost LB: 31285 ... c Min unsat cost LB: 32510 ... c Min unsat cost LB: 32937 ... c Min unsat cost LB: 33735 ... c Min unsat cost LB: 34589 ... c Min unsat cost LB: 34960 ... c Min unsat cost LB: 35758 ... c Min unsat cost LB: 36185 ... c Min unsat cost LB: 36612 ... c Min unsat cost LB: 36900 ... c Min unsat cost LB: 37039 ... c Min unsat cost LB: 37327 ... c Min unsat cost LB: 37466 ... c Min unsat cost LB: 37754 ... c Min unsat cost LB: 37893 ... c Min unsat cost LB: 38181 ... c Min unsat cost LB: 38320 ... c Min unsat cost LB: 38401 ... c Min unsat cost LB: 38540 ... c Min unsat cost LB: 38747 ... c Min unsat cost LB: 38828 ... c Min unsat cost LB: 39116 ... c Min unsat cost LB: 39626 ... c Min unsat cost LB: 39676 ... c Min unsat cost LB: 39964 ... c Min unsat cost LB: 40053 ... c Min unsat cost LB: 40088 ... c Min unsat cost LB: 40493 ... c Min unsat cost LB: 40920 ... c Min unsat cost LB: 41347 ... c Min unsat cost LB: 41718 ... c Min unsat cost LB: 41892 ... c Min unsat cost LB: 41981 ... c Min unsat cost LB: 42099 ... c Min unsat cost LB: 42180 ... c Min unsat cost LB: 42230 ... c Min unsat cost LB: 42269 ... c Min unsat cost LB: 42522 ... c Min unsat cost LB: 42696 ... c Min unsat cost LB: 42827 ... c Min unsat cost LB: 42883 ... c Min unsat cost LB: 42900 ... c Min unsat cost LB: 42943 ... c Min unsat cost LB: 43074 ... c Min unsat cost LB: 43314 ... c Min unsat cost LB: 43741 ... c Min unsat cost LB: 43747 ... c Min unsat cost LB: 43934 ... c Min unsat cost LB: 44230 ... c Min unsat cost LB: 44361 ... c Min unsat cost LB: 44518 ... c Min unsat cost LB: 44945 ... c Min unsat cost LB: 44978 ... c Min unsat cost LB: 45183 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45393 ... c Min unsat cost LB: 45427 ... c Min unsat cost LB: 45820 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45985 ... c Min unsat cost LB: 46247 ... c Min unsat cost LB: 46346 ... c Min unsat cost LB: 46378 ... c Min unsat cost LB: 46773 ... c Min unsat cost LB: 46790 ... c Min unsat cost LB: 46829 ... c Min unsat cost LB: 46912 ... c Min unsat cost LB: 47101 ... c Min unsat cost LB: 47266 ... c Min unsat cost LB: 47367 ... c Min unsat cost LB: 47422 ... c Min unsat cost LB: 47528 ... c Min unsat cost LB: 48149 ... c Min unsat cost LB: 48288 ... c Min unsat cost LB: 48359 ... c Min unsat cost LB: 49003 ... c Min unsat cost LB: 49071 ... c Min unsat cost LB: 49738 ... c Min unsat cost LB: 49869 ... c Min unsat cost LB: 50008 ... c Min unsat cost LB: 50263 ... c Min unsat cost LB: 50735 ... c Min unsat cost LB: 50874 ... c Min unsat cost LB: 51304 ... c Min unsat cost LB: 51672 ... c Min unsat cost LB: 51700 ... c Min unsat cost LB: 52309 ... c Min unsat cost LB: 52415 ... c Min unsat cost LB: 52448 ... c Min unsat cost LB: 52632 ... c Min unsat cost LB: 53003 ... c Min unsat cost LB: 53314 ... c Min unsat cost LB: 53433 ... c Min unsat cost LB: 53439 ... c Min unsat cost LB: 53453 ... c Min unsat cost LB: 53596 ... c Min unsat cost LB: 54180 ... c Min unsat cost LB: 54394 ... c Min unsat cost LB: 54438 ... c Min unsat cost LB: 54446 ... c Min unsat cost LB: 54481 ... c Min unsat cost LB: 54576 ... c Min unsat cost LB: 54627 ... c Min unsat cost LB: 54867 ... c Min unsat cost LB: 54888 ... c Min unsat cost LB: 54890 ... c Min unsat cost LB: 54909 ... c Min unsat cost LB: 55029 ... c Min unsat cost LB: 55034 ... c Min unsat cost LB: 55152 ... c Min unsat cost LB: 55186 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55416 ... c Min unsat cost LB: 55456 ... c Min unsat cost LB: 55490 ... c Min unsat cost LB: 55512 ... c Min unsat cost LB: 55593 ... c Min unsat cost LB: 55621 ... c Min unsat cost LB: 55664 ... c Min unsat cost LB: 55682 ... c Min unsat cost LB: 55711 ... c Min unsat cost LB: 55865 ... c Min unsat cost LB: 55874 ... c Min unsat cost LB: 55924 ... c Min unsat cost LB: 55977 ... c Min unsat cost LB: 55985 ... c Min unsat cost LB: 55994 ... c Min unsat cost LB: 56005 ... c Min unsat cost LB: 56116 ... c Min unsat cost LB: 56149 ... c Min unsat cost LB: 56232 ... c Min unsat cost LB: 56234 ... c Min unsat cost LB: 56269 ... c Min unsat cost LB: 56421 ... c Min unsat cost LB: 56560 ... c Min unsat cost LB: 56571 ... c Min unsat cost LB: 56591 ... c Min unsat cost LB: 56627 ... c Min unsat cost LB: 56677 ... c Min unsat cost LB: 56727 ... c Min unsat cost LB: 56736 ... c Min unsat cost LB: 56738 ... c Min unsat cost LB: 56779 ... c Min unsat cost LB: 56788 ... c Min unsat cost LB: 56796 ... c Min unsat cost LB: 56830 ... c Min unsat cost LB: 56833 ... c Min unsat cost LB: 56844 ... c Min unsat cost LB: 56845 ... c Min unsat cost LB: 56848 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56964 ... c Min unsat cost LB: 56965 ... c Min unsat cost LB: 56973 ... c Min unsat cost LB: 56974 ... c Min unsat cost LB: 56976 ... c Min unsat cost LB: 56985 ... c Min unsat cost LB: 56998 ... c Min unsat cost LB: 57099 ... c Min unsat cost LB: 57104 ... c Min unsat cost LB: 57137 ... c Min unsat cost LB: 57143 ... c Min unsat cost LB: 57151 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57214 ... c Min unsat cost LB: 57219 ... c Min unsat cost LB: 57270 ... c Min unsat cost LB: 57276 ... c Min unsat cost LB: 57415 ... c Min unsat cost LB: 57531 ... c Min unsat cost LB: 57619 ... c Min unsat cost LB: 58003 ... c Min unsat cost LB: 58047 ... c Min unsat cost LB: 58142 ... c Min unsat cost LB: 58163 ... c Min unsat cost LB: 58248 ... c Min unsat cost LB: 58261 ... c Min unsat cost LB: 58282 ... c Min unsat cost LB: 58390 ... c Min unsat cost LB: 58751 ... c Min unsat cost LB: 59119 ... c Min unsat cost LB: 59136 ... c Min unsat cost LB: 59138 ... c Min unsat cost LB: 59143 ... c Min unsat cost LB: 59144 ... c Min unsat cost LB: 59154 ... c Min unsat cost LB: 59162 ... c Min unsat cost LB: 59163 ... c Min unsat cost LB: 59165 ... c Min unsat cost LB: 59166 ... c Min unsat cost LB: 59168 ... c Min unsat cost LB: 59170 ... c Min unsat cost LB: 59173 ... c Min unsat cost LB: 59176 ... c Min unsat cost LB: 59181 ... c Min unsat cost LB: 59183 ... c Min unsat cost LB: 59184 ... c Min unsat cost LB: 59185 ... c Min unsat cost LB: 59186 ... c Min unsat cost LB: 59187 ... c Min unsat cost LB: 59188 ... c Min unsat cost LB: 59189 ... c Min unsat cost LB: 59190 ... c Min unsat cost LB: 59191 ... c Min unsat cost LB: 59193 ... c Min unsat cost LB: 59195 ... c Min unsat cost LB: 59196 ... c Min unsat cost LB: 59199 ... c Min unsat cost LB: 59200 ... c Min unsat cost LB: 59201 ... c Min unsat cost LB: 59202 ... c Min unsat cost LB: 59203 ... c Min unsat cost LB: 59204 ... c Min unsat cost LB: 59205 ... c Min unsat cost LB: 59206 ... c Min unsat cost LB: 59208 ... c Min unsat cost LB: 59301 ... c Min unsat cost LB: 59302 ... c Min unsat cost LB: 59311 ... c Min unsat cost LB: 59312 ... c Min unsat cost LB: 59313 ... c Min unsat cost LB: 59315 ... c Min unsat cost LB: 59320 ... c Min unsat cost LB: 59322 ... c Min unsat cost LB: 59323 ... c Min unsat cost LB: 59324 ... c Min unsat cost LB: 59345 ... c Min unsat cost LB: 59354 ... c Min unsat cost LB: 59356 ... c Min unsat cost LB: 59357 ... c Min unsat cost LB: 59397 ... c Min unsat cost LB: 59400 ... c Min unsat cost LB: 59401 ... c Min unsat cost LB: 59402 ... c Min unsat cost LB: 59403 ... c Min unsat cost LB: 59409 ... c Min unsat cost LB: 59417 ... c Min unsat cost LB: 59418 ... c Min unsat cost LB: 59419 ... c Min unsat cost LB: 59420 ... c Min unsat cost LB: 59425 ... c Min unsat cost LB: 59431 ... c Min unsat cost LB: 59432 ... c Min unsat cost LB: 59437 ... c Min unsat cost LB: 59443 ... c Min unsat cost LB: 59450 ... c Min unsat cost LB: 59456 ... c Min unsat cost LB: 59457 ... c Min unsat cost LB: 59462 ... c Min unsat cost LB: 59463 ... c Min unsat cost LB: 59464 ... c Min unsat cost LB: 59465 ... c Min unsat cost LB: 59466 ... c Min unsat cost LB: 59474 ... c Min unsat cost LB: 59475 ... c Min unsat cost LB: 59476 ... c Min unsat cost LB: 59478 ... c Min unsat cost LB: 59481 ... c Min unsat cost LB: 59482 ... c Min unsat cost LB: 59483 ... c Min unsat cost LB: 59484 ... c Min unsat cost LB: 59485 ... c Min unsat cost LB: 59486 ... c Min unsat cost LB: 59487 ... c Min unsat cost LB: 59488 ... c Min unsat cost LB: 59489 ... c Min unsat cost LB: 59490 ... c Min unsat cost LB: 59491 ... c Min unsat cost LB: 59492 ... c Min unsat cost LB: 59493 ... c Min unsat cost LB: 59494 ... c Min unsat cost LB: 59496 ... c Min unsat cost LB: 59497 ... c Min unsat cost LB: 59498 ... c Min unsat cost LB: 59500 ... c Min unsat cost LB: 59502 ... c Min unsat cost LB: 59503 ... c Min unsat cost LB: 59504 ... c Min unsat cost LB: 59506 ... c Min unsat cost LB: 59507 ... c Min unsat cost LB: 59508 ... c Min unsat cost LB: 59514 ... c Min unsat cost LB: 59515 ... c Min unsat cost LB: 59518 ... c Min unsat cost LB: 59520 ... c Min unsat cost LB: 59525 ... c Min unsat cost LB: 59709 ... c Min unsat cost LB: 59836 ... c Min unsat cost LB: 59869 ... c Min unsat cost LB: 59896 ... c Min unsat cost LB: 59932 ... c Min unsat cost LB: 59947 ... c Min unsat cost LB: 59990 ... c Min unsat cost LB: 59991 ... c Min unsat cost LB: 59992 ... c Min unsat cost LB: 59993 ... c Min unsat cost LB: 59994 ... c Min unsat cost LB: 59997 ... c Min unsat cost LB: 59998 ... c Min unsat cost LB: 60001 ... c Min unsat cost LB: 60011 ... c Min unsat cost LB: 60012 ... c Min unsat cost LB: 60014 ... c Min unsat cost LB: 60017 ... c Min unsat cost LB: 60018 ... c Min unsat cost LB: 60021 ... c Min unsat cost LB: 60023 ... c Min unsat cost LB: 60024 ... c Min unsat cost LB: 60034 ... c Min unsat cost LB: 60038 ... c Min unsat cost LB: 60039 ... c Min unsat cost LB: 60125 ... c Min unsat cost LB: 60126 ... c Min unsat cost LB: 60128 ... c Min unsat cost LB: 60129 ... c Min unsat cost LB: 60132 ... c Min unsat cost LB: 60133 ... c Min unsat cost LB: 60134 ... c Min unsat cost LB: 60135 ... c Min unsat cost LB: 60136 ... c Min unsat cost LB: 60137 ... c Min unsat cost LB: 60140 ... c Min unsat cost LB: 60142 ... c Min unsat cost LB: 60144 ... c Min unsat cost LB: 60145 ... c Min unsat cost LB: 60152 ... c Min unsat cost LB: 60153 ... c Min unsat cost LB: 60154 ... c Min unsat cost LB: 60155 ... c Min unsat cost LB: 60156 ... c Min unsat cost LB: 60157 ... c Min unsat cost LB: 60158 ... c Min unsat cost LB: 60159 ... c Min unsat cost LB: 60160 ... c Min unsat cost LB: 60161 ... c Min unsat cost LB: 60162 ... c Min unsat cost LB: 60163 ... c Min unsat cost LB: 60166 ... c Min unsat cost LB: 60169 ... c Min unsat cost LB: 60171 ... c Min unsat cost LB: 60192 ... c Min unsat cost LB: 60195 ... c Min unsat cost LB: 60196 ... c Min unsat cost LB: 60206 ... c Min unsat cost LB: 60208 ... c Min unsat cost LB: 60209 ... c Min unsat cost LB: 60210 ... c Min unsat cost LB: 60211 ... c Min unsat cost LB: 60212 ... c Min unsat cost LB: 60213 ... c Min unsat cost LB: 60214 ... c Min unsat cost LB: 60215 ... c Min unsat cost LB: 60216 ... c Min unsat cost LB: 60217 ... c Min unsat cost LB: 60218 ... c Min unsat cost LB: 60223 ... c Min unsat cost LB: 60224 ... c Min unsat cost LB: 60229 ... c Min unsat cost LB: 60233 ... c Min unsat cost LB: 60241 ... c Min unsat cost LB: 60242 ... c Min unsat cost LB: 60244 ... c Min unsat cost LB: 60254 ... c Min unsat cost LB: 60256 ... c Min unsat cost LB: 60257 ... c Min unsat cost LB: 60258 ... c Min unsat cost LB: 60259 ... c Min unsat cost LB: 60261 ... c Min unsat cost LB: 60262 ... c Min unsat cost LB: 60264 ... c Min unsat cost LB: 60265 ... c Min unsat cost LB: 60266 ... c Min unsat cost LB: 60267 ... c Min unsat cost LB: 60268 ... c Min unsat cost LB: 60269 ... c Min unsat cost LB: 60270 ... c Min unsat cost LB: 60271 ... c Min unsat cost LB: 60272 ... c Min unsat cost LB: 60273 ... c Min unsat cost LB: 60274 ... c Min unsat cost LB: 60275 ... c Min unsat cost LB: 60276 ... c Min unsat cost LB: 60277 ... c Min unsat cost LB: 60278 ... c Min unsat cost LB: 60279 ... c Min unsat cost LB: 60280 ... c Min unsat cost LB: 60281 ... c Min unsat cost LB: 60282 ... c Min unsat cost LB: 60283 ... c Min unsat cost LB: 60364 ... c Min unsat cost LB: 60378 ... c Min unsat cost LB: 60379 ... c Min unsat cost LB: 60380 ... c Min unsat cost LB: 60381 ... c Min unsat cost LB: 60382 ... c Min unsat cost LB: 60383 ... c Min unsat cost LB: 60384 ... c Min unsat cost LB: 60385 ... c Min unsat cost LB: 60386 ... c Min unsat cost LB: 60387 ... c Min unsat cost LB: 60388 ... c Min unsat cost LB: 60389 ... c Min unsat cost LB: 60390 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60392 ... c Min unsat cost LB: 60393 ... c Min unsat cost LB: 60394 ... c Min unsat cost LB: 60395 ... c Min unsat cost LB: 60396 ... c Min unsat cost LB: 60397 ... c Min unsat cost LB: 60399 ... c Min unsat cost LB: 60400 ... c Min unsat cost LB: 60401 ... c Min unsat cost LB: 60402 ... c Min unsat cost LB: 60403 ... c Min unsat cost LB: 60404 ... c Min unsat cost LB: 60405 ... c Min unsat cost LB: 60406 ... c Min unsat cost LB: 60407 ... c Min unsat cost LB: 60413 ... c Min unsat cost LB: 60479 ... c Min unsat cost LB: 60480 ... c Min unsat cost LB: 60481 ... c Min unsat cost LB: 60482 ... c Min unsat cost LB: 60483 ... c Min unsat cost LB: 60538 ... c Min unsat cost LB: 60539 ... c Min unsat cost LB: 60540 ... c Min unsat cost LB: 60541 ... c Min unsat cost LB: 60542 ... c Min unsat cost LB: 60545 ... c Min unsat cost LB: 60559 ... c Min unsat cost LB: 60568 ... c Min unsat cost LB: 60569 ... c Min unsat cost LB: 60570 ... c Min unsat cost LB: 60571 ... c Min unsat cost LB: 60572 ... c Min unsat cost LB: 60573 ... c Min unsat cost LB: 60574 ... c Min unsat cost LB: 60575 ... c Min unsat cost LB: 60576 ... c Min unsat cost LB: 60578 ... c Min unsat cost LB: 60582 ... c Min unsat cost LB: 60583 ... c Min unsat cost LB: 60604 ... c Min unsat cost LB: 60606 ... c Min unsat cost LB: 60612 ... c Min unsat cost LB: 60613 ... c Min unsat cost LB: 60614 ... c Min unsat cost LB: 60615 ... c Min unsat cost LB: 60616 ... c Min unsat cost LB: 60617 ... c Min unsat cost LB: 60618 ... c Min unsat cost LB: 60619 ... c Min unsat cost LB: 60620 ... c Min unsat cost LB: 60621 ... c Min unsat cost LB: 60622 ... c Min unsat cost LB: 60623 ... c Min unsat cost LB: 60624 ... c Min unsat cost LB: 60627 ... c Min unsat cost LB: 60628 ... c Min unsat cost LB: 60632 ... c Min unsat cost LB: 60634 ... c Min unsat cost LB: 60635 ... c Min unsat cost LB: 60636 ... c Min unsat cost LB: 60638 ... c Min unsat cost LB: 60639 ... c Min unsat cost LB: 60640 ... c Min unsat cost LB: 60641 ... c Min unsat cost LB: 60642 ... c Min unsat cost LB: 60643 ... c Min unsat cost LB: 60644 ... c Min unsat cost LB: 60645 ... c Min unsat cost LB: 60646 ... c Min unsat cost LB: 60647 ... c Min unsat cost LB: 60648 ... c Min unsat cost LB: 60649 ... c Min unsat cost LB: 60650 ... c Min unsat cost LB: 60651 ... c Min unsat cost LB: 60652 ... c Min unsat cost LB: 60653 ... c Min unsat cost LB: 60657 ... c Min unsat cost LB: 60658 ... c Min unsat cost LB: 60659 ... c Min unsat cost LB: 60665 ... c Min unsat cost LB: 60673 ... c Min unsat cost LB: 60679 ... c Min unsat cost LB: 60708 ... c Min unsat cost LB: 60740 ... c Min unsat cost LB: 60741 ... c Min unsat cost LB: 60743 ... c Min unsat cost LB: 60744 ... c Min unsat cost LB: 60745 ... c Min unsat cost LB: 60746 ... c Min unsat cost LB: 60747 ... c Min unsat cost LB: 60752 ... c Min unsat cost LB: 60753 ... c Min unsat cost LB: 60756 ... c Min unsat cost LB: 60757 ... c Min unsat cost LB: 60758 ... c Min unsat cost LB: 60759 ... c Min unsat cost LB: 60760 ... c Min unsat cost LB: 60761 ... c Min unsat cost LB: 60762 ... c Min unsat cost LB: 60763 ... c Min unsat cost LB: 60764 ... c Min unsat cost LB: 60765 ... c Min unsat cost LB: 60766 ... c Min unsat cost LB: 60768 ... c Min unsat cost LB: 60769 ... c Min unsat cost LB: 60770 ... c Min unsat cost LB: 60799 ... c Min unsat cost LB: 60856 ... c Min unsat cost LB: 60857 ... c Min unsat cost LB: 60864 ... c Min unsat cost LB: 60867 ... c Min unsat cost LB: 60869 ... c Min unsat cost LB: 60878 ... c Min unsat cost LB: 60883 ... c Min unsat cost LB: 60886 ... c Min unsat cost LB: 60887 ... c Min unsat cost LB: 60888 ... c Min unsat cost LB: 60889 ... c Min unsat cost LB: 60890 ... c Min unsat cost LB: 60891 ... c Min unsat cost LB: 60892 ... c Min unsat cost LB: 60893 ... c Min unsat cost LB: 60894 ... c Min unsat cost LB: 60895 ... c Min unsat cost LB: 60896 ... c Min unsat cost LB: 60897 ... c Min unsat cost LB: 60898 ... c Min unsat cost LB: 60899 ... c Min unsat cost LB: 60900 ... c Min unsat cost LB: 60901 ... c Min unsat cost LB: 60902 ... c Min unsat cost LB: 60903 ... c Min unsat cost LB: 60904 ... c Min unsat cost LB: 60905 ... c Min unsat cost LB: 60906 ... c Min unsat cost LB: 60907 ... c Min unsat cost LB: 60908 ... c Min unsat cost LB: 60909 ... c Min unsat cost LB: 60910 ... c Min unsat cost LB: 60911 ... c Min unsat cost LB: 60912 ... c Min unsat cost LB: 60913 ... c Min unsat cost LB: 60914 ... c Min unsat cost LB: 60915 ... c Min unsat cost LB: 60916 ... c Min unsat cost LB: 60917 ... c Min unsat cost LB: 60918 ... c Min unsat cost LB: 60919 ... c Min unsat cost LB: 60920 ... c Min unsat cost LB: 60921 ... c Min unsat cost LB: 60922 ... c Min unsat cost LB: 60923 ... c Min unsat cost LB: 60924 ... c Min unsat cost LB: 60925 ... c Min unsat cost LB: 60926 ... c Min unsat cost LB: 60927 ... c Min unsat cost LB: 60928 ... c Min unsat cost LB: 60929 ... c Min unsat cost LB: 60930 ... c Min unsat cost LB: 60931 ... c Min unsat cost LB: 60932 ... c Min unsat cost LB: 60933 ... c Min unsat cost LB: 60934 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 60936 ... c Min unsat cost LB: 60937 ... c Min unsat cost LB: 60938 ... c Min unsat cost LB: 60939 ... c Min unsat cost LB: 60940 ... c Min unsat cost LB: 60941 ... c Min unsat cost LB: 60942 ... c Min unsat cost LB: 60943 ... c Min unsat cost LB: 60944 ... c Min unsat cost LB: 60945 ... c Min unsat cost LB: 60946 ... c Min unsat cost LB: 60947 ... c Min unsat cost LB: 60960 ... c Min unsat cost LB: 60983 ... c Min unsat cost LB: 60996 ... c Min unsat cost LB: 61614 ... c Min unsat cost LB: 61622 ... c Min unsat cost LB: 61627 ... c Min unsat cost LB: 61715 ... c Min unsat cost LB: 61740 ... c Min unsat cost LB: 61741 ... c Min unsat cost LB: 61743 ... c Min unsat cost LB: 61744 ... c Min unsat cost LB: 61746 ... c Min unsat cost LB: 61748 ... c Min unsat cost LB: 62314 ... c Min unsat cost LB: 62316 ... c Min unsat cost LB: 62333 ... c Min unsat cost LB: 62338 ... c Min unsat cost LB: 62344 ... c Min unsat cost LB: 62359 ... c Min unsat cost LB: 62396 ... c Min unsat cost LB: 62426 ... c Min unsat cost LB: 62428 ... c Min unsat cost LB: 62429 ... c Min unsat cost LB: 62481 ... c Min unsat cost LB: 62486 ... c Min unsat cost LB: 62488 ... c Min unsat cost LB: 62489 ... c Min unsat cost LB: 62490 ... c Min unsat cost LB: 62491 ... c Min unsat cost LB: 62492 ... c Min unsat cost LB: 62493 ... c Min unsat cost LB: 62494 ... c Min unsat cost LB: 62495 ... c Min unsat cost LB: 62496 ... c Min unsat cost LB: 62497 ... c Min unsat cost LB: 62498 ... c Min unsat cost LB: 62499 ... c Min unsat cost LB: 62500 ... c Min unsat cost LB: 62501 ... c Min unsat cost LB: 62502 ... c Min unsat cost LB: 62503 ... c Min unsat cost LB: 62504 ... c Min unsat cost LB: 62505 ... c Min unsat cost LB: 62506 ... c Min unsat cost LB: 62507 ... c Min unsat cost LB: 62508 ... c Min unsat cost LB: 62509 ... c Min unsat cost LB: 62510 ... c Min unsat cost LB: 62511 ... c Min unsat cost LB: 62512 ... c Min unsat cost LB: 62513 ... c Min unsat cost LB: 62514 ... c Min unsat cost LB: 62515 ... c Min unsat cost LB: 62516 ... c Min unsat cost LB: 62517 ... c Min unsat cost LB: 62518 ... c Min unsat cost LB: 62519 ... c Min unsat cost LB: 62520 ... c Min unsat cost LB: 62521 ... c Min unsat cost LB: 62522 ... c Min unsat cost LB: 62523 ... c Min unsat cost LB: 62524 ... c Min unsat cost LB: 62531 ... c Min unsat cost LB: 62615 ... c Min unsat cost LB: 62616 ... c Min unsat cost LB: 62669 ... c Min unsat cost LB: 62702 ... c Min unsat cost LB: 62703 ... c Min unsat cost LB: 62704 ... c Min unsat cost LB: 62720 ... c Min unsat cost LB: 62722 ... c Min unsat cost LB: 62723 ... c Min unsat cost LB: 62727 ... c Min unsat cost LB: 62729 ... c Min unsat cost LB: 62788 ... c Min unsat cost LB: 62795 ... c Min unsat cost LB: 62845 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62847 ... c Min unsat cost LB: 62850 ... c Min unsat cost LB: 62851 ... c Min unsat cost LB: 62852 ... 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: 62874 ... c Min unsat cost LB: 62875 ... c Min unsat cost LB: 62887 ... c Min unsat cost LB: 62888 ... c Min unsat cost LB: 62889 ... c Min unsat cost LB: 62890 ... c Min unsat cost LB: 62891 ... c Min unsat cost LB: 62892 ... c Min unsat cost LB: 62893 ... c Min unsat cost LB: 62894 ... c Min unsat cost LB: 62895 ... c Min unsat cost LB: 62896 ... c Min unsat cost LB: 62897 ... c Min unsat cost LB: 62898 ... c Min unsat cost LB: 62899 ... c Min unsat cost LB: 62900 ... c Min unsat cost LB: 62901 ... c Min unsat cost LB: 62902 ... c Min unsat cost LB: 62903 ... c Min unsat cost LB: 62904 ... c Min unsat cost LB: 62905 ... c Min unsat cost LB: 62906 ... c Min unsat cost LB: 62907 ... c Min unsat cost LB: 62908 ... c Min unsat cost LB: 62909 ... c Min unsat cost LB: 62910 ... c Min unsat cost LB: 62911 ... c Min unsat cost LB: 62912 ... c Min unsat cost LB: 62913 ... c Min unsat cost LB: 62914 ... c Min unsat cost LB: 62915 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62917 ... c Min unsat cost LB: 62918 ... c Min unsat cost LB: 62919 ... c Min unsat cost LB: 62920 ... 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: 62939 ... c Min unsat cost LB: 62940 ... c Min unsat cost LB: 62941 ... c Min unsat cost LB: 62942 ... c Min unsat cost LB: 62943 ... c Min unsat cost LB: 62944 ... c Min unsat cost LB: 62945 ... c Min unsat cost LB: 62946 ... c Min unsat cost LB: 62947 ... c Min unsat cost LB: 62948 ... c Min unsat cost LB: 62949 ... c Min unsat cost LB: 62950 ... c Min unsat cost LB: 62951 ... c Min unsat cost LB: 62952 ... c Min unsat cost LB: 62953 ... c Min unsat cost LB: 62954 ... c Min unsat cost LB: 62955 ... c Min unsat cost LB: 62956 ... c Min unsat cost LB: 62957 ... c Min unsat cost LB: 62958 ... c Min unsat cost LB: 62959 ... c Min unsat cost LB: 62960 ... c Min unsat cost LB: 62961 ... c Min unsat cost LB: 62962 ... c Min unsat cost LB: 62963 ... c Min unsat cost LB: 62965 ... 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: 62991 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 62994 ... c Min unsat cost LB: 62998 ... c Min unsat cost LB: 62999 ... 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: 63008 ... c Min unsat cost LB: 63009 ... c Min unsat cost LB: 63010 ... 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: 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: 63033 ... c Min unsat cost LB: 63034 ... c Min unsat cost LB: 63035 ... c Min unsat cost LB: 63036 ... c Min unsat cost LB: 63037 ... c Min unsat cost LB: 63040 ... c Min unsat cost LB: 63045 ... c Min unsat cost LB: 63050 ... c Min unsat cost LB: 63051 ... c Min unsat cost LB: 63052 ... c Min unsat cost LB: 63053 ... c Min unsat cost LB: 63054 ... c Min unsat cost LB: 63055 ... c Min unsat cost LB: 63056 ... c Min unsat cost LB: 63057 ... c Min unsat cost LB: 63058 ... c Min unsat cost LB: 63067 ... c Min unsat cost LB: 63068 ... c Min unsat cost LB: 63069 ... c Min unsat cost LB: 63070 ... c Min unsat cost LB: 63072 ... 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: 63079 ... 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: 63084 ... c Min unsat cost LB: 63085 ... c Min unsat cost LB: 63086 ... c Min unsat cost LB: 63087 ... c Min unsat cost LB: 63088 ... c Min unsat cost LB: 63089 ... c Min unsat cost LB: 63090 ... c Min unsat cost LB: 63091 ... c Min unsat cost LB: 63092 ... c Min unsat cost LB: 63094 ... c Min unsat cost LB: 63096 ... c Min unsat cost LB: 63098 ... c Min unsat cost LB: 63099 ... c Min unsat cost LB: 63100 ... c Min unsat cost LB: 63101 ... c Min unsat cost LB: 63102 ... c Min unsat cost LB: 63103 ... c Min unsat cost LB: 63104 ... c Min unsat cost LB: 63105 ... c Min unsat cost LB: 63106 ... c Min unsat cost LB: 63107 ... c Min unsat cost LB: 63108 ... c Min unsat cost LB: 63109 ... c Min unsat cost LB: 63110 ... c Min unsat cost LB: 63111 ... c Min unsat cost LB: 63112 ... c Min unsat cost LB: 63113 ... c Min unsat cost LB: 63114 ... c Min unsat cost LB: 63115 ... c Min unsat cost LB: 63116 ... c Min unsat cost LB: 63117 ... c Min unsat cost LB: 63118 ... c Min unsat cost LB: 63119 ... c Min unsat cost LB: 63120 ... c Min unsat cost LB: 63121 ... c Min unsat cost LB: 63124 ... c Min unsat cost LB: 63125 ... c Min unsat cost LB: 63126 ... c Min unsat cost LB: 63127 ... c Min unsat cost LB: 63129 ... c Min unsat cost LB: 63130 ... c Min unsat cost LB: 63131 ... c Min unsat cost LB: 63132 ... c Min unsat cost LB: 63133 ... c Min unsat cost LB: 63134 ... c Min unsat cost LB: 63140 ... c Min unsat cost LB: 63141 ... c Min unsat cost LB: 63142 ... c Min unsat cost LB: 63143 ... c Min unsat cost LB: 63144 ... c Min unsat cost LB: 63145 ... c Min unsat cost LB: 63146 ... c Min unsat cost LB: 63147 ... c Min unsat cost LB: 63148 ... c Min unsat cost LB: 63149 ... c Min unsat cost LB: 63150 ... c Min unsat cost LB: 63151 ... c Min unsat cost LB: 63152 ... c Min unsat cost LB: 63153 ... c Min unsat cost LB: 63154 ... c Min unsat cost LB: 63155 ... c Min unsat cost LB: 63156 ... c Min unsat cost LB: 63157 ... c Min unsat cost LB: 63158 ... c Min unsat cost LB: 63159 ... c Min unsat cost LB: 63160 ... c Min unsat cost LB: 63161 ... c Min unsat cost LB: 63164 ... c Min unsat cost LB: 63165 ... c Min unsat cost LB: 63166 ... c Min unsat cost LB: 63168 ... c Min unsat cost LB: 63198 ... c Min unsat cost LB: 63199 ... c Min unsat cost LB: 63200 ... c Min unsat cost LB: 63201 ... c Min unsat cost LB: 63202 ... c Min unsat cost LB: 63203 ... c Min unsat cost LB: 63204 ... c Min unsat cost LB: 63205 ... c Min unsat cost LB: 63206 ... c Min unsat cost LB: 63207 ... c Min unsat cost LB: 63208 ... c Min unsat cost LB: 63209 ... c Min unsat cost LB: 63210 ... c Min unsat cost LB: 63211 ... c Min unsat cost LB: 63212 ... c Min unsat cost LB: 63213 ... c Min unsat cost LB: 63214 ... c Min unsat cost LB: 63215 ... c Min unsat cost LB: 63217 ... c Min unsat cost LB: 63218 ... c Min unsat cost LB: 63219 ... c Min unsat cost LB: 63232 ... c Min unsat cost LB: 63233 ... c Min unsat cost LB: 63234 ... c Min unsat cost LB: 63235 ... c Min unsat cost LB: 63236 ... c Min unsat cost LB: 63237 ... c Min unsat cost LB: 63238 ... c Min unsat cost LB: 63239 ... c Min unsat cost LB: 63240 ... c Min unsat cost LB: 63241 ... c Min unsat cost LB: 63242 ... c Min unsat cost LB: 63244 ... c Min unsat cost LB: 63245 ... c Min unsat cost LB: 63246 ... c Min unsat cost LB: 63247 ... c Min unsat cost LB: 63248 ... c Min unsat cost LB: 63249 ... c Min unsat cost LB: 63250 ... c Min unsat cost LB: 63251 ... c Min unsat cost LB: 63252 ... c Min unsat cost LB: 63253 ... c Min unsat cost LB: 63254 ... c Min unsat cost LB: 63255 ... c Min unsat cost LB: 63256 ... c Min unsat cost LB: 63257 ... c Min unsat cost LB: 63258 ... c Min unsat cost LB: 63259 ... c Min unsat cost LB: 63260 ... c Min unsat cost LB: 63261 ... c Min unsat cost LB: 63262 ... c Min unsat cost LB: 63263 ... c Min unsat cost LB: 63264 ... c Min unsat cost LB: 63265 ... c Min unsat cost LB: 63266 ... c Min unsat cost LB: 63267 ... c Min unsat cost LB: 63268 ... c Min unsat cost LB: 63269 ... c Min unsat cost LB: 63270 ... c Min unsat cost LB: 63271 ... c Min unsat cost LB: 63272 ... c Min unsat cost LB: 63274 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63276 ... c Min unsat cost LB: 63277 ... c Min unsat cost LB: 63278 ... c Min unsat cost LB:Killed 1817.481u 2.271s 30:23.48 99.7% 0+0k 0+0io 0pf+0w