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_190_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_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_190_0004.txt.wcnf *** c c Min unsat cost LB: 379 ... c Min unsat cost LB: 758 ... c Min unsat cost LB: 2120 ... c Min unsat cost LB: 3482 ... c Min unsat cost LB: 4844 ... c Min unsat cost LB: 6206 ... c Min unsat cost LB: 7568 ... c Min unsat cost LB: 7947 ... c Min unsat cost LB: 9309 ... c Min unsat cost LB: 10671 ... c Min unsat cost LB: 11050 ... c Min unsat cost LB: 12412 ... c Min unsat cost LB: 12730 ... c Min unsat cost LB: 14092 ... c Min unsat cost LB: 14696 ... c Min unsat cost LB: 15075 ... c Min unsat cost LB: 15454 ... c Min unsat cost LB: 15772 ... c Min unsat cost LB: 17048 ... c Min unsat cost LB: 17366 ... c Min unsat cost LB: 17452 ... c Min unsat cost LB: 17770 ... c Min unsat cost LB: 17989 ... c Min unsat cost LB: 18307 ... c Min unsat cost LB: 18625 ... c Min unsat cost LB: 18918 ... c Min unsat cost LB: 19455 ... c Min unsat cost LB: 19644 ... c Min unsat cost LB: 19962 ... c Min unsat cost LB: 19992 ... c Min unsat cost LB: 20280 ... c Min unsat cost LB: 20817 ... c Min unsat cost LB: 21354 ... c Min unsat cost LB: 21642 ... c Min unsat cost LB: 21891 ... c Min unsat cost LB: 22428 ... c Min unsat cost LB: 22746 ... c Min unsat cost LB: 22776 ... c Min unsat cost LB: 23094 ... c Min unsat cost LB: 23313 ... c Min unsat cost LB: 23631 ... c Min unsat cost LB: 24168 ... c Min unsat cost LB: 24267 ... c Min unsat cost LB: 24675 ... c Min unsat cost LB: 24993 ... c Min unsat cost LB: 25212 ... c Min unsat cost LB: 25341 ... c Min unsat cost LB: 25440 ... c Min unsat cost LB: 25758 ... c Min unsat cost LB: 25878 ... c Min unsat cost LB: 26415 ... c Min unsat cost LB: 27777 ... c Min unsat cost LB: 27975 ... c Min unsat cost LB: 28512 ... c Min unsat cost LB: 29049 ... c Min unsat cost LB: 29586 ... c Min unsat cost LB: 30123 ... c Min unsat cost LB: 30411 ... c Min unsat cost LB: 30501 ... c Min unsat cost LB: 30510 ... c Min unsat cost LB: 31047 ... c Min unsat cost LB: 31805 ... c Min unsat cost LB: 32342 ... c Min unsat cost LB: 32879 ... c Min unsat cost LB: 33416 ... c Min unsat cost LB: 33515 ... c Min unsat cost LB: 33601 ... c Min unsat cost LB: 33734 ... c Min unsat cost LB: 33919 ... c Min unsat cost LB: 34377 ... c Min unsat cost LB: 34456 ... c Min unsat cost LB: 34875 ... c Min unsat cost LB: 35294 ... c Min unsat cost LB: 35412 ... c Min unsat cost LB: 35530 ... c Min unsat cost LB: 36058 ... c Min unsat cost LB: 36477 ... c Min unsat cost LB: 36995 ... c Min unsat cost LB: 37128 ... c Min unsat cost LB: 37313 ... c Min unsat cost LB: 37850 ... c Min unsat cost LB: 38168 ... c Min unsat cost LB: 38387 ... c Min unsat cost LB: 38806 ... c Min unsat cost LB: 38939 ... c Min unsat cost LB: 39124 ... c Min unsat cost LB: 39543 ... c Min unsat cost LB: 39676 ... c Min unsat cost LB: 39861 ... c Min unsat cost LB: 40280 ... c Min unsat cost LB: 40699 ... c Min unsat cost LB: 41105 ... c Min unsat cost LB: 41423 ... c Min unsat cost LB: 41672 ... c Min unsat cost LB: 41805 ... c Min unsat cost LB: 41990 ... c Min unsat cost LB: 42308 ... c Min unsat cost LB: 42435 ... c Min unsat cost LB: 42626 ... c Min unsat cost LB: 42725 ... c Min unsat cost LB: 43014 ... c Min unsat cost LB: 43332 ... c Min unsat cost LB: 43751 ... c Min unsat cost LB: 44040 ... c Min unsat cost LB: 44230 ... c Min unsat cost LB: 44360 ... c Min unsat cost LB: 44519 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44867 ... c Min unsat cost LB: 45156 ... c Min unsat cost LB: 45169 ... c Min unsat cost LB: 45588 ... c Min unsat cost LB: 45676 ... c Min unsat cost LB: 46095 ... c Min unsat cost LB: 46838 ... c Min unsat cost LB: 47581 ... c Min unsat cost LB: 47751 ... c Min unsat cost LB: 47760 ... c Min unsat cost LB: 48009 ... c Min unsat cost LB: 48028 ... c Min unsat cost LB: 48317 ... c Min unsat cost LB: 49060 ... c Min unsat cost LB: 49559 ... c Min unsat cost LB: 49807 ... c Min unsat cost LB: 49876 ... c Min unsat cost LB: 50619 ... c Min unsat cost LB: 50809 ... c Min unsat cost LB: 51098 ... c Min unsat cost LB: 51841 ... c Min unsat cost LB: 52159 ... c Min unsat cost LB: 52230 ... c Min unsat cost LB: 52609 ... c Min unsat cost LB: 52792 ... c Min unsat cost LB: 53535 ... c Min unsat cost LB: 53663 ... c Min unsat cost LB: 53692 ... c Min unsat cost LB: 54435 ... c Min unsat cost LB: 55054 ... c Min unsat cost LB: 55433 ... c Min unsat cost LB: 55852 ... c Min unsat cost LB: 55976 ... c Min unsat cost LB: 56719 ... c Min unsat cost LB: 57338 ... c Min unsat cost LB: 57462 ... c Min unsat cost LB: 58081 ... c Min unsat cost LB: 58491 ... c Min unsat cost LB: 58581 ... c Min unsat cost LB: 58912 ... c Min unsat cost LB: 58953 ... c Min unsat cost LB: 59000 ... c Min unsat cost LB: 59242 ... c Min unsat cost LB: 59419 ... c Min unsat cost LB: 59428 ... c Min unsat cost LB: 59527 ... c Min unsat cost LB: 59531 ... c Min unsat cost LB: 59561 ... c Min unsat cost LB: 59825 ... c Min unsat cost LB: 59855 ... c Min unsat cost LB: 59875 ... c Min unsat cost LB: 60115 ... c Min unsat cost LB: 60205 ... c Min unsat cost LB: 60209 ... c Min unsat cost LB: 60469 ... c Min unsat cost LB: 60482 ... c Min unsat cost LB: 60609 ... c Min unsat cost LB: 60709 ... c Min unsat cost LB: 60713 ... c Min unsat cost LB: 60733 ... c Min unsat cost LB: 60755 ... c Min unsat cost LB: 60763 ... c Min unsat cost LB: 60776 ... c Min unsat cost LB: 61028 ... c Min unsat cost LB: 61036 ... c Min unsat cost LB: 61163 ... c Min unsat cost LB: 61241 ... c Min unsat cost LB: 61301 ... c Min unsat cost LB: 61330 ... c Min unsat cost LB: 61352 ... c Min unsat cost LB: 62095 ... c Min unsat cost LB: 62531 ... c Min unsat cost LB: 62838 ... c Min unsat cost LB: 63274 ... c Min unsat cost LB: 63581 ... c Min unsat cost LB: 63710 ... c Min unsat cost LB: 63893 ... c Min unsat cost LB: 63960 ... c Min unsat cost LB: 64200 ... c Min unsat cost LB: 64339 ... c Min unsat cost LB: 64718 ... c Min unsat cost LB: 64943 ... c Min unsat cost LB: 65097 ... c Min unsat cost LB: 65319 ... c Min unsat cost LB: 65698 ... c Min unsat cost LB: 65840 ... c Min unsat cost LB: 66077 ... c Min unsat cost LB: 66147 ... c Min unsat cost LB: 66276 ... c Min unsat cost LB: 66456 ... c Min unsat cost LB: 66558 ... c Min unsat cost LB: 66741 ... c Min unsat cost LB: 66835 ... c Min unsat cost LB: 66981 ... c Min unsat cost LB: 67048 ... c Min unsat cost LB: 67791 ... c Min unsat cost LB: 67961 ... c Min unsat cost LB: 68534 ... c Min unsat cost LB: 68700 ... c Min unsat cost LB: 68729 ... c Min unsat cost LB: 68789 ... c Min unsat cost LB: 68904 ... c Min unsat cost LB: 68916 ... c Min unsat cost LB: 68994 ... c Min unsat cost LB: 69002 ... c Min unsat cost LB: 69025 ... c Min unsat cost LB: 69034 ... c Min unsat cost LB: 69263 ... c Min unsat cost LB: 69276 ... c Min unsat cost LB: 69277 ... c Min unsat cost LB: 69380 ... c Min unsat cost LB: 69460 ... c Min unsat cost LB: 69669 ... c Min unsat cost LB: 69673 ... c Min unsat cost LB: 69686 ... c Min unsat cost LB: 69706 ... c Min unsat cost LB: 69710 ... c Min unsat cost LB: 69810 ... c Min unsat cost LB: 69832 ... c Min unsat cost LB: 69835 ... c Min unsat cost LB: 69991 ... c Min unsat cost LB: 70153 ... c Min unsat cost LB: 70206 ... c Min unsat cost LB: 70210 ... c Min unsat cost LB: 70585 ... c Min unsat cost LB: 70673 ... c Min unsat cost LB: 70686 ... c Min unsat cost LB: 70704 ... c Min unsat cost LB: 70717 ... c Min unsat cost LB: 70743 ... c Min unsat cost LB: 70871 ... c Min unsat cost LB: 70876 ... c Min unsat cost LB: 70900 ... c Min unsat cost LB: 71028 ... c Min unsat cost LB: 71061 ... c Min unsat cost LB: 71201 ... c Min unsat cost LB: 71218 ... c Min unsat cost LB: 71377 ... c Min unsat cost LB: 71403 ... c Min unsat cost LB: 71564 ... c Min unsat cost LB: 71597 ... c Min unsat cost LB: 71651 ... c Min unsat cost LB: 71659 ... c Min unsat cost LB: 71720 ... c Min unsat cost LB: 71817 ... c Min unsat cost LB: 71850 ... c Min unsat cost LB: 71886 ... c Min unsat cost LB: 71915 ... c Min unsat cost LB: 72028 ... c Min unsat cost LB: 72117 ... c Min unsat cost LB: 72308 ... c Min unsat cost LB: 72493 ... c Min unsat cost LB: 72496 ... c Min unsat cost LB: 72575 ... c Min unsat cost LB: 72617 ... c Min unsat cost LB: 72807 ... c Min unsat cost LB: 73055 ... c Min unsat cost LB: 73119 ... c Min unsat cost LB: 73195 ... c Min unsat cost LB: 73248 ... c Min unsat cost LB: 73275 ... c Min unsat cost LB: 73282 ... c Min unsat cost LB: 73288 ... c Min unsat cost LB: 73305 ... c Min unsat cost LB: 73366 ... c Min unsat cost LB: 73370 ... c Min unsat cost LB: 73378 ... c Min unsat cost LB: 73379 ... c Min unsat cost LB: 73403 ... c Min unsat cost LB: 73404 ... c Min unsat cost LB: 73437 ... c Min unsat cost LB: 73438 ... c Min unsat cost LB: 73461 ... c Min unsat cost LB: 73500 ... c Min unsat cost LB: 73557 ... c Min unsat cost LB: 73593 ... c Min unsat cost LB: 73618 ... c Min unsat cost LB: 73640 ... c Min unsat cost LB: 73661 ... c Min unsat cost LB: 73665 ... c Min unsat cost LB: 73707 ... c Min unsat cost LB: 73726 ... c Min unsat cost LB: 73812 ... c Min unsat cost LB: 73860 ... c Min unsat cost LB: 73893 ... c Min unsat cost LB: 73894 ... c Min unsat cost LB: 73902 ... c Min unsat cost LB: 73906 ... c Min unsat cost LB: 73907 ... c Min unsat cost LB: 74040 ... c Min unsat cost LB: 74042 ... c Min unsat cost LB: 74049 ... c Min unsat cost LB: 74160 ... c Min unsat cost LB: 74183 ... c Min unsat cost LB: 74187 ... c Min unsat cost LB: 74196 ... c Min unsat cost LB: 74235 ... c Min unsat cost LB: 74243 ... c Min unsat cost LB: 74250 ... c Min unsat cost LB: 74289 ... c Min unsat cost LB: 74295 ... c Min unsat cost LB: 74613 ... c Min unsat cost LB: 74641 ... c Min unsat cost LB: 74645 ... c Min unsat cost LB: 74733 ... c Min unsat cost LB: 74787 ... c Min unsat cost LB: 74816 ... c Min unsat cost LB: 74863 ... c Min unsat cost LB: 74870 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 75028 ... c Min unsat cost LB: 75095 ... c Min unsat cost LB: 75141 ... c Min unsat cost LB: 75326 ... c Min unsat cost LB: 75450 ... c Min unsat cost LB: 75532 ... c Min unsat cost LB: 75742 ... c Min unsat cost LB: 75843 ... c Min unsat cost LB: 75896 ... c Min unsat cost LB: 75898 ... c Min unsat cost LB: 75968 ... c Min unsat cost LB: 76007 ... c Min unsat cost LB: 76058 ... c Min unsat cost LB: 76066 ... c Min unsat cost LB: 76077 ... c Min unsat cost LB: 76149 ... c Min unsat cost LB: 76314 ... c Min unsat cost LB: 76433 ... c Min unsat cost LB: 76450 ... c Min unsat cost LB: 76462 ... c Min unsat cost LB: 76574 ... c Min unsat cost LB: 76592 ... c Min unsat cost LB: 76597 ... c Min unsat cost LB: 76661 ... c Min unsat cost LB: 76669 ... c Min unsat cost LB: 76682 ... c Min unsat cost LB: 76812 ... c Min unsat cost LB: 76898 ... c Min unsat cost LB: 76942 ... c Min unsat cost LB: 77147 ... c Min unsat cost LB: 77157 ... c Min unsat cost LB: 77245 ... c Min unsat cost LB: 77277 ... c Min unsat cost LB: 77310 ... c Min unsat cost LB: 77389 ... c Min unsat cost LB: 77410 ... c Min unsat cost LB: 77522 ... c Min unsat cost LB: 77532 ... c Min unsat cost LB: 77547 ... c Min unsat cost LB: 77563 ... c Min unsat cost LB: 77619 ... c Min unsat cost LB: 77647 ... c Min unsat cost LB: 77665 ... c Min unsat cost LB: 77684 ... c Min unsat cost LB: 77692 ... c Min unsat cost LB: 77693 ... c Min unsat cost LB: 77713 ... c Min unsat cost LB: 77739 ... c Min unsat cost LB: 77814 ... c Min unsat cost LB: 77938 ... c Min unsat cost LB: 78175 ... c Min unsat cost LB: 78176 ... c Min unsat cost LB: 78240 ... c Min unsat cost LB: 78268 ... c Min unsat cost LB: 78270 ... c Min unsat cost LB: 78303 ... c Min unsat cost LB: 78373 ... c Min unsat cost LB: 78654 ... c Min unsat cost LB: 78793 ... c Min unsat cost LB: 78807 ... c Min unsat cost LB: 78888 ... c Min unsat cost LB: 78952 ... c Min unsat cost LB: 79205 ... c Min unsat cost LB: 79439 ... c Min unsat cost LB: 79851 ... c Min unsat cost LB: 80334 ... c Min unsat cost LB: 80518 ... c Min unsat cost LB: 80560 ... c Min unsat cost LB: 81164 ... c Min unsat cost LB: 81433 ... c Min unsat cost LB: 81560 ... c Min unsat cost LB: 81581 ... c Min unsat cost LB: 81864 ... c Min unsat cost LB: 82149 ... c Min unsat cost LB: 82191 ... c Min unsat cost LB: 82199 ... c Min unsat cost LB: 82688 ... c Min unsat cost LB: 83044 ... c Min unsat cost LB: 83511 ... c Min unsat cost LB: 83523 ... c Min unsat cost LB: 83528 ... c Min unsat cost LB: 83533 ... c Min unsat cost LB: 83536 ... c Min unsat cost LB: 83556 ... c Min unsat cost LB: 83569 ... c Min unsat cost LB: 83649 ... c Min unsat cost LB: 83653 ... c Min unsat cost LB: 83729 ... c Min unsat cost LB: 83783 ... c Min unsat cost LB: 83816 ... c Min unsat cost LB: 83840 ... c Min unsat cost LB: 83956 ... c Min unsat cost LB: 83969 ... c Min unsat cost LB: 83974 ... c Min unsat cost LB: 83985 ... c Min unsat cost LB: 83995 ... c Min unsat cost LB: 83997 ... c Min unsat cost LB: 84002 ... c Min unsat cost LB: 84006 ... c Min unsat cost LB: 84063 ... c Min unsat cost LB: 84099 ... c Min unsat cost LB: 84223 ... c Min unsat cost LB: 84349 ... c Min unsat cost LB: 84382 ... c Min unsat cost LB: 84439 ... c Min unsat cost LB: 84454 ... c Min unsat cost LB: 84458 ... c Min unsat cost LB: 84459 ... c Min unsat cost LB: 84462 ... c Min unsat cost LB: 84547 ... c Min unsat cost LB: 84548 ... c Min unsat cost LB: 84572 ... c Min unsat cost LB: 84581 ... c Min unsat cost LB: 84639 ... c Min unsat cost LB: 84960 ... c Min unsat cost LB: 85055 ... c Min unsat cost LB: 85102 ... c Min unsat cost LB: 85110 ... c Min unsat cost LB: 85122 ... c Min unsat cost LB: 85240 ... c Min unsat cost LB: 85305 ... c Min unsat cost LB: 85334 ... c Min unsat cost LB: 85461 ... c Min unsat cost LB: 85686 ... c Min unsat cost LB: 85768 ... c Min unsat cost LB: 85825 ... c Min unsat cost LB: 85887 ... c Min unsat cost LB: 85933 ... c Min unsat cost LB: 85975 ... c Min unsat cost LB: 86020 ... c Min unsat cost LB: 86030 ... c Min unsat cost LB: 86039 ... c Min unsat cost LB: 86040 ... c Min unsat cost LB: 86041 ... c Min unsat cost LB: 86051 ... c Min unsat cost LB: 86053 ... c Min unsat cost LB: 86086 ... c Min unsat cost LB: 86095 ... c Min unsat cost LB: 86098 ... c Min unsat cost LB: 86104 ... c Min unsat cost LB: 86149 ... c Min unsat cost LB: 86150 ... c Min unsat cost LB: 86161 ... c Min unsat cost LB: 86174 ... c Min unsat cost LB: 86177 ... c Min unsat cost LB: 86183 ... c Min unsat cost LB: 86189 ... c Min unsat cost LB: 86213 ... c Min unsat cost LB: 86255 ... c Min unsat cost LB: 86256 ... c Min unsat cost LB: 86257 ... c Min unsat cost LB: 86287 ... c Min unsat cost LB: 86314 ... c Min unsat cost LB: 86320 ... c Min unsat cost LB: 86343 ... c Min unsat cost LB: 86360 ... c Min unsat cost LB: 86367 ... c Min unsat cost LB: 86368 ... c Min unsat cost LB: 86369 ... c Min unsat cost LB: 86370 ... c Min unsat cost LB: 86375 ... c Min unsat cost LB: 86391 ... c Min unsat cost LB: 86392 ... c Min unsat cost LB: 86395 ... c Min unsat cost LB: 86407 ... c Min unsat cost LB: 86409 ... c Min unsat cost LB: 86417 ... c Min unsat cost LB: 86419 ... c Min unsat cost LB: 86438 ... c Min unsat cost LB: 86454 ... c Min unsat cost LB: 86455 ... c Min unsat cost LB: 86456 ... c Min unsat cost LB: 86460 ... c Min unsat cost LB: 86461 ... c Min unsat cost LB: 86463 ... c Min unsat cost LB: 86464 ... c Min unsat cost LB: 86468 ... c Min unsat cost LB: 86471 ... c Min unsat cost LB: 86483 ... c Min unsat cost LB: 86504 ... c Min unsat cost LB: 86507 ... c Min unsat cost LB: 86520 ... c Min unsat cost LB: 86523 ... c Min unsat cost LB: 86526 ... c Min unsat cost LB: 86532 ... c Min unsat cost LB: 86533 ... c Min unsat cost LB: 86536 ... c Min unsat cost LB: 86537 ... c Min unsat cost LB: 86544 ... c Min unsat cost LB: 86545 ... c Min unsat cost LB: 86546 ... c Min unsat cost LB: 86548 ... c Min unsat cost LB: 86556 ... c Min unsat cost LB: 86561 ... c Min unsat cost LB: 86568 ... c Min unsat cost LB: 86571 ... c Min unsat cost LB: 86573 ... c Min unsat cost LB: 86574 ... c Min unsat cost LB: 86577 ... c Min unsat cost LB: 86580 ... c Min unsat cost LB: 86633 ... c Min unsat cost LB: 86649 ... c Min unsat cost LB: 86651 ... c Min unsat cost LB: 86677 ... c Min unsat cost LB: 86719 ... c Min unsat cost LB: 86729 ... c Min unsat cost LB: 86734 ... c Min unsat cost LB: 86740 ... c Min unsat cost LB: 86831 ... c Min unsat cost LB: 86841 ... c Min unsat cost LB: 86842 ... c Min unsat cost LB: 86850 ... c Min unsat cost LB: 86859 ... c Min unsat cost LB: 86873 ... c Min unsat cost LB: 87020 ... c Min unsat cost LB: 87023 ... c Min unsat cost LB: 87027 ... c Min unsat cost LB: 87062 ... c Min unsat cost LB: 87065 ... c Min unsat cost LB: 87096 ... c Min unsat cost LB: 87314 ... c Min unsat cost LB: 87328 ... c Min unsat cost LB: 87331 ... c Min unsat cost LB: 87336 ... c Min unsat cost LB: 87339 ... c Min unsat cost LB: 87341 ... c Min unsat cost LB: 87349 ... c Min unsat cost LB: 87434 ... c Min unsat cost LB: 87437 ... c Min unsat cost LB: 87458 ... c Min unsat cost LB: 87468 ... c Min unsat cost LB: 87489 ... c Min unsat cost LB: 87620 ... c Min unsat cost LB: 87651 ... c Min unsat cost LB: 87664 ... c Min unsat cost LB: 87898 ... c Min unsat cost LB: 87901 ... c Min unsat cost LB: 87906 ... c Min unsat cost LB: 87907 ... c Min unsat cost LB: 87909 ... c Min unsat cost LB: 87937 ... c Min unsat cost LB: 87985 ... c Min unsat cost LB: 87987 ... c Min unsat cost LB: 87994 ... c Min unsat cost LB: 88000 ... c Min unsat cost LB: 88006 ... c Min unsat cost LB: 88008 ... c Min unsat cost LB: 88033 ... c Min unsat cost LB: 88045 ... c Min unsat cost LB: 88051 ... c Min unsat cost LB: 88055 ... c Min unsat cost LB: 88067 ... c Min unsat cost LB: 88075 ... c Min unsat cost LB: 88076 ... c Min unsat cost LB: 88077 ... c Min unsat cost LB: 88078 ... c Min unsat cost LB: 88094 ... c Min unsat cost LB: 88096 ... c Min unsat cost LB: 88099 ... c Min unsat cost LB: 88104 ... c Min unsat cost LB: 88106 ... c Min unsat cost LB: 88107 ... c Min unsat cost LB: 88116 ... c Min unsat cost LB: 88120 ... c Min unsat cost LB: 88123 ... c Min unsat cost LB: 88126 ... c Min unsat cost LB: 88128 ... c Min unsat cost LB: 88129 ... c Min unsat cost LB: 88131 ... c Min unsat cost LB: 88133 ... c Min unsat cost LB: 88164 ... c Min unsat cost LB: 88167 ... c Min unsat cost LB: 88179 ... c Min unsat cost LB: 88192 ... c Min unsat cost LB: 88196 ... c Min unsat cost LB: 88197 ... c Min unsat cost LB: 88198 ... c Min unsat cost LB: 88199 ... c Min unsat cost LB: 88200 ... c Min unsat cost LB: 88209 ... c Min unsat cost LB: 88210 ... c Min unsat cost LB: 88211 ... c Min unsat cost LB: 88213 ... c Min unsat cost LB: 88214 ... c Min unsat cost LB: 88215 ... c Min unsat cost LB: 88216 ... c Min unsat cost LB: 88218 ... c Min unsat cost LB: 88219 ... c Min unsat cost LB: 88221 ... c Min unsat cost LB: 88222 ... c Min unsat cost LB: 88225 ... c Min unsat cost LB: 88227 ... c Min unsat cost LB: 88232 ... c Min unsat cost LB: 88238 ... c Min unsat cost LB: 88267 ... c Min unsat cost LB: 88308 ... c Min unsat cost LB: 88313 ... c Min unsat cost LB: 88316 ... c Min unsat cost LB: 88319 ... c Min unsat cost LB: 88320 ... c Min unsat cost LB: 88328 ... c Min unsat cost LB: 88339 ... c Min unsat cost LB: 88341 ... c Min unsat cost LB: 88346 ... c Min unsat cost LB: 88351 ... c Min unsat cost LB: 88352 ... c Min unsat cost LB: 88365 ... c Min unsat cost LB: 88367 ... c Min unsat cost LB: 88368 ... c Min unsat cost LB: 88388 ... c Min unsat cost LB: 88398 ... c Min unsat cost LB: 88402 ... c Min unsat cost LB: 88406 ... c Min unsat cost LB: 88407 ... c Min unsat cost LB: 88412 ... c Min unsat cost LB: 88413 ... c Min unsat cost LB: 88414 ... c Min unsat cost LB: 88415 ... c Min unsat cost LB: 88419 ... c Min unsat cost LB: 88420 ... c Min unsat cost LB: 88424 ... c Min unsat cost LB: 88426 ... c Min unsat cost LB: 88429 ... c Min unsat cost LB: 88430 ... c Min unsat cost LB: 88433 ... c Min unsat cost LB: 88435 ... c Min unsat cost LB: 88437 ... c Min unsat cost LB: 88440 ... c Min unsat cost LB: 88442 ... c Min unsat cost LB: 88443 ... c Min unsat cost LB: 88444 ... c Min unsat cost LB: 88445 ... c Min unsat cost LB: 88471 ... c Min unsat cost LB: 88472 ... c Min unsat cost LB: 88473 ... c Min unsat cost LB: 88474 ... c Min unsat cost LB: 88475 ... c Min unsat cost LB: 88476 ... c Min unsat cost LB: 88478 ... c Min unsat cost LB: 88479 ... c Min unsat cost LB: 88480 ... c Min unsat cost LB: 88481 ... c Min unsat cost LB: 88482 ... c Min unsat cost LB: 88483 ... c Min unsat cost LB: 88484 ... c Min unsat cost LB: 88485 ... c Min unsat cost LB: 88486 ... c Min unsat cost LB: 88487 ... c Min unsat cost LB: 88488 ... c Min unsat cost LB: 88489 ... c Min unsat cost LB: 88492 ... c Min unsat cost LB: 88493 ... c Min unsat cost LB: 88494 ... c Min unsat cost LB: 88514 ... c Min unsat cost LB: 88515 ... c Min unsat cost LB: 88516 ... c Min unsat cost LB: 88517 ... c Min unsat cost LB: 88518 ... c Min unsat cost LB: 88519 ... c Min unsat cost LB: 88520 ... c Min unsat cost LB: 88521 ... c Min unsat cost LB: 88522 ... c Min unsat cost LB: 88523 ... c Min unsat cost LB: 88566 ... c Min unsat cost LB: 88568 ... c Min unsat cost LB: 88572 ... c Min unsat cost LB: 88624 ... c Min unsat cost LB: 88626 ... c Min unsat cost LB: 88654 ... c Min unsat cost LB: 88785 ... c Min unsat cost LB: 88787 ... c Min unsat cost LB: 88797 ... c Min unsat cost LB: 88799 ... c Min unsat cost LB: 88801 ... c Min unsat cost LB: 88802 ... c Min unsat cost LB: 88804 ... c Min unsat cost LB: 88809 ... c Min unsat cost LB: 88812 ... c Min unsat cost LB: 88815 ... c Min unsat cost LB: 88816 ... c Min unsat cost LB: 88817 ... c Min unsat cost LB: 88827 ... c Min unsat cost LB: 88828 ... c Min unsat cost LB: 88831 ... c Min unsat cost LB: 88833 ... c Min unsat cost LB: 88842 ... c Min unsat cost LB: 88844 ... c Min unsat cost LB: 88845 ... c Min unsat cost LB: 88846 ... c Min unsat cost LB: 88852 ... c Min unsat cost LB: 88853 ... c Min unsat cost LB: 88854 ... c Min unsat cost LB: 88858 ... c Min unsat cost LB: 88860 ... c Min unsat cost LB: 88886 ... c Min unsat cost LB: 88887 ... c Min unsat cost LB: 88889 ... c Min unsat cost LB: 88890 ... c Min unsat cost LB: 88891 ... c Min unsat cost LB: 88892 ... c Min unsat cost LB: 88895 ... c Min unsat cost LB: 88896 ... c Min unsat cost LB: 88897 ... c Min unsat cost LB: 88903 ... c Min unsat cost LB: 88904 ... c Min unsat cost LB: 88908 ... c Min unsat cost LB: 88943 ... c Min unsat cost LB: 88947 ... c Min unsat cost LB: 88951 ... c Min unsat cost LB: 88952 ... c Min unsat cost LB: 88954 ... c Min unsat cost LB: 88955 ... c Min unsat cost LB: 88956 ... c Min unsat cost LB: 88957 ... c Min unsat cost LB: 88958 ... c Min unsat cost LB: 88959 ... c Min unsat cost LB: 88960 ... c Min unsat cost LB: 88961 ... c Min unsat cost LB: 88963 ... c Min unsat cost LB: 88964 ... c Min unsat cost LB: 88965 ... c Min unsat cost LB: 88966 ... c Min unsat cost LB: 88973 ... c Min unsat cost LB: 88977 ... c Min unsat cost LB: 88978 ... c Min unsat cost LB: 88981 ... c Min unsat cost LB: 88982 ... c Min unsat cost LB: 88983 ... c Min unsat cost LB: 88984 ... c Min unsat cost LB: 88985 ... c Min unsat cost LB: 88986 ... c Min unsat cost LB: 88988 ... c Min unsat cost LB: 88989 ... c Min unsat cost LB: 88990 ... c Min unsat cost LB: 88991 ... c Min unsat cost LB: 88992 ... c Min unsat cost LB: 88993 ... c Min unsat cost LB: 88994 ... c Min unsat cost LB: 88995 ... c Min unsat cost LB: 88999 ... c Min unsat cost LB: 89000 ... c Min unsat cost LB: 89003 ... c Min unsat cost LB: 89004 ... c Min unsat cost LB: 89005 ... c Min unsat cost LB: 89007 ... c Min unsat cost LB: 89008 ... c Min unsat cost LB: 89056 ... c Min unsat cost LB: 89073 ... c Min unsat cost LB: 89085 ... c Min unsat cost LB: 89118 ... c Min unsat cost LB: 89119 ... c Min unsat cost LB: 89121 ... c Min unsat cost LB: 89122 ... c Min unsat cost LB: 89125 ... c Min unsat cost LB: 89126 ... c Min unsat cost LB: 89130 ... c Min unsat cost LB: 89133 ... c Min unsat cost LB: 89148 ... c Min unsat cost LB: 89149 ... c Min unsat cost LB: 89151 ... c Min unsat cost LB: 89152 ... c Min unsat cost LB: 89178 ... c Min unsat cost LB: 89180 ... c Min unsat cost LB: 89223 ... c Min unsat cost LB: 89302 ... c Min unsat cost LB: 89315 ... c Min unsat cost LB: 89331 ... c Min unsat cost LB: 89342 ... c Min unsat cost LB: 89368 ... c Min unsat cost LB: 89370 ... c Min unsat cost LB: 89373 ... c Min unsat cost LB: 89395 ... c Min unsat cost LB: 89397 ... c Min unsat cost LB: 89410 ... c Min unsat cost LB: 89411 ... c Min unsat cost LB: 89412 ... c Min unsat cost LB: 89413 ... c Min unsat cost LB: 89414 ... c Min unsat cost LB: 89421 ... c Min unsat cost LB: 89422 ... c Min unsat cost LB: 89619 ... c Min unsat cost LB: 89642 ... c Min unsat cost LB: 89645 ... c Min unsat cost LB: 89809 ... c Min unsat cost LB: 89812 ... c Min unsat cost LB: 89985 ... c Min unsat cost LB: 89989 ... c Min unsat cost LB: 90002 ... c Min unsat cost LB: 90053 ... c Min unsat cost LB: 90056 ... c Min unsat cost LB: 90068 ... c Min unsat cost LB: 90069 ... c Min unsat cost LB: 90070 ... c Min unsat cost LB: 90071 ... c Min unsat cost LB: 90072 ... c Min unsat cost LB: 90073 ... c Min unsat cost LB: 90074 ... c Min unsat cost LB: 90077 ... c Min unsat cost LB: 90086 ... c Min unsat cost LB: 90104 ... c Min unsat cost LB: 90105 ... c Min unsat cost LB: 90112 ... c Min unsat cost LB: 90113 ... c Min unsat cost LB: 90114 ... c Min unsat cost LB: 90115 ... c Min unsat cost LB: 90116 ... c Min unsat cost LB: 90127 ... c Min unsat cost LB: 90130 ... c Min unsat cost LB: 90137 ... c Min unsat cost LB: 90138 ... c Min unsat cost LB: 90147 ... c Min unsat cost LB: 90155 ... c Min unsat cost LB: 90161 ... c Min unsat cost LB: 90166 ... c Min unsat cost LB: 90167 ... c Min unsat cost LB: 90168 ... c Min unsat cost LB: 90169 ... c Min unsat cost LB: 90170 ... c Min unsat cost LB: 90171 ... c Min unsat cost LB: 90172 ... c Min unsat cost LB: 90173 ... c Min unsat cost LB: 90174 ... c Min unsat cost LB: 90176 ... c Min unsat cost LB: 90180 ... c Min unsat cost LB: 90181 ... c Min unsat cost LB: 90183 ... c Min unsat cost LB: 90184 ... c Min unsat cost LB: 90185 ... c Min unsat cost LB: 90187 ... c Min unsat cost LB: 90188 ... c Min unsat cost LB: 90189 ... c Min unsat cost LB: 90191 ... c Min unsat cost LB: 90201 ... c Min unsat cost LB: 90223 ... c Min unsat cost LB: 90229 ... c Min unsat cost LB: 90243 ... c Min unsat cost LB: 90307 ... c Min unsat cost LB: 90308 ... c Min unsat cost LB: 90367 ... c Min unsat cost LB: 90442 ... c Min unsat cost LB: 90465 ... c Min unsat cost LB: 90468 ... c Min unsat cost LB: 90490 ... c Min unsat cost LB: 90496 ... c Min unsat cost LB: 90498 ... c Min unsat cost LB: 90507 ... c Min unsat cost LB: 90674 ... c Min unsat cost LB: 90675 ... c Min unsat cost LB: 90676 ... c Min unsat cost LB: 90677 ... c Min unsat cost LB: 90678 ... c Min unsat cost LB: 90679 ... c Min unsat cost LB: 90680 ... c Min unsat cost LB: 90683 ... c Min unsat cost LB: 90684 ... c Min unsat cost LB: 90686 ... c Min unsat cost LB: 90687 ... c Min unsat cost LB: 90688 ... c Min unsat cost LB: 90689 ... c Min unsat cost LB: 90690 ... c Min unsat cost LB: 90696 ... c Min unsat cost LB: 90699 ... c Min unsat cost LB: 90700 ... c Min unsat cost LB: 90701 ... c Min unsat cost LB: 90702 ... c Min unsat cost LB: 90703 ... c Min unsat cost LB: 90704 ... c Min unsat cost LB: 90705 ... c Min unsat cost LB: 90706 ... c Min unsat cost LB: 90707 ... c Min unsat cost LB: 90708 ... c Min unsat cost LB: 90709 ... c Min unsat cost LB: 90710 ... c Min unsat cost LB: 90711 ... c Min unsat cost LB: 90712 ... c Min unsat cost LB: 90714 ... c Min unsat cost LB: 90716 ... c Min unsat cost LB: 90724 ... c Min unsat cost LB: 90725 ... c Min unsat cost LB: 90729 ... c Min unsat cost LB: 90731 ... c Min unsat cost LB: 90743 ... c Min unsat cost LB: 90758 ... c Min unsat cost LB: 90846 ... c Min unsat cost LB: 90859 ... c Min unsat cost LB: 90861 ... c Min unsat cost LB: 90863 ... c Min unsat cost LB: 90865 ... c Min unsat cost LB: 90866 ... c Min unsat cost LB: 90868 ... c Min unsat cost LB: 90871 ... c Min unsat cost LB: 90873 ... c Min unsat cost LB: 90874 ... c Min unsat cost LB: 90877 ... c Min unsat cost LB: 90878 ... c Min unsat cost LB: 90883 ... c Min unsat cost LB: 90886 ... c Min unsat cost LB: 90887 ... c Min unsat cost LB: 90888 ... c Min unsat cost LB: 90892 ... c Min unsat cost LB: 90893 ... c Min unsat cost LB: 90894 ... c Min unsat cost LB: 90897 ... c Min unsat cost LB: 90898 ... c Min unsat cost LB: 90899 ... c Min unsat cost LB: 90900 ... c Min unsat cost LB: 90901 ... c Min unsat cost LB: 90902 ... c Min unsat cost LB: 90904 ... c Min unsat cost LB: 90905 ... c Min unsat cost LB: 90906 ... c Min unsat cost LB: 90907 ... c Min unsat cost LB: 90908 ... c Min unsat cost LB: 90909 ... c Min unsat cost LB: 90910 ... c Min unsat cost LB: 90911 ... c Min unsat cost LB: 90912 ... c Min unsat cost LB: 90913 ... c Min unsat cost LB: 90914 ... c Min unsat cost LB: 90915 ... c Min unsat cost LB: 90916 ... c Min unsat cost LB: 90917 ... c Min unsat cost LB: 90918 ... c Min unsat cost LB: 90919 ... c Min unsat cost LB: 90920 ... c Min unsat cost LB: 90921 ... c Min unsat cost LB: 90922 ... c Min unsat cost LB: 90923 ... c Min unsat cost LB: 90924 ... c Min unsat cost LB: 90925 ... c Min unsat cost LB: 90926 ... c Min unsat cost LB: 90933 ... c Min unsat cost LB: 90934 ... c Min unsat cost LB: 90935 ... c Min unsat cost LB: 90936 ... c Min unsat cost LB: 90937 ... c Min unsat cost LB: 90938 ... c Min unsat cost LB: 90939 ... c Min unsat cost LB: 90940 ... c Min unsat cost LB: 90941 ... c Min unsat cost LB: 90943 ... c Min unsat cost LB: 90944 ... c Min unsat cost LB: 91266 ... c Min unsat cost LB: 91273 ... c Min unsat cost LB: 91274 ... c Min unsat cost LB: 91275 ... c Min unsat cost LB: 91300 ... c Min unsat cost LB: 91301 ... c Min unsat cost LB: 91325 ... c Min unsat cost LB: 91326 ... c Min unsat cost LB: 91350 ... c Min unsat cost LB: 91375 ... c Min unsat cost LB: 91378 ... c Min unsat cost LB: 91433 ... c Min unsat cost LB: 91434 ... c Min unsat cost LB: 91436 ... c Min unsat cost LB: 91437 ... c Min unsat cost LB: 91438 ... c Min unsat cost LB: 91439 ... c Min unsat cost LB: 91440 ... c Min unsat cost LB: 91441 ... c Min unsat cost LB: 91444 ... c Min unsat cost LB: 91445 ... c Min unsat cost LB: 91446 ... c Min unsat cost LB: 91447 ... c Min unsat cost LB: 91456 ... c Min unsat cost LB: 91459 ... c Min unsat cost LB: 91462 ... c Min unsat cost LB: 91474 ... c Min unsat cost LB: 91476 ... c Min unsat cost LB: 91480 ... c Min unsat cost LB: 91485 ... c Min unsat cost LB: 91502 ... c Min unsat cost LB: 91509 ... c Min unsat cost LB: 91528 ... c Min unsat cost LB: 91534 ... c Min unsat cost LB: 91538 ... c Min unsat cost LB: 91539 ... c Min unsat cost LB: 91540 ... c Min unsat cost LB: 91563 ... c Min unsat cost LB: 91588 ... c Min unsat cost LB: 91589 ... c Min unsat cost LB: 91590 ... c Min unsat cost LB: 91591 ... c Min unsat cost LB: 91592 ... c Min unsat cost LB: 91596 ... c Min unsat cost LB: 91597 ... c Min unsat cost LB: 91598 ... c Min unsat cost LB: 91600 ... c Min unsat cost LB: 91601 ... c Min unsat cost LB: 91602 ... c Min unsat cost LB: 91603 ... c Min unsat cost LB: 91604 ... c Min unsat cost LB: 91606 ... c Min unsat cost LB: 91608 ... c Min unsat cost LB: 91609 ... c Min unsat cost LB: 91616 ... c Min unsat cost LB: 91617 ... c Min unsat cost LB: 91619 ... c Min unsat cost LB: 91621 ... c Min unsat cost LB: 91622 ... c Min unsat cost LB: 91742 ... c Min unsat cost LB: 91743 ... c Min unsat cost LB: 91745 ... c Min unsat cost LB: 91768 ... c Min unsat cost LB: 91769 ... c Min unsat cost LB: 91770 ... c Min unsat cost LB: 91773 ... c Min unsat cost LB: 91775 ... c Min unsat cost LB: 91776 ... c Min unsat cost LB: 91779 ... c Min unsat cost LB: 91780 ... c Min unsat cost LB: 91785 ... c Min unsat cost LB: 91786 ... c Min unsat cost LB: 91792 ... c Min unsat cost LB: 91804 ... c Min unsat cost LB: 91868 ... c Min unsat cost LB: 91869 ... c Min unsat cost LB: 91870 ... c Min unsat cost LB: 91871 ... c Min unsat cost LB: 91872 ... c Min unsat cost LB: 91873 ... c Min unsat cost LB: 91874 ... c Min unsat cost LB: 91875 ... c Min unsat cost LB: 91876 ... c Min unsat cost LB: 91877 ... c Min unsat cost LB: 91878 ... c Min unsat cost LB: 91880 ... c Min unsat cost LB: 91881 ... c Min unsat cost LB: 91882 ... c Min unsat cost LB: 91883 ... c Min unsat cost LB: 91884 ... c Min unsat cost LB: 91886 ... c Min unsat cost LB: 91887 ... c Min unsat cost LB: 91888 ... c Min unsat cost LB: 91889 ... c Min unsat cost LB: 91890 ... c Min unsat cost LB: 91891 ... c Min unsat cost LB: 91892 ... c Min unsat cost LB: 91893 ... c Min unsat cost LB: 91894 ... c Min unsat cost LB: 91895 ... c Min unsat cost LB: 91896 ... c Min unsat cost LB: 91897 ... c Min unsat cost LB: 91898 ... c Min unsat cost LB: 91899 ... c Min unsat cost LB: 91902 ... c Min unsat cost LB: 91906 ... c Min unsat cost LB: 91907 ... c Min unsat cost LB: 91908 ... c Min unsat cost LB: 91909 ... c Min unsat cost LB: 91910 ... c Min unsat cost LB: 91911 ... c Min unsat cost LB: 91912 ... c Min unsat cost LB: 91913 ... c Min unsat cost LB: 91914 ... c Min unsat cost LB: 91916 ... c Min unsat cost LB: 91917 ... c Min unsat cost LB: 91918 ... c Min unsat cost LB: 91919 ... c Min unsat cost LB: 91920 ... c Min unsat cost LB: 91921 ... c Min unsat cost LB: 91922 ... c Min unsat cost LB: 91923 ... c Min unsat cost LB: 91924 ... c Min unsat cost LB: 91926 ... c Min unsat cost LB: 91927 ... c Min unsat cost LB: 91928 ... c Min unsat cost LB: 91931 ... c Min unsat cost LB: 91932 ... c Min unsat cost LB: 91933 ... c Min unsat cost LB: 91939 ... c Min unsat cost LB: 91940 ... c Min unsat cost LB: 91941 ... c Min unsat cost LB: 91943 ... c Min unsat cost LB: 91944 ... c Min unsat cost LB: 91946 ... c Min unsat cost LB: 91947 ... c Min unsat cost LB: 91948 ... c Min unsat cost LB: 91949 ... c Min unsat cost LB: 91950 ... c Min unsat cost LB: 91964 ... c Min unsat cost LB: 91968 ... c Min unsat cost LB: 91974 ... c Min unsat cost LB: 91975 ... c Min unsat cost LB: 91983 ... c Min unsat cost LB: 91988 ... c Min unsat cost LB: 91989 ... c Min unsat cost LB: 91994 ... c Min unsat cost LB: 91995 ... c Min unsat cost LB: 92206 ... c Min unsat cost LB: 92212 ... c Min unsat cost LB: 92214 ... c Min unsat cost LB: 92216 ... c Min unsat cost LB: 92217 ... c Min unsat cost LB: 92218 ... c Min unsat cost LB: 92219 ... c Min unsat cost LB: 92220 ... c Min unsat cost LB: 92221 ... c Min unsat cost LB: 92222 ... c Min unsat cost LB: 92223 ... c Min unsat cost LB: 92224 ... c Min unsat cost LB: 92225 ... c Min unsat cost LB: 92226 ... c Min unsat cost LB: 92227 ... c Min unsat cost LB: 92228 ... c Min unsat cost LB: 92229 ... c Min unsat cost LB: 92230 ... c Min unsat cost LB: 92231 ... c Min unsat cost LB: 92232 ... c Min unsat cost LB: 92233 ... c Min unsat cost LB: 92234 ... c Min unsat cost LB: 92235 ... c Min unsat cost LB: 92267 ... c Min unsat cost LB: 92268 ... c Min unsat cost LB: 92269 ... c Min unsat cost LB: 92270 ... c Min unsat cost LB: 92271 ... c Min unsat cost LB: 92279 ... c Min unsat cost LB: 92280 ... c Min unsat cost LB: 92281 ... c Min unsat cost LB: 92282 ... c Min unsat cost LB: 92284 ... c Min unsat cost LB: 92285 ... c Min unsat cost LB: 92289 ... c Min unsat cost LB: 92290 ... c Min unsat cost LB: 92302 ... c Min unsat cost LB: 92308 ... c Min unsat cost LB: 92310 ... c Min unsat cost LB: 92311 ... c Min unsat cost LB: 92312 ... c Min unsat cost LB: 92314 ... c Min unsat cost LB: 92318 ... c Min unsat cost LB: 92322 ... c Min unsat cost LB: 92323 ... c Min unsat cost LB: 92331 ... c Min unsat cost LB: 92332 ... c Min unsat cost LB: 92333 ... c Min unsat cost LB: 92334 ... c Min unsat cost LB: 92335 ... c Min unsat cost LB: 92336 ... c Min unsat cost LB: 92337 ... c Min unsat cost LB: 92338 ... c Min unsat cost LB: 92339 ... c Min unsat cost LB: 92340 ... c Min unsat cost LB: 92341 ... c Min unsat cost LB: 92342 ... c Min unsat cost LB: 92343 ... c Min unsat cost LB: 92345 ... c Min unsat cost LB: 92346 ... c Min unsat cost LB: 92347 ... c Min unsat cost LB: 92348 ... c Min unsat cost LB: 92349 ... c Min unsat cost LB: 92353 ... c Min unsat cost LB: 92354 ... c Min unsat cost LB: 92356 ... c Min unsat cost LB: 92357 ... c Min unsat cost LB: 92358 ... c Min unsat cost LB: 92360 ... c Min unsat cost LB: 92364 ... c Min unsat cost LB: 92366 ... c Min unsat cost LB: 92367 ... c Min unsat cost LB: 92370 ... c Min unsat cost LB: 92372 ... c Min unsat cost LB: 92373 ... c Min unsat cost LB: 92376 ... c Min unsat cost LB: 92390 ... c Min unsat cost LB: 92393 ... c Min unsat cost LB: 92394 ... c Min unsat cost LB: 92401 ... c Min unsat cost LB: 92402 ... c Min unsat cost LB: 92403 ... c Min unsat cost LB: 92404 ... c Min unsat cost LB: 92406 ... c Min unsat cost LB: 92411 ... c Min unsat cost LB: 92414 ... c Min unsat cost LB: 92421 ... c Min unsat cost LB: 92431 ... c Min unsat cost LB: 92433 ... c Min unsat cost LB: 92435 ... c Min unsat cost LB: 92441 ... c Min unsat cost LB: 92449 ... c Min unsat cost LB: 92450 ... c Min unsat cost LB: 92451 ... c Min unsat cost LB: 92463 ... c Min unsat cost LB: 92464 ... c Min unsat cost LB: 92466 ... c Min unsat cost LB: 92470 ... c Min unsat cost LB: 92473 ... c Min unsat cost LB: 92474 ... c Min unsat cost LB: 92540 ... c Min unsat cost LB: 92543 ... c Min unsat cost LB: 92559 ... c Min unsat cost LB: 92560 ... c Min unsat cost LB: 92561 ... c Min unsat cost LB: 92562 ... c Min unsat cost LB: 92563 ... c Min unsat cost LB: 92564 ... c Min unsat cost LB: 92565 ... c Min unsat cost LB: 92566 ... c Min unsat cost LB: 92567 ... c Min unsat cost LB: 92568 ... c Min unsat cost LB: 92569 ... c Min unsat cost LB: 92570 ... c Min unsat cost LB: 92571 ... c Min unsat cost LB: 92572 ... c Min unsat cost LB: 92573 ... c Min unsat cost LB: 92574 ... c Min unsat cost LB: 92575 ... c Min unsat cost LB: 92576 ... c Min unsat cost LB: 92577 ... c Min unsat cost LB: 92578 ... c Min unsat cost LB: 92579 ... c Min unsat cost LB: 92581 ... c Min unsat cost LB: 92606 ... c Min unsat cost LB: 92610 ... c Min unsat cost LB: 92614 ... c Min unsat cost LB: 92640 ... c Min unsat cost LB: 92648 ... c Min unsat cost LB: 92650 ... c Min unsat cost LB: 92689 ... c Min unsat cost LB: 92692 ... c Min unsat cost LB: 92718 ... c Min unsat cost LB: 92719 ... c Min unsat cost LB: 92720 ... c Min unsat cost LB: 92722 ... c Min unsat cost LB: 92723 ... c Min unsat cost LB: 92725 ... c Min unsat cost LB: 92728 ... c Min unsat cost LB: 92730 ... c Min unsat cost LB: 92731 ... c Min unsat cost LB: 92732 ... c Min unsat cost LB: 92733 ... c Min unsat cost LB: 92734 ... c Min unsat cost LB: 92735 ... c Min unsat cost LB: 92738 ... c Min unsat cost LB: 92745 ... c Min unsat cost LB: 92751 ... c Min unsat cost LB: 92752 ... c Min unsat cost LB: 92754 ... c Min unsat cost LB: 92788 ... c Min unsat cost LB: 92791 ... c Min unsat cost LB: 92792 ... c Min unsat cost LB: 92797 ... c Min unsat cost LB: 92798 ... c Min unsat cost LB: 92799 ... c Min unsat cost LB: 92800 ... c Min unsat cost LB: 92801 ... c Min unsat cost LB: 92830 ... c Min unsat cost LB: 92835 ... c Min unsat cost LB: 92843 ... c Min unsat cost LB: 92847 ... c Min unsat cost LB: 92861 ... c Min unsat cost LB: 92875 ... c Min unsat cost LB: 92877 ... c Min unsat cost LB: 92892 ... c Min unsat cost LB: 92905 ... c Min unsat cost LB: 92909 ... c Min unsat cost LB: 92928 ... c Min unsat cost LB: 92929 ... c Min unsat cost LB: 92930 ... c Min unsat cost LB: 92931 ... c Min unsat cost LB: 92932 ... c Min unsat cost LB: 92933 ... c Min unsat cost LB: 92934 ... c Min unsat cost LB: 92935 ... c Min unsat cost LB: 92936 ... c Min unsat cost LB: 92937 ... c Min unsat cost LB: 92938 ... c Min unsat cost LB: 92939 ... c Min unsat cost LB: 92940 ... c Min unsat cost LB: 92941 ... c Min unsat cost LB: 92942 ... c Min unsat cost LB: 92943 ... c Min unsat cost LB: 92944 ... c Min unsat cost LB: 92945 ... c Min unsat cost LB: 92946 ... c Min unsat cost LB: 92947 ... c Min unsat cost LB: 92948 ... c Min unsat cost LB: 92949 ... c Min unsat cost LB: 92950 ... c Min unsat cost LB: 92951 ... c Min unsat cost LB: 92952 ... c Min unsat cost LB: 92953 ... c Min unsat cost LB: 92954 ... c Min unsat cost LB: 92955 ... c Min unsat cost LB: 92957 ... c Min unsat cost LB: 92958 ... c Min unsat cost LB: 92959 ... c Min unsat cost LB: 92966 ... c Min unsat cost LB: 92967 ... c Min unsat cost LB: 92968 ... c Min unsat cost LB: 92970 ... c Min unsat cost LB: 92971 ... c Min unsat cost LB: 92974 ... c Min unsat cost LB: 92975 ... c Min unsat cost LB: 92976 ... c Min unsat cost LB: 92977 ... c Min unsat cost LB: 92978 ... c Min unsat cost LB: 92979 ... c Min unsat cost LB: 92980 ... c Min unsat cost LB: 92981 ... c Min unsat cost LB: 92982 ... c Min unsat cost LB: 92983 ... c Min unsat cost LB: 92984 ... c Min unsat cost LB: 92985 ... c Min unsat cost LB: 92986 ... c Min unsat cost LB: 92987 ... c Min unsat cost LB: 92989 ... c Min unsat cost LB: 92991 ... c Min unsat cost LB: 92993 ... c Min unsat cost LB: 92994 ... c Min unsat cost LB: 92995 ... c Min unsat cost LB: 92996 ... c Min unsat cost LB: 92997 ... c Min unsat cost LB: 92999 ... c Min unsat cost LB: 93000 ... c Min unsat cost LB: 93001 ... c Min unsat cost LB: 93002 ... c Min unsat cost LB: 93003 ... c Min unsat cost LB: 93004 ... c Min unsat cost LB: 93005 ... c Min unsat cost LB: 93006 ... c Min unsat cost LB: 93007 ... c Min unsat cost LB: 93008 ... c Min unsat cost LB: 93009 ... c Min unsat cost LB: 93010 ... c Min unsat cost LB: 93011 ... c Min unsat cost LB: 93012 ... c Min unsat cost LB: 93026 ... c Min unsat cost LB: 93027 ... c Min unsat cost LB: 93033 ... c Min unsat cost LB: 93034 ... c Min unsat cost LB: 93035 ... c Min unsat cost LB: 93036 ... c Min unsat cost LB: 93037 ... c Min unsat cost LB: 93045 ... c Min unsat cost LB: 93046 ... c Min unsat cost LB: 93048 ... c Min unsat cost LB: 93049 ... c Min unsat cost LB: 93052 ... c Min unsat cost LB: 93055 ... c Min unsat cost LB: 93056 ... c Min unsat cost LB: 93057 ... c Min unsat cost LB: 93058 ... c Min unsat cost LB: 93059 ... c Min unsat cost LB: 93060 ... c Min unsat cost LB: 93064 ... c Min unsat cost LB: 93065 ... c Min unsat cost LB: 93066 ... c Min unsat cost LB: 93067 ... c Min unsat cost LB: 93068 ... c Min unsat cost LB: 93072 ... c Min unsat cost LB: 93073 ... c Min unsat cost LB: 93078 ... c Min unsat cost LB: 93079 ... c Min unsat cost LB: 93080 ... c Min unsat cost LB: 93081 ... c Min unsat cost LB: 93082 ... c Min unsat cost LB: 93083 ... c Min unsat cost LB: 93084 ... c Min unsat cost LB: 93085 ... c Min unsat cost LB: 93086 ... c Min unsat cost LB: 93092 ... c Min unsat cost LB: 93095 ... c Min unsat cost LB: 93099 ... c Min unsat cost LB: 93100 ... c Min unsat cost LB: 93101 ... c Min unsat cost LB: 93104 ... c Min unsat cost LB: 93110 ... c Min unsat cost LB: 93113 ... c Min unsat cost LB: 93114 ... c Min unsat cost LB: 93115 ... c Min unsat cost LB: 93116 ... c Min unsat cost LB: 93117 ... c Min unsat cost LB: 93118 ... c Min unsat cost LB: 93119 ... c Min unsat cost LB: 93120 ... c Min unsat cost LB: 93121 ... c Min unsat cost LB: 93122 ... c Min unsat cost LB: 93123 ... c Min unsat cost LB: 93124 ... c Min unsat cost LB: 93125 ... c Min unsat cost LB: 93126 ... c Min unsat cost LB: 93127 ... c Min unsat cost LB: 93128 ... c Min unsat cost LB: 93129 ... c Min unsat cost LB: 93130 ... c Min unsat cost LB: 93140 ... c Min unsat cost LB: 93141 ... c Min unsat cost LB: 93142 ... c Min unsat cost LB: 93143 ... c Min unsat cost LB: 93144 ... c Min unsat cost LB: 93146 ... c Min unsat cost LB: 93147 ... c Min unsat cost LB: 93148 ... c Min unsat cost LB: 93149 ... c Min unsat cost LB: 93151 ... c Min unsat cost LB: 93155 ... c Min unsat cost LB: 93170 ... c Min unsat cost LB: 93171 ... c Min unsat cost LB: 93201 ... c Min unsat cost LB: 93202 ... c Min unsat cost LB: 93203 ... c Min unsat cost LB: 93204 ... c Min unsat cost LB: 93206 ... c Min unsat cost LB: 93207 ... c Min unsat cost LB: 93208 ... c Min unsat cost LB: 93209 ... c Min unsat cost LB: 93210 ... c Min unsat cost LB: 93211 ... c Min unsat cost LB: 93222 ... c Min unsat cost LB: 93224 ... c Min unsat cost LB: 93225 ... c Min unsat cost LB: 93226 ... c Min unsat cost LB: 93227 ... c Min unsat cost LB: 93232 ... c Min unsat cost LB: 93234 ... c Min unsat cost LB: 93235 ... c Min unsat cost LB: 93236 ... c Min unsat cost LB: 93237 ... c Min unsat cost LB: 93238 ... c Min unsat cost LB: 93239 ... c Min unsat cost LB: 93249 ... c Min unsat cost LB: 93250 ... c Min unsat cost LB: 93251 ... c Min unsat cost LB: 93252 ... c Min unsat cost LB: 93253 ... c Min unsat cost LB: 93254 ... c Min unsat cost LB: 93255 ... c Min unsat cost LB: 93256 ... c Min unsat cost LB: 93257 ... c Min unsat cost LB: 93258 ... c Min unsat cost LB: 93259 ... c Min unsat cost LB: 93260 ... c Min unsat cost LB: 93261 ... c Min unsat cost LB: 93262 ... c Min unsat cost LB: 93267 ... c Min unsat cost LB: 93268 ... c Min unsat cost LB: 93269 ... c Min unsat cost LB: 93270 ... c Min unsat cost LB: 93274 ... c Min unsat cost LB: 93275 ... c Min unsat cost LB: 93276 ... c Min unsat cost LB: 93277 ... c Min unsat cost LB: 93279 ... c Min unsat cost LB: 93280 ... c Min unsat cost LB: 93281 ... c Min unsat cost LB: 93282 ... c Min unsat cost LB: 93283 ... c Min unsat cost LB: 93284 ... c Min unsat cost LB: 93285 ... c Min unsat cost LB: 93286 ... c Min unsat cost LB: 93287 ... c Min unsat cost LB: 93288 ... c Min unsat cost LB: 93335 ... c Min unsat cost LB: 93338 ... c Min unsat cost LB: 93339 ... c Min unsat cost LB: 93340 ... c Min unsat cost LB: 93349 ... c Min unsat cost LB: 93352 ... c Min unsat cost LB: 93368 ... c Min unsat cost LB: 93371 ... c Min unsat cost LB: 93372 ... c Min unsat cost LB: 93373 ... c Min unsat cost LB: 93374 ... c Min unsat cost LB: 93375 ... c Min unsat cost LB: 93376 ... c Min unsat cost LB: 93378 ... c Min unsat cost LB: 93379 ... c Min unsat cost LB: 93380 ... c Min unsat cost LB: 93381 ... c Min unsat cost LB: 93382 ... c Min unsat cost LB: 93383 ... c Min unsat cost LB: 93384 ... c Min unsat cost LB: 93386 ... c Min unsat cost LB: 93387 ... c Min unsat cost LB: 93389 ... c Min unsat cost LB: 93390 ... c Min unsat cost LB: 93391 ... c Min unsat cost LB: 93392 ... c Min unsat cost LB: 93393 ... c Min unsat cost LB: 93394 ... c Min unsat cost LB: 93395 ... c Min unsat cost LB: 93396 ... c Min unsat cost LB: 93397 ... c Min unsat cost LB: 93398 ... c Min unsat cost LB: 93399 ... c Min unsat cost LB: 93400 ... c Min unsat cost LB: 93401 ... c Min unsat cost LB: 93402 ... c Min unsat cost LB: 93403 ... c Min unsat cost LB: 93404 ... c Min unsat cost LB: 93405 ... c Min unsat cost LB: 93406 ... c Min unsat cost LB: 93407 ... c Min unsat cost LB: 93408 ... c Min unsat cost LB: 93409 ... c Min unsat cost LB: 93410 ... c Min unsat cost LB: 93411 ... c Min unsat cost LB: 93412 ... c Min unsat cost LB: 93413 ... c Min unsat cost LB: 93414 ... c Min unsat cost LB: 93415 ... c Min unsat cost LB: 93418 ... c Min unsat cost LB: 93419 ... c Min unsat cost LB: 93420 ... c Min unsat cost LB: 93421 ... c Min unsat cost LB: 93422 ... c Min unsat cost LB: 93423 ... c Min unsat cost LB: 93424 ... c Min unsat cost LB: 93425 ... c Min unsat cost LB: 93426 ... c Min unsat cost LB: 93427 ... c Min unsat cost LB: 93429 ... c Min unsat cost LB: 93430 ... c Min unsat cost LB: 93431 ... c Min unsat cost LB: 93432 ... c Min unsat cost LB: 93433 ... c Min unsat cost LB: 93434 ... c Min unsat cost LB: 93435 ... c Min unsat cost LB: 93436 ... c Min unsat cost LB: 93437 ... c Min unsat cost LB: 93438 ... c Min unsat cost LB: 93439 ... c Min unsat cost LB: 93440 ... c Min unsat cost LB: 93441 ... c Min unsat cost LB: 93442 ... c Min unsat cost LB: 93443 ... c Min unsat cost LB: 93444 ... c Min unsat cost LB: 93445 ... c Min unsat cost LB: 93446 ... c Min unsat cost LB: 93447 ... c Min unsat cost LB: 93448 ... c Min unsat cost LB: 93449 ... c Min unsat cost LB: 93450 ... c Min unsat cost LB: 93451 ... c Min unsat cost LB: 93452 ... c Min unsat cost LB: 93453 ... c Min unsat cost LB: 93454 ... c Min unsat cost LB: 93455 ... c Min unsat cost LB: 93456 ... c Min unsat cost LB: 93457 ... c Min unsat cost LB: 93458 ... c Min unsat cost LB: 93459 ... c Min unsat cost LB: 93460 ... c Min unsat cost LB: 93461 ... c Min unsat cost LB: 93462 ... c Min unsat cost LB: 93463 ... c Min unsat cost LB: 93464 ... c Min unsat cost LB: 93465 ... c Min unsat cost LB: 93466 ... c Min unsat cost LB: 93477 ... c Min unsat cost LB: 93478 ... c Min unsat cost LB: 93479 ... c Min unsat cost LB: 93480 ... c Min unsat cost LB: 93481 ... c Min unsat cost LB: 93482 ... c Min unsat cost LB: 93483 ... c Min unsat cost LB: 93484 ... c Min unsat cost LB: 93487 ... c Min unsat cost LB: 93488 ... c Min unsat cost LB: 93489 ... c Min unsat cost LB: 93490 ... c Min unsat cost LB: 93491 ... c Min unsat cost LB: 93492 ... c Min unsat cost LB: 93493 ... c Min unsat cost LB: 93494 ... c Min unsat cost LB: 93495 ... c Min unsat cost LB: 93496 ... c Min unsat cost LB: 93497 ... c Min unsat cost LB: 93498 ... c Min unsat cost LB: 93499 ... c Min unsat cost LB: 93500 ... c Min unsat cost LB: 93501 ... c Min unsat cost LB: 93502 ... c Min unsat cost LB: 93503 ... c Min unsat cost LB: 93504 ... c Min unsat cost LB: 93505 ... c Min unsat cost LB: 93506 ... c Min unsat cost LB: 93507 ... c Min unsat cost LB: 93508 ... c Min unsat cost LB: 93509 ... c Min unsat cost LB: 93510 ... c Min unsat cost LB: 93511 ... c Min unsat cost LB: 93512 ... c Min unsat cost LB: 93513 ... c Min unsat cost LB: 93514 ... c Min unsat cost LB: 93515 ... c Min unsat cost LB: 93516 ... c Min unsat cost LB: 93517 ... c Min unsat cost LB: 93518 ... c Min unsat cost LB: 93519 ... c Min unsat cost LB: 93520 ... c Min unsat cost LB: 93521 ... c Min unsat cost LB: 93522 ... c Min unsat cost LB: 93523 ... c Min unsat cost LB: 93524 ... c Min unsat cost LB: 93525 ... c Min unsat cost LB: 93526 ... c Min unsat cost LB: 93527 ... c Min unsat cost LB: 93528 ... c Min unsat cost LB: 93529 ... c Min unsat cost LB: 93530 ... c Min unsat cost LB: 93531 ... c Min unsat cost LB: 93532 ... c Min unsat cost LB: 93533 ... c Min unsat cost LB: 93534 ... c Min unsat cost LB: 93535 ... c Min unsat cost LB: 93536 ... c Min unsat cost LB: 93537 ... c Min unsat cost LB: 93538 ... c Min unsat cost LB: 93539 ... c Min unsat cost LB: 93540 ... c Min unsat cost LB: 93541 ... c Min unsat cost LB: 93542 ... c Min unsat cost LB: 93543 ... c Min unsat cost LB: 93544 ... c Min unsat cost LB: 93545 ... c Min unsat cost LB: 93546 ... c Min unsat cost LB: 93547 ... c Min unsat cost LB: 93548 ... c Min unsat cost LB: 93549 ... c Min unsat cost LB: 93550 ... c Min unsat cost LB: 93551 ... c Min unsat cost LB: 93552 ... c Min unsat cost LB: 93553 ... c Min unsat cost LB: 93554 ... c Min unsat cost LB: 93555 ... c Min unsat cost LB: 93556 ... c Min unsat cost LB: 93557 ... c Min unsat cost LB: 93558 ... c Min unsat cost LB: 93559 ... c Min unsat cost LB: 93560 ... c Min unsat cost LB: 93561 ... c Min unsat cost LB: 93562 ... c Min unsat cost LB: 93563 ... c Min unsat cost LB: 93564 ... c Min unsat cost LB: 93565 ... c Min unsat cost LB: 93566 ... c Min unsat cost LB: 93567 ... c Min unsat cost LB: 93568 ... c Min unsat cost LB: 93569 ... c Min unsat cost LB: 93570 ... c Min unsat cost LB: 93571 ... c Min unsat cost LB: 93572 ... c Min unsat cost LB: 93573 ... c Min unsat cost LB: 93574 ... c Min unsat cost LB: 93575 ... c Min unsat cost LB: 93576 ... c Min unsat cost LB: 93577 ... c Min unsat cost LB: 93578 ... c Min unsat cost LB: 93579 ... c Min unsat cost LB: 93580 ... c Min unsat cost LB: 93581 ... c Min unsat cost LB: 93582 ... c Min unsat cost LB: 93583 ... c Min unsat cost LB: 93584 ... c Min unsat cost LB: 93585 ... c Min unsat cost LB: 93586 ... c Min unsat cost LB: 93587 ... c Min unsat cost LB: 93588 ... c Min unsat cost LB: 93589 ... c Min unsat cost LB: 93590 ... c Min unsat cost LB: 93591 ... c Min unsat cost LB: 93592 ... c Min unsat cost LB: 93593 ... c Min unsat cost LB: 93594 ... c Min unsat cost LB: 93595 ... c Min unsat cost LB: 93596 ... c Min unsat cost LB: 93597 ... c Min unsat cost LB: 93599 ... c Min unsat cost LB: 93600 ... c Min unsat cost LB: 93601 ... c Min unsat cost LB: 93602 ... c Min unsat cost LB: 93603 ... c Min unsat cost LB: 93605 ... c Min unsat cost LB: 93606 ... c Min unsat cost LB: 93607 ... c Min unsat cost LB: 93608 ... c Min unsat cost LB: 93609 ... c Min unsat cost LB: 93610 ... c Min unsat cost LB: 93611 ... c Min unsat cost LB: 93612 ... c Min unsat cost LB: 93613 ... c Min unsat cost LB: 93614 ... c Min unsat cost LB: 93618 ... c Min unsat cost LB: 93619 ... c Min unsat cost LB: 93620 ... c Min unsat cost LB: 93621 ... c Min unsat cost LB: 93622 ... c Min unsat cost LB: 93623 ... c Min unsat cost LB: 93624 ... c Min unsat cost LB: 93625 ... c Min unsat cost LB: 93626 ... c Min unsat cost LB: 93627 ... c Min unsat cost LB: 93628 ... c Min unsat cost LB: 93629 ... c Min unsat cost LB: 93630 ... c Min unsat cost LB: 93661 ... c Min unsat cost LB: 93662 ... c Min unsat cost LB: 93663 ... c Min unsat cost LB: 93664 ... c Min unsat cost LB: 93665 ... c Min unsat cost LB: 93666 ... c Min unsat cost LB: 93669 ... c Min unsat cost LB: 93670 ... c Min unsat cost LB: 93671 ... c Min unsat cost LB: 93672 ... c Min unsat cost LB: 93673 ... c Min unsat cost LB: 93674 ... c Min unsat cost LB: 93675 ... c Min unsat cost LB: 93676 ... c Min unsat cost LB: 93677 ... c Min unsat cost LB: 93678 ... c Min unsat cost LB: 93679 ... c Min unsat cost LB: 93680 ... c Min unsat cost LB: 93681 ... c Min unsat cost LB: 93682 ... c Min unsat cost LB: 93683 ... c Min unsat cost LB: 93684 ... c Min unsat cost LB: 93685 ... c Min unsat cost LB: 93686 ... c Min unsat cost LB: 93687 ... c Min unsat cost LB: 93688 ... c Min unsat cost LB: 93689 ... c Min unsat cost LB: 93690 ... c Min unsat cost LB: 93691 ... c Min unsat cost LB: 93692 ... c Min unsat cost LB: 93693 ... c Min unsat cost LB: 93694 ... c Min unsat cost LB: 93695 ... c Min unsat cost LB: 93707 ... c Min unsat cost LB: 93708 ... c Min unsat cost LB: 93709 ... c Min unsat cost LB: 93710 ... c Min unsat cost LB: 93711 ... c Min unsat cost LB: 93712 ... c Min unsat cost LB: 93713 ... c Min unsat cost LB: 93714 ... c Min unsat cost LB: 93715 ... c Min unsat cost LB: 93716 ... c Min unsat cost LB: 93717 ... c Min unsat cost LB: 93718 ... c Min unsat cost LB: 93719 ... c Min unsat cost LB: 93720 ... c Min unsat cost LB: 93721 ... c Min unsat cost LB: 93722 ... c Min unsat cost LB: 93723 ... c Min unsat cost LB: 93724 ... c Min unsat cost LB: 93725 ... c Min unsat cost LB: 93726 ... c Min unsat cost LB: 93727 ... c Min unsat cost LB: 93730 ... c Min unsat cost LB: 93731 ... c Min unsat cost LB: 93747 ... c Min unsat cost LB: 93753 ... c Min unsat cost LB: 93754 ... c Min unsat cost LB: 93755 ... c Min unsat cost LB: 93756 ... c Min unsat cost LB: 93757 ... c Min unsat cost LB: 93758 ... c Min unsat cost LB: 93759 ... c Min unsat cost LB: 93760 ... c Min unsat cost LB: 93761 ... c Min unsat cost LB: 93762 ... c Min unsat cost LB: 93763 ... c Min unsat cost LB: 93764 ... c Min unsat cost LB: 93765 ... c Min unsat cost LB: 93766 ... c Min unsat cost LB: 93767 ... c Min unsat cost LB: 93768 ... c Min unsat cost LB: 93769 ... c Min unsat cost LB: 93770 ... c Min unsat cost LB: 93771 ... c Min unsat cost LB: 93772 ... c Min unsat cost LB: 93774 ... c Min unsat cost LB: 93775 ... c Min unsat cost LB: 93776 ... c Min unsat cost LB: 93777 ... c Min unsat cost LB: 93781 ... c Min unsat cost LB: 93783 ... c Min unsat cost LB: 93785 ... c Min unsat cost LB: 93786 ... c Min unsat cost LB: 93789 ... c Min unsat cost LB: 93790 ... c Min unsat cost LB: 93791 ... c Min unsat cost LB: 93792 ... c Min unsat cost LB: 93793 ... c Min unsat cost LB: 93794 ... c Min unsat cost LB: 93795 ... c Min unsat cost LB: 93796 ... c Min unsat cost LB: 93799 ... c Min unsat cost LB: 93800 ... c Min unsat cost LB: 93801 ... c Min unsat cost LB: 93802 ... c Min unsat cost LB: 93803 ... c Min unsat cost LB: 93804 ... c Min unsat cost LB: 93805 ... c Min unsat cost LB: 93806 ... c Min unsat cost LB: 93807 ... c Min unsat cost LB: 93929 ... c Min unsat cost LB: 93951 ... c Min unsat cost LB: 93954 ... c Min unsat cost LB: 93955 ... c Min unsat cost LB: 93956 ... c Min unsat cost LB: 93957 ... c Min unsat cost LB: 93958 ... c Min unsat cost LB: 93959 ... c Min unsat cost LB: 93962 ... c Min unsat cost LB: 93964 ... c Min unsat cost LB: 93965 ... c Min unsat cost LB: 93966 ... c Min unsat cost LB: 93967 ... c Min unsat cost LB: 93968 ... c Min unsat cost LB: 93969 ... c Min unsat cost LB: 93970 ... c Min unsat cost LB: 93977 ... c Min unsat cost LB: 93998 ... c Min unsat cost LB: 93999 ... c Min unsat cost LB: 94013 ... c Min unsat cost LB: 94014 ... c Min unsat cost LB: 94015 ... c Min unsat cost LB: 94016 ... c Min unsat cost LB: 94017 ... c Min unsat cost LB: 94018 ... c Min unsat cost LB: 94019 ... c Min unsat cost LB: 94020 ... c Min unsat cost LB: 94021 ... c Min unsat cost LB: 94022 ... c Min unsat cost LB: 94023 ... c Min unsat cost LB: 94024 ... c Min unsat cost LB: 94025 ... c Min unsat cost LB: 94026 ... c Min unsat cost LB: 94027 ... c Min unsat cost LB: 94028 ... c Min unsat cost LB: 94029 ... c Min unsat cost LB: 94030 ... c Min unsat cost LB: 94031 ... c Min unsat cost LB: 94032 ... c Min unsat cost LB: 94033 ... c Min unsat cost LB: 94034 ... c Min unsat cost LB: 94035 ... c Min unsat cost LB: 94036 ... c Min unsat cost LB: 94037 ... c Min unsat cost LB: 94041 ... c Min unsat cost LB: 94042 ... c Min unsat cost LB: 94043 ... c Min unsat cost LB: 94044 ... c Min unsat cost LB: 94045 ... c Min unsat cost LB: 94046 ... c Min unsat cost LB: 94047 ... c Min unsat cost LB: 94048 ... c Min unsat cost LB: 94049 ... c Min unsat cost LB: 94050 ... c Min unsat cost LB: 94051 ... c Min unsat cost LB: 94052 ... c Min unsat cost LB: 94053 ... c Min unsat cost LB: 94054 ... c Min unsat cost LB: 94055 ... c Min unsat cost LB: 94056 ... c Min unsat cost LB: 94057 ... c Min unsat cost LB: 94058 ... c Min unsat cost LB: 94059 ... c Min unsat cost LB: 94060 ... c Min unsat cost LB: 94061 ... c Min unsat cost LB: 94062 ... c Min unsat cost LB: 94063 ... c Min unsat cost LB: 94073 ... c Min unsat cost LB: 94074 ... c Min unsat cost LB: 94075 ... c Min unsat cost LB: 94076 ... c Min unsat cost LB: 94077 ... c Min unsat cost LB: 94078 ... c Min unsat cost LB: 94081 ... c Min unsat cost LB: 94082 ... c Min unsat cost LB: 94083 ... c Min unsat cost LB: 94084 ... c Min unsat cost LB: 94085 ... c Min unsat cost LB: 94086 ... c Min unsat cost LB: 94087 ... c Min unsat cost LB: 94088 ... c Min unsat cost LB: 94089 ... c Min unsat cost LB: 94090 ... c Min unsat cost LB: 94091 ... c Min unsat cost LB: 94093 ... c Min unsat cost LB: 94094 ... c Min unsat cost LB: 94095 ... c Min unsat cost LB: 94096 ... c Min unsat cost LB: 94097 ... c Min unsat cost LB: 94098 ... c Min unsat cost LB: 94099 ... c Min unsat cost LB: 94100 ... c Min unsat cost LB: 94101 ... c Min unsat cost LB: 94103 ... c Min unsat cost LB: 94104 ... c Min unsat cost LB: 94105 ... c Min unsat cost LB: 94106 ... c Min unsat cost LB: 94107 ... c Min unsat cost LB: 94108 ... c Min unsat cost LB: 94109 ... c Min unsat cost LB: 94110 ... c Min unsat cost LB: 94111 ... c Min unsat cost LB: 94112 ... c Min unsat cost LB: 94113 ... c Min unsat cost LB: 94114 ... c Min unsat cost LB: 94115 ... c Min unsat cost LB: 94116 ... c Min unsat cost LB: 94117 ... c Min unsat cost LB: 94118 ... c Min unsat cost LB: 94119 ... c Min unsat cost LB: 94120 ... c Min unsat cost LB: 94121 ... c Min unsat cost LB: 94122 ... c Min unsat cost LB: 94123 ... c Min unsat cost LB: 94124 ... c Min unsat cost LB: 94126 ... c Min unsat cost LB: 94128 ... c Min unsat cost LB: 94129 ... c Min unsat cost LB: 94130 ... c Min unsat cost LB: 94133 ... c Min unsat cost LB: 94134 ... c Min unsat cost LB: 94135 ... c Min unsat cost LB: 94136 ... c Min unsat cost LB: 94137 ... c Min unsat cost LB: 94138 ... c Min unsat cost LB: 94139 ... c Min unsat cost LB: 94140 ... c Min unsat cost LB: 94141 ... c Min unsat cost LB: 94142 ... c Min unsat cost LB: 94143 ... c Min unsat cost LB: 94144 ... c Min unsat cost LB: 94145 ... c Min unsat cost LB: 94146 ... c Min unsat cost LB: 94147 ... c Min unsat cost LB: 94148 ... c Min unsat cost LB: 94149 ... c Min unsat cost LB: 94152 ... c Min unsat cost LB: 94153 ... c Min unsat cost LB: 94158 ... c Min unsat cost LB: 94160 ... c Min unsat cost LB: 94168 ... c Min unsat cost LB: 94189 ... c Min unsat cost LB: 94190 ... c Min unsat cost LB: 94191 ... c Min unsat cost LB: 94192 ... c Min unsat cost LB: 94193 ... c Min unsat cost LB: 94194 ... c Min unsat cost LB: 94195 ... c Min unsat cost LB: 94196 ... c Min unsat cost LB: 94197 ... c Min unsat cost LB: 94198 ... c Min unsat cost LB: 94199 ... c Min unsat cost LB: 94200 ... c Min unsat cost LB: 94201 ... c Min unsat cost LB: 94202 ... c Min unsat cost LB: 94203 ... c Min unsat cost LB: 94205 ... c Min unsat cost LB: 94206 ... c Min unsat cost LB: 94207 ... c Min unsat cost LB: 94208 ... c Min unsat cost LB: 94213 ... c Min unsat cost LB: 94214 ... c Min unsat cost LB: 94215 ... c Min unsat cost LB: 94216 ... c Min unsat cost LB: 94217 ... c Min unsat cost LB: 94218 ... c Min unsat cost LB: 94219 ... c Min unsat cost LB: 94220 ... c Min unsat cost LB: 94221 ... c Min unsat cost LB: 94222 ... c Min unsat cost LB: 94223 ... c Min unsat cost LB: 94224 ... c Min unsat cost LB: 94225 ... c Min unsat cost LB: 94226 ... c Min unsat cost LB: 94227 ... c Min unsat cost LB: 94228 ... c Min unsat cost LB: 94229 ... c Min unsat cost LB: 94230 ... c Min unsat cost LB: 94231 ... c Min unsat cost LB: 94232 ... c Min unsat cost LB: 94233 ... c Min unsat cost LB: 94234 ... c Min unsat cost LB: 94235 ... c Min unsat cost LB: 94236 ... c Min unsat cost LB: 94237 ... c Min unsat cost LB: 94238 ... c Min unsat cost LB: 94239 ... c Min unsat cost LB: 94240 ... c Min unsat cost LB: 94241 ... c Min unsat cost LB: 94242 ... c Min unsat cost LB: 94243 ... c Min unsat cost LB: 94244 ... c Min unsat cost LB: 94245 ... c Min unsat cost LB: 94246 ... c Min unsat cost LB: 94247 ... c Min unsat cost LB: 94248 ... c Min unsat cost LB: 94249 ... c Min unsat cost LB: 94250 ... c Min unsat cost LB: 94251 ... c Min unsat cost LB: 94252 ... c Min unsat cost LB: 94253 ... c Min unsat cost LB: 94254 ... c Min unsat cost LB: 94255 ... c Min unsat cost LB: 94256 ... c Min unsat cost LB: 94257 ... c Min unsat cost LB: 94258 ... c Min unsat cost LB: 94259 ... c Min unsat cost LB: 94260 ... c Min unsat cost LB: 94261 ... c Min unsat cost LB: 94262 ... c Min unsat cost LB: 94263 ... c Min unsat cost LB: 94264 ... c Min unsat cost LB: 94265 ... c Min unsat cost LB: 94266 ... c Min unsat cost LB: 94267 ... c Min unsat cost LB: 94268 ... c Min unsat cost LB: 94269 ... c Min unsat cost LB: 94270 ... c Min unsat cost LB: 94271 ... c Min unsat cost LB: 94272 ... c Min unsat cost LB: 94273 ... c Min unsat cost LB: 94274 ... c Min unsat cost LB: 94275 ... c Min unsat cost LB: 94276 ... c Min unsat cost LB: 94277 ... c Min unsat cost LB: 94281 ... c Min unsat cost LB: 94282 ... c Min unsat cost LB: 94283 ... c Min unsat cost LB: 94285 ... c Min unsatKilled 1816.229u 3.504s 30:23.45 99.7% 0+0k 0+0io 0pf+0w