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_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0002.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_0002.txt.wcnf *** c c Min unsat cost LB: 62 ... c Min unsat cost LB: 124 ... c Min unsat cost LB: 186 ... c Min unsat cost LB: 248 ... c Min unsat cost LB: 1357 ... c Min unsat cost LB: 2404 ... c Min unsat cost LB: 2466 ... c Min unsat cost LB: 3513 ... c Min unsat cost LB: 3575 ... c Min unsat cost LB: 3637 ... c Min unsat cost LB: 4808 ... c Min unsat cost LB: 4870 ... c Min unsat cost LB: 4932 ... c Min unsat cost LB: 4994 ... c Min unsat cost LB: 5056 ... c Min unsat cost LB: 5799 ... c Min unsat cost LB: 5861 ... c Min unsat cost LB: 6289 ... c Min unsat cost LB: 6351 ... c Min unsat cost LB: 6604 ... c Min unsat cost LB: 6666 ... c Min unsat cost LB: 6728 ... c Min unsat cost LB: 7460 ... c Min unsat cost LB: 7522 ... c Min unsat cost LB: 7584 ... c Min unsat cost LB: 7646 ... c Min unsat cost LB: 8203 ... c Min unsat cost LB: 8884 ... c Min unsat cost LB: 9137 ... c Min unsat cost LB: 9880 ... c Min unsat cost LB: 10623 ... c Min unsat cost LB: 10775 ... c Min unsat cost LB: 11203 ... c Min unsat cost LB: 11327 ... c Min unsat cost LB: 11479 ... c Min unsat cost LB: 12388 ... c Min unsat cost LB: 12498 ... c Min unsat cost LB: 13407 ... c Min unsat cost LB: 13669 ... c Min unsat cost LB: 13711 ... c Min unsat cost LB: 13863 ... c Min unsat cost LB: 14578 ... c Min unsat cost LB: 15034 ... c Min unsat cost LB: 15186 ... c Min unsat cost LB: 15943 ... c Min unsat cost LB: 16357 ... c Min unsat cost LB: 16509 ... c Min unsat cost LB: 16633 ... c Min unsat cost LB: 17376 ... c Min unsat cost LB: 18285 ... c Min unsat cost LB: 18934 ... c Min unsat cost LB: 19086 ... c Min unsat cost LB: 19355 ... c Min unsat cost LB: 19735 ... c Min unsat cost LB: 20384 ... c Min unsat cost LB: 20520 ... c Min unsat cost LB: 21169 ... c Min unsat cost LB: 21355 ... c Min unsat cost LB: 21497 ... c Min unsat cost LB: 21649 ... c Min unsat cost LB: 21801 ... c Min unsat cost LB: 22193 ... c Min unsat cost LB: 22345 ... c Min unsat cost LB: 22737 ... c Min unsat cost LB: 23052 ... c Min unsat cost LB: 23204 ... c Min unsat cost LB: 23596 ... c Min unsat cost LB: 23748 ... c Min unsat cost LB: 24099 ... c Min unsat cost LB: 24140 ... c Min unsat cost LB: 24292 ... c Min unsat cost LB: 24444 ... c Min unsat cost LB: 24528 ... c Min unsat cost LB: 24616 ... c Min unsat cost LB: 25525 ... c Min unsat cost LB: 25613 ... c Min unsat cost LB: 26120 ... c Min unsat cost LB: 26512 ... c Min unsat cost LB: 26644 ... c Min unsat cost LB: 26901 ... c Min unsat cost LB: 27658 ... c Min unsat cost LB: 28060 ... c Min unsat cost LB: 28709 ... c Min unsat cost LB: 28771 ... c Min unsat cost LB: 28876 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29373 ... c Min unsat cost LB: 29514 ... c Min unsat cost LB: 29666 ... c Min unsat cost LB: 29709 ... c Min unsat cost LB: 30094 ... c Min unsat cost LB: 30101 ... c Min unsat cost LB: 30253 ... c Min unsat cost LB: 30504 ... c Min unsat cost LB: 30602 ... c Min unsat cost LB: 30716 ... c Min unsat cost LB: 30868 ... c Min unsat cost LB: 31249 ... c Min unsat cost LB: 31256 ... c Min unsat cost LB: 31408 ... c Min unsat cost LB: 31480 ... c Min unsat cost LB: 31727 ... c Min unsat cost LB: 31879 ... c Min unsat cost LB: 31993 ... c Min unsat cost LB: 32145 ... c Min unsat cost LB: 32750 ... c Min unsat cost LB: 32827 ... c Min unsat cost LB: 32941 ... c Min unsat cost LB: 33147 ... c Min unsat cost LB: 33261 ... c Min unsat cost LB: 33375 ... c Min unsat cost LB: 33451 ... c Min unsat cost LB: 33603 ... c Min unsat cost LB: 33918 ... c Min unsat cost LB: 33924 ... c Min unsat cost LB: 34062 ... c Min unsat cost LB: 34070 ... c Min unsat cost LB: 34168 ... c Min unsat cost LB: 34354 ... c Min unsat cost LB: 34396 ... c Min unsat cost LB: 34468 ... c Min unsat cost LB: 34598 ... c Min unsat cost LB: 34620 ... c Min unsat cost LB: 34755 ... c Min unsat cost LB: 34832 ... c Min unsat cost LB: 34946 ... c Min unsat cost LB: 35098 ... c Min unsat cost LB: 35212 ... c Min unsat cost LB: 35469 ... c Min unsat cost LB: 35515 ... c Min unsat cost LB: 36028 ... c Min unsat cost LB: 36074 ... c Min unsat cost LB: 36081 ... c Min unsat cost LB: 36124 ... c Min unsat cost LB: 36201 ... c Min unsat cost LB: 36353 ... c Min unsat cost LB: 36469 ... c Min unsat cost LB: 36515 ... c Min unsat cost LB: 36561 ... c Min unsat cost LB: 37227 ... c Min unsat cost LB: 37318 ... c Min unsat cost LB: 37364 ... c Min unsat cost LB: 37386 ... c Min unsat cost LB: 37410 ... c Min unsat cost LB: 37456 ... c Min unsat cost LB: 37502 ... c Min unsat cost LB: 37516 ... c Min unsat cost LB: 37538 ... c Min unsat cost LB: 37690 ... c Min unsat cost LB: 37712 ... c Min unsat cost LB: 37758 ... c Min unsat cost LB: 37782 ... c Min unsat cost LB: 37828 ... c Min unsat cost LB: 37874 ... c Min unsat cost LB: 37920 ... c Min unsat cost LB: 38034 ... c Min unsat cost LB: 38037 ... c Min unsat cost LB: 38080 ... c Min unsat cost LB: 38126 ... c Min unsat cost LB: 38518 ... c Min unsat cost LB: 38601 ... c Min unsat cost LB: 38678 ... c Min unsat cost LB: 38813 ... c Min unsat cost LB: 38859 ... c Min unsat cost LB: 38905 ... c Min unsat cost LB: 38927 ... c Min unsat cost LB: 39600 ... c Min unsat cost LB: 39718 ... c Min unsat cost LB: 39843 ... c Min unsat cost LB: 39926 ... c Min unsat cost LB: 40040 ... c Min unsat cost LB: 40082 ... c Min unsat cost LB: 40104 ... c Min unsat cost LB: 40150 ... c Min unsat cost LB: 40233 ... c Min unsat cost LB: 40358 ... c Min unsat cost LB: 40483 ... c Min unsat cost LB: 40982 ... c Min unsat cost LB: 41107 ... c Min unsat cost LB: 41232 ... c Min unsat cost LB: 41294 ... c Min unsat cost LB: 41419 ... c Min unsat cost LB: 41465 ... c Min unsat cost LB: 42208 ... c Min unsat cost LB: 42480 ... c Min unsat cost LB: 42881 ... c Min unsat cost LB: 42897 ... c Min unsat cost LB: 42959 ... c Min unsat cost LB: 43006 ... c Min unsat cost LB: 43021 ... c Min unsat cost LB: 43083 ... c Min unsat cost LB: 43145 ... c Min unsat cost LB: 43173 ... c Min unsat cost LB: 43235 ... c Min unsat cost LB: 43281 ... c Min unsat cost LB: 43327 ... c Min unsat cost LB: 43819 ... c Min unsat cost LB: 43888 ... c Min unsat cost LB: 43934 ... c Min unsat cost LB: 43950 ... c Min unsat cost LB: 43997 ... c Min unsat cost LB: 43998 ... c Min unsat cost LB: 44059 ... c Min unsat cost LB: 44074 ... c Min unsat cost LB: 44111 ... c Min unsat cost LB: 44188 ... c Min unsat cost LB: 44225 ... c Min unsat cost LB: 44274 ... c Min unsat cost LB: 44302 ... c Min unsat cost LB: 44390 ... c Min unsat cost LB: 44399 ... c Min unsat cost LB: 44438 ... c Min unsat cost LB: 44484 ... c Min unsat cost LB: 44530 ... c Min unsat cost LB: 44554 ... c Min unsat cost LB: 44576 ... c Min unsat cost LB: 44622 ... c Min unsat cost LB: 44668 ... c Min unsat cost LB: 44690 ... c Min unsat cost LB: 44713 ... c Min unsat cost LB: 44759 ... c Min unsat cost LB: 44781 ... c Min unsat cost LB: 44805 ... c Min unsat cost LB: 44827 ... c Min unsat cost LB: 44848 ... c Min unsat cost LB: 44849 ... c Min unsat cost LB: 44851 ... c Min unsat cost LB: 44894 ... c Min unsat cost LB: 44897 ... c Min unsat cost LB: 44940 ... c Min unsat cost LB: 44943 ... c Min unsat cost LB: 44986 ... c Min unsat cost LB: 45004 ... c Min unsat cost LB: 45032 ... c Min unsat cost LB: 45035 ... c Min unsat cost LB: 45072 ... c Min unsat cost LB: 45100 ... c Min unsat cost LB: 45123 ... c Min unsat cost LB: 45134 ... c Min unsat cost LB: 45156 ... c Min unsat cost LB: 45180 ... c Min unsat cost LB: 45196 ... c Min unsat cost LB: 45222 ... c Min unsat cost LB: 45239 ... c Min unsat cost LB: 45284 ... c Min unsat cost LB: 45301 ... c Min unsat cost LB: 45346 ... c Min unsat cost LB: 45352 ... c Min unsat cost LB: 45752 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 45798 ... c Min unsat cost LB: 45813 ... c Min unsat cost LB: 45835 ... c Min unsat cost LB: 45874 ... c Min unsat cost LB: 45951 ... c Min unsat cost LB: 46076 ... c Min unsat cost LB: 46118 ... c Min unsat cost LB: 46164 ... c Min unsat cost LB: 46236 ... c Min unsat cost LB: 46251 ... c Min unsat cost LB: 46312 ... c Min unsat cost LB: 46354 ... c Min unsat cost LB: 46895 ... c Min unsat cost LB: 47125 ... c Min unsat cost LB: 47278 ... c Min unsat cost LB: 47325 ... c Min unsat cost LB: 47332 ... c Min unsat cost LB: 47467 ... c Min unsat cost LB: 47647 ... c Min unsat cost LB: 47724 ... c Min unsat cost LB: 47744 ... c Min unsat cost LB: 47821 ... c Min unsat cost LB: 47930 ... c Min unsat cost LB: 48065 ... c Min unsat cost LB: 48122 ... c Min unsat cost LB: 48183 ... c Min unsat cost LB: 48369 ... c Min unsat cost LB: 48516 ... c Min unsat cost LB: 48621 ... c Min unsat cost LB: 48668 ... c Min unsat cost LB: 48726 ... c Min unsat cost LB: 48788 ... c Min unsat cost LB: 48940 ... c Min unsat cost LB: 48968 ... c Min unsat cost LB: 48972 ... c Min unsat cost LB: 49017 ... c Min unsat cost LB: 49034 ... c Min unsat cost LB: 49062 ... c Min unsat cost LB: 49214 ... c Min unsat cost LB: 49366 ... c Min unsat cost LB: 49518 ... c Min unsat cost LB: 49525 ... c Min unsat cost LB: 49623 ... c Min unsat cost LB: 49630 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49650 ... c Min unsat cost LB: 49802 ... c Min unsat cost LB: 49839 ... c Min unsat cost LB: 49857 ... c Min unsat cost LB: 49940 ... c Min unsat cost LB: 49962 ... c Min unsat cost LB: 50009 ... c Min unsat cost LB: 50030 ... c Min unsat cost LB: 50113 ... c Min unsat cost LB: 50128 ... c Min unsat cost LB: 50150 ... c Min unsat cost LB: 50235 ... c Min unsat cost LB: 50281 ... c Min unsat cost LB: 50285 ... c Min unsat cost LB: 50437 ... c Min unsat cost LB: 50557 ... c Min unsat cost LB: 50582 ... c Min unsat cost LB: 50692 ... c Min unsat cost LB: 50788 ... c Min unsat cost LB: 50808 ... c Min unsat cost LB: 50830 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 50872 ... c Min unsat cost LB: 50880 ... c Min unsat cost LB: 50933 ... c Min unsat cost LB: 50957 ... c Min unsat cost LB: 51019 ... c Min unsat cost LB: 51027 ... c Min unsat cost LB: 51141 ... c Min unsat cost LB: 51221 ... c Min unsat cost LB: 51230 ... c Min unsat cost LB: 51347 ... c Min unsat cost LB: 51382 ... c Min unsat cost LB: 51428 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51437 ... c Min unsat cost LB: 51456 ... c Min unsat cost LB: 51479 ... c Min unsat cost LB: 51480 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51485 ... c Min unsat cost LB: 51503 ... c Min unsat cost LB: 51504 ... c Min unsat cost LB: 51545 ... c Min unsat cost LB: 51547 ... c Min unsat cost LB: 51554 ... c Min unsat cost LB: 51573 ... c Min unsat cost LB: 51596 ... c Min unsat cost LB: 51797 ... c Min unsat cost LB: 51803 ... c Min unsat cost LB: 51829 ... c Min unsat cost LB: 51880 ... c Min unsat cost LB: 51917 ... c Min unsat cost LB: 51931 ... c Min unsat cost LB: 51951 ... c Min unsat cost LB: 52019 ... c Min unsat cost LB: 52107 ... c Min unsat cost LB: 52144 ... c Min unsat cost LB: 52147 ... c Min unsat cost LB: 52246 ... c Min unsat cost LB: 52271 ... c Min unsat cost LB: 52346 ... c Min unsat cost LB: 52406 ... c Min unsat cost LB: 52494 ... c Min unsat cost LB: 52533 ... c Min unsat cost LB: 52571 ... c Min unsat cost LB: 52597 ... c Min unsat cost LB: 52599 ... c Min unsat cost LB: 52619 ... c Min unsat cost LB: 52625 ... c Min unsat cost LB: 52628 ... c Min unsat cost LB: 52642 ... c Min unsat cost LB: 52644 ... c Min unsat cost LB: 52681 ... c Min unsat cost LB: 52776 ... c Min unsat cost LB: 52833 ... c Min unsat cost LB: 53033 ... c Min unsat cost LB: 53253 ... c Min unsat cost LB: 53296 ... c Min unsat cost LB: 53455 ... c Min unsat cost LB: 53504 ... c Min unsat cost LB: 53708 ... c Min unsat cost LB: 53779 ... c Min unsat cost LB: 53870 ... c Min unsat cost LB: 53889 ... c Min unsat cost LB: 54083 ... c Min unsat cost LB: 54097 ... c Min unsat cost LB: 54112 ... c Min unsat cost LB: 54226 ... c Min unsat cost LB: 54247 ... c Min unsat cost LB: 54254 ... c Min unsat cost LB: 54282 ... c Min unsat cost LB: 54305 ... c Min unsat cost LB: 54367 ... c Min unsat cost LB: 54429 ... c Min unsat cost LB: 54491 ... c Min unsat cost LB: 54648 ... c Min unsat cost LB: 54718 ... c Min unsat cost LB: 54735 ... c Min unsat cost LB: 54780 ... c Min unsat cost LB: 54820 ... c Min unsat cost LB: 54821 ... c Min unsat cost LB: 54825 ... c Min unsat cost LB: 54875 ... c Min unsat cost LB: 54916 ... c Min unsat cost LB: 55033 ... c Min unsat cost LB: 55093 ... c Min unsat cost LB: 55125 ... c Min unsat cost LB: 55136 ... c Min unsat cost LB: 55167 ... c Min unsat cost LB: 55177 ... c Min unsat cost LB: 55191 ... c Min unsat cost LB: 55371 ... c Min unsat cost LB: 55624 ... c Min unsat cost LB: 55844 ... c Min unsat cost LB: 55857 ... c Min unsat cost LB: 55896 ... c Min unsat cost LB: 55921 ... c Min unsat cost LB: 55940 ... c Min unsat cost LB: 55949 ... c Min unsat cost LB: 56060 ... c Min unsat cost LB: 56255 ... c Min unsat cost LB: 56345 ... c Min unsat cost LB: 56382 ... c Min unsat cost LB: 56473 ... c Min unsat cost LB: 56552 ... c Min unsat cost LB: 56561 ... c Min unsat cost LB: 56713 ... c Min unsat cost LB: 56822 ... c Min unsat cost LB: 56824 ... c Min unsat cost LB: 57063 ... c Min unsat cost LB: 57188 ... c Min unsat cost LB: 57212 ... c Min unsat cost LB: 57221 ... c Min unsat cost LB: 57225 ... c Min unsat cost LB: 57238 ... c Min unsat cost LB: 57253 ... c Min unsat cost LB: 57267 ... c Min unsat cost LB: 57357 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57466 ... c Min unsat cost LB: 57510 ... c Min unsat cost LB: 57656 ... c Min unsat cost LB: 57808 ... c Min unsat cost LB: 57825 ... c Min unsat cost LB: 57834 ... c Min unsat cost LB: 57880 ... c Min unsat cost LB: 57895 ... c Min unsat cost LB: 57915 ... c Min unsat cost LB: 57917 ... c Min unsat cost LB: 57932 ... c Min unsat cost LB: 57947 ... c Min unsat cost LB: 57963 ... c Min unsat cost LB: 57993 ... c Min unsat cost LB: 58443 ... c Min unsat cost LB: 58500 ... c Min unsat cost LB: 58521 ... c Min unsat cost LB: 58568 ... c Min unsat cost LB: 58652 ... c Min unsat cost LB: 58659 ... c Min unsat cost LB: 58665 ... c Min unsat cost LB: 58672 ... c Min unsat cost LB: 58713 ... c Min unsat cost LB: 58757 ... c Min unsat cost LB: 58790 ... c Min unsat cost LB: 58848 ... c Min unsat cost LB: 58892 ... c Min unsat cost LB: 58899 ... c Min unsat cost LB: 58921 ... c Min unsat cost LB: 58928 ... c Min unsat cost LB: 58963 ... c Min unsat cost LB: 58975 ... c Min unsat cost LB: 58976 ... c Min unsat cost LB: 58992 ... c Min unsat cost LB: 58998 ... c Min unsat cost LB: 59010 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59032 ... c Min unsat cost LB: 59055 ... c Min unsat cost LB: 59064 ... c Min unsat cost LB: 59115 ... c Min unsat cost LB: 59121 ... c Min unsat cost LB: 59122 ... c Min unsat cost LB: 59147 ... c Min unsat cost LB: 59160 ... c Min unsat cost LB: 59274 ... c Min unsat cost LB: 59343 ... c Min unsat cost LB: 59426 ... c Min unsat cost LB: 59430 ... c Min unsat cost LB: 59432 ... c Min unsat cost LB: 59436 ... c Min unsat cost LB: 59469 ... c Min unsat cost LB: 59477 ... c Min unsat cost LB: 59488 ... c Min unsat cost LB: 59535 ... c Min unsat cost LB: 59537 ... c Min unsat cost LB: 59554 ... c Min unsat cost LB: 59567 ... c Min unsat cost LB: 59588 ... c Min unsat cost LB: 59640 ... c Min unsat cost LB: 59723 ... c Min unsat cost LB: 59726 ... c Min unsat cost LB: 59759 ... c Min unsat cost LB: 59766 ... c Min unsat cost LB: 59838 ... c Min unsat cost LB: 59858 ... c Min unsat cost LB: 59873 ... c Min unsat cost LB: 59921 ... c Min unsat cost LB: 59930 ... c Min unsat cost LB: 59976 ... c Min unsat cost LB: 59983 ... c Min unsat cost LB: 59992 ... c Min unsat cost LB: 59994 ... c Min unsat cost LB: 59996 ... c Min unsat cost LB: 60004 ... c Min unsat cost LB: 60012 ... c Min unsat cost LB: 60027 ... c Min unsat cost LB: 60034 ... c Min unsat cost LB: 60035 ... c Min unsat cost LB: 60039 ... c Min unsat cost LB: 60042 ... c Min unsat cost LB: 60043 ... c Min unsat cost LB: 60044 ... c Min unsat cost LB: 60045 ... c Min unsat cost LB: 60048 ... c Min unsat cost LB: 60049 ... c Min unsat cost LB: 60054 ... c Min unsat cost LB: 60055 ... c Min unsat cost LB: 60058 ... c Min unsat cost LB: 60081 ... c Min unsat cost LB: 60143 ... c Min unsat cost LB: 60149 ... c Min unsat cost LB: 60175 ... c Min unsat cost LB: 60177 ... c Min unsat cost LB: 60180 ... c Min unsat cost LB: 60182 ... c Min unsat cost LB: 60185 ... c Min unsat cost LB: 60242 ... c Min unsat cost LB: 60248 ... c Min unsat cost LB: 60315 ... c Min unsat cost LB: 60329 ... c Min unsat cost LB: 60331 ... c Min unsat cost LB: 60338 ... c Min unsat cost LB: 60340 ... c Min unsat cost LB: 60343 ... c Min unsat cost LB: 60344 ... c Min unsat cost LB: 60346 ... c Min unsat cost LB: 60353 ... c Min unsat cost LB: 60364 ... c Min unsat cost LB: 60373 ... c Min unsat cost LB: 60378 ... c Min unsat cost LB: 60386 ... c Min unsat cost LB: 60389 ... c Min unsat cost LB: 60390 ... c Min unsat cost LB: 60391 ... c Min unsat cost LB: 60393 ... c Min unsat cost LB: 60397 ... c Min unsat cost LB: 60398 ... c Min unsat cost LB: 60408 ... c Min unsat cost LB: 60457 ... c Min unsat cost LB: 60463 ... c Min unsat cost LB: 60502 ... c Min unsat cost LB: 60506 ... c Min unsat cost LB: 60507 ... c Min unsat cost LB: 60513 ... c Min unsat cost LB: 60515 ... c Min unsat cost LB: 60539 ... c Min unsat cost LB: 60545 ... c Min unsat cost LB: 60546 ... c Min unsat cost LB: 60549 ... c Min unsat cost LB: 60552 ... c Min unsat cost LB: 60556 ... c Min unsat cost LB: 60558 ... c Min unsat cost LB: 60565 ... c Min unsat cost LB: 60568 ... c Min unsat cost LB: 60581 ... c Min unsat cost LB: 60584 ... c Min unsat cost LB: 60587 ... c Min unsat cost LB: 60594 ... c Min unsat cost LB: 60595 ... c Min unsat cost LB: 60600 ... c Min unsat cost LB: 60608 ... c Min unsat cost LB: 60612 ... c Min unsat cost LB: 60614 ... c Min unsat cost LB: 60623 ... c Min unsat cost LB: 60629 ... c Min unsat cost LB: 60644 ... c Min unsat cost LB: 60655 ... c Min unsat cost LB: 60658 ... c Min unsat cost LB: 60664 ... c Min unsat cost LB: 60668 ... c Min unsat cost LB: 60673 ... c Min unsat cost LB: 60677 ... c Min unsat cost LB: 60682 ... c Min unsat cost LB: 60685 ... c Min unsat cost LB: 60694 ... c Min unsat cost LB: 60704 ... c Min unsat cost LB: 60707 ... c Min unsat cost LB: 60759 ... c Min unsat cost LB: 60763 ... c Min unsat cost LB: 60772 ... c Min unsat cost LB: 60820 ... c Min unsat cost LB: 60885 ... c Min unsat cost LB: 60898 ... c Min unsat cost LB: 60903 ... c Min unsat cost LB: 60907 ... c Min unsat cost LB: 60920 ... c Min unsat cost LB: 60929 ... c Min unsat cost LB: 60948 ... c Min unsat cost LB: 60952 ... c Min unsat cost LB: 60956 ... c Min unsat cost LB: 61040 ... c Min unsat cost LB: 61044 ... c Min unsat cost LB: 61057 ... c Min unsat cost LB: 61065 ... c Min unsat cost LB: 61075 ... c Min unsat cost LB: 61081 ... c Min unsat cost LB: 61085 ... c Min unsat cost LB: 61094 ... c Min unsat cost LB: 61098 ... c Min unsat cost LB: 61101 ... c Min unsat cost LB: 61103 ... c Min unsat cost LB: 61105 ... c Min unsat cost LB: 61107 ... c Min unsat cost LB: 61109 ... c Min unsat cost LB: 61110 ... c Min unsat cost LB: 61116 ... c Min unsat cost LB: 61124 ... c Min unsat cost LB: 61126 ... c Min unsat cost LB: 61141 ... c Min unsat cost LB: 61150 ... c Min unsat cost LB: 61152 ... c Min unsat cost LB: 61154 ... c Min unsat cost LB: 61156 ... c Min unsat cost LB: 61158 ... c Min unsat cost LB: 61160 ... c Min unsat cost LB: 61198 ... c Min unsat cost LB: 61208 ... c Min unsat cost LB: 61209 ... c Min unsat cost LB: 61211 ... c Min unsat cost LB: 61212 ... c Min unsat cost LB: 61213 ... c Min unsat cost LB: 61214 ... c Min unsat cost LB: 61215 ... c Min unsat cost LB: 61216 ... c Min unsat cost LB: 61217 ... c Min unsat cost LB: 61218 ... c Min unsat cost LB: 61219 ... c Min unsat cost LB: 61220 ... c Min unsat cost LB: 61221 ... c Min unsat cost LB: 61222 ... c Min unsat cost LB: 61223 ... c Min unsat cost LB: 61225 ... c Min unsat cost LB: 61226 ... c Min unsat cost LB: 61227 ... c Min unsat cost LB: 61228 ... c Min unsat cost LB: 61229 ... c Min unsat cost LB: 61230 ... c Min unsat cost LB: 61233 ... c Min unsat cost LB: 61234 ... c Min unsat cost LB: 61235 ... c Min unsat cost LB: 61236 ... c Min unsat cost LB: 61237 ... c Min unsat cost LB: 61238 ... c Min unsat cost LB: 61240 ... c Min unsat cost LB: 61242 ... c Min unsat cost LB: 61247 ... c Min unsat cost LB: 61252 ... c Min unsat cost LB: 61262 ... c Min unsat cost LB: 61265 ... c Min unsat cost LB: 61274 ... c Min unsat cost LB: 61278 ... c Min unsat cost LB: 61311 ... c Min unsat cost LB: 61318 ... c Min unsat cost LB: 61320 ... c Min unsat cost LB: 61333 ... c Min unsat cost LB: 61387 ... c Min unsat cost LB: 61413 ... c Min unsat cost LB: 61415 ... c Min unsat cost LB: 61432 ... c Min unsat cost LB: 61434 ... c Min unsat cost LB: 61443 ... c Min unsat cost LB: 61456 ... c Min unsat cost LB: 61458 ... c Min unsat cost LB: 61461 ... c Min unsat cost LB: 61476 ... c Min unsat cost LB: 61478 ... c Min unsat cost LB: 61487 ... c Min unsat cost LB: 61489 ... c Min unsat cost LB: 61498 ... c Min unsat cost LB: 61546 ... c Min unsat cost LB: 61547 ... c Min unsat cost LB: 61553 ... c Min unsat cost LB: 61555 ... c Min unsat cost LB: 61561 ... c Min unsat cost LB: 61562 ... c Min unsat cost LB: 61564 ... c Min unsat cost LB: 61571 ... c Min unsat cost LB: 61572 ... c Min unsat cost LB: 61578 ... c Min unsat cost LB: 61584 ... c Min unsat cost LB: 61586 ... c Min unsat cost LB: 61599 ... c Min unsat cost LB: 61601 ... c Min unsat cost LB: 61602 ... c Min unsat cost LB: 61603 ... c Min unsat cost LB: 61604 ... c Min unsat cost LB: 61608 ... c Min unsat cost LB: 61611 ... c Min unsat cost LB: 61612 ... c Min unsat cost LB: 61613 ... c Min unsat cost LB: 61614 ... c Min unsat cost LB: 61615 ... c Min unsat cost LB: 61616 ... c Min unsat cost LB: 61617 ... c Min unsat cost LB: 61618 ... c Min unsat cost LB: 61622 ... c Min unsat cost LB: 61644 ... c Min unsat cost LB: 61649 ... c Min unsat cost LB: 61651 ... c Min unsat cost LB: 61653 ... c Min unsat cost LB: 61665 ... c Min unsat cost LB: 61675 ... c Min unsat cost LB: 61676 ... c Min unsat cost LB: 61732 ... c Min unsat cost LB: 61744 ... c Min unsat cost LB: 61785 ... c Min unsat cost LB: 61797 ... c Min unsat cost LB: 61805 ... c Min unsat cost LB: 61815 ... c Min unsat cost LB: 61818 ... c Min unsat cost LB: 61821 ... c Min unsat cost LB: 61822 ... c Min unsat cost LB: 61823 ... c Min unsat cost LB: 61827 ... c Min unsat cost LB: 61829 ... c Min unsat cost LB: 61830 ... c Min unsat cost LB: 61832 ... c Min unsat cost LB: 61834 ... c Min unsat cost LB: 61837 ... c Min unsat cost LB: 61838 ... c Min unsat cost LB: 61840 ... c Min unsat cost LB: 61841 ... c Min unsat cost LB: 61842 ... c Min unsat cost LB: 61845 ... c Min unsat cost LB: 61848 ... c Min unsat cost LB: 61849 ... c Min unsat cost LB: 61850 ... c Min unsat cost LB: 61855 ... c Min unsat cost LB: 61856 ... c Min unsat cost LB: 61857 ... c Min unsat cost LB: 61858 ... c Min unsat cost LB: 61860 ... c Min unsat cost LB: 61862 ... c Min unsat cost LB: 61863 ... c Min unsat cost LB: 61864 ... c Min unsat cost LB: 61865 ... c Min unsat cost LB: 61871 ... c Min unsat cost LB: 61882 ... c Min unsat cost LB: 61884 ... c Min unsat cost LB: 61886 ... c Min unsat cost LB: 61888 ... c Min unsat cost LB: 61895 ... c Min unsat cost LB: 61896 ... c Min unsat cost LB: 61898 ... c Min unsat cost LB: 61899 ... c Min unsat cost LB: 61900 ... c Min unsat cost LB: 61901 ... c Min unsat cost LB: 61902 ... c Min unsat cost LB: 61903 ... c Min unsat cost LB: 61935 ... c Min unsat cost LB: 61936 ... c Min unsat cost LB: 61974 ... c Min unsat cost LB: 61975 ... c Min unsat cost LB: 61976 ... c Min unsat cost LB: 61977 ... c Min unsat cost LB: 61978 ... c Min unsat cost LB: 62009 ... c Min unsat cost LB: 62017 ... c Min unsat cost LB: 62023 ... c Min unsat cost LB: 62024 ... c Min unsat cost LB: 62040 ... c Min unsat cost LB: 62041 ... c Min unsat cost LB: 62042 ... c Min unsat cost LB: 62043 ... c Min unsat cost LB: 62044 ... c Min unsat cost LB: 62045 ... c Min unsat cost LB: 62046 ... c Min unsat cost LB: 62048 ... c Min unsat cost LB: 62050 ... c Min unsat cost LB: 62053 ... c Min unsat cost LB: 62054 ... c Min unsat cost LB: 62055 ... c Min unsat cost LB: 62056 ... c Min unsat cost LB: 62057 ... c Min unsat cost LB: 62058 ... c Min unsat cost LB: 62060 ... c Min unsat cost LB: 62066 ... c Min unsat cost LB: 62067 ... c Min unsat cost LB: 62068 ... c Min unsat cost LB: 62069 ... c Min unsat cost LB: 62070 ... c Min unsat cost LB: 62076 ... c Min unsat cost LB: 62080 ... c Min unsat cost LB: 62086 ... c Min unsat cost LB: 62089 ... c Min unsat cost LB: 62092 ... c Min unsat cost LB: 62094 ... c Min unsat cost LB: 62096 ... c Min unsat cost LB: 62098 ... c Min unsat cost LB: 62099 ... c Min unsat cost LB: 62102 ... c Min unsat cost LB: 62105 ... c Min unsat cost LB: 62109 ... c Min unsat cost LB: 62111 ... c Min unsat cost LB: 62114 ... c Min unsat cost LB: 62115 ... c Min unsat cost LB: 62121 ... c Min unsat cost LB: 62122 ... c Min unsat cost LB: 62126 ... c Min unsat cost LB: 62127 ... c Min unsat cost LB: 62128 ... c Min unsat cost LB: 62131 ... c Min unsat cost LB: 62132 ... c Min unsat cost LB: 62138 ... c Min unsat cost LB: 62142 ... c Min unsat cost LB: 62143 ... c Min unsat cost LB: 62144 ... c Min unsat cost LB: 62145 ... c Min unsat cost LB: 62146 ... c Min unsat cost LB: 62147 ... c Min unsat cost LB: 62148 ... c Min unsat cost LB: 62150 ... c Min unsat cost LB: 62151 ... c Min unsat cost LB: 62153 ... c Min unsat cost LB: 62154 ... c Min unsat cost LB: 62155 ... c Min unsat cost LB: 62156 ... c Min unsat cost LB: 62157 ... c Min unsat cost LB: 62158 ... c Min unsat cost LB: 62181 ... c Min unsat cost LB: 62182 ... c Min unsat cost LB: 62183 ... c Min unsat cost LB: 62184 ... c Min unsat cost LB: 62185 ... c Min unsat cost LB: 62186 ... c Min unsat cost LB: 62187 ... c Min unsat cost LB: 62188 ... c Min unsat cost LB: 62189 ... c Min unsat cost LB: 62190 ... c Min unsat cost LB: 62217 ... c Min unsat cost LB: 62218 ... c Min unsat cost LB: 62219 ... c Min unsat cost LB: 62220 ... c Min unsat cost LB: 62221 ... c Min unsat cost LB: 62222 ... c Min unsat cost LB: 62223 ... c Min unsat cost LB: 62224 ... c Min unsat cost LB: 62225 ... c Min unsat cost LB: 62226 ... c Min unsat cost LB: 62228 ... c Min unsat cost LB: 62229 ... c Min unsat cost LB: 62231 ... c Min unsat cost LB: 62232 ... c Min unsat cost LB: 62233 ... c Min unsat cost LB: 62234 ... c Min unsat cost LB: 62238 ... c Min unsat cost LB: 62239 ... c Min unsat cost LB: 62240 ... c Min unsat cost LB: 62243 ... c Min unsat cost LB: 62244 ... c Min unsat cost LB: 62248 ... c Min unsat cost LB: 62249 ... c Min unsat cost LB: 62250 ... c Min unsat cost LB: 62256 ... c Min unsat cost LB: 62257 ... c Min unsat cost LB: 62258 ... c Min unsat cost LB: 62259 ... c Min unsat cost LB: 62260 ... c Min unsat cost LB: 62261 ... c Min unsat cost LB: 62262 ... c Min unsat cost LB: 62263 ... c Min unsat cost LB: 62264 ... c Min unsat cost LB: 62265 ... c Min unsat cost LB: 62266 ... c Min unsat cost LB: 62267 ... c Min unsat cost LB: 62268 ... c Min unsat cost LB: 62269 ... c Min unsat cost LB: 62270 ... c Min unsat cost LB: 62271 ... c Min unsat cost LB: 62272 ... c Min unsat cost LB: 62273 ... c Min unsat cost LB: 62274 ... c Min unsat cost LB: 62275 ... c Min unsat cost LB: 62276 ... c Min unsat cost LB: 62277 ... c Min unsat cost LB: 62281 ... c Min unsat cost LB: 62284 ... c Min unsat cost LB: 62287 ... c Min unsat cost LB: 62288 ... c Min unsat cost LB: 62289 ... c Min unsat cost LB: 62290 ... c Min unsat cost LB: 62291 ... c Min unsat cost LB: 62292 ... c Min unsat cost LB: 62295 ... c Min unsat cost LB: 62300 ... c Min unsat cost LB: 62301 ... c Min unsat cost LB: 62302 ... c Min unsat cost LB: 62303 ... c Min unsat cost LB: 62304 ... c Min unsat cost LB: 62305 ... c Min unsat cost LB: 62306 ... c Min unsat cost LB: 62307 ... c Min unsat cost LB: 62308 ... c Min unsat cost LB: 62309 ... c Min unsat cost LB: 62310 ... c Min unsat cost LB: 62311 ... c Min unsat cost LB: 62312 ... c Min unsat cost LB: 62313 ... c Min unsat cost LB: 62314 ... c Min unsat cost LB: 62315 ... c Min unsat cost LB: 62316 ... c Min unsat cost LB: 62317 ... c Min unsat cost LB: 62318 ... c Min unsat cost LB: 62319 ... c Min unsat cost LB: 62320 ... c Min unsat cost LB: 62321 ... c Min unsat cost LB: 62322 ... c Min unsat cost LB: 62323 ... c Min unsat cost LB: 62324 ... c Min unsat cost LB: 62325 ... c Min unsat cost LB: 62326 ... c Min unsat cost LB: 62327 ... c Min unsat cost LB: 62345 ... c Min unsat cost LB: 62414 ... c Min unsat cost LB: 62417 ... c Min unsat cost LB: 62439 ... c Min unsat cost LB: 62448 ... c Min unsat cost LB: 62451 ... c Min unsat cost LB: 62463 ... c Min unsat cost LB: 62464 ... c Min unsat cost LB: 62466 ... c Min unsat cost LB: 62473 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62477 ... c Min unsat cost LB: 62478 ... c Min unsat cost LB: 62480 ... c Min unsat cost LB: 62482 ... c Min unsat cost LB: 62483 ... c Min unsat cost LB: 62484 ... c Min unsat cost LB: 62491 ... c Min unsat cost LB: 62492 ... c Min unsat cost LB: 62495 ... c Min unsat cost LB: 62513 ... c Min unsat cost LB: 62525 ... c Min unsat cost LB: 62566 ... c Min unsat cost LB: 62567 ... c Min unsat cost LB: 62578 ... c Min unsat cost LB: 62582 ... c Min unsat cost LB: 62585 ... c Min unsat cost LB: 62603 ... c Min unsat cost LB: 62606 ... c Min unsat cost LB: 62609 ... c Min unsat cost LB: 62613 ... c Min unsat cost LB: 62615 ... c Min unsat cost LB: 62616 ... c Min unsat cost LB: 62623 ... c Min unsat cost LB: 62636 ... c Min unsat cost LB: 62647 ... c Min unsat cost LB: 62650 ... c Min unsat cost LB: 62651 ... c Min unsat cost LB: 62660 ... c Min unsat cost LB: 62665 ... c Min unsat cost LB: 62669 ... c Min unsat cost LB: 62672 ... c Min unsat cost LB: 62673 ... c Min unsat cost LB: 62725 ... c Min unsat cost LB: 62726 ... c Min unsat cost LB: 62728 ... c Min unsat cost LB: 62729 ... c Min unsat cost LB: 62730 ... c Min unsat cost LB: 62731 ... c Min unsat cost LB: 62735 ... c Min unsat cost LB: 62737 ... c Min unsat cost LB: 62740 ... c Min unsat cost LB: 62741 ... c Min unsat cost LB: 62745 ... c Min unsat cost LB: 62758 ... c Min unsat cost LB: 62759 ... c Min unsat cost LB: 62760 ... c Min unsat cost LB: 62764 ... c Min unsat cost LB: 62767 ... c Min unsat cost LB: 62769 ... c Min unsat cost LB: 62772 ... c Min unsat cost LB: 62773 ... c Min unsat cost LB: 62780 ... c Min unsat cost LB: 62783 ... c Min unsat cost LB: 62789 ... c Min unsat cost LB: 62807 ... c Min unsat cost LB: 62814 ... c Min unsat cost LB: 62815 ... c Min unsat cost LB: 62817 ... c Min unsat cost LB: 62831 ... c Min unsat cost LB: 62870 ... c Min unsat cost LB: 62872 ... c Min unsat cost LB: 62873 ... c Min unsat cost LB: 62874 ... c Min unsat cost LB: 62875 ... c Min unsat cost LB: 62879 ... c Min unsat cost LB: 62880 ... c Min unsat cost LB: 62887 ... c Min unsat cost LB: 62891 ... c Min unsat cost LB: 62894 ... c Min unsat cost LB: 62896 ... c Min unsat cost LB: 62902 ... c Min unsat cost LB: 62904 ... c Min unsat cost LB: 62905 ... c Min unsat cost LB: 62906 ... c Min unsat cost LB: 62907 ... c Min unsat cost LB: 62908 ... c Min unsat cost LB: 62910 ... c Min unsat cost LB: 62914 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62918 ... c Min unsat cost LB: 62919 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62923 ... c Min unsat cost LB: 62925 ... c Min unsat cost LB: 62926 ... c Min unsat cost LB: 62928 ... c Min unsat cost LB: 62929 ... c Min unsat cost LB: 62934 ... c Min unsat cost LB: 62935 ... c Min unsat cost LB: 62936 ... c Min unsat cost LB: 62937 ... c Min unsat cost LB: 62941 ... c Min unsat cost LB: 62942 ... c Min unsat cost LB: 62943 ... c Min unsat cost LB: 62949 ... c Min unsat cost LB: 62950 ... c Min unsat cost LB: 62954 ... c Min unsat cost LB: 62955 ... c Min unsat cost LB: 62956 ... c Min unsat cost LB: 62957 ... c Min unsat cost LB: 62958 ... c Min unsat cost LB: 62959 ... c Min unsat cost LB: 62960 ... c Min unsat cost LB: 62961 ... c Min unsat cost LB: 62962 ... c Min unsat cost LB: 62963 ... c Min unsat cost LB: 62964 ... c Min unsat cost LB: 62965 ... c Min unsat cost LB: 62966 ... c Min unsat cost LB: 62967 ... c Min unsat cost LB: 62968 ... c Min unsat cost LB: 62969 ... c Min unsat cost LB: 62970 ... c Min unsat cost LB: 62971 ... c Min unsat cost LB: 62972 ... c Min unsat cost LB: 62973 ... c Min unsat cost LB: 62979 ... c Min unsat cost LB: 62981 ... c Min unsat cost LB: 62982 ... c Min unsat cost LB: 62986 ... c Min unsat cost LB: 62987 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 62993 ... c Min unsat cost LB: 62994 ... c Min unsat cost LB: 62995 ... c Min unsat cost LB: 62996 ... c Min unsat cost LB: 62998 ... c Min unsat cost LB: 62999 ... c Min unsat cost LB: 63001 ... c Min unsat cost LB: 63005 ... c Min unsat cost LB: 63006 ... c Min unsat cost LB: 63008 ... c Min unsat cost LB: 63009 ... c Min unsat cost LB: 63010 ... c Min unsat cost LB: 63011 ... c Min unsat cost LB: 63036 ... c Min unsat cost LB: 63037 ... c Min unsat cost LB: 63044 ... c Min unsat cost LB: 63045 ... c Min unsat cost LB: 63046 ... c Min unsat cost LB: 63048 ... c Min unsat cost LB: 63049 ... c Min unsat cost LB: 63050 ... c Min unsat cost LB: 63079 ... c Min unsat cost LB: 63080 ... c Min unsat cost LB: 63082 ... c Min unsat cost LB: 63083 ... c Min unsat cost LB: 63084 ... c Min unsat cost LB: 63085 ... c Min unsat cost LB: 63087 ... c Min unsat cost LB: 63088 ... c Min unsat cost LB: 63090 ... c Min unsat cost LB: 63091 ... c Min unsat cost LB: 63097 ... c Min unsat cost LB: 63099 ... c Min unsat cost LB: 63100 ... c Min unsat cost LB: 63102 ... c Min unsat cost LB: 63103 ... c Min unsat cost LB: 63104 ... c Min unsat cost LB: 63105 ... c Min unsat cost LB: 63106 ... c Min unsat cost LB: 63108 ... c Min unsat cost LB: 63109 ... c Min unsat cost LB: 63111 ... c Min unsat cost LB: 63112 ... c Min unsat cost LB: 63113 ... c Min unsat cost LB: 63114 ... c Min unsat cost LB: 63115 ... c Min unsat cost LB: 63116 ... c Min unsat cost LB: 63117 ... c Min unsat cost LB: 63118 ... c Min unsat cost LB: 63119 ... c Min unsat cost LB: 63122 ... c Min unsat cost LB: 63123 ... c Min unsat cost LB: 63124 ... c Min unsat cost LB: 63125 ... c Min unsat cost LB: 63126 ... c Min unsat cost LB: 63127 ... c Min unsat cost LB: 63128 ... c Min unsat cost LB: 63129 ... c Min unsat cost LB: 63130 ... c Min unsat cost LB: 63132 ... c Min unsat cost LB: 63133 ... c Min unsat cost LB: 63134 ... c Min unsat cost LB: 63137 ... c Min unsat cost LB: 63138 ... c Min unsat cost LB: 63140 ... c Min unsat cost LB: 63141 ... c Min unsat cost LB: 63142 ... c Min unsat cost LB: 63143 ... c Min unsat cost LB: 63144 ... c Min unsat cost LB: 63145 ... c Min unsat cost LB: 63146 ... c Min unsat cost LB: 63147 ... c Min unsat cost LB: 63149 ... c Min unsat cost LB: 63150 ... c Min unsat cost LB: 63151 ... c Min unsat cost LB: 63152 ... c Min unsat cost LB: 63154 ... c Min unsat cost LB: 63156 ... c Min unsat cost LB: 63157 ... c Min unsat cost LB: 63158 ... c Min unsat cost LB: 63160 ... c Min unsat cost LB: 63161 ... c Min unsat cost LB: 63163 ... c Min unsat cost LB: 63164 ... c Min unsat cost LB: 63165 ... c Min unsat cost LB: 63166 ... c Min unsat cost LB: 63167 ... c Min unsat cost LB: 63168 ... c Min unsat cost LB: 63169 ... c Min unsat cost LB: 63170 ... c Min unsat cost LB: 63171 ... c Min unsat cost LB: 63182 ... c Min unsat cost LB: 63183 ... c Min unsat cost LB: 63185 ... c Min unsat cost LB: 63186 ... c Min unsat cost LB: 63187 ... c Min unsat cost LB: 63188 ... c Min unsat cost LB: 63190 ... c Min unsat cost LB: 63194 ... c Min unsat cost LB: 63195 ... c Min unsat cost LB: 63196 ... c Min unsat cost LB: 63200 ... c Min unsat cost LB: 63201 ... c Min unsat cost LB: 63203 ... c Min unsat cost LB: 63207 ... c Min unsat cost LB: 63208 ... c Min unsat cost LB: 63209 ... c Min unsat cost LB: 63210 ... c Min unsat cost LB: 63211 ... c Min unsat cost LB: 63212 ... c Min unsat cost LB: 63213 ... c Min unsat cost LB: 63214 ... c Min unsat cost LB: 63229 ... c Min unsat cost LB: 63230 ... c Min unsat cost LB: 63231 ... c Min unsat cost LB: 63232 ... c Min unsat cost LB: 63233 ... c Min unsat cost LB: 63234 ... c Min unsat cost LB: 63235 ... c Min unsat cost LB: 63236 ... c Min unsat cost LB: 63237 ... c Min unsat cost LB: 63238 ... c Min unsat cost LB: 63239 ... c Min unsat cost LB: 63240 ... c Min unsat cost LB: 63241 ... c Min unsat cost LB: 63242 ... c Min unsat cost LB: 63243 ... c Min unsat cost LB: 63244 ... c Min unsat cost LB: 63245 ... c Min unsat cost LB: 63246 ... c Min unsat cost LB: 63247 ... c Min unsat cost LB: 63248 ... c Min unsat cost LB: 63249 ... c Min unsat cost LB: 63250 ... c Min unsat cost LB: 63251 ... c Min unsat cost LB: 63252 ... c Min unsat cost LB: 63253 ... c Min unsat cost LB: 63254 ... c Min unsat cost LB: 63255 ... c Min unsat cost LB: 63256 ... c Min unsat cost LB: 63257 ... c Min unsat cost LB: 63258 ... c Min unsat cost LB: 63259 ... c Min unsat cost LB: 63260 ... c Min unsat cost LB: 63261 ... c Min unsat cost LB: 63262 ... c Min unsat cost LB: 63263 ... c Min unsat cost LB: 63264 ... c Min unsat cost LB: 63265 ... c Min unsat cost LB: 63266 ... c Min unsat cost LB: 63267 ... c Min unsat cost LB: 63268 ... c Min unsat cost LB: 63270 ... c Min unsat cost LB: 63273 ... c Min unsat cost LB: 63274 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63277 ... c Min unsat cost LB: 63286 ... c Min unsat cost LB: 63287 ... c Min unsat cost LB: 63288 ... c Min unsat cost LB: 63289 ... c Min unsat cost LB: 63290 ... c Min unsat cost LB: 63291 ... c Min unsat cost LB: 63292 ... c Min unsat cost LB: 63293 ... c Min unsat cost LB: 63294 ... c Min unsat cost LB: 63295 ... c Min unsat cost LB: 63296 ... c Min unsat cost LB: 63297 ... c Min unsat cost LB: 63300 ... c Min unsat cost LB: 63302 ... c Min unsat cost LB: 63312 ... c Min unsat cost LB: 63313 ... c Min unsat cost LB: 63314 ... c Min unsat cost LB: 63315 ... c Min unsat cost LB: 63316 ... c Min unsat cost LB: 63317 ... c Min unsat cost LB: 63318 ... c Min unsat cost LB: 63319 ... c Min unsat cost LB: 63341 ... c Min unsat cost LB: 63342 ... c Min unsat cost LB: 63343 ... c Min unsat cost LB: 63344 ... c Min unsat cost LB: 63345 ... c Min unsat cost LB: 63349 ... c Min unsat cost LB: 63350 ... c Min unsat cost LB: 63351 ... c Min unsat cost LB: 63352 ... c Min unsat cost LB: 63353 ... c Min unsat cost LB: 63354 ... c Min unsat cost LB: 63355 ... c Min unsat cost LB: 63356 ... c Min unsat cost LB: 63357 ... c Min unsat cost LB: 63358 ... c Min unsat cost LB: 63359 ... c Min unsat cost LB: 63361 ... c Min unsat cost LB: 63367 ... c Min unsat cost LB: 63368 ... c Min unsat cost LB: 63369 ... c Min unsat cost LB: 63370 ... c Min unsat cost LB: 63371 ... c Min unsat cost LB: 63372 ... c Min unsat cost LB: 63373 ... c Min unsat cost LB: 63374 ... c Min unsat cost LB: 63376 ... c Min unsat cost LB: 63378 ... c Min unsat cost LB: 63379 ... c Min unsat cost LB: 63380 ... c Min unsat cost LB: 63381 ... c Min unsat cost LB: 63382 ... c Min unsat cost LB: 63383 ... c Min unsat cost LB: 63384 ... c Min unsat cost LB: 63385 ... c Min unsat cost LB: 63386 ... c Min unsat cost LB: 63388 ... c Min unsat cost LB: 63389 ... c Min unsat cost LB: 63390 ... c Min unsat cost LB: 63391 ... c Min unsat cost LB: 63392 ... c Min unsat cost LB: 63393 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63399 ... c Min unsat cost LB: 63400 ... c Min unsat cost LB: 63401 ... c Min unsat cost LB: 63402 ... c Min unsat cost LB: 63403 ... c Min unsat cost LB: 63404 ... c Min unsat cost LB: 63405 ... c Min unsat cost LB: 63406 ... c Min unsat cost LB: 63407 ... c Min unsat cost LB: 63421 ... c Min unsat cost LB: 63422 ... c Min unsat cost LB: 63423 ... c Min unsat cost LB: 63424 ... c Min unsat cost LB: 63426 ... c Min unsat cost LB: 63427 ... c Min unsat cost LB: 63428 ... c Min unsat cost LB: 63429 ... c Min unsat cost LB: 63431 ... c Min unsat cost LB: 63432 ... c Min unsat cost LB: 63433 ... c Min unsat cost LB: 63434 ... c Min unsat cost LB: 63435 ... c Min unsat cost LB: 63436 ... c Min unsat cost LB: 63437 ... c Min unsat cost LB: 63438 ... c Min unsat cost LB: 63439 ... c Min unsat cost LB: 63440 ... c Min unsat cost LB: 63441 ... c Min unsat cost LB: 63442 ... c Min unsat cost LB: 63443 ... c Min unsat cost LB: 63444 ... c Min unsat cost LB: 63445 ... c Min unsat cost LB: 63446 ... c Min unsat cost LB: 63447 ... c Min unsat cost LB: 63448 ... c Min unsat cost LB: 63450 ... c Min unsat cost LB: 63451 ... c Min unsat cost LB: 63453 ... c Min unsat cost LB: 63454 ... c Min unsat cost LB: 63455 ... c Min unsat cost LB: 63456 ... c Min unsat cost LB: 63457 ... c Min unsat cost LB: 63458 ... c Min unsat cost LB: 63476 ... c Min unsat cost LB: 63477 ... c Min unsat cost LB: 63478 ... c Min unsat cost LB: 63479 ... c Min unsat cost LB: 63480 ... c Min unsat cost LB: 63481 ... c Min unsat cost LB: 63482 ... c Min unsat cost LB: 63483 ... c Min unsat cost LB: 63484 ... c Min unsat cost LB: 63485 ... c Min unsat cost LB: 63486 ... c Min unsat cost LB: 63487 ... c Min unsat cost LB: 63488 ... c Min unsat cost LB: 63491 ... c Min unsat cost LB: 63492 ... c Min unsat cost LB: 63494 ... c Min unsat cost LB: 63495 ... c Min unsat cost LB: 63498 ... c Min unsat cost LB: 63499 ... c Min unsat cost LB: 63506 ... c Min unsat cost LB: 63507 ... c Min unsat cost LB: 63509 ... c Min unsat cost LB: 63511 ... c Min unsat cost LB: 63518 ... c Min unsat cost LB: 63525 ... c Min unsat cost LB: 63526 ... c Min unsat cost LB: 63561 ... c Min unsat cost LB: 63566 ... c Min unsat cost LB: 63567 ... c Min unsat cost LB: 63570 ... c Min unsat cost LB: 63573 ... c Min unsat cost LB: 63575 ... c Min unsat cost LB: 63581 ... c Min unsat cost LB: 63583 ... c Min unsat cost LB: 63585 ... c Min unsat cost LB: 63587 ... c Min unsat cost LB: 63589 ... c Min unsat cost LB: 63599 ... c Min unsat cost LB: 63601 ... c Min unsat cost LB: 63607 ... c Min unsat cost LB: 63609 ... c Min unsat cost LB: 63615 ... c Min unsat cost LB: 63629 ... c Min unsat cost LB: 63630 ... c Min unsat cost LB: 63631 ... c Min unsat cost LB: 63633 ... c Min unsat cost LB: 63635 ... c Min unsat cost LB: 63637 ... c Min unsat cost LB: 63639 ... c Min unsat cost LB: 63640 ... c Min unsat cost LB: 63642 ... c Min unsat cost LB: 63650 ... c Min unsat cost LB: 63671 ... c Min unsat cost LB: 63672 ... c Min unsat cost LB: 63673 ... c Min unsat cost LB: 63674 ... c Min unsat cost LB: 63675 ... c Min unsat cost LB: 63676 ... c Min unsat cost LB: 63677 ... c Min unsat cost LB: 63678 ... c Min unsat cost LB: 63679 ... c Min unsat cost LB: 63683 ... c Min unsat cost LB: 63685 ... c Min unsat cost LB: 63689 ... c Min unsat cost LB: 63690 ... c Min unsat cost LB: 63694 ... c Min unsat cost LB: 63702 ... c Min unsat cost LB: 63707 ... c Min unsat cost LB: 63721 ... c Min unsat cost LB: 63722 ... c Min unsat cost LB: 63723 ... c Min unsat cost LB: 63724 ... c Min unsat cost LB: 63725 ... c Min unsat cost LB: 63726 ... c Min unsat cost LB: 63727 ... c Min unsat cost LB: 63728 ... c Min unsat cost LB: 63729 ... c Min unsat cost LB: 63730 ... c Min unsat cost LB: 63731 ... c Min unsat cost LB: 63732 ... c Min unsat cost LB: 63733 ... c Min unsat cost LB: 63734 ... c Min unsat cost LB: 63735 ... c Min unsat cost LB: 63738 ... c Min unsat cost LB: 63739 ... c Min unsat cost LB: 63740 ... c Min unsat cost LB: 63741 ... c Min unsat cost LB: 63742 ... c Min unsat cost LB: 63743 ... c Min unsat cost LB: 63744 ... c Min unsat cost LB: 63745 ... c Min unsat cost LB: 63746 ... c Min unsat cost LB: 63747 ... c Min unsat cost LB: 63748 ... c Min unsat cost LB: 63749 ... c Min unsat cost LB: 63750 ... c Min unsat cost LB: 63751 ... c Min unsat cost LB: 63752 ... c Min unsat cost LB: 63753 ... c Min unsat cost LB: 63754 ... c Min unsat cost LB: 63755 ... c Min unsat cost LB: 63756 ... c Min unsat cost LB: 63757 ... c Min unsat cost LB: 63758 ... c Min unsat cost LB: 63760 ... c Min unsat cost LB: 63763 ... c Min unsat cost LB: 63766 ... c Min unsat cost LB: 63768 ... c Min unsat cost LB: 63769 ... c Min unsat cost LB: 63771 ... c Min unsat cost LB: 63779 ... c Min unsat cost LB: 63786 ... c Min unsat cost LB: 63790 ... c Min unsat cost LB: 63791 ... c Min unsat cost LB: 63792 ... c Min unsat cost LB: 63793 ... c Min unsat cost LB: 63794 ... c Min unsat cost LB: 63795 ... c Min unsat cost LB: 63796 ... c Min unsat cost LB: 63798 ... c Min unsat cost LB: 63806 ... c Min unsat cost LB: 63807 ... c Min unsat cost LB: 63808 ... c Min unsat cost LB: 63809 ... c Min unsat cost LB: 63810 ... c Min unsat cost LB: 63811 ... c Min unsat cost LB: 63813 ... c Min unsat cost LB: 63814 ... c Min unsat cost LB: 63815 ... c Min unsat cost LB: 63816 ... c Min unsat cost LB: 63819 ... c Min unsat cost LB: 63826 ... c Min unsat cost LB: 63831 ... c Min unsat cost LB: 63833 ... c Min unsat cost LB: 63834 ... c Min unsat cost LB: 63857 ... c Min unsat cost LB: 63858 ... c Min unsat cost LB: 63859 ... c Min unsat cost LB: 63860 ... c Min unsat cost LB: 63861 ... c Min unsat cost LB: 63862 ... c Min unsat cost LB: 63863 ... c Min unsat cost LB: 63864 ... c Min unsat cost LB: 63866 ... c Min unsat cost LB: 63869 ... c Min unsat cost LB: 63873 ... c Min unsat cost LB: 63875 ... c Min unsat cost LB: 63879 ... c Min unsat cost LB: 63881 ... c Min unsat cost LB: 63882 ... c Min unsat cost LB: 63884 ... c Min unsat cost LB: 63886 ... c Min unsat cost LB: 63887 ... c Min unsat cost LB: 63891 ... c Min unsat cost LB: 63901 ... c Min unsat cost LB: 63902 ... c Min unsat cost LB: 63903 ... c Min unsat cost LB: 63904 ... c Min unsat cost LB: 63905 ... c Min unsat cost LB: 63906 ... c Min unsat cost LB: 63907 ... c Min unsat cost LB: 63912 ... c Min unsat cost LB: 63913 ... c Min unsat cost LB: 63928 ... c Min unsat cost LB: 63929 ... c Min unsat cost LB: 63930 ... c Min unsat cost LB: 63931 ... c Min unsat cost LB: 63932 ... c Min unsat cost LB: 63933 ... c Min unsat cost LB: 63934 ... c Min unsat cost LB: 63935 ... c Min unsat cost LB: 63946 ... c Min unsat cost LB: 63948 ... c Min unsat cost LB: 63949 ... c Min unsat cost LB: 63950 ... c Min unsat cost LB: 63951 ... c Min unsat cost LB: 63952 ... c Min unsat cost LB: 63953 ... c Min unsat cost LB: 63954 ... c Min unsat cost LB: 63955 ... c Min unsat cost LB: 63956 ... c Min unsat cost LB: 63958 ... c Min unsat cost LB: 63959 ... c Min unsat cost LB: 63960 ... c Min unsat cost LB: 63961 ... c Min unsat cost LB: 63962 ... c Min unsat cost LB: 63963 ... c Min unsat cost LB: 63964 ... c Min unsat cost LB: 63965 ... c Min unsat cost LB: 63966 ... c Min unsat cost LB: 63967 ... c Min unsat cost LB: 63968 ... c Min unsat cost LB: 63969 ... c Min unsat cost LB: 63973 ... c Min unsat cost LB: 63977 ... c Min unsat cost LB: 63978 ... c Min unsat cost LB: 63979 ... c Min unsat cost LB: 63982 ... c Min unsat cost LB: 63983 ... c Min unsat cost LB: 63984 ... c Min unsat cost LB: 63985 ... c Min unsat cost LB: 63986 ... c Min unsat cost LB: 63987 ... c Min unsat cost LB: 63988 ... c Min unsat cost LB: 63989 ... c Min unsat cost LB: 63991 ... c Min unsat cost LB: 63994 ... c Min unsat cost LB: 63995 ... c Min unsat cost LB: 63996 ... c Min unsat cost LB: 63997 ... c Min unsat cost LB: 63998 ... c Min unsat cost LB: 63999 ... c Min unsat cost LB: 64000 ... c Min unsat cost LB: 64001 ... c Min unsat cost LB: 64002 ... c Min unsat cost LB: 64004 ... c Min unsat cost LB: 64005 ... c Min unsat cost LB: 64006 ... c Min unsat cost LB: 64007 ... c Min unsat cost LB: 64008 ... c Min unsat cost LB: 64009 ... c Min unsat cost LB: 64013 ... c Min unsat cost LB: 64014 ... c Min unsat cost LB: 64015 ... c Min unsat cost LB: 64016 ... c Min unsat cost LB: 64017 ... c Min unsat cost LB: 64018 ... c Min unsat cost LB: 64019 ... c Min unsat cost LB: 64020 ... c Min unsat cost LB: 64022 ... c Min unsat cost LB: 64023 ... c Min unsat cost LB: 64031 ... c Min unsat cost LB: 64035 ... c Min unsat cost LB: 64047 ... c Min unsat cost LB: 64048 ... c Min unsat cost LB: 64050 ... c Min unsat cost LB: 64054 ... c Min unsat cost LB: 64055 ... c Min unsat cost LB: 64056 ... c Min unsat cost LB: 64059 ... c Min unsat cost LB: 64063 ... c Min unsat cost LB: 64064 ... c Min unsat cost LB: 64065 ... c Min unsat cost LB: 64066 ... c Min unsat cost LB: 64067 ... c Min unsat cost LB: 64073 ... c Min unsat cost LB: 64082 ... c Min unsat cost LB: 64083 ... c Min unsat cost LB: 64084 ... c Min unsat cost LB: 64086 ... c Min unsat cost LB: 64087 ... c Min unsat cost LB: 64094 ... c Min unsat cost LB: 64095 ... c Min unsat cost LB: 64097 ... c Min unsat cost LB: 64118 ... c Min unsat cost LB: 64119 ... c Min unsat cost LB: 64120 ... c Min unsat cost LB: 64121 ... c Min unsat cost LB: 64122 ... c Min unsat cost LB: 64123 ... c Min unsat cost LB: 64124 ... c Min unsat cost LB: 64125 ... c Min unsat cost LB: 64126 ... c Min unsat cost LB: 64127 ... c Min unsat cost LB: 64128 ... c Min unsat cost LB: 64129 ... c Min unsat cost LB: 64130 ... c Min unsat cost LB: 64131 ... c Min unsat cost LB: 64132 ... c Min unsat cost LB: 64133 ... c Min unsat cost LB: 64134 ... c Min unsat cost LB: 64135 ... c Min unsat cost LB: 64136 ... c Min unsat cost LB: 64137 ... c Min unsat cost LB: 64138 ... c Min unsat cost LB: 64139 ... c Min unsat cost LB: 64140 ... c Min unsat cost LB: 64141 ... c Min unsat cost LB: 64142 ... c Min unsat cost LB: 64143 ... c Min unsat cost LB: 64144 ... c Min unsat cost LB: 64145 ... c Min unsat cost LB: 64147 ... c Min unsat cost LB: 64148 ... c Min unsat cost LB: 64149 ... c Min unsat cost LB: 64150 ... c Min unsat cost LB: 64151 ... c Min unsat cost LB: 64152 ... c Min unsat cost LB: 64153 ... c Min unsat cost LB: 64154 ... c Min unsat cost LB: 64155 ... c Min unsat cost LB: 64156 ... c Min unsat cost LB: 64157 ... c Min unsat cost LB: 64158 ... c Min unsat cost LB: 64159 ... c Min unsat cost LB: 64160 ... c Min unsat cost LB: 64161 ... c Min unsat cost LB: 64162 ... c Min unsat cost LB: 64165 ... c Min unsat cost LB: 64168 ... c Min unsat cost LB: 64169 ... c Min unsat cost LB: 64170 ... c Min unsat cost LB: 64171 ... c Min unsat cost LB: 64172 ... c Min unsat cost LB: 64173 ... c Min unsat cost LB: 64174 ... c Min unsat cost LB: 64175 ... c Min unsat cost LB: 64176 ... c Min unsat cost LB: 64177 ... c Min unsat cost LB: 64178 ... c Min unsat cost LB: 64179 ... c Min unsat cost LB: 64180 ... c Min unsat cost LB: 64181 ... c Min unsat cost LB: 64182 ... c Min unsat cost LB: 64183 ... c Min unsat cost LB: 64184 ... c Min unsat cost LB: 64185 ... c Min unsat cost LB: 64186 ... c Min unsat cost LB: 64187 ... c Min unsat cost LB: 64188 ... c Min unsat cost LB: 64189 ... c Min unsat cost LB: 64190 ... c Min unsat cost LB: 64191 ... c Min unsat cost LB: 64192 ... c Min unsat cost LB: 64193 ... c Min unsat cost LB: 64194 ... c Min unsat cost LB: 64195 ... c Min unsat cost LB: 64196 ... c Min unsat cost LB: 64197 ... c Min unsat cost LB: 64198 ... c Min unsat cost LB: 64199 ... c Min unsat cost LB: 64200 ... c Min unsat cost LB: 64201 ... c Min unsat cost LB: 64202 ... c Min unsat cost LB: 64203 ... c Min unsat cost LB: 64204 ... c Min unsat cost LB: 64205 ... c Min unsat cost LB: 64206 ... c Min unsat cost LB: 64207 ... c Min unsat cost LB: 64208 ... c Min unsat cost LB: 64209 ... c Min unsat cost LB: 64210 ... c Min unsat cost LB: 64211 ... c Min unsat cost LB: 64212 ... c Min unsat cost LB: 64213 ... c Min unsat cost LB: 64214 ... c Min unsat cost LB: 64215 ... c Min unsat cost LB: 64216 ... c Min unsat cost LB: 64217 ... c Min unsat cost LB: 64218 ... c Min unsat cost LB: 64221 ... c Min unsat cost LB: 64222 ... c Min unsat cost LB: 64226 ... c Min unsat cost LB: 64230 ... c Min unsat cost LB: 64231 ... c Min unsat cost LB: 64243 ... c Min unsat cost LB: 64244 ... c Min unsat cost LB: 64245 ... c Min unsat cost LB: 64246 ... c Min unsat cost LB: 64247 ... c Min unsat cost LB: 64248 ... c Min unsat cost LB: 64249 ... c Min unsat cost LB: 64252 ... c Min unsat cost LB: 64253 ... c Min unsat cost LB: 64254 ... c Min unsat cost LB: 64255 ... c Min unsat cost LB: 64256 ... c Min unsat cost LB: 64257 ... c Min unsat cost LB: 64258 ... c Min unsat cost LB: 64259 ... c Min unsat cost LB: 64260 ... c Min unsat cost LB: 64261 ... c Min unsat cost LB: 64275 ... c Min unsat cost LB: 64276 ... c Min unsat cost LB: 64277 ... c Min unsat cost LB: 64278 ... c Min unsat cost LB: 64279 ... c Min unsat cost LB: 64280 ... c Min unsat cost LB: 64282 ... c Min unsat cost LB: 64283 ... c Min unsat cost LB: 64284 ... c Min unsat cost LB: 64285 ... c Min unsat cost LB: 64286 ... c Min unsat cost LB: 64287 ... c Min unsat cost LB: 64288 ... c Min unsat cost LB: 64289 ... c Min unsat cost LB: 64290 ... c Min unsat cost LB: 64291 ... c Min unsat cost LB: 64292 ... c Min unsat cost LB: 64293 ... c Min unsat cost LB: 64294 ... c Min unsat cost LB: 64295 ... c Min unsat cost LB: 64296 ... c Min unsat cost LB: 64299 ... c Min unsat cost LB: 64300 ... c Min unsat cost LB: 64301 ... c Min unsat cost LB: 64302 ... c Min unsat cost LB: 64303 ... c Min unsat cost LB: 64304 ... c Min unsat cost LB: 64305 ... c Min unsat cost LB: 64306 ... c Min unsat cost LB: 64307 ... c Min unsat cost LB: 64308 ... c Min unsat cost LB: 64309 ... c Min unsat cost LB: 64310 ... c Min unsat cost LB: 64311 ... c Min unsat cost LB: 64312 ... c Min unsat cost LB: 64313 ... c Min unsat cost LB: 64314 ... c Min unsat cost LB: 64315 ... c Min unsat cost LB: 64316 ... c Min unsat cost LB: 64317 ... c Min unsat cost LB: 64318 ... c Min unsat cost LB: 64319 ... c Min unsat cost LB: 64320 ... c Min unsat cost LB: 64321 ... c Min unsat cost LB: 64322 ... c Min unsat cost LB: 64323 ... c Min unsat cost LB: 64324 ... c Min unsat cost LB: 64325 ... c Min unsat cost LB: 64326 ... c Min unsat cost LB: 64327 ... c Min unsat cost LB: 64328 ... c Min unsat cost LB: 64329 ... c Min unsat cost LB: 64330 ... c Min unsat cost LB: 64331 ... c Min unsat cost LB: 64332 ... c Min unsat cost LB: 64333 ... c Min unsat cost LB: 64334 ... c Min unsat cost LB: 64335 ... c Min unsat cost LB: 64336 ... c Min unsat cost LB: 64337 ... c Min unsat cost LB: 64338 ... c Min unsat cost LB: 64339 ... c Min unsat cost LB: 64340 ... c Min unsat cost LB: 64341 ... c Min unsat cost LB: 64342 ... c Min unsat cost LB: 64343 ... c Min unsat cost LB: 64344 ... c Min unsat cost LB: 64346 ... c Min unsat cost LB: 64347 ... c Min unsat cost LB: 64348 ... c Min unsat cost LB: 64349 ... c Min unsat cost LB: 64350 ... c Min unsat cost LB: 64351 ... c Min unsat cost LB: 64352 ... c Min unsat cost LB: 64353 ... c Min unsat cost LB: 64354 ... c Min unsat cost LB: 64355 ... c Min unsat cost LB: 64356 ... c Min unsat cost LB: 64357 ... c Min unsat cost LB: 64358 ... c Min unsat cost LB: 64359 ... c Min unsat cost LB: 64360 ... c Min unsat cost LB: 64361 ... c Min unsat cost LB: 64362 ... c Min unsat cost LB: 64363 ... c Min unsat cost LB: 64364 ... c Min unsat cost LB: 64365 ... c Min unsat cost LB: 64366 ... c Min unsat cost LB: 64367 ... c Min unsat cost LB: 64368 ... c Min unsat cost LB: 64369 ... c Min unsat cost LB: 64370 ... c Min unsat cost LB: 64371 ... c Min unsat cost LB: 64372 ... c Min unsat cost LB: 64373 ... c Min unsat cost LB: 64374 ... c Min unsat cost LB: 64375 ... c Min unsat cost LB: 64376 ... c Min unsat cost LB: 64377 ... c Min unsat cost LB: 64378 ... c Min unsat cost LB: 64379 ... c Min unsat cost LB: 64380 ... c Min unsat cost LB: 64381 ... c Min unsat cost LB: 64382 ... c Min unsat cost LB: 64383 ... c Min unsat cost LB: 64384 ... c Min unsat cost LB: 64385 ... c Min unsat cost LB: 64386 ... c Min unsat cost LB: 64387 ... c Min unsat cost LB: 64388 ... c Min unsat cost LB: 64389 ... c Min unsat cost LB: 64390 ... c Min unsat cost LB: 64391 ... c Min unsat cost LB: 64392 ... c Min unsat cost LB: 64393 ... c Min unsat cost LB: 64394 ... c Min unsat cost LB: 64395 ... c Min unsat cost LB: 64396 ... c Min unsat cost LB: 64397 ... c Min unsat cost LB: 64398 ... c Min unsat cost LB: 64399 ... c Min unsat cost LB: 64400 ... c Min unsat cost LB: 64401 ... c Min unsat cost LB: 64402 ... c Min unsat cost LB: 64403 ... c Min unsat cost LB: 64404 ... c Min unsat cost LB: 64405 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64407 ... c Min unsat cost LB: 64408 ... c Min unsat cost LB: 64409 ... c Min unsat cost LB: 64410 ... c Min unsat cost LB: 64411 ... c Min unsat cost LB: 64412 ... c Min unsat cost LB: 64413 ... c Min unsat cost LB: 64414 ... c Min unsat cost LB: 64415 ... c Min unsat cost LB: 64416 ... c Min unsat cost LB: 64417 ... c Min unsat cost LB: 64418 ... c Min unsat cost LB: 64419 ... c Min unsat cost LB: 64420 ... c Min unsat cost LB: 64421 ... c Min unsat cost LB: 64422 ... c Min unsat cost LB: 64423 ... c Min unsat cost LB: 64424 ... c Min unsat cost LB: 64425 ... c Min unsat cost LB: 64426 ... c Min unsat cost LB: 64427 ... c Min unsat cost LB: 64428 ... c Min unsat cost LB: 64429 ... c Min unsat cost LB: 64430 ... c Min unsat cost LB: 64431 ... c Min unsat cost LB: 64432 ... c Min unsat cost LB: 64433 ... c Min unsat cost LB: 64434 ... c Min unsat cost LB: 64435 ... c Min unsat cost LB: 64436 ... c Min unsat cost LB: 64437 ... c Min unsat cost LB: 64438 ... c Min unsat cost LB: 64439 ... c Min unsat cost LB: 64440 ... c Min unsat cost LB: 64441 ... c Min unsat cost LB: 64442 ... c Min unsat cost LB: 64443 ... c Min unsat cost LB: 64444 ... c Min unsat cost LB: 64445 ... c Min unsat cost LB: 64446 ... c Min unsat cost LB: 64447 ... c Min unsat cost LB: 64448 ... c Min unsat cost LB: 64449 ... c Min unsat cost LB: 64450 ... c Min unsat cost LB: 64451 ... c Min unsat cost LB: 64452 ... c Min unsat cost LB: 64453 ... c Min unsat cost LB: 64454 ... c Min unsat cost LB: 64455 ... c Min unsat cost LB: 64456 ... c Min unsat cost LB: 64457 ... c Min unsat cost LB: 64458 ... c Min unsat cost LB: 64459 ... c Min unsat cost LB: 64460 ... c Min unsat cost LB: 64461 ... c Min unsat cost LB: 64462 ... c Min unsat cost LB: 64463 ... c Min unsat cost LB: 64464 ... c Min unsat cost LB: 64465 ... c Min unsat cost LB: 64466 ... c Min unsat cost LB: 64467 ... c Min unsat cost LB: 64468 ... c Min unsat cost LB: 64469 ... c Min unsat cost LB: 64470 ... c Min unsat cost LB: 64471 ... c Min unsat cost LB: 64472 ... c Min unsat cost LB: 64473 ... c Min unsat cost LB: 64474 ... c Min unsat cost LB: 64475 ... c Min unsat cost LB: 64476 ... c Min unsat cost LB: 64477 ... c Min unsat cost LB: 64482 ... c Min unsat cost LB: 64483 ... c Min unsat cost LB: 64484 ... c Min unsat cost LB: 64485 ... c Min unsat cost LB: 64486 ... c Min unsat cost LB: 64487 ... c Min unsat cost LB: 64488 ... c Min unsat cost LB: 64489 ... c Min unsat cost LB: 64490 ... c Min unsat cost LB: 64491 ... c Min unsat cost LB: 64492 ... c Min unsat cost LB: 64493 ... c Min unsat cost LB: 64494 ... c Min unsat cost LB: 64495 ... c Min unsat cost LB: 64496 ... c Min unsat cost LB: 64497 ... c Min unsat cost LB: 64498 ... c Min unsat cost LB: 64499 ... c Min unsat cost LB: 64500 ... c Min unsat cost LB: 64501 ... c Min unsat cost LB: 64502 ... c Min unsat cost LB: 64503 ... c Min unsat cost LB: 64504 ... c Min unsat cost LB: 64505 ... c Min unsat cost LB: 64506 ... c Min unsat cost LB: 64507 ... c Min unsat cost LB: 64508 ... c Min unsat cost LB: 64509 ... c Min unsat cost LB: 64510 ... c Min unsat cost LB: 64511 ... c Min unsat cost LB: 64512 ... c Min unsat cost LB: 64513 ... c Min unsat cost LB: 64514 ... c Min unsat cost LB: 64515 ... c Min unsat cost LB: 64516 ... c Min unsat cost LB: 64517 ... c Min unsat cost LB: 64518 ... c Min unsat cost LB: 64519 ... c Min unsat cost LB: 64520 ... c Min unsat cost LB: 64521 ... c Min unsat cost LB: 64522 ... c Min unsat cost LB: 64523 ... c Min unsat cost LB: 64524 ... c Min unsat cost LB: 64525 ... c Min unsat cost LB: 64526 ... c Min unsat cost LB: 64527 ... c Min unsat cost LB: 64528 ... c Min unsat cost LB: 64529 ... c Min unsat cost LB: 64530 ... c Min unsat cost LB: 64531 ... c Min unsat cost LB: 64532 ... c Min unsat cost LB: 64533 ... c Min unsat cost LB: 64534 ... c Min unsat cost LB: 64535 ... c Min unsat cost LB: 64536 ... c Min unsat cost LB: 64537 ... c Min unsat cost LB: 64538 ... c Min unsat cost LB: 64539 ... c Min unsat cost LB: 64540 ... c Min unsat cost LB: 64541 ... c Min unsat cost LB: 64542 ... c Min unsat cost LB: 64543 ... c Min unsat cost LB: 64544 ... c Min unsat cost LB: 64545 ... c Min unsat cost LB: 64546 ... c Min unsat cost LB: 64547 ... c Min unsat cost LB: 64548 ... c Min unsat cost LB: 64549 ... c Min unsat cost LB: 64550 ... c Min unsat cost LB: 64551 ... c Min unsat cost LB: 64552 ... c Min unsat cost LB: 64553 ... c Min unsat cost LB: 64554 ... c Min unsat cost LB: 64555 ... c Min unsat cost LB: 64556 ... c Min unsat cost LB: 64564 ... c Min unsat cost LB: 64565 ... c Min unsat cost LB: 64566 ... c Min unsat cost LB: 64567 ... c Min unsat cost LB: 64568 ... c Min unsat cost LB: 64569 ... c Min unsat cost LB: 64570 ... c Min unsat cost LB: 64571 ... c Min unsat cost LB: 64572 ... c Min unsat cost LB: 64573 ... c Min unsat cost LB: 64574 ... c Min unsat cost LB: 64575 ... c Min unsat cost LB: 64576 ... c Min unsat cost LB: 64577 ... c Min unsat cost LB: 64578 ... c Min unsat cost LB: 64579 ... c Min unsat cost LB: 64580 ... c Min unsat cost LB: 64581 ... c Min unsat cost LB: 64582 ... c Min unsat cost LB: 64583 ... c Min unsat cost LB: 64584 ... c Min unsat cost LB: 64585 ... c Min unsat cost LB: 64586 ... c Min unsat cost LB: 64587 ... c Min unsat cost LB: 64588 ... c Min unsat cost LB: 64589 ... c Min unsat cost LB: 64590 ... c Min unsat cost LB: 64591 ... c Min unsat cost LB: 64592 ... c Min unsat cost LB: 64593 ... c Min unsat cost LB: 64594 ... c Min unsat cost LB: 64595 ... c Min unsat cost LB: 64596 ... c Min unsat cost LB: 64601 ... c Min unsat cost LB: 64602 ... c Min unsat cost LB: 64603 ... c Min unsat cost LB: 64604 ... c Min unsat cost LB: 64605 ... c Min unsat cost LB: 64606 ... c Min unsat cost LB: 64607 ... c Min unsat cost LB: 64608 ... c Min unsat cost LB: 64609 ... c Min unsat cost LB: 64610 ... c Min unsat cost LB: 64611 ... c Min unsat cost LB: 64612 ... c Min unsat cost LB: 64613 ... c Min unsat cost LB: 64614 ... c Min unsat cost LB: 64615 ... c Min unsat cost LB: 64616 ... c Min unsat cost LB: 64617 ... c Min unsat cost LB: 64618 ... c Min unsat cost LB: 64619 ... c Min unsat cost LB: 64620 ... c Min unsat cost LB: 64622 ... c Min unsat cost LB: 64623 ... c Min unsat cost LB: 64624 ... c Min unsat cost LB: 64625 ... c Min unsat cost LB: 64626 ... c Min unsat cost LB: 64627 ... c Min unsat cost LB: 64628 ... c Min unsat cost LB: 64629 ... c Min unsat cost LB: 64630 ... c Min unsat cost LB: 64631 ... c Min unsat cost LB: 64632 ... c Min unsat cost LB: 64633 ... c Min unsat cost LB: 64634 ... c Min unsat cost LB: 64635 ... c Min unsat cost LB: 64636 ... c Min unsat cost LB: 64637 ... c Min unsat cost LB: 64638 ... c Min unsat cost LB: 64639 ... c Min unsat cost LB: 64640 ... c Min unsat cost LB: 64641 ... c Min unsat cost LB: 64642 ... c Min unsat cost LB: 64643 ... c Min unsat cost LB: 64644 ... c Min unsat cost LB: 64645 ... c Min unsat cost LB: 64646 ... c MKilled 1815.413u 4.322s 30:23.84 99.7% 0+0k 0+0io 0pf+0w