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_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0005.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_0005.txt.wcnf *** c c Min unsat cost LB: 1903 ... c Min unsat cost LB: 3806 ... c Min unsat cost LB: 3900 ... c Min unsat cost LB: 3994 ... c Min unsat cost LB: 4438 ... c Min unsat cost LB: 4532 ... c Min unsat cost LB: 4626 ... c Min unsat cost LB: 4720 ... c Min unsat cost LB: 6341 ... c Min unsat cost LB: 8244 ... c Min unsat cost LB: 9959 ... c Min unsat cost LB: 10403 ... c Min unsat cost LB: 12306 ... c Min unsat cost LB: 12750 ... c Min unsat cost LB: 13194 ... c Min unsat cost LB: 15097 ... c Min unsat cost LB: 15379 ... c Min unsat cost LB: 15473 ... c Min unsat cost LB: 17376 ... c Min unsat cost LB: 17820 ... c Min unsat cost LB: 19723 ... c Min unsat cost LB: 20167 ... c Min unsat cost LB: 22070 ... c Min unsat cost LB: 22514 ... c Min unsat cost LB: 22991 ... c Min unsat cost LB: 24697 ... c Min unsat cost LB: 25141 ... c Min unsat cost LB: 27044 ... c Min unsat cost LB: 27137 ... c Min unsat cost LB: 27581 ... c Min unsat cost LB: 27601 ... c Min unsat cost LB: 29060 ... c Min unsat cost LB: 30766 ... c Min unsat cost LB: 32669 ... c Min unsat cost LB: 33113 ... c Min unsat cost LB: 33206 ... c Min unsat cost LB: 33650 ... c Min unsat cost LB: 33781 ... c Min unsat cost LB: 34225 ... c Min unsat cost LB: 34245 ... c Min unsat cost LB: 34689 ... c Min unsat cost LB: 35133 ... c Min unsat cost LB: 35597 ... c Min unsat cost LB: 36021 ... c Min unsat cost LB: 36061 ... c Min unsat cost LB: 36155 ... c Min unsat cost LB: 36619 ... c Min unsat cost LB: 36932 ... c Min unsat cost LB: 37083 ... c Min unsat cost LB: 37547 ... c Min unsat cost LB: 38011 ... c Min unsat cost LB: 38475 ... c Min unsat cost LB: 38932 ... c Min unsat cost LB: 39336 ... c Min unsat cost LB: 41239 ... c Min unsat cost LB: 41299 ... c Min unsat cost LB: 41592 ... c Min unsat cost LB: 41612 ... c Min unsat cost LB: 42076 ... c Min unsat cost LB: 42520 ... c Min unsat cost LB: 42527 ... c Min unsat cost LB: 42971 ... c Min unsat cost LB: 43395 ... c Min unsat cost LB: 43859 ... c Min unsat cost LB: 43899 ... c Min unsat cost LB: 44272 ... c Min unsat cost LB: 44736 ... c Min unsat cost LB: 45109 ... c Min unsat cost LB: 45442 ... c Min unsat cost LB: 45906 ... c Min unsat cost LB: 46437 ... c Min unsat cost LB: 46770 ... c Min unsat cost LB: 47234 ... c Min unsat cost LB: 47698 ... c Min unsat cost LB: 47899 ... c Min unsat cost LB: 48363 ... c Min unsat cost LB: 48594 ... c Min unsat cost LB: 49058 ... c Min unsat cost LB: 49078 ... c Min unsat cost LB: 49542 ... c Min unsat cost LB: 50006 ... c Min unsat cost LB: 51855 ... c Min unsat cost LB: 52252 ... c Min unsat cost LB: 52299 ... c Min unsat cost LB: 52743 ... c Min unsat cost LB: 53187 ... c Min unsat cost LB: 53537 ... c Min unsat cost LB: 53631 ... c Min unsat cost LB: 54095 ... c Min unsat cost LB: 54539 ... c Min unsat cost LB: 54751 ... c Min unsat cost LB: 55195 ... c Min unsat cost LB: 55528 ... c Min unsat cost LB: 55861 ... c Min unsat cost LB: 55935 ... c Min unsat cost LB: 56123 ... c Min unsat cost LB: 56456 ... c Min unsat cost LB: 56735 ... c Min unsat cost LB: 56900 ... c Min unsat cost LB: 57068 ... c Min unsat cost LB: 57384 ... c Min unsat cost LB: 57465 ... c Min unsat cost LB: 57677 ... c Min unsat cost LB: 57893 ... c Min unsat cost LB: 58357 ... c Min unsat cost LB: 58569 ... c Min unsat cost LB: 58781 ... c Min unsat cost LB: 58993 ... c Min unsat cost LB: 59457 ... c Min unsat cost LB: 59901 ... c Min unsat cost LB: 60113 ... c Min unsat cost LB: 60557 ... c Min unsat cost LB: 60750 ... c Min unsat cost LB: 60962 ... c Min unsat cost LB: 61426 ... c Min unsat cost LB: 61445 ... c Min unsat cost LB: 62178 ... c Min unsat cost LB: 62622 ... c Min unsat cost LB: 62938 ... c Min unsat cost LB: 63150 ... c Min unsat cost LB: 63362 ... c Min unsat cost LB: 63806 ... c Min unsat cost LB: 64018 ... c Min unsat cost LB: 64230 ... c Min unsat cost LB: 64442 ... c Min unsat cost LB: 64654 ... c Min unsat cost LB: 65078 ... c Min unsat cost LB: 65290 ... c Min unsat cost LB: 65818 ... c Min unsat cost LB: 66030 ... c Min unsat cost LB: 66079 ... c Min unsat cost LB: 66523 ... c Min unsat cost LB: 66610 ... c Min unsat cost LB: 66862 ... c Min unsat cost LB: 67390 ... c Min unsat cost LB: 67409 ... c Min unsat cost LB: 67602 ... c Min unsat cost LB: 67733 ... c Min unsat cost LB: 68177 ... c Min unsat cost LB: 68308 ... c Min unsat cost LB: 68520 ... c Min unsat cost LB: 69925 ... c Min unsat cost LB: 70211 ... c Min unsat cost LB: 70231 ... c Min unsat cost LB: 71314 ... c Min unsat cost LB: 72134 ... c Min unsat cost LB: 73113 ... c Min unsat cost LB: 73610 ... c Min unsat cost LB: 73714 ... c Min unsat cost LB: 74242 ... c Min unsat cost LB: 74721 ... c Min unsat cost LB: 75016 ... c Min unsat cost LB: 75147 ... c Min unsat cost LB: 75278 ... c Min unsat cost LB: 75470 ... c Min unsat cost LB: 75682 ... c Min unsat cost LB: 76950 ... c Min unsat cost LB: 77081 ... c Min unsat cost LB: 77212 ... c Min unsat cost LB: 77413 ... c Min unsat cost LB: 77544 ... c Min unsat cost LB: 77563 ... c Min unsat cost LB: 77567 ... c Min unsat cost LB: 77694 ... c Min unsat cost LB: 78417 ... c Min unsat cost LB: 78548 ... c Min unsat cost LB: 79022 ... c Min unsat cost LB: 79234 ... c Min unsat cost LB: 80663 ... c Min unsat cost LB: 80794 ... c Min unsat cost LB: 80906 ... c Min unsat cost LB: 82566 ... c Min unsat cost LB: 82697 ... c Min unsat cost LB: 82809 ... c Min unsat cost LB: 83340 ... c Min unsat cost LB: 83552 ... c Min unsat cost LB: 83683 ... c Min unsat cost LB: 83732 ... c Min unsat cost LB: 83863 ... c Min unsat cost LB: 83867 ... c Min unsat cost LB: 83868 ... c Min unsat cost LB: 84184 ... c Min unsat cost LB: 84310 ... c Min unsat cost LB: 84314 ... c Min unsat cost LB: 84315 ... c Min unsat cost LB: 84320 ... c Min unsat cost LB: 84441 ... c Min unsat cost LB: 84736 ... c Min unsat cost LB: 85123 ... c Min unsat cost LB: 85215 ... c Min unsat cost LB: 85346 ... c Min unsat cost LB: 85356 ... c Min unsat cost LB: 85361 ... c Min unsat cost LB: 85440 ... c Min unsat cost LB: 85487 ... c Min unsat cost LB: 85571 ... c Min unsat cost LB: 85575 ... c Min unsat cost LB: 85581 ... c Min unsat cost LB: 85665 ... c Min unsat cost LB: 85675 ... c Min unsat cost LB: 85759 ... c Min unsat cost LB: 85769 ... c Min unsat cost LB: 85900 ... c Min unsat cost LB: 86030 ... c Min unsat cost LB: 86040 ... c Min unsat cost LB: 86134 ... c Min unsat cost LB: 86242 ... c Min unsat cost LB: 86494 ... c Min unsat cost LB: 86613 ... c Min unsat cost LB: 86825 ... c Min unsat cost LB: 87077 ... c Min unsat cost LB: 87289 ... c Min unsat cost LB: 87299 ... c Min unsat cost LB: 87304 ... c Min unsat cost LB: 87383 ... c Min unsat cost LB: 87521 ... c Min unsat cost LB: 87807 ... c Min unsat cost LB: 87985 ... c Min unsat cost LB: 88251 ... c Min unsat cost LB: 88343 ... c Min unsat cost LB: 88403 ... c Min unsat cost LB: 88420 ... c Min unsat cost LB: 88465 ... c Min unsat cost LB: 88681 ... c Min unsat cost LB: 88855 ... c Min unsat cost LB: 88862 ... c Min unsat cost LB: 89290 ... c Min unsat cost LB: 89502 ... c Min unsat cost LB: 89714 ... c Min unsat cost LB: 89879 ... c Min unsat cost LB: 89906 ... c Min unsat cost LB: 89963 ... c Min unsat cost LB: 89973 ... c Min unsat cost LB: 90010 ... c Min unsat cost LB: 90047 ... c Min unsat cost LB: 90104 ... c Min unsat cost LB: 90141 ... c Min unsat cost LB: 90185 ... c Min unsat cost LB: 90279 ... c Min unsat cost LB: 90380 ... c Min unsat cost LB: 90595 ... c Min unsat cost LB: 90605 ... c Min unsat cost LB: 90669 ... c Min unsat cost LB: 90713 ... c Min unsat cost LB: 90760 ... c Min unsat cost LB: 90780 ... c Min unsat cost LB: 90794 ... c Min unsat cost LB: 90962 ... c Min unsat cost LB: 91006 ... c Min unsat cost LB: 91010 ... c Min unsat cost LB: 91144 ... c Min unsat cost LB: 91174 ... c Min unsat cost LB: 91208 ... c Min unsat cost LB: 91223 ... c Min unsat cost LB: 91343 ... c Min unsat cost LB: 91356 ... c Min unsat cost LB: 91366 ... c Min unsat cost LB: 91367 ... c Min unsat cost LB: 91579 ... c Min unsat cost LB: 91667 ... c Min unsat cost LB: 91716 ... c Min unsat cost LB: 91791 ... c Min unsat cost LB: 91845 ... c Min unsat cost LB: 91985 ... c Min unsat cost LB: 92003 ... c Min unsat cost LB: 92049 ... c Min unsat cost LB: 92064 ... c Min unsat cost LB: 92211 ... c Min unsat cost LB: 92411 ... c Min unsat cost LB: 92422 ... c Min unsat cost LB: 92423 ... c Min unsat cost LB: 92484 ... c Min unsat cost LB: 92508 ... c Min unsat cost LB: 92540 ... c Min unsat cost LB: 92544 ... c Min unsat cost LB: 92591 ... c Min unsat cost LB: 92843 ... c Min unsat cost LB: 92917 ... c Min unsat cost LB: 93055 ... c Min unsat cost LB: 93248 ... c Min unsat cost LB: 93267 ... c Min unsat cost LB: 93307 ... c Min unsat cost LB: 93381 ... c Min unsat cost LB: 93403 ... c Min unsat cost LB: 93655 ... c Min unsat cost LB: 93838 ... c Min unsat cost LB: 94040 ... c Min unsat cost LB: 94181 ... c Min unsat cost LB: 94201 ... c Min unsat cost LB: 94205 ... c Min unsat cost LB: 94217 ... c Min unsat cost LB: 94259 ... c Min unsat cost LB: 94287 ... c Min unsat cost LB: 94370 ... c Min unsat cost LB: 94430 ... c Min unsat cost LB: 94450 ... c Min unsat cost LB: 94669 ... c Min unsat cost LB: 94866 ... c Min unsat cost LB: 94873 ... c Min unsat cost LB: 94914 ... c Min unsat cost LB: 94934 ... c Min unsat cost LB: 95129 ... c Min unsat cost LB: 95146 ... c Min unsat cost LB: 95208 ... c Min unsat cost LB: 95358 ... c Min unsat cost LB: 95573 ... c Min unsat cost LB: 95576 ... c Min unsat cost LB: 95577 ... c Min unsat cost LB: 95593 ... c Min unsat cost LB: 95672 ... c Min unsat cost LB: 95692 ... c Min unsat cost LB: 95712 ... c Min unsat cost LB: 95776 ... c Min unsat cost LB: 95823 ... c Min unsat cost LB: 95858 ... c Min unsat cost LB: 95861 ... c Min unsat cost LB: 96025 ... c Min unsat cost LB: 96035 ... c Min unsat cost LB: 96126 ... c Min unsat cost LB: 96166 ... c Min unsat cost LB: 96278 ... c Min unsat cost LB: 96281 ... c Min unsat cost LB: 96288 ... c Min unsat cost LB: 96295 ... c Min unsat cost LB: 96305 ... c Min unsat cost LB: 96511 ... c Min unsat cost LB: 96636 ... c Min unsat cost LB: 96661 ... c Min unsat cost LB: 96685 ... c Min unsat cost LB: 96729 ... c Min unsat cost LB: 96732 ... c Min unsat cost LB: 96756 ... c Min unsat cost LB: 96769 ... c Min unsat cost LB: 96794 ... c Min unsat cost LB: 96881 ... c Min unsat cost LB: 97079 ... c Min unsat cost LB: 97113 ... c Min unsat cost LB: 97116 ... c Min unsat cost LB: 97121 ... c Min unsat cost LB: 97146 ... c Min unsat cost LB: 97201 ... c Min unsat cost LB: 97377 ... c Min unsat cost LB: 97553 ... c Min unsat cost LB: 97997 ... c Min unsat cost LB: 98081 ... c Min unsat cost LB: 98168 ... c Min unsat cost LB: 98448 ... c Min unsat cost LB: 98534 ... c Min unsat cost LB: 98988 ... c Min unsat cost LB: 99746 ... c Min unsat cost LB: 99880 ... c Min unsat cost LB: 100005 ... c Min unsat cost LB: 100028 ... c Min unsat cost LB: 100294 ... c Min unsat cost LB: 101466 ... c Min unsat cost LB: 102199 ... c Min unsat cost LB: 102930 ... c Min unsat cost LB: 103262 ... c Min unsat cost LB: 103355 ... c Min unsat cost LB: 103448 ... c Min unsat cost LB: 103979 ... c Min unsat cost LB: 104110 ... c Min unsat cost LB: 104240 ... c Min unsat cost LB: 104274 ... c Min unsat cost LB: 104556 ... c Min unsat cost LB: 104661 ... c Min unsat cost LB: 104677 ... c Min unsat cost LB: 104678 ... c Min unsat cost LB: 104682 ... c Min unsat cost LB: 104753 ... c Min unsat cost LB: 104843 ... c Min unsat cost LB: 105567 ... c Min unsat cost LB: 106228 ... c Min unsat cost LB: 106238 ... c Min unsat cost LB: 106322 ... c Min unsat cost LB: 106328 ... c Min unsat cost LB: 106406 ... c Min unsat cost LB: 106513 ... c Min unsat cost LB: 106746 ... c Min unsat cost LB: 106880 ... c Min unsat cost LB: 107925 ... c Min unsat cost LB: 108055 ... c Min unsat cost LB: 108089 ... c Min unsat cost LB: 108159 ... c Min unsat cost LB: 108174 ... c Min unsat cost LB: 108897 ... c Min unsat cost LB: 108907 ... c Min unsat cost LB: 108912 ... c Min unsat cost LB: 108946 ... c Min unsat cost LB: 109043 ... c Min unsat cost LB: 109122 ... c Min unsat cost LB: 109137 ... c Min unsat cost LB: 109260 ... c Min unsat cost LB: 109622 ... c Min unsat cost LB: 109704 ... c Min unsat cost LB: 109749 ... c Min unsat cost LB: 109876 ... c Min unsat cost LB: 109911 ... c Min unsat cost LB: 109961 ... c Min unsat cost LB: 109971 ... c Min unsat cost LB: 109980 ... c Min unsat cost LB: 109984 ... c Min unsat cost LB: 109997 ... c Min unsat cost LB: 110001 ... c Min unsat cost LB: 110153 ... c Min unsat cost LB: 110164 ... c Min unsat cost LB: 110241 ... c Min unsat cost LB: 110246 ... c Min unsat cost LB: 110256 ... c Min unsat cost LB: 110266 ... c Min unsat cost LB: 110283 ... c Min unsat cost LB: 110293 ... c Min unsat cost LB: 110298 ... c Min unsat cost LB: 110368 ... c Min unsat cost LB: 110483 ... c Min unsat cost LB: 110488 ... c Min unsat cost LB: 111007 ... c Min unsat cost LB: 111019 ... c Min unsat cost LB: 111034 ... c Min unsat cost LB: 111061 ... c Min unsat cost LB: 111071 ... c Min unsat cost LB: 111108 ... c Min unsat cost LB: 111115 ... c Min unsat cost LB: 111125 ... c Min unsat cost LB: 111172 ... c Min unsat cost LB: 111195 ... c Min unsat cost LB: 111202 ... c Min unsat cost LB: 111205 ... c Min unsat cost LB: 111209 ... c Min unsat cost LB: 111212 ... c Min unsat cost LB: 111222 ... c Min unsat cost LB: 111227 ... c Min unsat cost LB: 111232 ... c Min unsat cost LB: 111252 ... c Min unsat cost LB: 111255 ... c Min unsat cost LB: 111272 ... c Min unsat cost LB: 111275 ... c Min unsat cost LB: 111287 ... c Min unsat cost LB: 111295 ... c Min unsat cost LB: 111298 ... c Min unsat cost LB: 111299 ... c Min unsat cost LB: 111316 ... c Min unsat cost LB: 111322 ... c Min unsat cost LB: 111327 ... c Min unsat cost LB: 111356 ... c Min unsat cost LB: 111371 ... c Min unsat cost LB: 111448 ... c Min unsat cost LB: 111520 ... c Min unsat cost LB: 111523 ... c Min unsat cost LB: 111525 ... c Min unsat cost LB: 111528 ... c Min unsat cost LB: 111530 ... c Min unsat cost LB: 111532 ... c Min unsat cost LB: 111533 ... c Min unsat cost LB: 111535 ... c Min unsat cost LB: 111538 ... c Min unsat cost LB: 111541 ... c Min unsat cost LB: 111542 ... c Min unsat cost LB: 111589 ... c Min unsat cost LB: 111596 ... c Min unsat cost LB: 111600 ... c Min unsat cost LB: 111603 ... c Min unsat cost LB: 111604 ... c Min unsat cost LB: 111606 ... c Min unsat cost LB: 111612 ... c Min unsat cost LB: 111614 ... c Min unsat cost LB: 111617 ... c Min unsat cost LB: 111619 ... c Min unsat cost LB: 111620 ... c Min unsat cost LB: 111621 ... c Min unsat cost LB: 111623 ... c Min unsat cost LB: 111626 ... c Min unsat cost LB: 111627 ... c Min unsat cost LB: 111628 ... c Min unsat cost LB: 111629 ... c Min unsat cost LB: 111630 ... c Min unsat cost LB: 111631 ... c Min unsat cost LB: 111632 ... c Min unsat cost LB: 111633 ... c Min unsat cost LB: 111634 ... c Min unsat cost LB: 111635 ... c Min unsat cost LB: 111637 ... c Min unsat cost LB: 111638 ... c Min unsat cost LB: 111725 ... c Min unsat cost LB: 111732 ... c Min unsat cost LB: 111775 ... c Min unsat cost LB: 111782 ... c Min unsat cost LB: 111869 ... c Min unsat cost LB: 111958 ... c Min unsat cost LB: 112045 ... c Min unsat cost LB: 112084 ... c Min unsat cost LB: 112156 ... c Min unsat cost LB: 112277 ... c Min unsat cost LB: 112289 ... c Min unsat cost LB: 112291 ... c Min unsat cost LB: 112349 ... c Min unsat cost LB: 112352 ... c Min unsat cost LB: 112545 ... c Min unsat cost LB: 112564 ... c Min unsat cost LB: 112567 ... c Min unsat cost LB: 112570 ... c Min unsat cost LB: 112576 ... c Min unsat cost LB: 112578 ... c Min unsat cost LB: 112583 ... c Min unsat cost LB: 112585 ... c Min unsat cost LB: 112587 ... c Min unsat cost LB: 112588 ... c Min unsat cost LB: 112589 ... c Min unsat cost LB: 112590 ... c Min unsat cost LB: 112591 ... c Min unsat cost LB: 112592 ... c Min unsat cost LB: 112599 ... c Min unsat cost LB: 112635 ... c Min unsat cost LB: 112706 ... c Min unsat cost LB: 112728 ... c Min unsat cost LB: 112881 ... c Min unsat cost LB: 112887 ... c Min unsat cost LB: 113006 ... c Min unsat cost LB: 113029 ... c Min unsat cost LB: 113083 ... c Min unsat cost LB: 113095 ... c Min unsat cost LB: 113098 ... c Min unsat cost LB: 113105 ... c Min unsat cost LB: 113138 ... c Min unsat cost LB: 113157 ... c Min unsat cost LB: 113202 ... c Min unsat cost LB: 113214 ... c Min unsat cost LB: 113236 ... c Min unsat cost LB: 113242 ... c Min unsat cost LB: 113243 ... c Min unsat cost LB: 113248 ... c Min unsat cost LB: 113254 ... c Min unsat cost LB: 113257 ... c Min unsat cost LB: 113258 ... c Min unsat cost LB: 113260 ... c Min unsat cost LB: 113264 ... c Min unsat cost LB: 113267 ... c Min unsat cost LB: 113272 ... c Min unsat cost LB: 113277 ... c Min unsat cost LB: 113294 ... c Min unsat cost LB: 113295 ... c Min unsat cost LB: 113300 ... c Min unsat cost LB: 113302 ... c Min unsat cost LB: 113306 ... c Min unsat cost LB: 113307 ... c Min unsat cost LB: 113308 ... c Min unsat cost LB: 113309 ... c Min unsat cost LB: 113310 ... c Min unsat cost LB: 113313 ... c Min unsat cost LB: 113315 ... c Min unsat cost LB: 113317 ... c Min unsat cost LB: 113321 ... c Min unsat cost LB: 113369 ... c Min unsat cost LB: 113376 ... c Min unsat cost LB: 113377 ... c Min unsat cost LB: 113378 ... c Min unsat cost LB: 113380 ... c Min unsat cost LB: 113392 ... c Min unsat cost LB: 113398 ... c Min unsat cost LB: 113400 ... c Min unsat cost LB: 113410 ... c Min unsat cost LB: 113413 ... c Min unsat cost LB: 113414 ... c Min unsat cost LB: 113469 ... c Min unsat cost LB: 113476 ... c Min unsat cost LB: 113481 ... c Min unsat cost LB: 113484 ... c Min unsat cost LB: 113485 ... c Min unsat cost LB: 113486 ... c Min unsat cost LB: 113490 ... c Min unsat cost LB: 113493 ... c Min unsat cost LB: 113496 ... c Min unsat cost LB: 113509 ... c Min unsat cost LB: 113521 ... c Min unsat cost LB: 113530 ... c Min unsat cost LB: 113532 ... c Min unsat cost LB: 113535 ... c Min unsat cost LB: 113536 ... c Min unsat cost LB: 113550 ... c Min unsat cost LB: 113559 ... c Min unsat cost LB: 113560 ... c Min unsat cost LB: 113561 ... c Min unsat cost LB: 113562 ... c Min unsat cost LB: 113563 ... c Min unsat cost LB: 113564 ... c Min unsat cost LB: 113565 ... c Min unsat cost LB: 113566 ... c Min unsat cost LB: 113567 ... c Min unsat cost LB: 113568 ... c Min unsat cost LB: 113569 ... c Min unsat cost LB: 113570 ... c Min unsat cost LB: 113571 ... c Min unsat cost LB: 113572 ... c Min unsat cost LB: 113574 ... c Min unsat cost LB: 113575 ... c Min unsat cost LB: 113576 ... c Min unsat cost LB: 113577 ... c Min unsat cost LB: 113578 ... c Min unsat cost LB: 113838 ... c Min unsat cost LB: 113839 ... c Min unsat cost LB: 113840 ... c Min unsat cost LB: 113841 ... c Min unsat cost LB: 113842 ... c Min unsat cost LB: 113843 ... c Min unsat cost LB: 113844 ... c Min unsat cost LB: 113845 ... c Min unsat cost LB: 113846 ... c Min unsat cost LB: 113847 ... c Min unsat cost LB: 113848 ... c Min unsat cost LB: 113849 ... c Min unsat cost LB: 113850 ... c Min unsat cost LB: 113851 ... c Min unsat cost LB: 113852 ... c Min unsat cost LB: 113853 ... c Min unsat cost LB: 113854 ... c Min unsat cost LB: 113855 ... c Min unsat cost LB: 113856 ... c Min unsat cost LB: 113859 ... c Min unsat cost LB: 113866 ... c Min unsat cost LB: 113867 ... c Min unsat cost LB: 113868 ... c Min unsat cost LB: 113869 ... c Min unsat cost LB: 113870 ... c Min unsat cost LB: 113875 ... c Min unsat cost LB: 113877 ... c Min unsat cost LB: 113878 ... c Min unsat cost LB: 113879 ... c Min unsat cost LB: 113880 ... c Min unsat cost LB: 113881 ... c Min unsat cost LB: 113882 ... c Min unsat cost LB: 113883 ... c Min unsat cost LB: 113884 ... c Min unsat cost LB: 113885 ... c Min unsat cost LB: 113886 ... c Min unsat cost LB: 113887 ... c Min unsat cost LB: 113888 ... c Min unsat cost LB: 113889 ... c Min unsat cost LB: 113891 ... c Min unsat cost LB: 113892 ... c Min unsat cost LB: 113899 ... c Min unsat cost LB: 113907 ... c Min unsat cost LB: 113912 ... c Min unsat cost LB: 113915 ... c Min unsat cost LB: 113916 ... c Min unsat cost LB: 113920 ... c Min unsat cost LB: 113923 ... c Min unsat cost LB: 113927 ... c Min unsat cost LB: 113928 ... c Min unsat cost LB: 113933 ... c Min unsat cost LB: 114032 ... c Min unsat cost LB: 114036 ... c Min unsat cost LB: 114076 ... c Min unsat cost LB: 114084 ... c Min unsat cost LB: 114090 ... c Min unsat cost LB: 114092 ... c Min unsat cost LB: 114093 ... c Min unsat cost LB: 114095 ... c Min unsat cost LB: 114098 ... c Min unsat cost LB: 114101 ... c Min unsat cost LB: 114102 ... c Min unsat cost LB: 114103 ... c Min unsat cost LB: 114105 ... c Min unsat cost LB: 114108 ... c Min unsat cost LB: 114136 ... c Min unsat cost LB: 114139 ... c Min unsat cost LB: 114159 ... c Min unsat cost LB: 114247 ... c Min unsat cost LB: 114251 ... c Min unsat cost LB: 114255 ... c Min unsat cost LB: 114259 ... c Min unsat cost LB: 114272 ... c Min unsat cost LB: 114280 ... c Min unsat cost LB: 114288 ... c Min unsat cost LB: 114293 ... c Min unsat cost LB: 114308 ... c Min unsat cost LB: 114413 ... c Min unsat cost LB: 114414 ... c Min unsat cost LB: 114415 ... c Min unsat cost LB: 114416 ... c Min unsat cost LB: 114417 ... c Min unsat cost LB: 114418 ... c Min unsat cost LB: 114419 ... c Min unsat cost LB: 114421 ... c Min unsat cost LB: 114422 ... c Min unsat cost LB: 114423 ... c Min unsat cost LB: 114432 ... c Min unsat cost LB: 114434 ... c Min unsat cost LB: 114435 ... c Min unsat cost LB: 114437 ... c Min unsat cost LB: 114443 ... c Min unsat cost LB: 115015 ... c Min unsat cost LB: 115149 ... c Min unsat cost LB: 115163 ... c Min unsat cost LB: 115165 ... c Min unsat cost LB: 115167 ... c Min unsat cost LB: 115168 ... c Min unsat cost LB: 115185 ... c Min unsat cost LB: 115187 ... c Min unsat cost LB: 115189 ... c Min unsat cost LB: 115192 ... c Min unsat cost LB: 115193 ... c Min unsat cost LB: 115209 ... c Min unsat cost LB: 115214 ... c Min unsat cost LB: 115218 ... c Min unsat cost LB: 115220 ... c Min unsat cost LB: 115223 ... c Min unsat cost LB: 115225 ... c Min unsat cost LB: 115226 ... c Min unsat cost LB: 115227 ... c Min unsat cost LB: 115231 ... c Min unsat cost LB: 115246 ... c Min unsat cost LB: 115247 ... c Min unsat cost LB: 115354 ... c Min unsat cost LB: 115405 ... c Min unsat cost LB: 115495 ... c Min unsat cost LB: 115578 ... c Min unsat cost LB: 115579 ... c Min unsat cost LB: 115978 ... c Min unsat cost LB: 115983 ... c Min unsat cost LB: 115988 ... c Min unsat cost LB: 115993 ... c Min unsat cost LB: 115998 ... c Min unsat cost LB: 116049 ... c Min unsat cost LB: 116051 ... c Min unsat cost LB: 116056 ... c Min unsat cost LB: 116090 ... c Min unsat cost LB: 116092 ... c Min unsat cost LB: 116173 ... c Min unsat cost LB: 116174 ... c Min unsat cost LB: 116175 ... c Min unsat cost LB: 116176 ... c Min unsat cost LB: 116179 ... c Min unsat cost LB: 116209 ... c Min unsat cost LB: 116215 ... c Min unsat cost LB: 116225 ... c Min unsat cost LB: 116226 ... c Min unsat cost LB: 116243 ... c Min unsat cost LB: 116374 ... c Min unsat cost LB: 116375 ... c Min unsat cost LB: 116380 ... c Min unsat cost LB: 116381 ... c Min unsat cost LB: 116382 ... c Min unsat cost LB: 116383 ... c Min unsat cost LB: 116394 ... c Min unsat cost LB: 116395 ... c Min unsat cost LB: 116397 ... c Min unsat cost LB: 116398 ... c Min unsat cost LB: 116399 ... c Min unsat cost LB: 116401 ... c Min unsat cost LB: 116405 ... c Min unsat cost LB: 116411 ... c Min unsat cost LB: 116422 ... c Min unsat cost LB: 116424 ... c Min unsat cost LB: 116438 ... c Min unsat cost LB: 116450 ... c Min unsat cost LB: 116451 ... c Min unsat cost LB: 116452 ... c Min unsat cost LB: 116453 ... c Min unsat cost LB: 116454 ... c Min unsat cost LB: 116455 ... c Min unsat cost LB: 116462 ... c Min unsat cost LB: 116463 ... c Min unsat cost LB: 116464 ... c Min unsat cost LB: 116469 ... c Min unsat cost LB: 116470 ... c Min unsat cost LB: 116471 ... c Min unsat cost LB: 116472 ... c Min unsat cost LB: 116474 ... c Min unsat cost LB: 116475 ... c Min unsat cost LB: 116476 ... c Min unsat cost LB: 116478 ... c Min unsat cost LB: 116480 ... c Min unsat cost LB: 116481 ... c Min unsat cost LB: 116482 ... c Min unsat cost LB: 116483 ... c Min unsat cost LB: 116485 ... c Min unsat cost LB: 116486 ... c Min unsat cost LB: 116487 ... c Min unsat cost LB: 116488 ... c Min unsat cost LB: 116489 ... c Min unsat cost LB: 116490 ... c Min unsat cost LB: 116537 ... c Min unsat cost LB: 116538 ... c Min unsat cost LB: 116539 ... c Min unsat cost LB: 116540 ... c Min unsat cost LB: 116541 ... c Min unsat cost LB: 116542 ... c Min unsat cost LB: 116543 ... c Min unsat cost LB: 116544 ... c Min unsat cost LB: 116545 ... c Min unsat cost LB: 116547 ... c Min unsat cost LB: 116549 ... c Min unsat cost LB: 116550 ... c Min unsat cost LB: 116551 ... c Min unsat cost LB: 116553 ... c Min unsat cost LB: 116554 ... c Min unsat cost LB: 116555 ... c Min unsat cost LB: 116556 ... c Min unsat cost LB: 116557 ... c Min unsat cost LB: 116558 ... c Min unsat cost LB: 116559 ... c Min unsat cost LB: 116560 ... c Min unsat cost LB: 116561 ... c Min unsat cost LB: 116562 ... c Min unsat cost LB: 116563 ... c Min unsat cost LB: 116564 ... c Min unsat cost LB: 116566 ... c Min unsat cost LB: 116567 ... c Min unsat cost LB: 116568 ... c Min unsat cost LB: 116569 ... c Min unsat cost LB: 116570 ... c Min unsat cost LB: 116602 ... c Min unsat cost LB: 116603 ... c Min unsat cost LB: 116604 ... c Min unsat cost LB: 116605 ... c Min unsat cost LB: 116606 ... c Min unsat cost LB: 116607 ... c Min unsat cost LB: 116608 ... c Min unsat cost LB: 116609 ... c Min unsat cost LB: 116610 ... c Min unsat cost LB: 116611 ... c Min unsat cost LB: 116612 ... c Min unsat cost LB: 116627 ... c Min unsat cost LB: 116628 ... c Min unsat cost LB: 116629 ... c Min unsat cost LB: 116630 ... c Min unsat cost LB: 116631 ... c Min unsat cost LB: 116632 ... c Min unsat cost LB: 116633 ... c Min unsat cost LB: 116634 ... c Min unsat cost LB: 116635 ... c Min unsat cost LB: 116636 ... c Min unsat cost LB: 116637 ... c Min unsat cost LB: 116639 ... c Min unsat cost LB: 116640 ... c Min unsat cost LB: 116642 ... c Min unsat cost LB: 116644 ... c Min unsat cost LB: 116645 ... c Min unsat cost LB: 116649 ... c Min unsat cost LB: 116659 ... c Min unsat cost LB: 116681 ... c Min unsat cost LB: 116698 ... c Min unsat cost LB: 116699 ... c Min unsat cost LB: 116704 ... c Min unsat cost LB: 116705 ... c Min unsat cost LB: 116706 ... c Min unsat cost LB: 116707 ... c Min unsat cost LB: 116709 ... c Min unsat cost LB: 116710 ... c Min unsat cost LB: 116711 ... c Min unsat cost LB: 116712 ... c Min unsat cost LB: 116719 ... c Min unsat cost LB: 116720 ... c Min unsat cost LB: 116721 ... c Min unsat cost LB: 116722 ... c Min unsat cost LB: 116723 ... c Min unsat cost LB: 116724 ... c Min unsat cost LB: 116735 ... c Min unsat cost LB: 116737 ... c Min unsat cost LB: 116738 ... c Min unsat cost LB: 116741 ... c Min unsat cost LB: 116771 ... c Min unsat cost LB: 116861 ... c Min unsat cost LB: 116862 ... c Min unsat cost LB: 117182 ... c Min unsat cost LB: 117184 ... c Min unsat cost LB: 117191 ... c Min unsat cost LB: 117206 ... c Min unsat cost LB: 117207 ... c Min unsat cost LB: 117210 ... c Min unsat cost LB: 117233 ... c Min unsat cost LB: 117234 ... c Min unsat cost LB: 117240 ... c Min unsat cost LB: 117241 ... c Min unsat cost LB: 117244 ... c Min unsat cost LB: 117259 ... c Min unsat cost LB: 117274 ... c Min unsat cost LB: 117275 ... c Min unsat cost LB: 117276 ... c Min unsat cost LB: 117283 ... c Min unsat cost LB: 117288 ... c Min unsat cost LB: 117289 ... c Min unsat cost LB: 117290 ... c Min unsat cost LB: 117291 ... c Min unsat cost LB: 117303 ... c Min unsat cost LB: 117306 ... c Min unsat cost LB: 117307 ... c Min unsat cost LB: 117309 ... c Min unsat cost LB: 117310 ... c Min unsat cost LB: 117312 ... c Min unsat cost LB: 117314 ... c Min unsat cost LB: 117315 ... c Min unsat cost LB: 117316 ... c Min unsat cost LB: 117319 ... c Min unsat cost LB: 117320 ... c Min unsat cost LB: 117321 ... c Min unsat cost LB: 117322 ... c Min unsat cost LB: 117323 ... c Min unsat cost LB: 117324 ... c Min unsat cost LB: 117325 ... c Min unsat cost LB: 117331 ... c Min unsat cost LB: 117332 ... c Min unsat cost LB: 117333 ... c Min unsat cost LB: 117335 ... c Min unsat cost LB: 117348 ... c Min unsat cost LB: 117349 ... c Min unsat cost LB: 117350 ... c Min unsat cost LB: 117351 ... c Min unsat cost LB: 117352 ... c Min unsat cost LB: 117353 ... c Min unsat cost LB: 117354 ... c Min unsat cost LB: 117355 ... c Min unsat cost LB: 117356 ... c Min unsat cost LB: 117361 ... c Min unsat cost LB: 117362 ... c Min unsat cost LB: 117363 ... c Min unsat cost LB: 117364 ... c Min unsat cost LB: 117371 ... c Min unsat cost LB: 117372 ... c Min unsat cost LB: 117382 ... c Min unsat cost LB: 117386 ... c Min unsat cost LB: 117389 ... c Min unsat cost LB: 117390 ... c Min unsat cost LB: 117392 ... c Min unsat cost LB: 117393 ... c Min unsat cost LB: 117394 ... c Min unsat cost LB: 117395 ... c Min unsat cost LB: 117405 ... c Min unsat cost LB: 117406 ... c Min unsat cost LB: 117407 ... c Min unsat cost LB: 117411 ... c Min unsat cost LB: 117412 ... c Min unsat cost LB: 117413 ... c Min unsat cost LB: 117414 ... c Min unsat cost LB: 117415 ... c Min unsat cost LB: 117417 ... c Min unsat cost LB: 117494 ... c Min unsat cost LB: 117537 ... c Min unsat cost LB: 117538 ... c Min unsat cost LB: 117545 ... c Min unsat cost LB: 117547 ... c Min unsat cost LB: 117549 ... c Min unsat cost LB: 117550 ... c Min unsat cost LB: 117551 ... c Min unsat cost LB: 117552 ... c Min unsat cost LB: 117553 ... c Min unsat cost LB: 117554 ... c Min unsat cost LB: 117555 ... c Min unsat cost LB: 117557 ... c Min unsat cost LB: 117558 ... c Min unsat cost LB: 117560 ... c Min unsat cost LB: 117561 ... c Min unsat cost LB: 117562 ... c Min unsat cost LB: 117563 ... c Min unsat cost LB: 117564 ... c Min unsat cost LB: 117565 ... c Min unsat cost LB: 117566 ... c Min unsat cost LB: 117567 ... c Min unsat cost LB: 117568 ... c Min unsat cost LB: 117569 ... c Min unsat cost LB: 117570 ... c Min unsat cost LB: 117571 ... c Min unsat cost LB: 117572 ... c Min unsat cost LB: 117573 ... c Min unsat cost LB: 117574 ... c Min unsat cost LB: 117575 ... c Min unsat cost LB: 117576 ... c Min unsat cost LB: 117577 ... c Min unsat cost LB: 117639 ... c Min unsat cost LB: 117640 ... c Min unsat cost LB: 117888 ... c Min unsat cost LB: 117894 ... c Min unsat cost LB: 117905 ... c Min unsat cost LB: 117985 ... c Min unsat cost LB: 118002 ... c Min unsat cost LB: 118036 ... c Min unsat cost LB: 118037 ... c Min unsat cost LB: 118071 ... c Min unsat cost LB: 118197 ... c Min unsat cost LB: 118445 ... c Min unsat cost LB: 118463 ... c Min unsat cost LB: 118464 ... c Min unsat cost LB: 118493 ... c Min unsat cost LB: 118496 ... c Min unsat cost LB: 118497 ... c Min unsat cost LB: 118509 ... c Min unsat cost LB: 118525 ... c Min unsat cost LB: 118528 ... c Min unsat cost LB: 118550 ... c Min unsat cost LB: 118551 ... c Min unsat cost LB: 118555 ... c Min unsat cost LB: 118565 ... c Min unsat cost LB: 118569 ... c Min unsat cost LB: 118571 ... c Min unsat cost LB: 118589 ... c Min unsat cost LB: 118605 ... c Min unsat cost LB: 118612 ... c Min unsat cost LB: 118613 ... c Min unsat cost LB: 118616 ... c Min unsat cost LB: 118617 ... c Min unsat cost LB: 118618 ... c Min unsat cost LB: 118619 ... c Min unsat cost LB: 118622 ... c Min unsat cost LB: 118623 ... c Min unsat cost LB: 118624 ... c Min unsat cost LB: 118634 ... c Min unsat cost LB: 118635 ... c Min unsat cost LB: 118640 ... c Min unsat cost LB: 118647 ... c Min unsat cost LB: 118665 ... c Min unsat cost LB: 118677 ... c Min unsat cost LB: 118678 ... c Min unsat cost LB: 118679 ... c Min unsat cost LB: 118680 ... c Min unsat cost LB: 118681 ... c Min unsat cost LB: 118685 ... c Min unsat cost LB: 118687 ... c Min unsat cost LB: 118692 ... c Min unsat cost LB: 118716 ... c Min unsat cost LB: 118719 ... c Min unsat cost LB: 118722 ... c Min unsat cost LB: 118728 ... c Min unsat cost LB: 118730 ... c Min unsat cost LB: 118732 ... c Min unsat cost LB: 118757 ... c Min unsat cost LB: 118758 ... c Min unsat cost LB: 118761 ... c Min unsat cost LB: 118762 ... c Min unsat cost LB: 118763 ... c Min unsat cost LB: 118766 ... c Min unsat cost LB: 118773 ... c Min unsat cost LB: 118777 ... c Min unsat cost LB: 118778 ... c Min unsat cost LB: 118782 ... c Min unsat cost LB: 118803 ... c Min unsat cost LB: 118811 ... c Min unsat cost LB: 118813 ... c Min unsat cost LB: 118818 ... c Min unsat cost LB: 118822 ... c Min unsat cost LB: 118826 ... c Min unsat cost LB: 118828 ... c Min unsat cost LB: 118832 ... c Min unsat cost LB: 118839 ... c Min unsat cost LB: 118840 ... c Min unsat cost LB: 118843 ... c Min unsat cost LB: 118878 ... c Min unsat cost LB: 118901 ... c Min unsat cost LB: 118902 ... c Min unsat cost LB: 118904 ... c Min unsat cost LB: 118907 ... c Min unsat cost LB: 118908 ... c Min unsat cost LB: 118909 ... c Min unsat cost LB: 118910 ... c Min unsat cost LB: 118911 ... c Min unsat cost LB: 118912 ... c Min unsat cost LB: 118914 ... c Min unsat cost LB: 118915 ... c Min unsat cost LB: 118918 ... c Min unsat cost LB: 118931 ... c Min unsat cost LB: 118932 ... c Min unsat cost LB: 118935 ... c Min unsat cost LB: 118936 ... c Min unsat cost LB: 118937 ... c Min unsat cost LB: 118938 ... c Min unsat cost LB: 118939 ... c Min unsat cost LB: 118940 ... c Min unsat cost LB: 118956 ... c Min unsat cost LB: 118958 ... c Min unsat cost LB: 118959 ... c Min unsat cost LB: 118960 ... c Min unsat cost LB: 118964 ... c Min unsat cost LB: 118965 ... c Min unsat cost LB: 118966 ... c Min unsat cost LB: 118967 ... c Min unsat cost LB: 118976 ... c Min unsat cost LB: 118978 ... c Min unsat cost LB: 118979 ... c Min unsat cost LB: 118985 ... c Min unsat cost LB: 118987 ... c Min unsat cost LB: 118988 ... c Min unsat cost LB: 119125 ... c Min unsat cost LB: 119158 ... c Min unsat cost LB: 119226 ... c Min unsat cost LB: 119227 ... c Min unsat cost LB: 119228 ... c Min unsat cost LB: 119229 ... c Min unsat cost LB: 119230 ... c Min unsat cost LB: 119231 ... c Min unsat cost LB: 119234 ... c Min unsat cost LB: 119235 ... c Min unsat cost LB: 119236 ... c Min unsat cost LB: 119237 ... c Min unsat cost LB: 119239 ... c Min unsat cost LB: 119240 ... c Min unsat cost LB: 119243 ... c Min unsat cost LB: 119244 ... c Min unsat cost LB: 119245 ... c Min unsat cost LB: 119246 ... c Min unsat cost LB: 119248 ... c Min unsat cost LB: 119249 ... c Min unsat cost LB: 119251 ... c Min unsat cost LB: 119255 ... c Min unsat cost LB: 119256 ... c Min unsat cost LB: 119260 ... c Min unsat cost LB: 119261 ... c Min unsat cost LB: 119262 ... c Min unsat cost LB: 119263 ... c Min unsat cost LB: 119264 ... c Min unsat cost LB: 119265 ... c Min unsat cost LB: 119267 ... c Min unsat cost LB: 119268 ... c Min unsat cost LB: 119269 ... c Min unsat cost LB: 119270 ... c Min unsat cost LB: 119271 ... c Min unsat cost LB: 119339 ... c Min unsat cost LB: 119347 ... c Min unsat cost LB: 119348 ... c Min unsat cost LB: 119349 ... c Min unsat cost LB: 119350 ... c Min unsat cost LB: 119351 ... c Min unsat cost LB: 119353 ... c Min unsat cost LB: 119366 ... c Min unsat cost LB: 119370 ... c Min unsat cost LB: 119373 ... c Min unsat cost LB: 119374 ... c Min unsat cost LB: 119375 ... c Min unsat cost LB: 119405 ... c Min unsat cost LB: 119406 ... c Min unsat cost LB: 119407 ... c Min unsat cost LB: 119408 ... c Min unsat cost LB: 119409 ... c Min unsat cost LB: 119410 ... c Min unsat cost LB: 119411 ... c Min unsat cost LB: 119412 ... c Min unsat cost LB: 119413 ... c Min unsat cost LB: 119414 ... c Min unsat cost LB: 119415 ... c Min unsat cost LB: 119416 ... c Min unsat cost LB: 119417 ... c Min unsat cost LB: 119419 ... c Min unsat cost LB: 119420 ... c Min unsat cost LB: 119421 ... c Min unsat cost LB: 119422 ... c Min unsat cost LB: 119423 ... c Min unsat cost LB: 119424 ... c Min unsat cost LB: 119425 ... c Min unsat cost LB: 119426 ... c Min unsat cost LB: 119427 ... c Min unsat cost LB: 119434 ... c Min unsat cost LB: 119435 ... c Min unsat cost LB: 119443 ... c Min unsat cost LB: 119446 ... c Min unsat cost LB: 119447 ... c Min unsat cost LB: 119448 ... c Min unsat cost LB: 119449 ... c Min unsat cost LB: 119451 ... c Min unsat cost LB: 119452 ... c Min unsat cost LB: 119458 ... c Min unsat cost LB: 119473 ... c Min unsat cost LB: 119474 ... c Min unsat cost LB: 119475 ... c Min unsat cost LB: 119476 ... c Min unsat cost LB: 119477 ... c Min unsat cost LB: 119478 ... c Min unsat cost LB: 119479 ... c Min unsat cost LB: 119481 ... c Min unsat cost LB: 119484 ... c Min unsat cost LB: 119494 ... c Min unsat cost LB: 119495 ... c Min unsat cost LB: 119496 ... c Min unsat cost LB: 119497 ... c Min unsat cost LB: 119498 ... c Min unsat cost LB: 119499 ... c Min unsat cost LB: 119500 ... c Min unsat cost LB: 119501 ... c Min unsat cost LB: 119502 ... c Min unsat cost LB: 119503 ... c Min unsat cost LB: 119505 ... c Min unsat cost LB: 119515 ... c Min unsat cost LB: 119516 ... c Min unsat cost LB: 119517 ... c Min unsat cost LB: 119518 ... c Min unsat cost LB: 119520 ... c Min unsat cost LB: 119524 ... c Min unsat cost LB: 119527 ... c Min unsat cost LB: 119529 ... c Min unsat cost LB: 119534 ... c Min unsat cost LB: 119562 ... c Min unsat cost LB: 119563 ... c Min unsat cost LB: 119564 ... c Min unsat cost LB: 119565 ... c Min unsat cost LB: 119567 ... c Min unsat cost LB: 119569 ... c Min unsat cost LB: 119570 ... c Min unsat cost LB: 119571 ... c Min unsat cost LB: 119572 ... c Min unsat cost LB: 119573 ... c Min unsat cost LB: 119574 ... c Min unsat cost LB: 119575 ... c Min unsat cost LB: 119576 ... c Min unsat cost LB: 119577 ... c Min unsat cost LB: 119578 ... c Min unsat cost LB: 119579 ... c Min unsat cost LB: 119580 ... c Min unsat cost LB: 119581 ... c Min unsat cost LB: 119582 ... c Min unsat cost LB: 119584 ... c Min unsat cost LB: 119585 ... c Min unsat cost LB: 119588 ... c Min unsat cost LB: 119589 ... c Min unsat cost LB: 119590 ... c Min unsat cost LB: 119591 ... c Min unsat cost LB: 119592 ... c Min unsat cost LB: 119595 ... c Min unsat cost LB: 119596 ... c Min unsat cost LB: 119597 ... c Min unsat cost LB: 119599 ... c Min unsat cost LB: 119601 ... c Min unsat cost LB: 119602 ... c Min unsat cost LB: 119603 ... c Min unsat cost LB: 119604 ... c Min unsat cost LB: 119605 ... c Min unsat cost LB: 119606 ... c Min unsat cost LB: 119607 ... c Min unsat cost LB: 119608 ... c Min unsat cost LB: 119613 ... c Min unsat cost LB: 119614 ... c Min unsat cost LB: 119615 ... c Min unsat cost LB: 119617 ... c Min unsat cost LB: 119618 ... c Min unsat cost LB: 119619 ... c Min unsat cost LB: 119620 ... c Min unsat cost LB: 119621 ... c Min unsat cost LB: 119622 ... c Min unsat cost LB: 119623 ... c Min unsat cost LB: 119624 ... c Min unsat cost LB: 119627 ... c Min unsat cost LB: 119629 ... c Min unsat cost LB: 119630 ... c Min unsat cost LB: 119632 ... c Min unsat cost LB: 119636 ... c Min unsat cost LB: 119638 ... c Min unsat cost LB: 119642 ... c Min unsat cost LB: 119645 ... c Min unsat cost LB: 119646 ... c Min unsat cost LB: 119648 ... c Min unsat cost LB: 119658 ... c Min unsat cost LB: 119666 ... c Min unsat cost LB: 119669 ... c Min unsat cost LB: 119670 ... c Min unsat cost LB: 119671 ... c Min unsat cost LB: 119672 ... c Min unsat cost LB: 119673 ... c Min unsat cost LB: 119674 ... c Min unsat cost LB: 119675 ... c Min unsat cost LB: 119676 ... c Min unsat cost LB: 119677 ... c Min unsat cost LB: 119678 ... c Min unsat cost LB: 119679 ... c Min unsat cost LB: 119680 ... c Min unsat cost LB: 119681 ... c Min unsat cost LB: 119682 ... c Min unsat cost LB: 119683 ... c Min unsat cost LB: 119684 ... c Min unsat cost LB: 119685 ... c Min unsat cost LB: 119686 ... c Min unsat cost LB: 119687 ... c Min unsat cost LB: 119688 ... c Min unsat cost LB: 119689 ... c Min unsat cost LB: 119690 ... c Min unsat cost LB: 119694 ... c Min unsat cost LB: 119697 ... c Min unsat cost LB: 119699 ... c Min unsat cost LB: 119700 ... c Min unsat cost LB: 119715 ... c Min unsat cost LB: 119725 ... c Min unsat cost LB: 119727 ... c Min unsat cost LB: 119763 ... c Min unsat cost LB: 119764 ... c Min unsat cost LB: 119765 ... c Min unsat cost LB: 119766 ... c Min unsat cost LB: 119767 ... c Min unsat cost LB: 119770 ... c Min unsat cost LB: 119771 ... c Min unsat cost LB: 119772 ... c Min unsat cost LB: 119773 ... c Min unsat cost LB: 119775 ... c Min unsat cost LB: 119776 ... c Min unsat cost LB: 119777 ... c Min unsat cost LB: 119778 ... c Min unsat cost LB: 119780 ... c Min unsat cost LB: 119781 ... c Min unsat cost LB: 119788 ... c Min unsat cost LB: 119789 ... c Min unsat cost LB: 119793 ... c Min unsat cost LB: 119794 ... c Min unsat cost LB: 119796 ... c Min unsat cost LB: 119798 ... c Min unsat cost LB: 119828 ... c Min unsat cost LB: 119829 ... c Min unsat cost LB: 119830 ... c Min unsat cost LB: 119831 ... c Min unsat cost LB: 119832 ... c Min unsat cost LB: 119833 ... c Min unsat cost LB: 119834 ... c Min unsat cost LB: 119835 ... c Min unsat cost LB: 119836 ... c Min unsat cost LB: 119837 ... c Min unsat cost LB: 119838 ... c Min unsat cost LB: 119839 ... c Min unsat cost LB: 119840 ... c Min unsat cost LB: 119841 ... c Min unsat cost LB: 119842 ... c Min unsat cost LB: 119843 ... c Min unsat cost LB: 119844 ... c Min unsat cost LB: 119845 ... c Min unsat cost LB: 119846 ... c Min unsat cost LB: 119847 ... c Min unsat cost LB: 119848 ... c Min unsat cost LB: 119849 ... c Min unsat cost LB: 119850 ... c Min unsat cost LB: 119851 ... c Min unsat cost LB: 119852 ... c Min unsat cost LB: 119853 ... c Min unsat cost LB: 119854 ... c Min unsat cost LB: 119855 ... c Min unsat cost LB: 119856 ... c Min unsat cost LB: 119857 ... c Min unsat cost LB: 119858 ... c Min unsat cost LB: 119859 ... c Min unsat cost LB: 119860 ... c Min unsat cost LB: 119861 ... c Min unsat cost LB: 119862 ... c Min unsat cost LB: 119863 ... c Min unsat cost LB: 119864 ... c Min unsat cost LB: 119865 ... c Min unsat cost LB: 119866 ... c Min unsat cost LB: 119867 ... c Min unsat cost LB: 119868 ... c Min unsat cost LB: 119869 ... c Min unsat cost LB: 119870 ... c Min unsat cost LB: 119871 ... c Min unsat cost LB: 119872 ... c Min unsat cost LB: 119873 ... c Min unsat cost LB: 119874 ... c Min unsat cost LB: 119875 ... c Min unsat cost LB: 119876 ... c Min unsat cost LB: 119877 ... c Min unsat cost LB: 119878 ... c Min unsat cost LB: 119879 ... c Min unsat cost LB: 119880 ... c Min unsat cost LB: 119881 ... c Min unsat cost LB: 119882 ... c Min unsat cost LB: 119883 ... c Min unsat cost LB: 119884 ... c Min unsat cost LB: 119885 ... c Min unsat cost LB: 119886 ... c Min unsat cost LB: 119887 ... c Min unsat cost LB: 119888 ... c Min unsat cost LB: 119889 ... c Min unsat cost LB: 119890 ... c Min unsat cost LB: 119891 ... c Min unsat cost LB: 119892 ... c Min unsat cost LB: 119893 ... c Min unsat cost LB: 119894 ... c Min unsat cost LB: 119895 ... c Min unsat cost LB: 119896 ... c Min unsat cost LB: 119897 ... c Min unsat cost LB: 119898 ... c Min unsat cost LB: 119899 ... c Min unsat cost LB: 119900 ... c Min unsat cost LB: 119901 ... c Min unsat cost LB: 119902 ... c Min unsat cost LB: 119905 ... c Min unsat cost LB: 119906 ... c Min unsat cost LB: 119907 ... c Min unsat cost LB: 119912 ... c Min unsat cost LB: 119913 ... c Min unsat cost LB: 119914 ... c Min unsat cost LB: 119915 ... c Min unsat cost LB: 119916 ... c Min unsat cost LB: 119917 ... c Min unsat cost LB: 119918 ... c Min unsat cost LB: 119919 ... c Min unsat cost LB: 119920 ... c Min unsat cost LB: 119921 ... c Min unsat cost LB: 119922 ... c Min unsat cost LB: 119923 ... c Min unsat cost LB: 119924 ... c Min unsat cost LB: 119925 ... c Min unsat cost LB: 119926 ... c Min unsat cost LB: 119927 ... c Min unsat cost LB: 119928 ... c Min unsat cost LB: 119929 ... c Min unsat cost LB: 119930 ... c Min unsat cost LB: 119931 ... c Min unsat cost LB: 119932 ... c Min unsat cost LB: 119933 ... c Min unsat cost LB: 119934 ... c Min unsat cost LB: 119935 ... c Min unsat cost LB: 119936 ... c Min unsat cost LB: 119937 ... c Min unsat cost LB: 119938 ... c Min unsat cost LB: 119939 ... c Min unsat cost LB: 119940 ... c Min unsat cost LB: 119941 ... c Min unsat cost LB: 119942 ... c Min unsat cost LB: 119943 ... c Min unsat cost LB: 119944 ... c Min unsat cost LB: 119945 ... c Min unsat cost LB: 119947 ... c Min unsat cost LB: 119948 ... c Min unsat cost LB: 119949 ... c Min unsat cost LB: 119950 ... c Min unsat cost LB: 119951 ... c Min unsat cost LB: 119952 ... c Min unsat cost LB: 119953 ... c Min unsat cost LB: 119954 ... c Min unsat cost LB: 119955 ... c Min unsat cost LB: 119956 ... c Min unsat cost LB: 119957 ... c Min unsat cost LB: 119958 ... c Min unsat cost LB: 119959 ... c Min unsat cost LB: 119960 ... c Min unsat cost LB: 119961 ... c Min unsat cost LB: 119962 ... c Min unsat cost LB: 119963 ... c Min unsat cost LB: 119964 ... c Min unsat cost LB: 119965 ... c Min unsat cost LB: 119966 ... c Min unsat cost LB: 119967 ... c Min unsat cost LB: 119968 ... c Min unsat cost LB: 119969 ... c Min unsat cost LB: 119970 ... c Min unsat cost LB: 119971 ... c Min unsat cost LB: 119972 ... c Min unsat cost LB: 119973 ... c Min unsat cost LB: 119974 ... c Min unsat cost LB: 119975 ... c Min unsat cost LB: 119976 ... c Min unsat cost LB: 119977 ... c Min unsat cost LB: 119978 ... c Min unsat cost LB: 119979 ... c Min unsat cost LB: 119980 ... c Min unsat cost LB: 119981 ... c Min unsat cost LB: 119982 ... c Min unsat cost LB: 119983 ... c Min unsat cost LB: 119984 ... c Min unsat cost LB: 119985 ... c Min unsat cost LB: 119986 ... c Min unsat cost LB: 119987 ... c Min unsat cost LB: 119988 ... c Min unsat cost LB: 119989 ... c Min unsat cost LB: 119990 ... c Min unsat cost LB: 119991 ... c Min unsat cost LB: 119992 ... c Min unsat cost LB: 119993 ... c Min unsat cost LB: 119994 ... c Min unsat cost LB: 119995 ... c Min unsat cost LB: 119996 ... c Min unsat cost LB: 119997 ... c Min unsat cost LB: 119998 ... c Min unsat cost LB: 119999 ... c Min unsat cost LB: 120000 ... c Min unsat cost LB: 120001 ... c Min unsat cost LB: 120002 ... c Min unsat cost LB: 120003 ... c Min unsat cost LB: 120004 ... c Min unsat cost LB: 120005 ... c Min unsat cost LB: 120006 ... c Min unsat cost LB: 120007 ... c Min unsat cost LB: 120008 ... c Min unsat cost LB: 120009 ... c Min unsat cost LB: 120011 ... c Min unsat cost LB: 120027 ... c Min unsat cost LB: 120035 ... c Min unsat cost LB: 120037 ... c Min unsat cost LB: 120038 ... c Min unsat cost LB: 120040 ... c Min unsat cost LB: 120042 ... c Min unsat cost LB: 120043 ... c Min unsat cost LB: 120044 ... c Min unsat cost LB: 120045 ... c Min unsat cost LB: 120046 ... c Min unsat cost LB: 120047 ... c Min unsat cost LB: 120048 ... c Min unsat cost LB: 120049 ... c Min unsat cost LB: 120050 ... c Min unsat cost LB: 120051 ... c Min unsat cost LB: 120052 ... c Min unsat cost LB: 120053 ... c Min unsat cost LB: 120054 ... c Min unsat cost LB: 120055 ... c Min unsat cost LB: 120056 ... c Min unsat cost LB: 120059 ... c Min unsat cost LB: 120060 ... c Min unsat cost LB: 120062 ... c Min unsat cost LB: 120066 ... c Min unsat cost LB: 120067 ... c Min unsat cost LB: 120068 ... c Min unsat cost LB: 120069 ... c Min unsat cost LB: 120070 ... c Min unsat cost LB: 120071 ... c Min unsat cost LB: 120072 ... c Min unsat cost LB: 120073 ... c Min unsat cost LB: 120074 ... c Min unsat cost LB: 120075 ... c Min unsat cost LB: 120082 ... c Min unsat cost LB: 120086 ... c Min unsat cost LB: 120087 ... c Min unsat cost LB: 120088 ... c Min unsat cost LB: 120089 ... c Min unsat cost LB: 120090 ... c Min unsat cost LB: 120091 ... c Min unsat cost LB: 120093 ... c Min unsat cost LB: 120094 ... c Min unsat cost LB: 120096 ... c Min unsat cost LB: 120097 ... c Min unsat cost LB: 120103 ... c Min unsat cost LB: 120104 ... c Min unsat cost LB: 120105 ... c Min unsat cost LB: 120106 ... c Min unsat cost LB: 120107 ... c Min unsat cost LB: 120108 ... c Min unsat cost LB: 120133 ... c Min unsat cost LB: 120135 ... c Min unsat cost LB: 120143 ... c Min unsat cost LB: 120147 ... c Min unsat cost LB: 120184 ... c Min unsat cost LB: 120189 ... c Min unsat cost LB: 120190 ... c Min unsat cost LB: 120191 ... c Min unsat cost LB: 120193 ... c Min unsat cost LB: 120194 ... c Min unsat cost LB: 120195 ... c Min unsat cost LB: 120196 ... c Min unsat cost LB: 120197 ... c Min unsat cost LB: 120198 ... c Min unsat cost LB: 120199 ... c Min unsat cost LB: 120200 ... c Min unsat cost LB: 120201 ... c Min unsat cost LB: 120202 ... c Min unsat cost LB: 120203 ... c Min unsat cost LB: 120204 ... c Min unsat cost LB: 120205 ... c Min unsat cost LB: 120206 ... c Min unsat cost LB: 120207 ... c Min unsat cost LB: 120209 ... c Min unsat cost LB: 120210 ... c Min unsat cost LB: 120226 ... c Min unsat cost LB: 120227 ... c Min unsat cost LB: 120228 ... c Min unsat cost LB: 120229 ... c Min unsat cost LB: 120230 ... c Min unsat cost LB: 120231 ... c Min unsat cost LB: 120232 ... c Min unsat cost LB: 120233 ... c Min unsat cost LB: 120234 ... c Min unsat cost LB: 120235 ... c Min unsat cost LB: 120236 ... c Min unsat cost LB: 120237 ... c Min unsat cost LB: 120238 ... c Min unsat cost LB: 120239 ... c Min unsat cost LB: 120240 ... c Min unsat cost LB: 120241 ... c Min unsat cost LB: 120242 ... c Min unsat cost LB: 120243 ... c Min unsat cost LB: 120245 ... c Min unsat cost LB: 120246 ... c Min unsat cost LB: 120247 ... c Min unsat cost LB: 120248 ... c Min unsat cost LB: 120249 ... c Min unsat cost LB: 120256 ... c Min unsat cost LB: 120257 ... c Min unsat cost LB: 120279 ... c Min unsat cost LB: 120282 ... c Min unsat cost LB: 120290 ... c Min unsat cost LB: 120291 ... c Min unsat cost LB: 120292 ... c Min unsat cost LB: 120293 ... c Min unsat cost LB: 120294 ... c Min unsat cost LB: 120295 ... c Min unsat cost LB: 120296 ... c Min unsat cost LB: 120297 ... c Min unsat cost LB: 120298 ... c Min unsat cost LB: 120299 ... c Min unsat cost LB: 120303 ... c Min unsat cost LB: 120305 ... c Min unsat cost LB: 120306 ... c Min unsat cost LB: 120307 ... c Min unsat cost LB: 120309 ... c Min unsat cost LB: 120310 ... c Min unsat cost LB: 120311 ... c Min unsat cost LB: 120312 ... c Min unsat cost LB: 120313 ... c Min unsat cost LB: 120314 ... c Min unsat cost LB: 120315 ... c Min unsat cost LB: 120316 ... c Min unsat cost LB: 120317 ... c Min unsat cost LB: 120318 ... c Min unsat cost LB: 120319 ... c Min unsat cost LB: 120320 ... c Min unsat cost LB: 120321 ... c Min unsat cost LB: 120325 ... c Min unsat cost LB: 120345 ... c Min unsat cost LB: 120347 ... c Min unsat cost LB: 120349 ... c Min unsat cost LB: 120350 ... c Min unsat cost LB: 120351 ... c Min unsat cost LB: 120353 ... c Min unsat cost LB: 120354 ... c Min unsat cost LB: 120356 ... c Min unsat cost LB: 120357 ... c Min unsat cost LB: 120358 ... c Min unsat cost LB: 120359 ... c Min unsat cost LB: 120360 ... c Min unsat cost LB: 120361 ... c Min unsat cost LB: 120362 ... c Min unsat cost LB: 120367 ... c Min unsat cost LB: 120377 ... c Min unsat cost LB: 120379 ... c Min unsat cost LB: 120380 ... c Min unsat cost LB: 120381 ... c Min unsat cost LB: 120382 ... c Min unsat cost LB: 120383 ... c Min unsat cost LB: 120384 ... c Min unsat cost LB: 120385 ... c Min unsat cost LB: 120386 ... c Min unsat cost LB: 120387 ... c Min unsat cost LB: 120391 ... c Min unsat cost LB: 120392 ... c Min unsat cost LB: 120393 ... c Min unsat cost LB: 120394 ... c Min unsat cost LB: 120395 ... c Min unsat cost LB: 120396 ... c Min unsat cost LB: 120397 ... c Min unsat cost LB: 120398 ... c Min unsat cost LB: 120399 ... c Min unsat cost LB: 120400 ... c Min unsat cost LB: 120401 ... c Min unsat cost LB: 120402 ... c Min unsat cost LB: 120403 ... c Min unsat cost LB: 120404 ... c Min unsat cost LB: 120405 ... c Min unsat cost LB: 120406 ... c Min unsat cost LB: 120407 ... c Min unsat cost LB: 120408 ... c Min unsat cost LB: 120409 ... c Min unsat cost LB: 120410 ... c Min unsat cost LB: 120416 ... c Min unsat cost LB: 120421 ... c Min unsat cost LB: 120430 ... c Min unsat cost LB: 120473 ... c Min unsat cost LB: 120474 ... c Min unsat cost LB: 120563 ... c Min unsat cost LB: 120598 ... c Min unsat cost LB: 120601 ... c Min unsat cost LB: 120602 ... c Min unsat cost LB: 120603 ... c Min unsat cost LB: 120604 ... c Min unsat cost LB: 120605 ... c Min unsat cost LB: 120606 ... c Min unsat cost LB: 120607 ... c Min unsat cost LB: 120608 ... c Min unsat cost LB: 120609 ... c Min unsat cost LB: 120610 ... c Min unsat cost LB: 120611 ... c Min unsat cost LB: 120612 ... c Min unsat cost LB: 120613 ... c Min unsat cost LB: 120614 ... c Min unsat cost LB: 120617 ... c Min unsat cost LB: 120618 ... c Min unsat cost LB: 120619 ... c Min unsat cost LB: 120620 ... c Min unsat cost LB: 120621 ... c Min unsat cost LB: 120622 ... c Min unsat cost LB: 120623 ... c Min unsat cost LB: 120624 ... c Min unsat cost LB: 120625 ... c Min unsat cost LB: 120626 ... c Min unsat cost LB: 120627 ... c Min unsat cost LB: 120628 ... c Min unsat cost LB: 120629 ... c Min unsat cost LB: 120630 ... c Min unsat cost LB: 120631 ... c Min unsat cost LB: 120632 ... c Min unsat cost LB: 120633 ... c Min unsat cost LB: 120634 ... c Min unsat cost LB: 120635 ... c Min unsat cost LB: 120636 ... c Min unsat cost LB: 120637 ... c Min unsat cost LB: 120638 ... c Min unsat cost LB: 120639 ... c Min unsat cost LB: 120640 ... c Min unsat cost LB: 120643 ... c Min unsat cost LB: 120646 ... c Min unsat cost LB: 120648 ... c Min unsat cost LB: 120651 ... c Min unsat cost LB: 120652 ... c Min unsat cost LB: 120654 ... c Min unsat cost LB: 120655 ... c Min unsat cost LB: 120656 ... c Min unsat cost LB: 120657 ... c Min unsat cost LB: 120658 ... c Min unsat cost LB: 120659 ... c Min unsat cost LB: 120660 ... c Min unsat cost LB: 120661 ... c Min unsat cost LB: 120662 ... c Min unsat cost LB: 120664 ... c Min unsat cost LB: 120665 ... c Min unsat cost LB: 120666 ... c Min unsat cost LB: 120667 ... c Min unsat cost LB: 120668 ... c Min unsat cost LB: 120669 ... c Min unsat cost LB: 120670 ... c Min unsat cost LB: 120672 ... c Min unsat cost LB: 120674 ... c Min unsat cost LB: 120681 ... c Min unsat cost LB: 120687 ... c Min unsat cost LB: 120688 ... c Min unsat cost LB: 120691 ... c Min unsat cost LB: 120692 ... c Min unsat cost LB: 120695 ... c Min unsat cost LB: 120696 ... c Min unsat cost LB: 120697 ... c Min unsat cost LB: 120698 ... c Min unsat cost LB: 120699 ... c Min unsat cost LB: 120700 ... c Min unsat cost LB: 120702 ... c Min unsat cost LB: 120703 ... c Min unsat cost LB: 120704 ... c Min unsat cost LB: 120705 ... c Min unsat cost LB: 120706 ... c Min unsat cost LB: 120707 ... c Min unsat cost LB: 120709 ... c Min unsat cost LB: 120710 ... c Min unsat cost LB: 120714 ... c Min unsat cost LB: 120715 ... c Min unsat cost LB: 120718 ... c Min unsat cost LB: 120758 ... c Min unsat cost LB: 120759 ... c Min unsat cost LB: 120760 ... c Min unsat cost LB: 120761 ... c Min unsat cost LB: 120762 ... c Min unsat cost LB: 120763 ... c Min unsat cost LB: 120764 ... c Min unsat cost LB: 120765 ... c Min unsat cost LB: 120766 ... c Min unsat cost LB: 120767 ... c Min unsat cost LB: 120768 ... c Min unsat cost LB: 120769 ... c Min unsat cost LB: 120771 ... c Min unsat cost LB: 120772 ... c Min unsat cost LB: 120773 ... c Min unsat cost LB: 120799 ... c Min unsat cost LB: 120800 ... c Min unsat cost LB: 120801 ... c Min unsat cost LB: 120802 ... c Min unsat cost LB: 120803 ... c Min unsat cost LB: 120804 ... c Min unsat cost LB: 120805 ... c Min unsat cost LB: 120806 ... c Min unsat cost LB: 120807 ... c Min unsat cost LB: 120808 ... c Min unsat cost LB: 120809 ... c Min unsat cost LB: 120810 ... c Min unsat cost LB: 120811 ... c Min unsat cost LB: 120812 ... c Min unsat cost LB: 120813 ... c Min unsat cost LB: 120814 ... c Min unsat cost LB: 120815 ... c Min unsat cost LB: 120861 ... c Min unsat cost LB: 120881 ... c Min unsat cost LB: 120883 ... c Min unsat cost LB: 120897 ... c Min unsat cost LB: 120935 ... c Min unsat cost LB: 120937 ... c Min unsat cost LB: 120940 ... c Min unsat cost LB: 120941 ... c Min unsat cost LB: 120942 ... c Min unsat cost LB: 120943 ... c Min unsat cost LB: 120948 ... c Min unsat cost LB: 120949 ... c Min unsat cost LB: 120952 ... c Min unsat cost LB: 120953 ... c Min unsat cost LB: 120955 ... c Min unsat cost LB: 120956 ... c Min unsat cost LB: 120957 ... c Min unsat cost LB: 120958 ... c Min unsat cost LB: 120959 ... c Min unsat cost LB: 120960 ... c Min unsat cost LB: 120961 ... c Min unsat cost LB: 120962 ... c Min unsat cost LB: 120963 ... c Min unsat cost LB: 120984 ... c Min unsat cost LB: 120985 ... c Min unsat cost LB: 120986 ... c Min unsat cost LB: 120987 ... c Min unsat cost LB: 120988 ... c Min unsat cost LB: 120999 ... c Min unsat cost LB: 121001 ... c Min unsat cost LB: 121004 ... c Min unsat cost LB: 121036 ... c Min unsat cost LB: 121038 ... c Min unsat cost LB: 121039 ... c Min unsat cost LB: 121040 ... c Min unsat cost LB: 121041 ... c Min unsat cost LB: 121042 ... c Min unsat cost LB: 121043 ... c Min unsat cost LB: 121044 ... c Min unsat cost LB: 121045 ... c Min unsat cost LB: 121046 ... c Min unsat cost LB: 121047 ... c Min unsat cost LB: 121048 ... c Min unsat cost LB: 121049 ... c Min unsat cost LB: 121050 ... c Min unsat cost LB: 121051 ... c Min unsat cost LB: 121059 ... c Min unsat cost LB: 121060 ... c Min unsat cost LB: 121061 ... c Min unsat cost LB: 121062 ... c Min unsat cost LB: 121063 ... c Min unsat cost LB: 121064 ... c Min unsat cost LB: 121065 ... c Min unsat cost LB: 121066 ... c Min unsat cost LB: 121067 ... c Min unsat cost LB: 121068 ... c Min unsat cost LB: 121069 ... c Min unsat cost LB: 121070 ... c Min unsat cost LB: 121071 ... c Min unsat cost LB: 121072 ... c Min unsat cost LB: 121073 ... c Min unsat cost LB: 121074 ... c Min unsat cost LB: 121079 ... c Min unsat cost LB: 121081 ... c Min unsat cost LB: 121084 ... c Min unsat cost LB: 121085 ... c Min unsat cost LB: 121086 ... c Min unsat cost LB: 121087 ... c Min unsat cost LB: 121088 ... c Min unsat cost LB: 121089 ... c Min unsat cost LB: 121091 ... c Min unsat cost LB: 121094 ... c Min unsat cost LB: 121095 ... c Min unsat cost LB: 121102 ... c Min unsat cost LB: 121103 ... c Min unsat cost LB: 121104 ... c Min unsat cost LB: 121105 ... c Min unsat cost LB: 121106 ... c Min unsat cost LB: 121107 ... c Min unsat cost LB: 121108 ... c Min unsat cost LB: 121111 ... c Min unsat cost LB: 121112 ... c Min unsat cost LB: 121133 ... c Min unsat cost LB: 121134 ... c Min unsat cost LB: 121150 ... c Min unsat cost LB: 121188 ... c Min unsat cost LB: 121189 ... c Min unsat cost LB: 121190 ... c Min unsat cost LB: 121191 ... c Min unsat cost LB: 121192 ... c Min unsat cost LB: 121193 ... c Min unsat cost LB: 121194 ... c Min unsat cost LB: 121195 ... c Min unsat cost LB: 121196 ... c Min unsat cost LB: 121197 ... c Min unsat cost LB: 121198 ... c Min unsat cost LB: 121199 ... c Min unsat cost LB: 121200 ... c Min unsat cost LB: 121201 ... c Min unsat cost LB: 121202 ... c Min unsat cost LB: 121203 ... c Min unsat cost LB: 121204 ... c Min unsat cost LB: 121205 ... c Min unsat cost LB: 121206 ... c Min unsat cost LB: 121207 ... c Min unsat cost LB: 121208 ... c Min unsat cost LB: 121209 ... c Min unsat cost LB: 121210 ... c Min unsat cost LB: 121211 ... c Min unsat cost LB: 121212 ... c Min unsat cost LB: 121213 ... c Min unsat cost LB: 121214 ... c Min unsat cost LB: 121215 ... c Min unsat cost LB: 121216 ... c Min unsat cost LB: 121217 ... c Min unsat cost LB: 121218 ... c Min unsat cost LB: 121219 ... c Min unsat cost LB: 121220 ... c Min unsat cost LB: 121221 ... c Min unsat cost LB: 121222 ... c Min unsat cost LB: 121223 ... c Min unsat cost LB: 121224 ... c Min unsat cost LB: 121225 ... c Min unsat cost LB: 121226 ... c Min unsat cost LB: 121227 ... c Min unsat cost LB: 121228 ... c Min unsat cost LB: 121229 ... c Min unsat cost LB: 121230 ... c Min unsat cost LB: 121231 ... c Min unsat cost LB: 121232 ... c Min unsat cost LB: 121233 ... c Min unsat cost LB: 121234 ... c Min unsat cost LB: 121235 ... c Min unsat cost LB: 121236 ... c Min unsat cost LB: 121237 ... c Min unsat cost LB: 121238 ... c Min unsat cost LB: 121239 ... c Min unsat cost LB: 121240 ... c Min unsat cost LB: 121241 ... c Min unsat cost LB: 121242 ... c Min unsat cost LB: 121243 ... c Min unsat cost LB: 121247 ... c Min unsat cost LB: 121248 ... c Min unsat cost LB: 121249 ... c Min unsat cost LB: 121406 ... c Min unsat cost LB: 121407 ... c Min unsat cost LB: 121408 ... c Min unsat cost LB: 121409 ... c Min unsat cost LB: 121410 ... c Min unsat cost LB: 121411 ... c Min unsat cost LB: 121412 ... c Min unsat cost LB: 121413 ... c Min unsat cost LB: 121414 ... c Min unsat cost LB: 121415 ... c Min unsat cost LB: 121416 ... c Min unsat cost LB: 121417 ... c Min unsat cost LB: 121418 ... c Min unsat cost LB: 121419 ... c Min unsat cost LB: 121420 ... c Min unsat cost LB: 121421 ... c Min unsat cost LB: 121422 ... c Min unsat cost LB: 121423 ... c Min unsat cost LB: 121424 ... c Min unsat cost LB: 121425 ... c Min unsat cost LB: 121426 ... c Min unsat cost LB: 121427 ... c Min unsat cost LB: 121428 ... c Min unsat cost LB: 121429 ... c Min unsat cost LB: 121430 ... c Min unsat cost LB: 121431 ... c Min unsat cost LB: 121432 ... c Min unsat cost LB: 121433 ... c Min unsat cost LB: 121434 ... c Min unsat cost LB: 121435 ... c Min unsat cost LB: 121438 ... c Min unsat cost LB: 121440 ... c Min unsat cost LB: 121441 ... c Min unsat cost LB: 121442 ... c Min unsat cost LB: 121443 ... c Min unsat cost LB: 121444 ... c Min unsat cost LB: 121445 ... c Min unsat cost LB: 121446 ... c Min unsat cost LB: 121447 ... c Min unsat cost LB: 121448 ... c Min unsat cost LB: 121449 ... c Min unsat cost LB: 121450 ... c Min unsat cost LB: 121451 ... c Min unsat cost LB: 121452 ... c Min unsat cost LB: 121453 ... c Min unsat cost LB: 121454 ... c Min unsat cost LB: 121455 ... c Min unsat cost LB: 121456 ... c Min unsat cost LB: 121457 ... c Min unsat cost LB: 121458 ... c Min unsat cost LB: 121459 ... c Min unsat cost LB: 121460 ... c Min unsat cost LB: 121461 ... c Min unsat cost LB: 121462 ... c Min unsat cost LB: 121463 ... c Min unsat cost LB: 121464 ... c Min unsat cost LB: 121465 ... c Min unsat cost LB: 121466 ... c Min unsat cost LB: 121467 ... c Min unsat cost LB: 121468 ... c Min unsat cost LB: 121469 ... c Min unsat cost LB: 121470 ... c Min unsat cost LB: 121471 ... c Min unsat cost LB: 121472 ... c Min unsat cost LB: 121473 ... c Min unsat cost LB: 121474 ... c Min unsat cost LB: 121475 ... c Min unsat cost LB: 121476 ... c Min unsat cost LB: 121477 ... c Min unsat cost LB: 121478 ... c Min unsat cost LB: 121479 ... c Min unsat cost LB: 121480 ... c Min unsat cost LB: 121481 ... c Min unsat cost LB: 121482 ... c Min unsat cost LB: 121483 ... c Min unsat cost LB: 121484 ... c Min unsat cost LB: 121485 ... c Min unsat cost LB: 121486 ... c Min unsat cost LB: 121487 ... c Min unsat cost LB: 121488 ... c Min unsat cost LB: 121489 ... c Min unsat cost LB: 121490 ..Killed 1815.356u 4.380s 30:20.16 99.9% 0+0k 0+0io 0pf+0w