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_180_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_0003.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_180_0003.txt.wcnf *** c c Min unsat cost LB: 109 ... c Min unsat cost LB: 218 ... c Min unsat cost LB: 327 ... c Min unsat cost LB: 1355 ... c Min unsat cost LB: 1464 ... c Min unsat cost LB: 2492 ... c Min unsat cost LB: 2865 ... c Min unsat cost LB: 3238 ... c Min unsat cost LB: 3347 ... c Min unsat cost LB: 3456 ... c Min unsat cost LB: 3565 ... c Min unsat cost LB: 4097 ... c Min unsat cost LB: 4520 ... c Min unsat cost LB: 4629 ... c Min unsat cost LB: 5016 ... c Min unsat cost LB: 5548 ... c Min unsat cost LB: 5830 ... c Min unsat cost LB: 6326 ... c Min unsat cost LB: 7072 ... c Min unsat cost LB: 7354 ... c Min unsat cost LB: 7463 ... c Min unsat cost LB: 8755 ... c Min unsat cost LB: 8864 ... c Min unsat cost LB: 8973 ... c Min unsat cost LB: 9082 ... c Min unsat cost LB: 10483 ... c Min unsat cost LB: 10592 ... c Min unsat cost LB: 10701 ... c Min unsat cost LB: 10810 ... c Min unsat cost LB: 10919 ... c Min unsat cost LB: 10955 ... c Min unsat cost LB: 11028 ... c Min unsat cost LB: 11137 ... c Min unsat cost LB: 11281 ... c Min unsat cost LB: 11390 ... c Min unsat cost LB: 12320 ... c Min unsat cost LB: 12464 ... c Min unsat cost LB: 12573 ... c Min unsat cost LB: 12717 ... c Min unsat cost LB: 12777 ... c Min unsat cost LB: 12921 ... c Min unsat cost LB: 12981 ... c Min unsat cost LB: 13104 ... c Min unsat cost LB: 13213 ... c Min unsat cost LB: 13636 ... c Min unsat cost LB: 13696 ... c Min unsat cost LB: 13717 ... c Min unsat cost LB: 13826 ... c Min unsat cost LB: 13886 ... c Min unsat cost LB: 13935 ... c Min unsat cost LB: 14044 ... c Min unsat cost LB: 14104 ... c Min unsat cost LB: 14248 ... c Min unsat cost LB: 14308 ... c Min unsat cost LB: 14346 ... c Min unsat cost LB: 14406 ... c Min unsat cost LB: 14515 ... c Min unsat cost LB: 14575 ... c Min unsat cost LB: 14613 ... c Min unsat cost LB: 14651 ... c Min unsat cost LB: 14689 ... c Min unsat cost LB: 14727 ... c Min unsat cost LB: 14757 ... c Min unsat cost LB: 14795 ... c Min unsat cost LB: 14936 ... c Min unsat cost LB: 15080 ... c Min unsat cost LB: 15118 ... c Min unsat cost LB: 15227 ... c Min unsat cost LB: 15265 ... c Min unsat cost LB: 15374 ... c Min unsat cost LB: 15434 ... c Min unsat cost LB: 15472 ... c Min unsat cost LB: 15510 ... c Min unsat cost LB: 15540 ... c Min unsat cost LB: 16034 ... c Min unsat cost LB: 16094 ... c Min unsat cost LB: 16517 ... c Min unsat cost LB: 16626 ... c Min unsat cost LB: 16675 ... c Min unsat cost LB: 17098 ... c Min unsat cost LB: 17158 ... c Min unsat cost LB: 17218 ... c Min unsat cost LB: 17256 ... c Min unsat cost LB: 17264 ... c Min unsat cost LB: 17408 ... c Min unsat cost LB: 17416 ... c Min unsat cost LB: 17525 ... c Min unsat cost LB: 17910 ... c Min unsat cost LB: 18949 ... c Min unsat cost LB: 20038 ... c Min unsat cost LB: 20096 ... c Min unsat cost LB: 20290 ... c Min unsat cost LB: 20341 ... c Min unsat cost LB: 21189 ... c Min unsat cost LB: 21298 ... c Min unsat cost LB: 21442 ... c Min unsat cost LB: 21718 ... c Min unsat cost LB: 22613 ... c Min unsat cost LB: 22627 ... c Min unsat cost LB: 22663 ... c Min unsat cost LB: 22736 ... c Min unsat cost LB: 22837 ... c Min unsat cost LB: 22946 ... c Min unsat cost LB: 23245 ... c Min unsat cost LB: 23583 ... c Min unsat cost LB: 23621 ... c Min unsat cost LB: 23681 ... c Min unsat cost LB: 24615 ... c Min unsat cost LB: 24724 ... c Min unsat cost LB: 25109 ... c Min unsat cost LB: 25137 ... c Min unsat cost LB: 25436 ... c Min unsat cost LB: 25482 ... c Min unsat cost LB: 25629 ... c Min unsat cost LB: 25667 ... c Min unsat cost LB: 25776 ... c Min unsat cost LB: 25814 ... c Min unsat cost LB: 25824 ... c Min unsat cost LB: 25884 ... c Min unsat cost LB: 27117 ... c Min unsat cost LB: 28285 ... c Min unsat cost LB: 28350 ... c Min unsat cost LB: 28397 ... c Min unsat cost LB: 28929 ... c Min unsat cost LB: 29461 ... c Min unsat cost LB: 29479 ... c Min unsat cost LB: 29492 ... c Min unsat cost LB: 30457 ... c Min unsat cost LB: 31677 ... c Min unsat cost LB: 31885 ... c Min unsat cost LB: 32642 ... c Min unsat cost LB: 33058 ... c Min unsat cost LB: 33607 ... c Min unsat cost LB: 34840 ... c Min unsat cost LB: 35478 ... c Min unsat cost LB: 35587 ... c Min unsat cost LB: 35620 ... c Min unsat cost LB: 35680 ... c Min unsat cost LB: 36161 ... c Min unsat cost LB: 37334 ... c Min unsat cost LB: 37715 ... c Min unsat cost LB: 37753 ... c Min unsat cost LB: 37862 ... c Min unsat cost LB: 39095 ... c Min unsat cost LB: 39204 ... c Min unsat cost LB: 40026 ... c Min unsat cost LB: 40135 ... c Min unsat cost LB: 40200 ... c Min unsat cost LB: 40309 ... c Min unsat cost LB: 40418 ... c Min unsat cost LB: 40585 ... c Min unsat cost LB: 41709 ... c Min unsat cost LB: 41818 ... c Min unsat cost LB: 42942 ... c Min unsat cost LB: 43051 ... c Min unsat cost LB: 43160 ... c Min unsat cost LB: 43265 ... c Min unsat cost LB: 43269 ... c Min unsat cost LB: 43378 ... c Min unsat cost LB: 43487 ... c Min unsat cost LB: 43910 ... c Min unsat cost LB: 44019 ... c Min unsat cost LB: 44128 ... c Min unsat cost LB: 44295 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 44718 ... c Min unsat cost LB: 44731 ... c Min unsat cost LB: 44791 ... c Min unsat cost LB: 46024 ... c Min unsat cost LB: 46119 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46396 ... c Min unsat cost LB: 47120 ... c Min unsat cost LB: 47797 ... c Min unsat cost LB: 48050 ... c Min unsat cost LB: 49198 ... c Min unsat cost LB: 49342 ... c Min unsat cost LB: 49391 ... c Min unsat cost LB: 49596 ... c Min unsat cost LB: 49807 ... c Min unsat cost LB: 50701 ... c Min unsat cost LB: 51040 ... c Min unsat cost LB: 51609 ... c Min unsat cost LB: 51888 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52691 ... c Min unsat cost LB: 52980 ... c Min unsat cost LB: 53188 ... c Min unsat cost LB: 53945 ... c Min unsat cost LB: 54351 ... c Min unsat cost LB: 54408 ... c Min unsat cost LB: 54563 ... c Min unsat cost LB: 54857 ... c Min unsat cost LB: 55577 ... c Min unsat cost LB: 56109 ... c Min unsat cost LB: 56284 ... c Min unsat cost LB: 56559 ... c Min unsat cost LB: 56859 ... c Min unsat cost LB: 56931 ... c Min unsat cost LB: 57246 ... c Min unsat cost LB: 58068 ... c Min unsat cost LB: 58070 ... c Min unsat cost LB: 58264 ... c Min unsat cost LB: 58454 ... c Min unsat cost LB: 58514 ... c Min unsat cost LB: 58555 ... c Min unsat cost LB: 58563 ... c Min unsat cost LB: 58593 ... c Min unsat cost LB: 58631 ... c Min unsat cost LB: 58710 ... c Min unsat cost LB: 58819 ... c Min unsat cost LB: 58928 ... c Min unsat cost LB: 59001 ... c Min unsat cost LB: 59002 ... c Min unsat cost LB: 59012 ... c Min unsat cost LB: 59040 ... c Min unsat cost LB: 59048 ... c Min unsat cost LB: 59062 ... c Min unsat cost LB: 59072 ... c Min unsat cost LB: 59174 ... c Min unsat cost LB: 59283 ... c Min unsat cost LB: 59284 ... c Min unsat cost LB: 59314 ... c Min unsat cost LB: 59318 ... c Min unsat cost LB: 59348 ... c Min unsat cost LB: 59352 ... c Min unsat cost LB: 59366 ... c Min unsat cost LB: 59367 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59386 ... c Min unsat cost LB: 59399 ... c Min unsat cost LB: 59413 ... c Min unsat cost LB: 59424 ... c Min unsat cost LB: 59451 ... c Min unsat cost LB: 59454 ... c Min unsat cost LB: 59459 ... c Min unsat cost LB: 59553 ... c Min unsat cost LB: 59568 ... c Min unsat cost LB: 59642 ... c Min unsat cost LB: 59662 ... c Min unsat cost LB: 59741 ... c Min unsat cost LB: 59747 ... c Min unsat cost LB: 59771 ... c Min unsat cost LB: 59810 ... c Min unsat cost LB: 59840 ... c Min unsat cost LB: 59878 ... c Min unsat cost LB: 60068 ... c Min unsat cost LB: 60070 ... c Min unsat cost LB: 60225 ... c Min unsat cost LB: 60291 ... c Min unsat cost LB: 60324 ... c Min unsat cost LB: 60400 ... c Min unsat cost LB: 60433 ... c Min unsat cost LB: 60487 ... c Min unsat cost LB: 60509 ... c Min unsat cost LB: 60542 ... c Min unsat cost LB: 60584 ... c Min unsat cost LB: 60588 ... c Min unsat cost LB: 60730 ... c Min unsat cost LB: 60773 ... c Min unsat cost LB: 60959 ... c Min unsat cost LB: 61011 ... c Min unsat cost LB: 61046 ... c Min unsat cost LB: 61051 ... c Min unsat cost LB: 61120 ... c Min unsat cost LB: 61125 ... c Min unsat cost LB: 61222 ... c Min unsat cost LB: 61234 ... c Min unsat cost LB: 61242 ... c Min unsat cost LB: 61256 ... c Min unsat cost LB: 61283 ... c Min unsat cost LB: 61294 ... c Min unsat cost LB: 61354 ... c Min unsat cost LB: 61414 ... c Min unsat cost LB: 61452 ... c Min unsat cost LB: 61463 ... c Min unsat cost LB: 61547 ... c Min unsat cost LB: 61550 ... c Min unsat cost LB: 61564 ... c Min unsat cost LB: 61642 ... c Min unsat cost LB: 61703 ... c Min unsat cost LB: 61741 ... c Min unsat cost LB: 61755 ... c Min unsat cost LB: 61774 ... c Min unsat cost LB: 61795 ... c Min unsat cost LB: 61800 ... c Min unsat cost LB: 61807 ... c Min unsat cost LB: 61812 ... c Min unsat cost LB: 61814 ... c Min unsat cost LB: 61820 ... c Min unsat cost LB: 61855 ... c Min unsat cost LB: 61858 ... c Min unsat cost LB: 61885 ... c Min unsat cost LB: 61896 ... c Min unsat cost LB: 61913 ... c Min unsat cost LB: 61944 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62015 ... c Min unsat cost LB: 62084 ... c Min unsat cost LB: 62117 ... c Min unsat cost LB: 62129 ... c Min unsat cost LB: 62187 ... c Min unsat cost LB: 62238 ... c Min unsat cost LB: 62325 ... c Min unsat cost LB: 62494 ... c Min unsat cost LB: 62527 ... c Min unsat cost LB: 62636 ... c Min unsat cost LB: 62637 ... c Min unsat cost LB: 62675 ... c Min unsat cost LB: 62929 ... c Min unsat cost LB: 63112 ... c Min unsat cost LB: 63352 ... c Min unsat cost LB: 63394 ... c Min unsat cost LB: 63461 ... c Min unsat cost LB: 63474 ... c Min unsat cost LB: 63482 ... c Min unsat cost LB: 63534 ... c Min unsat cost LB: 63550 ... c Min unsat cost LB: 63610 ... c Min unsat cost LB: 63612 ... c Min unsat cost LB: 63670 ... c Min unsat cost LB: 63677 ... c Min unsat cost LB: 63707 ... c Min unsat cost LB: 63730 ... c Min unsat cost LB: 63752 ... c Min unsat cost LB: 64103 ... c Min unsat cost LB: 64185 ... c Min unsat cost LB: 64236 ... c Min unsat cost LB: 64247 ... c Min unsat cost LB: 64263 ... c Min unsat cost LB: 64340 ... c Min unsat cost LB: 64356 ... c Min unsat cost LB: 64369 ... c Min unsat cost LB: 64380 ... c Min unsat cost LB: 64395 ... c Min unsat cost LB: 64408 ... c Min unsat cost LB: 64696 ... c Min unsat cost LB: 64830 ... c Min unsat cost LB: 64948 ... c Min unsat cost LB: 65013 ... c Min unsat cost LB: 65106 ... c Min unsat cost LB: 65159 ... c Min unsat cost LB: 65458 ... c Min unsat cost LB: 65475 ... c Min unsat cost LB: 65582 ... c Min unsat cost LB: 65619 ... c Min unsat cost LB: 66093 ... c Min unsat cost LB: 66106 ... c Min unsat cost LB: 66173 ... c Min unsat cost LB: 66215 ... c Min unsat cost LB: 66671 ... c Min unsat cost LB: 66804 ... c Min unsat cost LB: 67287 ... c Min unsat cost LB: 67300 ... c Min unsat cost LB: 67336 ... c Min unsat cost LB: 67373 ... c Min unsat cost LB: 67651 ... c Min unsat cost LB: 67758 ... c Min unsat cost LB: 67905 ... c Min unsat cost LB: 68050 ... c Min unsat cost LB: 68085 ... c Min unsat cost LB: 68205 ... c Min unsat cost LB: 68217 ... c Min unsat cost LB: 68274 ... c Min unsat cost LB: 68326 ... c Min unsat cost LB: 68387 ... c Min unsat cost LB: 68423 ... c Min unsat cost LB: 68428 ... c Min unsat cost LB: 68556 ... c Min unsat cost LB: 68754 ... c Min unsat cost LB: 68863 ... c Min unsat cost LB: 68893 ... c Min unsat cost LB: 69182 ... c Min unsat cost LB: 69206 ... c Min unsat cost LB: 69301 ... c Min unsat cost LB: 69326 ... c Min unsat cost LB: 69357 ... c Min unsat cost LB: 69435 ... c Min unsat cost LB: 69450 ... c Min unsat cost LB: 69658 ... c Min unsat cost LB: 69941 ... c Min unsat cost LB: 70046 ... c Min unsat cost LB: 70064 ... c Min unsat cost LB: 70135 ... c Min unsat cost LB: 70136 ... c Min unsat cost LB: 70215 ... c Min unsat cost LB: 70222 ... c Min unsat cost LB: 70252 ... c Min unsat cost LB: 70286 ... c Min unsat cost LB: 70291 ... c Min unsat cost LB: 70296 ... c Min unsat cost LB: 70298 ... c Min unsat cost LB: 70304 ... c Min unsat cost LB: 70325 ... c Min unsat cost LB: 70339 ... c Min unsat cost LB: 70391 ... c Min unsat cost LB: 70404 ... c Min unsat cost LB: 70411 ... c Min unsat cost LB: 70415 ... c Min unsat cost LB: 70423 ... c Min unsat cost LB: 70453 ... c Min unsat cost LB: 70467 ... c Min unsat cost LB: 70472 ... c Min unsat cost LB: 70478 ... c Min unsat cost LB: 70491 ... c Min unsat cost LB: 70505 ... c Min unsat cost LB: 70513 ... c Min unsat cost LB: 70518 ... c Min unsat cost LB: 70535 ... c Min unsat cost LB: 70537 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70542 ... c Min unsat cost LB: 70569 ... c Min unsat cost LB: 70571 ... c Min unsat cost LB: 70572 ... c Min unsat cost LB: 70575 ... c Min unsat cost LB: 70606 ... c Min unsat cost LB: 70611 ... c Min unsat cost LB: 70647 ... c Min unsat cost LB: 70672 ... c Min unsat cost LB: 70698 ... c Min unsat cost LB: 70699 ... c Min unsat cost LB: 70700 ... c Min unsat cost LB: 70704 ... c Min unsat cost LB: 70705 ... c Min unsat cost LB: 70708 ... c Min unsat cost LB: 70709 ... c Min unsat cost LB: 70712 ... c Min unsat cost LB: 70722 ... c Min unsat cost LB: 70723 ... c Min unsat cost LB: 70730 ... c Min unsat cost LB: 70733 ... c Min unsat cost LB: 70735 ... c Min unsat cost LB: 70736 ... c Min unsat cost LB: 70738 ... c Min unsat cost LB: 70774 ... c Min unsat cost LB: 70792 ... c Min unsat cost LB: 70803 ... c Min unsat cost LB: 70804 ... c Min unsat cost LB: 70805 ... c Min unsat cost LB: 70806 ... c Min unsat cost LB: 70807 ... c Min unsat cost LB: 70811 ... c Min unsat cost LB: 70841 ... c Min unsat cost LB: 70852 ... c Min unsat cost LB: 70862 ... c Min unsat cost LB: 70863 ... c Min unsat cost LB: 70866 ... c Min unsat cost LB: 70876 ... c Min unsat cost LB: 70881 ... c Min unsat cost LB: 70883 ... c Min unsat cost LB: 70884 ... c Min unsat cost LB: 70885 ... c Min unsat cost LB: 70892 ... c Min unsat cost LB: 70896 ... c Min unsat cost LB: 70898 ... c Min unsat cost LB: 70899 ... c Min unsat cost LB: 70907 ... c Min unsat cost LB: 70908 ... c Min unsat cost LB: 70921 ... c Min unsat cost LB: 70932 ... c Min unsat cost LB: 70950 ... c Min unsat cost LB: 70951 ... c Min unsat cost LB: 70952 ... c Min unsat cost LB: 70969 ... c Min unsat cost LB: 71028 ... c Min unsat cost LB: 71037 ... c Min unsat cost LB: 71038 ... c Min unsat cost LB: 71043 ... c Min unsat cost LB: 71045 ... c Min unsat cost LB: 71053 ... c Min unsat cost LB: 71057 ... c Min unsat cost LB: 71075 ... c Min unsat cost LB: 71076 ... c Min unsat cost LB: 71077 ... c Min unsat cost LB: 71078 ... c Min unsat cost LB: 71135 ... c Min unsat cost LB: 71136 ... c Min unsat cost LB: 71137 ... c Min unsat cost LB: 71143 ... c Min unsat cost LB: 71145 ... c Min unsat cost LB: 71146 ... c Min unsat cost LB: 71147 ... c Min unsat cost LB: 71148 ... c Min unsat cost LB: 71151 ... c Min unsat cost LB: 71152 ... c Min unsat cost LB: 71159 ... c Min unsat cost LB: 71163 ... c Min unsat cost LB: 71178 ... c Min unsat cost LB: 71217 ... c Min unsat cost LB: 71218 ... c Min unsat cost LB: 71228 ... c Min unsat cost LB: 71230 ... c Min unsat cost LB: 71231 ... c Min unsat cost LB: 71232 ... c Min unsat cost LB: 71233 ... c Min unsat cost LB: 71234 ... c Min unsat cost LB: 71235 ... c Min unsat cost LB: 71236 ... c Min unsat cost LB: 71239 ... c Min unsat cost LB: 71240 ... c Min unsat cost LB: 71245 ... c Min unsat cost LB: 71246 ... c Min unsat cost LB: 71247 ... c Min unsat cost LB: 71249 ... c Min unsat cost LB: 71251 ... c Min unsat cost LB: 71252 ... c Min unsat cost LB: 71253 ... c Min unsat cost LB: 71254 ... c Min unsat cost LB: 71257 ... c Min unsat cost LB: 71258 ... c Min unsat cost LB: 71262 ... c Min unsat cost LB: 71310 ... c Min unsat cost LB: 71311 ... c Min unsat cost LB: 71312 ... c Min unsat cost LB: 71314 ... c Min unsat cost LB: 71317 ... c Min unsat cost LB: 71320 ... c Min unsat cost LB: 71322 ... c Min unsat cost LB: 71326 ... c Min unsat cost LB: 71327 ... c Min unsat cost LB: 71329 ... c Min unsat cost LB: 71332 ... c Min unsat cost LB: 71347 ... c Min unsat cost LB: 71350 ... c Min unsat cost LB: 71351 ... c Min unsat cost LB: 71357 ... c Min unsat cost LB: 71362 ... c Min unsat cost LB: 71384 ... c Min unsat cost LB: 71414 ... c Min unsat cost LB: 71417 ... c Min unsat cost LB: 71420 ... c Min unsat cost LB: 71438 ... c Min unsat cost LB: 71448 ... c Min unsat cost LB: 71453 ... c Min unsat cost LB: 71522 ... c Min unsat cost LB: 71545 ... c Min unsat cost LB: 71553 ... c Min unsat cost LB: 71557 ... c Min unsat cost LB: 71562 ... c Min unsat cost LB: 71565 ... c Min unsat cost LB: 71576 ... c Min unsat cost LB: 71577 ... c Min unsat cost LB: 71581 ... c Min unsat cost LB: 71584 ... c Min unsat cost LB: 71587 ... c Min unsat cost LB: 71590 ... c Min unsat cost LB: 71613 ... c Min unsat cost LB: 71618 ... c Min unsat cost LB: 71619 ... c Min unsat cost LB: 71620 ... c Min unsat cost LB: 71621 ... c Min unsat cost LB: 71629 ... c Min unsat cost LB: 71634 ... c Min unsat cost LB: 71639 ... c Min unsat cost LB: 71687 ... c Min unsat cost LB: 71699 ... c Min unsat cost LB: 71702 ... c Min unsat cost LB: 71706 ... c Min unsat cost LB: 71716 ... c Min unsat cost LB: 71719 ... c Min unsat cost LB: 71775 ... c Min unsat cost LB: 71777 ... c Min unsat cost LB: 71782 ... c Min unsat cost LB: 71807 ... c Min unsat cost LB: 71810 ... c Min unsat cost LB: 71812 ... c Min unsat cost LB: 71863 ... c Min unsat cost LB: 71875 ... c Min unsat cost LB: 71944 ... c Min unsat cost LB: 71956 ... c Min unsat cost LB: 72009 ... c Min unsat cost LB: 72011 ... c Min unsat cost LB: 72012 ... c Min unsat cost LB: 72058 ... c Min unsat cost LB: 72100 ... c Min unsat cost LB: 72105 ... c Min unsat cost LB: 72113 ... c Min unsat cost LB: 72180 ... c Min unsat cost LB: 72312 ... c Min unsat cost LB: 72379 ... c Min unsat cost LB: 72384 ... c Min unsat cost LB: 72394 ... c Min unsat cost LB: 72421 ... c Min unsat cost LB: 72424 ... c Min unsat cost LB: 72426 ... c Min unsat cost LB: 72427 ... c Min unsat cost LB: 72428 ... c Min unsat cost LB: 72432 ... c Min unsat cost LB: 72437 ... c Min unsat cost LB: 72439 ... c Min unsat cost LB: 72440 ... c Min unsat cost LB: 72441 ... c Min unsat cost LB: 72442 ... c Min unsat cost LB: 72443 ... c Min unsat cost LB: 72444 ... c Min unsat cost LB: 72451 ... c Min unsat cost LB: 72476 ... c Min unsat cost LB: 72478 ... c Min unsat cost LB: 72491 ... c Min unsat cost LB: 72492 ... c Min unsat cost LB: 72495 ... c Min unsat cost LB: 72496 ... c Min unsat cost LB: 72497 ... c Min unsat cost LB: 72498 ... c Min unsat cost LB: 72538 ... c Min unsat cost LB: 72540 ... c Min unsat cost LB: 72546 ... c Min unsat cost LB: 72551 ... c Min unsat cost LB: 72552 ... c Min unsat cost LB: 72553 ... c Min unsat cost LB: 72554 ... c Min unsat cost LB: 72555 ... c Min unsat cost LB: 72556 ... c Min unsat cost LB: 72582 ... c Min unsat cost LB: 72585 ... c Min unsat cost LB: 72586 ... c Min unsat cost LB: 72587 ... c Min unsat cost LB: 72588 ... c Min unsat cost LB: 72603 ... c Min unsat cost LB: 72604 ... c Min unsat cost LB: 72605 ... c Min unsat cost LB: 72606 ... c Min unsat cost LB: 72607 ... c Min unsat cost LB: 72608 ... c Min unsat cost LB: 72609 ... c Min unsat cost LB: 72620 ... c Min unsat cost LB: 72621 ... c Min unsat cost LB: 72622 ... c Min unsat cost LB: 72634 ... c Min unsat cost LB: 72653 ... c Min unsat cost LB: 72655 ... c Min unsat cost LB: 72665 ... c Min unsat cost LB: 72757 ... c Min unsat cost LB: 72758 ... c Min unsat cost LB: 72759 ... c Min unsat cost LB: 72760 ... c Min unsat cost LB: 72761 ... c Min unsat cost LB: 72762 ... c Min unsat cost LB: 72769 ... c Min unsat cost LB: 72777 ... c Min unsat cost LB: 72795 ... c Min unsat cost LB: 72804 ... c Min unsat cost LB: 72846 ... c Min unsat cost LB: 72855 ... c Min unsat cost LB: 72859 ... c Min unsat cost LB: 72872 ... c Min unsat cost LB: 72883 ... c Min unsat cost LB: 72893 ... c Min unsat cost LB: 72894 ... c Min unsat cost LB: 72895 ... c Min unsat cost LB: 72901 ... c Min unsat cost LB: 72903 ... c Min unsat cost LB: 72905 ... c Min unsat cost LB: 72913 ... c Min unsat cost LB: 72917 ... c Min unsat cost LB: 72918 ... c Min unsat cost LB: 72927 ... c Min unsat cost LB: 72936 ... c Min unsat cost LB: 72938 ... c Min unsat cost LB: 72939 ... c Min unsat cost LB: 72941 ... c Min unsat cost LB: 72942 ... c Min unsat cost LB: 72963 ... c Min unsat cost LB: 72975 ... c Min unsat cost LB: 72976 ... c Min unsat cost LB: 72978 ... c Min unsat cost LB: 72979 ... c Min unsat cost LB: 72982 ... c Min unsat cost LB: 72983 ... c Min unsat cost LB: 72984 ... c Min unsat cost LB: 72985 ... c Min unsat cost LB: 72987 ... c Min unsat cost LB: 72988 ... c Min unsat cost LB: 72989 ... c Min unsat cost LB: 72990 ... c Min unsat cost LB: 72991 ... c Min unsat cost LB: 72992 ... c Min unsat cost LB: 73011 ... c Min unsat cost LB: 73012 ... c Min unsat cost LB: 73013 ... c Min unsat cost LB: 73015 ... c Min unsat cost LB: 73022 ... c Min unsat cost LB: 73037 ... c Min unsat cost LB: 73039 ... c Min unsat cost LB: 73041 ... c Min unsat cost LB: 73045 ... c Min unsat cost LB: 73051 ... c Min unsat cost LB: 73052 ... c Min unsat cost LB: 73053 ... c Min unsat cost LB: 73054 ... c Min unsat cost LB: 73055 ... c Min unsat cost LB: 73059 ... c Min unsat cost LB: 73060 ... c Min unsat cost LB: 73061 ... c Min unsat cost LB: 73062 ... c Min unsat cost LB: 73063 ... c Min unsat cost LB: 73064 ... c Min unsat cost LB: 73065 ... c Min unsat cost LB: 73066 ... c Min unsat cost LB: 73067 ... c Min unsat cost LB: 73068 ... c Min unsat cost LB: 73070 ... c Min unsat cost LB: 73071 ... c Min unsat cost LB: 73072 ... c Min unsat cost LB: 73073 ... c Min unsat cost LB: 73074 ... c Min unsat cost LB: 73075 ... c Min unsat cost LB: 73076 ... c Min unsat cost LB: 73077 ... c Min unsat cost LB: 73079 ... c Min unsat cost LB: 73080 ... c Min unsat cost LB: 73081 ... c Min unsat cost LB: 73082 ... c Min unsat cost LB: 73083 ... c Min unsat cost LB: 73084 ... c Min unsat cost LB: 73106 ... c Min unsat cost LB: 73112 ... c Min unsat cost LB: 73113 ... c Min unsat cost LB: 73114 ... c Min unsat cost LB: 73115 ... c Min unsat cost LB: 73116 ... c Min unsat cost LB: 73117 ... c Min unsat cost LB: 73118 ... c Min unsat cost LB: 73119 ... c Min unsat cost LB: 73120 ... c Min unsat cost LB: 73121 ... c Min unsat cost LB: 73122 ... c Min unsat cost LB: 73123 ... c Min unsat cost LB: 73124 ... c Min unsat cost LB: 73125 ... c Min unsat cost LB: 73126 ... c Min unsat cost LB: 73127 ... c Min unsat cost LB: 73128 ... c Min unsat cost LB: 73129 ... c Min unsat cost LB: 73130 ... c Min unsat cost LB: 73131 ... c Min unsat cost LB: 73132 ... c Min unsat cost LB: 73133 ... c Min unsat cost LB: 73134 ... c Min unsat cost LB: 73135 ... c Min unsat cost LB: 73136 ... c Min unsat cost LB: 73137 ... c Min unsat cost LB: 73138 ... c Min unsat cost LB: 73139 ... c Min unsat cost LB: 73140 ... c Min unsat cost LB: 73141 ... c Min unsat cost LB: 73142 ... c Min unsat cost LB: 73143 ... c Min unsat cost LB: 73144 ... c Min unsat cost LB: 73145 ... c Min unsat cost LB: 73146 ... c Min unsat cost LB: 73147 ... c Min unsat cost LB: 73149 ... c Min unsat cost LB: 73152 ... c Min unsat cost LB: 73153 ... c Min unsat cost LB: 73154 ... c Min unsat cost LB: 73155 ... c Min unsat cost LB: 73158 ... c Min unsat cost LB: 73161 ... c Min unsat cost LB: 73164 ... c Min unsat cost LB: 73165 ... c Min unsat cost LB: 73171 ... c Min unsat cost LB: 73172 ... c Min unsat cost LB: 73173 ... c Min unsat cost LB: 73174 ... c Min unsat cost LB: 73175 ... c Min unsat cost LB: 73176 ... c Min unsat cost LB: 73179 ... c Min unsat cost LB: 73180 ... c Min unsat cost LB: 73181 ... c Min unsat cost LB: 73185 ... c Min unsat cost LB: 73197 ... c Min unsat cost LB: 73201 ... c Min unsat cost LB: 73202 ... c Min unsat cost LB: 73204 ... c Min unsat cost LB: 73205 ... c Min unsat cost LB: 73206 ... c Min unsat cost LB: 73207 ... c Min unsat cost LB: 73208 ... c Min unsat cost LB: 73223 ... c Min unsat cost LB: 73225 ... c Min unsat cost LB: 73230 ... c Min unsat cost LB: 73232 ... c Min unsat cost LB: 73234 ... c Min unsat cost LB: 73235 ... c Min unsat cost LB: 73236 ... c Min unsat cost LB: 73237 ... c Min unsat cost LB: 73238 ... c Min unsat cost LB: 73239 ... c Min unsat cost LB: 73240 ... c Min unsat cost LB: 73241 ... c Min unsat cost LB: 73242 ... c Min unsat cost LB: 73243 ... c Min unsat cost LB: 73244 ... c Min unsat cost LB: 73245 ... c Min unsat cost LB: 73261 ... c Min unsat cost LB: 73264 ... c Min unsat cost LB: 73265 ... c Min unsat cost LB: 73269 ... c Min unsat cost LB: 73273 ... c Min unsat cost LB: 73274 ... c Min unsat cost LB: 73275 ... c Min unsat cost LB: 73276 ... c Min unsat cost LB: 73279 ... c Min unsat cost LB: 73280 ... c Min unsat cost LB: 73282 ... c Min unsat cost LB: 73283 ... c Min unsat cost LB: 73297 ... c Min unsat cost LB: 73300 ... c Min unsat cost LB: 73303 ... c Min unsat cost LB: 73304 ... c Min unsat cost LB: 73309 ... c Min unsat cost LB: 73310 ... c Min unsat cost LB: 73311 ... c Min unsat cost LB: 73312 ... c Min unsat cost LB: 73314 ... c Min unsat cost LB: 73315 ... c Min unsat cost LB: 73316 ... c Min unsat cost LB: 73317 ... c Min unsat cost LB: 73320 ... c Min unsat cost LB: 73321 ... c Min unsat cost LB: 73322 ... c Min unsat cost LB: 73323 ... c Min unsat cost LB: 73326 ... c Min unsat cost LB: 73327 ... c Min unsat cost LB: 73328 ... c Min unsat cost LB: 73329 ... c Min unsat cost LB: 73330 ... c Min unsat cost LB: 73331 ... c Min unsat cost LB: 73332 ... c Min unsat cost LB: 73333 ... c Min unsat cost LB: 73334 ... c Min unsat cost LB: 73335 ... c Min unsat cost LB: 73336 ... c Min unsat cost LB: 73337 ... c Min unsat cost LB: 73338 ... c Min unsat cost LB: 73339 ... c Min unsat cost LB: 73340 ... c Min unsat cost LB: 73341 ... c Min unsat cost LB: 73342 ... c Min unsat cost LB: 73347 ... c Min unsat cost LB: 73348 ... c Min unsat cost LB: 73352 ... c Min unsat cost LB: 73356 ... c Min unsat cost LB: 73357 ... c Min unsat cost LB: 73408 ... c Min unsat cost LB: 73409 ... c Min unsat cost LB: 73410 ... c Min unsat cost LB: 73411 ... c Min unsat cost LB: 73448 ... c Min unsat cost LB: 73900 ... c Min unsat cost LB: 73907 ... c Min unsat cost LB: 73908 ... c Min unsat cost LB: 73911 ... c Min unsat cost LB: 73920 ... c Min unsat cost LB: 73922 ... c Min unsat cost LB: 74055 ... c Min unsat cost LB: 74056 ... c Min unsat cost LB: 74061 ... c Min unsat cost LB: 74067 ... c Min unsat cost LB: 74069 ... c Min unsat cost LB: 74095 ... c Min unsat cost LB: 74097 ... c Min unsat cost LB: 74098 ... c Min unsat cost LB: 74099 ... c Min unsat cost LB: 74100 ... c Min unsat cost LB: 74101 ... c Min unsat cost LB: 74102 ... c Min unsat cost LB: 74108 ... c Min unsat cost LB: 74109 ... c Min unsat cost LB: 74110 ... c Min unsat cost LB: 74111 ... c Min unsat cost LB: 74112 ... c Min unsat cost LB: 74113 ... c Min unsat cost LB: 74114 ... c Min unsat cost LB: 74115 ... c Min unsat cost LB: 74116 ... c Min unsat cost LB: 74117 ... c Min unsat cost LB: 74118 ... c Min unsat cost LB: 74119 ... c Min unsat cost LB: 74120 ... c Min unsat cost LB: 74123 ... c Min unsat cost LB: 74158 ... c Min unsat cost LB: 74159 ... c Min unsat cost LB: 74160 ... c Min unsat cost LB: 74161 ... c Min unsat cost LB: 74162 ... c Min unsat cost LB: 74163 ... c Min unsat cost LB: 74164 ... c Min unsat cost LB: 74165 ... c Min unsat cost LB: 74166 ... c Min unsat cost LB: 74167 ... c Min unsat cost LB: 74168 ... c Min unsat cost LB: 74169 ... c Min unsat cost LB: 74170 ... c Min unsat cost LB: 74171 ... c Min unsat cost LB: 74172 ... c Min unsat cost LB: 74173 ... c Min unsat cost LB: 74174 ... c Min unsat cost LB: 74175 ... c Min unsat cost LB: 74176 ... c Min unsat cost LB: 74177 ... c Min unsat cost LB: 74178 ... c Min unsat cost LB: 74179 ... c Min unsat cost LB: 74180 ... c Min unsat cost LB: 74181 ... c Min unsat cost LB: 74182 ... c Min unsat cost LB: 74183 ... c Min unsat cost LB: 74184 ... c Min unsat cost LB: 74185 ... c Min unsat cost LB: 74186 ... c Min unsat cost LB: 74187 ... c Min unsat cost LB: 74188 ... c Min unsat cost LB: 74189 ... c Min unsat cost LB: 74190 ... c Min unsat cost LB: 74191 ... c Min unsat cost LB: 74192 ... c Min unsat cost LB: 74193 ... c Min unsat cost LB: 74194 ... c Min unsat cost LB: 74195 ... c Min unsat cost LB: 74197 ... c Min unsat cost LB: 74198 ... c Min unsat cost LB: 74199 ... c Min unsat cost LB: 74201 ... c Min unsat cost LB: 74205 ... c Min unsat cost LB: 74206 ... c Min unsat cost LB: 74207 ... c Min unsat cost LB: 74208 ... c Min unsat cost LB: 74209 ... c Min unsat cost LB: 74210 ... c Min unsat cost LB: 74211 ... c Min unsat cost LB: 74212 ... c Min unsat cost LB: 74216 ... c Min unsat cost LB: 74217 ... c Min unsat cost LB: 74222 ... c Min unsat cost LB: 74226 ... c Min unsat cost LB: 74232 ... c Min unsat cost LB: 74233 ... c Min unsat cost LB: 74234 ... c Min unsat cost LB: 74235 ... c Min unsat cost LB: 74236 ... c Min unsat cost LB: 74237 ... c Min unsat cost LB: 74238 ... c Min unsat cost LB: 74239 ... c Min unsat cost LB: 74241 ... c Min unsat cost LB: 74242 ... c Min unsat cost LB: 74243 ... c Min unsat cost LB: 74244 ... c Min unsat cost LB: 74245 ... c Min unsat cost LB: 74246 ... c Min unsat cost LB: 74247 ... c Min unsat cost LB: 74248 ... c Min unsat cost LB: 74249 ... c Min unsat cost LB: 74250 ... c Min unsat cost LB: 74251 ... c Min unsat cost LB: 74252 ... c Min unsat cost LB: 74253 ... c Min unsat cost LB: 74254 ... c Min unsat cost LB: 74255 ... c Min unsat cost LB: 74284 ... c Min unsat cost LB: 74362 ... c Min unsat cost LB: 74363 ... c Min unsat cost LB: 74364 ... c Min unsat cost LB: 74365 ... c Min unsat cost LB: 74366 ... c Min unsat cost LB: 74367 ... c Min unsat cost LB: 74368 ... c Min unsat cost LB: 74369 ... c Min unsat cost LB: 74370 ... c Min unsat cost LB: 74371 ... c Min unsat cost LB: 74372 ... c Min unsat cost LB: 74446 ... c Min unsat cost LB: 74450 ... c Min unsat cost LB: 74452 ... c Min unsat cost LB: 74460 ... c Min unsat cost LB: 74462 ... c Min unsat cost LB: 74463 ... c Min unsat cost LB: 74464 ... c Min unsat cost LB: 74465 ... c Min unsat cost LB: 74466 ... c Min unsat cost LB: 74467 ... c Min unsat cost LB: 74478 ... c Min unsat cost LB: 74491 ... c Min unsat cost LB: 74542 ... c Min unsat cost LB: 74565 ... c Min unsat cost LB: 74566 ... c Min unsat cost LB: 74567 ... c Min unsat cost LB: 74568 ... c Min unsat cost LB: 74572 ... c Min unsat cost LB: 74586 ... c Min unsat cost LB: 74601 ... c Min unsat cost LB: 74605 ... c Min unsat cost LB: 74606 ... c Min unsat cost LB: 74610 ... c Min unsat cost LB: 74614 ... c Min unsat cost LB: 74615 ... c Min unsat cost LB: 74618 ... c Min unsat cost LB: 74619 ... c Min unsat cost LB: 74630 ... c Min unsat cost LB: 74634 ... c Min unsat cost LB: 74636 ... c Min unsat cost LB: 74637 ... c Min unsat cost LB: 74638 ... c Min unsat cost LB: 74639 ... c Min unsat cost LB: 74640 ... c Min unsat cost LB: 74641 ... c Min unsat cost LB: 74642 ... c Min unsat cost LB: 74643 ... c Min unsat cost LB: 74644 ... c Min unsat cost LB: 74645 ... c Min unsat cost LB: 74646 ... c Min unsat cost LB: 74647 ... c Min unsat cost LB: 74648 ... c Min unsat cost LB: 74649 ... c Min unsat cost LB: 74655 ... c Min unsat cost LB: 74656 ... c Min unsat cost LB: 74657 ... c Min unsat cost LB: 74658 ... c Min unsat cost LB: 74659 ... c Min unsat cost LB: 74663 ... c Min unsat cost LB: 74664 ... c Min unsat cost LB: 74665 ... c Min unsat cost LB: 74666 ... c Min unsat cost LB: 74667 ... c Min unsat cost LB: 74668 ... c Min unsat cost LB: 74669 ... c Min unsat cost LB: 74670 ... c Min unsat cost LB: 74671 ... c Min unsat cost LB: 74672 ... c Min unsat cost LB: 74673 ... c Min unsat cost LB: 74674 ... c Min unsat cost LB: 74676 ... c Min unsat cost LB: 74703 ... c Min unsat cost LB: 74704 ... c Min unsat cost LB: 74706 ... c Min unsat cost LB: 74707 ... c Min unsat cost LB: 74708 ... c Min unsat cost LB: 74709 ... c Min unsat cost LB: 74710 ... c Min unsat cost LB: 74719 ... c Min unsat cost LB: 74720 ... c Min unsat cost LB: 74721 ... c Min unsat cost LB: 74726 ... c Min unsat cost LB: 74727 ... c Min unsat cost LB: 74728 ... c Min unsat cost LB: 74729 ... c Min unsat cost LB: 74730 ... c Min unsat cost LB: 74732 ... c Min unsat cost LB: 74733 ... c Min unsat cost LB: 74734 ... c Min unsat cost LB: 74735 ... c Min unsat cost LB: 74736 ... c Min unsat cost LB: 74737 ... c Min unsat cost LB: 74738 ... c Min unsat cost LB: 74741 ... c Min unsat cost LB: 74742 ... c Min unsat cost LB: 74744 ... c Min unsat cost LB: 74745 ... c Min unsat cost LB: 74746 ... c Min unsat cost LB: 74749 ... c Min unsat cost LB: 74750 ... c Min unsat cost LB: 74752 ... c Min unsat cost LB: 74753 ... c Min unsat cost LB: 74754 ... c Min unsat cost LB: 74755 ... c Min unsat cost LB: 74756 ... c Min unsat cost LB: 74757 ... c Min unsat cost LB: 74765 ... c Min unsat cost LB: 74767 ... c Min unsat cost LB: 74784 ... c Min unsat cost LB: 74785 ... c Min unsat cost LB: 74786 ... c Min unsat cost LB: 74787 ... c Min unsat cost LB: 74788 ... c Min unsat cost LB: 74789 ... c Min unsat cost LB: 74790 ... c Min unsat cost LB: 74798 ... c Min unsat cost LB: 74800 ... c Min unsat cost LB: 74805 ... c Min unsat cost LB: 74806 ... c Min unsat cost LB: 74807 ... c Min unsat cost LB: 74811 ... c Min unsat cost LB: 74812 ... c Min unsat cost LB: 74813 ... c Min unsat cost LB: 74814 ... c Min unsat cost LB: 74819 ... c Min unsat cost LB: 74820 ... c Min unsat cost LB: 74821 ... c Min unsat cost LB: 74826 ... c Min unsat cost LB: 74827 ... c Min unsat cost LB: 74829 ... c Min unsat cost LB: 74831 ... c Min unsat cost LB: 74832 ... c Min unsat cost LB: 74835 ... c Min unsat cost LB: 74836 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 74839 ... c Min unsat cost LB: 74840 ... c Min unsat cost LB: 74847 ... c Min unsat cost LB: 74850 ... c Min unsat cost LB: 74853 ... c Min unsat cost LB: 74854 ... c Min unsat cost LB: 74855 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74857 ... c Min unsat cost LB: 74860 ... c Min unsat cost LB: 74892 ... c Min unsat cost LB: 74893 ... c Min unsat cost LB: 74902 ... c Min unsat cost LB: 74903 ... c Min unsat cost LB: 74904 ... c Min unsat cost LB: 74905 ... c Min unsat cost LB: 74906 ... c Min unsat cost LB: 74912 ... c Min unsat cost LB: 74913 ... c Min unsat cost LB: 74914 ... c Min unsat cost LB: 74915 ... c Min unsat cost LB: 74921 ... c Min unsat cost LB: 74924 ... c Min unsat cost LB: 74926 ... c Min unsat cost LB: 74927 ... c Min unsat cost LB: 74928 ... c Min unsat cost LB: 74929 ... c Min unsat cost LB: 74932 ... c Min unsat cost LB: 74934 ... c Min unsat cost LB: 74935 ... c Min unsat cost LB: 74937 ... c Min unsat cost LB: 74941 ... c Min unsat cost LB: 74945 ... c Min unsat cost LB: 74946 ... c Min unsat cost LB: 74947 ... c Min unsat cost LB: 74949 ... c Min unsat cost LB: 74950 ... c Min unsat cost LB: 74954 ... c Min unsat cost LB: 74964 ... c Min unsat cost LB: 74965 ... c Min unsat cost LB: 74972 ... c Min unsat cost LB: 74976 ... c Min unsat cost LB: 74980 ... c Min unsat cost LB: 74981 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74990 ... c Min unsat cost LB: 74991 ... c Min unsat cost LB: 74992 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 74995 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 75000 ... c Min unsat cost LB: 75001 ... c Min unsat cost LB: 75002 ... c Min unsat cost LB: 75003 ... c Min unsat cost LB: 75010 ... c Min unsat cost LB: 75022 ... c Min unsat cost LB: 75023 ... c Min unsat cost LB: 75024 ... c Min unsat cost LB: 75026 ... c Min unsat cost LB: 75029 ... c Min unsat cost LB: 75030 ... c Min unsat cost LB: 75075 ... c Min unsat cost LB: 75119 ... c Min unsat cost LB: 75121 ... c Min unsat cost LB: 75122 ... c Min unsat cost LB: 75123 ... c Min unsat cost LB: 75127 ... c Min unsat cost LB: 75128 ... c Min unsat cost LB: 75129 ... c Min unsat cost LB: 75130 ... c Min unsat cost LB: 75131 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75133 ... c Min unsat cost LB: 75136 ... c Min unsat cost LB: 75137 ... c Min unsat cost LB: 75138 ... c Min unsat cost LB: 75139 ... c Min unsat cost LB: 75140 ... c Min unsat cost LB: 75141 ... c Min unsat cost LB: 75142 ... c Min unsat cost LB: 75143 ... c Min unsat cost LB: 75144 ... c Min unsat cost LB: 75145 ... c Min unsat cost LB: 75146 ... c Min unsat cost LB: 75147 ... c Min unsat cost LB: 75148 ... c Min unsat cost LB: 75149 ... c Min unsat cost LB: 75150 ... c Min unsat cost LB: 75151 ... c Min unsat cost LB: 75152 ... c Min unsat cost LB: 75153 ... c Min unsat cost LB: 75154 ... c Min unsat cost LB: 75155 ... c Min unsat cost LB: 75156 ... c Min unsat cost LB: 75158 ... c Min unsat cost LB: 75161 ... c Min unsat cost LB: 75162 ... c Min unsat cost LB: 75163 ... c Min unsat cost LB: 75166 ... c Min unsat cost LB: 75167 ... c Min unsat cost LB: 75168 ... c Min unsat cost LB: 75169 ... c Min unsat cost LB: 75171 ... c Min unsat cost LB: 75172 ... c Min unsat cost LB: 75173 ... c Min unsat cost LB: 75174 ... c Min unsat cost LB: 75176 ... c Min unsat cost LB: 75178 ... c Min unsat cost LB: 75179 ... c Min unsat cost LB: 75182 ... c Min unsat cost LB: 75183 ... c Min unsat cost LB: 75184 ... c Min unsat cost LB: 75185 ... c Min unsat cost LB: 75187 ... c Min unsat cost LB: 75215 ... c Min unsat cost LB: 75216 ... c Min unsat cost LB: 75222 ... c Min unsat cost LB: 75224 ... c Min unsat cost LB: 75238 ... c Min unsat cost LB: 75340 ... c Min unsat cost LB: 75343 ... c Min unsat cost LB: 75357 ... c Min unsat cost LB: 75358 ... c Min unsat cost LB: 75359 ... c Min unsat cost LB: 75360 ... c Min unsat cost LB: 75363 ... c Min unsat cost LB: 75365 ... c Min unsat cost LB: 75386 ... c Min unsat cost LB: 75492 ... c Min unsat cost LB: 75493 ... c Min unsat cost LB: 75494 ... c Min unsat cost LB: 75495 ... c Min unsat cost LB: 75496 ... c Min unsat cost LB: 75497 ... c Min unsat cost LB: 75498 ... c Min unsat cost LB: 75499 ... c Min unsat cost LB: 75500 ... c Min unsat cost LB: 75501 ... c Min unsat cost LB: 75502 ... c Min unsat cost LB: 75503 ... c Min unsat cost LB: 75504 ... c Min unsat cost LB: 75505 ... c Min unsat cost LB: 75506 ... c Min unsat cost LB: 75507 ... c Min unsat cost LB: 75511 ... c Min unsat cost LB: 75512 ... c Min unsat cost LB: 75513 ... c Min unsat cost LB: 75514 ... c Min unsat cost LB: 75515 ... c Min unsat cost LB: 75516 ... c Min unsat cost LB: 75518 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75520 ... c Min unsat cost LB: 75521 ... c Min unsat cost LB: 75522 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75524 ... c Min unsat cost LB: 75525 ... c Min unsat cost LB: 75540 ... c Min unsat cost LB: 75541 ... c Min unsat cost LB: 75542 ... c Min unsat cost LB: 75543 ... c Min unsat cost LB: 75544 ... c Min unsat cost LB: 75545 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75547 ... c Min unsat cost LB: 75548 ... c Min unsat cost LB: 75549 ... c Min unsat cost LB: 75550 ... c Min unsat cost LB: 75551 ... c Min unsat cost LB: 75552 ... c Min unsat cost LB: 75553 ... c Min unsat cost LB: 75554 ... c Min unsat cost LB: 75555 ... c Min unsat cost LB: 75556 ... c Min unsat cost LB: 75557 ... c Min unsat cost LB: 75558 ... c Min unsat cost LB: 75559 ... c Min unsat cost LB: 75561 ... c Min unsat cost LB: 75564 ... c Min unsat cost LB: 75582 ... c Min unsat cost LB: 75583 ... c Min unsat cost LB: 75584 ... c Min unsat cost LB: 75585 ... c Min unsat cost LB: 75586 ... c Min unsat cost LB: 75589 ... c Min unsat cost LB: 75590 ... c Min unsat cost LB: 75591 ... c Min unsat cost LB: 75592 ... c Min unsat cost LB: 75593 ... c Min unsat cost LB: 75594 ... c Min unsat cost LB: 75595 ... c Min unsat cost LB: 75597 ... c Min unsat cost LB: 75598 ... c Min unsat cost LB: 75600 ... c Min unsat cost LB: 75601 ... c Min unsat cost LB: 75602 ... c Min unsat cost LB: 75603 ... c Min unsat cost LB: 75604 ... c Min unsat cost LB: 75605 ... c Min unsat cost LB: 75606 ... c Min unsat cost LB: 75610 ... c Min unsat cost LB: 75611 ... c Min unsat cost LB: 75612 ... c Min unsat cost LB: 75613 ... c Min unsat cost LB: 75614 ... c Min unsat cost LB: 75615 ... c Min unsat cost LB: 75616 ... c Min unsat cost LB: 75617 ... c Min unsat cost LB: 75618 ... c Min unsat cost LB: 75619 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75621 ... c Min unsat cost LB: 75622 ... c Min unsat cost LB: 75623 ... c Min unsat cost LB: 75624 ... c Min unsat cost LB: 75625 ... c Min unsat cost LB: 75626 ... c Min unsat cost LB: 75627 ... c Min unsat cost LB: 75628 ... c Min unsat cost LB: 75629 ... c Min unsat cost LB: 75630 ... c Min unsat cost LB: 75631 ... c Min unsat cost LB: 75632 ... c Min unsat cost LB: 75633 ... c Min unsat cost LB: 75634 ... c Min unsat cost LB: 75635 ... c Min unsat cost LB: 75636 ... c Min unsat cost LB: 75637 ... c Min unsat cost LB: 75638 ... c Min unsat cost LB: 75639 ... c Min unsat cost LB: 75644 ... c Min unsat cost LB: 75645 ... c Min unsat cost LB: 75646 ... c Min unsat cost LB: 75647 ... c Min unsat cost LB: 75648 ... c Min unsat cost LB: 75649 ... c Min unsat cost LB: 75661 ... c Min unsat cost LB: 75662 ... c Min unsat cost LB: 75663 ... c Min unsat cost LB: 75664 ... c Min unsat cost LB: 75665 ... c Min unsat cost LB: 75666 ... c Min unsat cost LB: 75667 ... c Min unsat cost LB: 75668 ... c Min unsat cost LB: 75669 ... c Min unsat cost LB: 75670 ... c Min unsat cost LB: 75671 ... c Min unsat cost LB: 75672 ... c Min unsat cost LB: 75673 ... c Min unsat cost LB: 75674 ... c Min unsat cost LB: 75675 ... c Min unsat cost LB: 75676 ... c Min unsat cost LB: 75677 ... c Min unsat cost LB: 75678 ... c Min unsat cost LB: 75679 ... c Min unsat cost LB: 75680 ... c Min unsat cost LB: 75682 ... c Min unsat cost LB: 75683 ... c Min unsat cost LB: 75684 ... c Min unsat cost LB: 75685 ... c Min unsat cost LB: 75686 ... c Min unsat cost LB: 75687 ... c Min unsat cost LB: 75688 ... c Min unsat cost LB: 75689 ... c Min unsat cost LB: 75690 ... c Min unsat cost LB: 75697 ... c Min unsat cost LB: 75698 ... c Min unsat cost LB: 75699 ... c Min unsat cost LB: 75700 ... c Min unsat cost LB: 75701 ... c Min unsat cost LB: 75702 ... c Min unsat cost LB: 75703 ... c Min unsat cost LB: 75704 ... c Min unsat cost LB: 75705 ... c Min unsat cost LB: 75707 ... c Min unsat cost LB: 75708 ... c Min unsat cost LB: 75710 ... c Min unsat cost LB: 75713 ... c Min unsat cost LB: 75714 ... c Min unsat cost LB: 75715 ... c Min unsat cost LB: 75716 ... c Min unsat cost LB: 75717 ... c Min unsat cost LB: 75718 ... c Min unsat cost LB: 75719 ... c Min unsat cost LB: 75720 ... c Min unsat cost LB: 75721 ... c Min unsat cost LB: 75722 ... c Min unsat cost LB: 75723 ... c Min unsat cost LB: 75724 ... c Min unsat cost LB: 75725 ... c Min unsat cost LB: 75726 ... c Min unsat cost LB: 75727 ... c Min unsat cost LB: 75728 ... c Min unsat cost LB: 75729 ... c Min unsat cost LB: 75730 ... c Min unsat cost LB: 75731 ... c Min unsat cost LB: 75732 ... c Min unsat cost LB: 75733 ... c Min unsat cost LB: 75734 ... c Min unsat cost LB: 75735 ... c Min unsat cost LB: 75743 ... c Min unsat cost LB: 75745 ... c Min unsat cost LB: 75759 ... c Min unsat cost LB: 75763 ... c Min unsat cost LB: 75765 ... c Min unsat cost LB: 75769 ... c Min unsat cost LB: 75772 ... c Min unsat cost LB: 75784 ... c Min unsat cost LB: 75796 ... c Min unsat cost LB: 75797 ... c Min unsat cost LB: 75805 ... c Min unsat cost LB: 75806 ... c Min unsat cost LB: 75807 ... c Min unsat cost LB: 75808 ... c Min unsat cost LB: 75815 ... c Min unsat cost LB: 75816 ... c Min unsat cost LB: 75817 ... c Min unsat cost LB: 75819 ... c Min unsat cost LB: 75821 ... c Min unsat cost LB: 75822 ... c Min unsat cost LB: 75823 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 75829 ... c Min unsat cost LB: 75833 ... c Min unsat cost LB: 75834 ... c Min unsat cost LB: 75839 ... c Min unsat cost LB: 75840 ... c Min unsat cost LB: 75841 ... c Min unsat cost LB: 75842 ... c Min unsat cost LB: 75843 ... c Min unsat cost LB: 75844 ... c Min unsat cost LB: 75845 ... c Min unsat cost LB: 75846 ... c Min unsat cost LB: 75847 ... c Min unsat cost LB: 75849 ... c Min unsat cost LB: 75850 ... c Min unsat cost LB: 75851 ... c Min unsat cost LB: 75852 ... c Min unsat cost LB: 75854 ... c Min unsat cost LB: 75862 ... c Min unsat cost LB: 75864 ... c Min unsat cost LB: 75865 ... c Min unsat cost LB: 75867 ... c Min unsat cost LB: 75868 ... c Min unsat cost LB: 75870 ... c Min unsat cost LB: 75871 ... c Min unsat cost LB: 75872 ... c Min unsat cost LB: 75873 ... c Min unsat cost LB: 75874 ... c Min unsat cost LB: 75875 ... c Min unsat cost LB: 75876 ... c Min unsat cost LB: 75877 ... c Min unsat cost LB: 75878 ... c Min unsat cost LB: 75879 ... c Min unsat cost LB: 75880 ... c Min unsat cost LB: 75881 ... c Min unsat cost LB: 75882 ... c Min unsat cost LB: 75883 ... c Min unsat cost LB: 75884 ... c Min unsat cost LB: 75885 ... c Min unsat cost LB: 75912 ... c Min unsat cost LB: 75913 ... c Min unsat cost LB: 75914 ... c Min unsat cost LB: 75915 ... c Min unsat cost LB: 75916 ... c Min unsat cost LB: 75917 ... c Min unsat cost LB: 75918 ... c Min unsat cost LB: 75919 ... c Min unsat cost LB: 75920 ... c Min unsat cost LB: 75921 ... c Min unsat cost LB: 75922 ... c Min unsat cost LB: 75925 ... c Min unsat cost LB: 75926 ... c Min unsat cost LB: 75946 ... c Min unsat cost LB: 75947 ... c Min unsat cost LB: 75948 ... c Min unsat cost LB: 75949 ... c Min unsat cost LB: 75950 ... c Min unsat cost LB: 75951 ... c Min unsat cost LB: 75952 ... c Min unsat cost LB: 75953 ... c Min unsat cost LB: 75954 ... c Min unsat cost LB: 75955 ... c Min unsat cost LB: 75956 ... c Min unsat cost LB: 75957 ... c Min unsat cost LB: 75958 ... c Min unsat cost LB: 75959 ... c Min unsat cost LB: 75960 ... c Min unsat cost LB: 75961 ... c Min unsat cost LB: 75962 ... c Min unsat cost LB: 75963 ... c Min unsat cost LB: 75964 ... c Min unsat cost LB: 75965 ... c Min unsat cost LB: 75966 ... c Min unsat cost LB: 75967 ... c Min unsat cost LB: 75968 ... c Min unsat cost LB: 75969 ... c Min unsat cost LB: 75970 ... c Min unsat cost LB: 75971 ... c Min unsat cost LB: 75973 ... c Min unsat cost LB: 75975 ... c Min unsat cost LB: 75976 ... c Min unsat cost LB: 75977 ... c Min unsat cost LB: 75978 ... c Min unsat cost LB: 75979 ... c Min unsat cost LB: 75980 ... c Min unsat cost LB: 75981 ... c Min unsat cost LB: 75982 ... c Min unsat cost LB: 75983 ... c Min unsat cost LB: 75984 ... c Min unsat cost LB: 75985 ... c Min unsat cost LB: 75986 ... c Min unsat cost LB: 75987 ... c Min unsat cost LB: 75988 ... c Min unsat cost LB: 75989 ... c Min unsat cost LB: 75990 ... c Min unsat cost LB: 75991 ... c Min unsat cost LB: 75992 ... c Min unsat cost LB: 75993 ... c Min unsat cost LB: 76001 ... c Min unsat cost LB: 76012 ... c Min unsat cost LB: 76115 ... c Min unsat cost LB: 76116 ... c Min unsat cost LB: 76117 ... c Min unsat cost LB: 76118 ... c Min unsat cost LB: 76119 ... c Min unsat cost LB: 76120 ... c Min unsat cost LB: 76121 ... c Min unsat cost LB: 76122 ... c Min unsat cost LB: 76123 ... c Min unsat cost LB: 76124 ... c Min unsat cost LB: 76125 ... c Min unsat cost LB: 76126 ... c Min unsat cost LB: 76127 ... c Min unsat cost LB: 76128 ... c Min unsat cost LB: 76129 ... c Min unsat cost LB: 76130 ... c Min unsat cost LB: 76131 ... c Min unsat cost LB: 76132 ... c Min unsat cost LB: 76133 ... c Min unsat cost LB: 76134 ... c Min unsat cost LB: 76135 ... c Min unsat cost LB: 76136 ... c Min unsat cost LB: 76137 ... c Min unsat cost LB: 76138 ... c Min unsat cost LB: 76139 ... c Min unsat cost LB: 76140 ... c Min unsat cost LB: 76141 ... c Min unsat cost LB: 76142 ... c Min unsat cost LB: 76143 ... c Min unsat cost LB: 76144 ... c Min unsat cost LB: 76145 ... c Min unsat cost LB: 76146 ... c Min unsat cost LB: 76147 ... c Min unsat cost LB: 76148 ... c Min unsat cost LB: 76149 ... c Min unsat cost LB: 76150 ... c Min unsat cost LB: 76151 ... c Min unsat cost LB: 76152 ... c Min unsat cost LB: 76153 ... c Min unsat cost LB: 76154 ... c Min unsat cost LB: 76155 ... c Min unsat cost LB: 76156 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76158 ... c Min unsat cost LB: 76159 ... c Min unsat cost LB: 76160 ... c Min unsat cost LB: 76161 ... c Min unsat cost LB: 76162 ... c Min unsat cost LB: 76163 ... c Min unsat cost LB: 76164 ... c Min unsat cost LB: 76165 ... c Min unsat cost LB: 76166 ... c Min unsat cost LB: 76167 ... c Min unsat cost LB: 76168 ... c Min unsat cost LB: 76169 ... c Min unsat cost LB: 76170 ... c Min unsat cost LB: 76171 ... c Min unsat cost LB: 76172 ... c Min unsat cost LB: 76173 ... c Min unsat cost LB: 76174 ... c Min unsat cost LB: 76175 ... c Min unsat cost LB: 76176 ... c Min unsat cost LB: 76177 ... c Min unsat cost LB: 76178 ... c Min unsat cost LB: 76182 ... c Min unsat cost LB: 76183 ... c Min unsat cost LB: 76186 ... c Min unsat cost LB: 76187 ... c Min unsat cost LB: 76188 ... c Min unsat cost LB: 76189 ... c Min unsat cost LB: 76191 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 76193 ... c Min unsat cost LB: 76194 ... c Min unsat cost LB: 76195 ... c Min unsat cost LB: 76196 ... c Min unsat cost LB: 76197 ... c Min unsat cost LB: 76198 ... c Min unsat cost LB: 76199 ... c Min unsat cost LB: 76201 ... c Min unsat cost LB: 76202 ... c Min unsat cost LB: 76203 ... c Min unsat cost LB: 76204 ... c Min unsat cost LB: 76205 ... c Min unsat cost LB: 76206 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76208 ... c Min unsat cost LB: 76209 ... c Min unsat cost LB: 76210 ... c Min unsat cost LB: 76211 ... c Min unsat cost LB: 76213 ... c Min unsat cost LB: 76214 ... c Min unsat cost LB: 76216 ... c Min unsat cost LB: 76217 ... c Min unsat cost LB: 76218 ... c Min unsat cost LB: 76219 ... c Min unsat cost LB: 76220 ... c Min unsat cost LB: 76221 ... c Min unsat cost LB: 76222 ... c Min unsat cost LB: 76223 ... c Min unsat cost LB: 76224 ... c Min unsat cost LB: 76225 ... c Min unsat cost LB: 76226 ... c Min unsat cost LB: 76227 ... c Min unsat cost LB: 76228 ... c Min unsat cost LB: 76229 ... c Min unsat cost LB: 76230 ... c Min unsat cost LB: 76231 ... c Min unsat cost LB: 76232 ... c Min unsat cost LB: 76233 ... c Min unsat cost LB: 76234 ... c Min unsat cost LB: 76235 ... c Min unsat cost LB: 76236 ... c Min unsat cost LB: 76237 ... c Min unsat cost LB: 76238 ... c Min unsat cost LB: 76239 ... c Min unsat cost LB: 76240 ... c Min unsat cost LB: 76241 ... c Min unsat cost LB: 76242 ... c Min unsat cost LB: 76243 ... c Min unsat cost LB: 76244 ... c Min unsat cost LB: 76245 ... c Min unsat cost LB: 76246 ... c Min unsat cost LB: 76247 ... c Min unsat cost LB: 76248 ... c Min unsat cost LB: 76249 ... c Min unsat cost LB: 76250 ... c Min unsat cost LB: 76251 ... c Min unsat cost LB: 76252 ... c Min unsat cost LB: 76253 ... c Min unsat cost LB: 76254 ... c Min unsat cost LB: 76255 ... c Min unsat cost LB: 76256 ... c Min unsat cost LB: 76257 ... c Min unsat cost LB: 76258 ... c Min unsat cost LB: 76259 ... c Min unsat cost LB: 76260 ... c Min unsat cost LB: 76261 ... c Min unsat cost LB: 76262 ... c Min unsat cost LB: 76263 ... c Min unsat cost LB: 76265 ... c Min unsat cost LB: 76266 ... c Min unsat cost LB: 76267 ... c Min unsat cost LB: 76269 ... c Min unsat cost LB: 76270 ... c Min unsat cost LB: 76271 ... c Min unsat cost LB: 76433 ... c Min unsat cost LB: 76434 ... c Min unsat cost LB: 76714 ... c Min unsat cost LB: 76715 ... c Min unsat cost LB: 76716 ... c Min unsat cost LB: 76717 ... c Min unsat cost LB: 76718 ... c Min unsat cost LB: 76719 ... c Min unsat cost LB: 76720 ... c Min unsat cost LB: 76721 ... c Min unsat cost LB: 76725 ... c Min unsat cost LB: 76726 ... c Min unsat cost LB: 76727 ... c Min unsat cost LB: 76728 ... c Min unsat cost LB: 76730 ... c Min unsat cost LB: 76737 ... c Min unsat cost LB: 76738 ... c Min unsat cost LB: 76739 ... c Min unsat cost LB: 76740 ... c Min unsat cost LB: 76741 ... c Min unsat cost LB: 76742 ... c Min unsat cost LB: 76743 ... c Min unsat cost LB: 76744 ... c Min unsat cost LB: 76745 ... c Min unsat cost LB: 76746 ... c Min unsat cost LB: 76747 ... c Min unsat cost LB: 76748 ... c Min unsat cost LB: 76749 ... c Min unsat cost LB: 76750 ... c Min unsat cost LB: 76751 ... c Min unsat cost LB: 76760 ... c Min unsat cost LB: 76761 ... c Min unsat cost LB: 76762 ... c Min unsat cost LB: 76763 ... c Min unsat cost LB: 76764 ... c Min unsat cost LB: 76765 ... c Min unsat cost LB: 76766 ... c Min unsat cost LB: 76767 ... c Min unsat cost LB: 76768 ... c Min unsat cost LB: 76769 ... c Min unsat cost LB: 76770 ... c Min unsat cost LB: 76771 ... c Min unsat cost LB: 76772 ... c Min unsat cost LB: 76773 ... c Min unsat cost LB: 76774 ... c Min unsat cost LB: 76775 ... c Min unsat cost LB: 76776 ... c Min unsat cost LB: 76777 ... c Min unsat cost LB: 76778 ... c Min unsat cost LB: 76779 ... c Min unsat cost LB: 76780 ... c Min unsat cost LB: 76781 ... c Min unsat cost LB: 76782 ... c Min unsat cost LB: 76783 ... c Min unsat cost LB: 76784 ... c Min unsat cost LB: 76786 ... c Min unsat cost LB: 76787 ... c Min unsat cost LB: 76788 ... c Min unsat cost LB: 76789 ... c Min unsat cost LB: 76790 ... c Min unsat cost LB: 76791 ... c Min unsat cost LB: 76792 ... c Min unsat cost LB: 76793 ... c Min unsat cost LB: 76794 ... c Min unsat cost LB: 76795 ... c Min unsat cost LB: 76796 ... c Min unsat cost LB: 76797 ... c Min unsat cost LB: 76798 ... c Min unsat cost LB: 76799 ... c Min unsat cost LB: 76800 ... c Min unsat cost LB: 76801 ... c Min unsat cost LB: 76802 ... c Min unsat cost LB: 76803 ... c Min unsat cost LB: 76804 ... c Min unsat cost LB: 76805 ... c Min unsat cost LB: 76806 ... c Min unsat cost LB: 76807 ... c Min unsat cost LB: 76808 ... c Min unsat cost LB: 76809 ... c Min unsat cost LB: 76810 ... c Min unsat cost LB: 76811 ... c Min unsat cost LB: 76812 ... c Min unsat cost LB: 76813 ... c Min unsat cost LB: 76814 ... c Min unsat cost LB: 76815 ... c Min unsat cost LB: 76816 ... c Min unsat cost LB: 76817 ... c Min unsat cost LB: 76818 ... c Min unsat cost LB: 76819 ... c Min unsat cost LB: 76820 ... c Min unsat cost LB: 76821 ... c Min unsat cost LB: 76822 ... c Min unsat cost LB: 76824 ... c Min unsat cost LB: 76825 ... c Min unsat cost LB: 76826 ... c Min unsat cost LB: 76827 ... c Min unsat cost LB: 76828 ... c Min unsat cost LB: 76829 ... c Min unsat cost LB: 76830 ... c Min unsat cost LB: 76831 ... c Min unsat cost LB: 76832 ... c Min unsat cost LB: 76833 ... c Min unsat cost LB: 76834 ... c Min unsat cost LB: 76839 ... c Min unsat cost LB: 76840 ... c Min unsat cost LB: 76841 ... c Min unsat cost LB: 76842 ... c Min unsat cost LB: 76843 ... c Min unsat cost LB: 76844 ... c Min unsat cost LB: 76845 ... c Min unsat cost LB: 76846 ... c Min unsat cost LB: 76847 ... c Min unsat cost LB: 76848 ... c Min unsat cost LB: 76849 ... c Min unsat cost LB: 76850 ... c Min unsat cost LB: 76851 ... c Min unsat cost LB: 76852 ... c Min unsat cost LB: 76853 ... c Min unsat cost LB: 76854 ... c Min unsat cost LB: 76855 ... c Min unsat cost LB: 76856 ... c Min unsat cost LB: 76857 ... c Min unsat cost LB: 76858 ... c Min unsat cost LB: 76859 ... c Min unsat cost LB: 76860 ... c Min unsat cost LB: 76861 ... c Min unsat cost LB: 76862 ... c Min unsat cost LB: 76863 ... c Min unsat cost LB: 76864 ... c Min unsat cost LB: 76865 ... c Min unsat cost LB: 76866 ... c Min unsat cost LB: 76867 ... c Min unsat cost LB: 76868 ... c Min unsat cost LB: 76870 ... c Min unsat cost LB: 76871 ... c Min unsat cost LB: 76872 ... c Min unsat cost LB: 76873 ... c Min unsat cost LB: 76874 ... c Min unsat cost LB: 76875 ... c Min unsat cost LB: 76876 ... c Min unsat cost LB: 76877 ... c Min unsat cost LB: 76878 ... c Min unsat cost LB: 76879 ... c Min unsat cost LB: 76880 ... c Min unsat cost LB: 76881 ... c Min unsat cost LB: 76893 ... c Min unsat cost LB: 76894 ... c Min unsat cost LB: 76895 ... c Min unsat cost LB: 76896 ... c Min unsat cost LB: 76897 ... c Min unsat cost LB: 76898 ... c Min unsat cost LB: 76901 ... c Min unsat cost LB: 76902 ... c Min unsat cost LB: 76903 ... c Min unsat cost LB: 76904 ... c Min unsat cost LB: 76905 ... c Min unsat cost LB: 76906 ... c Min unsat cost LB: 76907 ... c Min unsat cost LB: 76908 ... c Min unsat cost LB: 76909 ... c Min unsat cost LB: 76910 ... c Min unsat cost LB: 76911 ... c Min unsat cost LB: 76912 ... c Min unsat cost LB: 76913 ... c Min unsat cost LB: 76914 ... c Min unsat cost LB: 76915 ... c Min unsat cost LB: 76916 ... c Min unsat cost LB: 76917 ... c Min unsat cost LB: 76918 ... c Min unsat cost LB: 76919 ... c Min unsat cost LB: 76920 ... c Min unsat cost LB: 76921 ... c Min unsat cost LB: 76922 ... c Min unsat cost LB: 76923 ... c Min unsat cost LB: 76924 ... c Min unsat cost LB: 76925 ... c Min unsat cost LB: 76926 ... c Min unsat cost LB: 76931 ... c Min unsat cost LB: 76932 ... c Min unsat cost LB: 76933 ... c Min unsat cost LB: 76934 ... c Min unsat cost LB: 76935 ... c Min unsat cost LB: 76936 ... c Min unsat cost LB: 76937 ... c Min unsat cost LB: 76938 ... c Min unsat cost LB: 76939 ... c Min unsat cost LB: 76940 ... c Min unsat cost LB: 76941 ... c Min unsat cost LB: 76942 ... c Min unsat cost LB: 76943 ... c Min unsat cost LB: 76944 ... c Min unsat cost LB: 76945 ... c Min unsat cost LB: 76946 ... c Min unsat cost LB: 76947 ... c Min unsat cost LB: 76948 ... c Min unsat cost LB: 76951 ... c Min unsat cost LB: 76952 ... c Min unsat cost LB: 76953 ... c Min unsat cost LB: 76961 ... c Min unsat cost LB: 76962 ... c Min unsat cost LB: 76964 ... c Min unsat cost LB: 77013 ... c Min unsat cost LB: 77020 ... c Min unsat cost LB: 77028 ... c Min unsat cost LB: 77029 ... c Min unsat cost LB: 77030 ... c Min unsat cost LB: 77035 ... c Min unsat cost LB: 77036 ... c Min unsat cost LB: 77038 ... c Min unsat cost LB: 77040 ... c Min unsat cost LB: 77041 ... c Min unsat cost LB: 77043 ... c Min unsat cost LB: 77044 ... c Min unsat cost LB: 77045 ... c Min unsat cost LB: 77046 ... c Min unsat cost LB: 77048 ... c Min unsat cost LB: 77049 ... c Min unsat cost LB: 77059 ... c Min unsat cost LB: 77062 ... c Min unsat cost LB: 77067 ... c Min unsat cost LB: 77068 ... c Min unsat cost LB: 77080 ... c Min unsat cost LB: 77113 ... c Min unsat cost LB: 77114 ... c Min unsat cost LB: 77115 ... c Min unsat cost LB: 77116 ... c Min unsat cost LB: 77117 ... c Min unsat cost LB: 77118 ... c Min unsat cost LB: 77119 ... c Min unsat cost LB: 77120 ... c Min unsat cost LB: 77121 ... c Min unsat cost LB: 77122 ... c Min unsat cost LB: 77123 ... c Min unsat cost LB: 77124 ... c Min unsat cost LB: 77125 ... c Min unsat cost LB: 77126 ... c Min unsat cost LB: 77127 ... c Min unsat cost LB: 77128 ... c Min unsat cost LB: 77129 ... c Min unsat cost LB: 77130 ... c Min unsat cost LB: 77131 ... c Min unsat cost LB: 77132 ... c Min unsat cost LB: 77133 ... c Min unsat cost LB: 77134 ... c Min unsat cost LB: 77135 ... c Min unsat cost LB: 77136 ... c Min unsat cost LB: 77137 ... c Min unsat cost LB: 77138 ... c Min unsat cost LB: 77139 ... c Min unsat cost LB: 77140 ... c Min unsat cost LB: 77141 ... c Min unsat cost LB: 77142 ... c Min unsat cost LB: 77143 ... c Min unsat cost LB: 77144 ... c Min unsat cost LB: 77145 ... c Min unsat cost LB: 77146 ... c Min unsat cost LB: 77147 ... c Min unsat cost LB: 77148 ... c Min unsat cost LB: 77149 ... c Min unsat cost LB: 77150 ... c Min unsat cost LB: 77151 ... c Min unsat cost LB: 77152 ... c Min unsat cost LB: 77153 ... c Min unsat cost LB: 77154 ... c Min unsat cost LB: 77155 ... c Min unsat cost LB: 77156 ... c Min unsat cost LB: 77157 ... c Min unsat cost LB: 77158 ... c Min unsat cost LB: 77159 ... c Min unsat cost LB: 77167 ... c Min unsat cost LB: 77168 ... c Min unsat cost LB: 77170 ... c Min unsat cost LB: 77177 ... c Min unsat cost LB: 77179 ... c Min unsat cost LB: 77180 ... c Min unsat cost LB: 77181 ... c Min unsat cost LB: 77183 ... c Min unsat cost LB: 77184 ... c Min unsat cost LB: 77185 ... c Min unsat cost LB: 77186 ... c Min unsat cost LB: 77187 ... c Min unsat cost LB: 77188 ... c Min unsat cost LB: 77189 ... c Min unsat cost LB: 77190 ... c Min unsat cost LB: 77191 ... c Min unsat cost LB: 77192 ... c Min unsat cost LB: 77193 ... c Min unsat cost LB: 77194 ... c Min unsat cost LB: 77195 ... c Min unsat cost LB: 77196 ... c Min unsat cost LB: 77197 ... c Min unsat cost LB: 77198 ... c Min unsat cost LB: 77199 ... c Min unsat cost LB: 77201 ... c Min unsat cost LB: 77203 ... c Min unsat cost LB: 77204 ... c Min unsat cost LB: 77205 ... c Min unsat cost LB: 77206 ... c Min unsat cost LB: 77207 ... c Min unsat cost LB: 77208 ... c Min unsat cost LB: 77209 ... c Min unsat cost LB: 77211 ... c Min unsat cost LB: 77212 ... c Min unsat cost LB: 77226 ... c Min unsat cost LB: 77227 ... c Min unsat cost LB: 77270 ... c Min unsat cost LB: 77272 ... c Min unsat cost LB: 77274 ... c Min unsat cost LB: 77275 ... c Min unsat cost LB: 77276 ... c Min unsat cost LB: 77277 ... c Min unsat cost LB: 77278 ... c Min unsat cost LB: 77279 ... c Min unsat cost LB: 77280 ... c Min unsat cost LB: 77281 ... c Min unsat cost LB: 77282 ... c Min unsat cost LB: 77283 ... c Min unsat cost LB: 77284 ... c Min unsat cost LB: 77285 ... c Min unsat cost LB: 77286 ... c Min unsat cost LB: 77287 ... c Min unsat cost LB: 77288 ... c Min unsat cost LB: 77289 ... c Min unsat cost LB: 77290 ... c Min unsat cost LB: 77291 ... c Min unsat cost LB: 77292 ... c Min unsat cost LB: 77293 ... c Min unsat cost LB: 77294 ... c Min unsat cost LB: 77295 ... c Min unsat cost LB: 77296 ... c Min unsat cost LB: 77297 ... c Min unsat cost LB: 77298 ... c Min unsat cost LB: 77299 ... c Min unsat cost LB: 77300 ... c Min unsat cost LB: 77301 ... c Min unsat cost LB: 77302 ... c Min unsat cost LB: 77303 ... c Min unsat cost LB: 77304 ... c Min unsat cost LB: 77314 ... c Min unsat cost LB: 77315 ... c Min unsat cost LB: 77320 ... c Min unsat cost LB: 77321 ... c Min unsat cost LB: 77322 ... c Min unsat cost LB: 77323 ... c Min unsat cost LB: 77328 ... c Min unsat cost LB: 77329 ... c Min unsat cost LB: 77330 ... c Min unsat cost LB: 77331 ... c Min unsat cost LB: 77332 ... c Min unsat cost LB: 77333 ... c Min unsat cost LB: 77334 ... c Min unsat cost LB: 77335 ... c Min unsat cost LB: 77336 ... c Min unsat cost LB: 77337 ... c Min unsat cost LB: 77338 ... c Min unsat cost LB: 77339 ... c Min unsat cost LB: 77340 ... c Min unsat cost LB: 77341 ... c Min unsat cost LB: 77342 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 77344 ... c Min unsat cost LB: 77470 ... c Min unsat cost LB: 77471 ... c Min unsat cost LB: 77472 ... c Min unsat cost LB: 77473 ... c Min unsat cost LB: 77474 ... c Min unsat cost LB: 77475 ... c Min unsat cost LB: 77476 ... c Min unsat cost LB: 77477 ... c Min unsat cost LB: 77478 ... c Min unsat cost LB: 77479 ... c Min unsat cost LB: 77480 ... c Min unsat cost LB: 77481 ... c Min unsat cost LB: 77482 ... c Min unsat cost LB: 77483 ... c Min unsat cost LB: 77484 ... c Min unsat cost LB: 77485 ... c Min unsat cost LB: 77486 ... c Min unsat cost LB: 77487 ... c Min unsat cost LB: 77488 ... c Min unsat cost LB: 77489 ... c Min unsat cost LB: 77490 ... c Min unsat cost LB: 77491 .Killed 1815.546u 4.189s 30:23.53 99.7% 0+0k 0+0io 0pf+0w