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_200_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_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_200_0002.txt.wcnf *** c c Min unsat cost LB: 263 ... c Min unsat cost LB: 526 ... c Min unsat cost LB: 789 ... c Min unsat cost LB: 1052 ... c Min unsat cost LB: 1188 ... c Min unsat cost LB: 1451 ... c Min unsat cost LB: 1714 ... c Min unsat cost LB: 1977 ... c Min unsat cost LB: 3562 ... c Min unsat cost LB: 5147 ... c Min unsat cost LB: 5410 ... c Min unsat cost LB: 6995 ... c Min unsat cost LB: 7215 ... c Min unsat cost LB: 7258 ... c Min unsat cost LB: 8526 ... c Min unsat cost LB: 8789 ... c Min unsat cost LB: 8925 ... c Min unsat cost LB: 9140 ... c Min unsat cost LB: 10462 ... c Min unsat cost LB: 11784 ... c Min unsat cost LB: 13369 ... c Min unsat cost LB: 13632 ... c Min unsat cost LB: 13792 ... c Min unsat cost LB: 13895 ... c Min unsat cost LB: 13952 ... c Min unsat cost LB: 13957 ... c Min unsat cost LB: 14117 ... c Min unsat cost LB: 14163 ... c Min unsat cost LB: 15485 ... c Min unsat cost LB: 16753 ... c Min unsat cost LB: 17016 ... c Min unsat cost LB: 17279 ... c Min unsat cost LB: 17439 ... c Min unsat cost LB: 17542 ... c Min unsat cost LB: 17805 ... c Min unsat cost LB: 18025 ... c Min unsat cost LB: 18185 ... c Min unsat cost LB: 18345 ... c Min unsat cost LB: 19477 ... c Min unsat cost LB: 19740 ... c Min unsat cost LB: 20193 ... c Min unsat cost LB: 20872 ... c Min unsat cost LB: 21778 ... c Min unsat cost LB: 22004 ... c Min unsat cost LB: 23136 ... c Min unsat cost LB: 23227 ... c Min unsat cost LB: 24268 ... c Min unsat cost LB: 24549 ... c Min unsat cost LB: 25400 ... c Min unsat cost LB: 25663 ... c Min unsat cost LB: 25926 ... c Min unsat cost LB: 26397 ... c Min unsat cost LB: 27058 ... c Min unsat cost LB: 28190 ... c Min unsat cost LB: 29322 ... c Min unsat cost LB: 29512 ... c Min unsat cost LB: 29569 ... c Min unsat cost LB: 30230 ... c Min unsat cost LB: 30701 ... c Min unsat cost LB: 31561 ... c Min unsat cost LB: 31824 ... c Min unsat cost LB: 32078 ... c Min unsat cost LB: 33137 ... c Min unsat cost LB: 33210 ... c Min unsat cost LB: 33473 ... c Min unsat cost LB: 34605 ... c Min unsat cost LB: 34868 ... c Min unsat cost LB: 35746 ... c Min unsat cost LB: 36878 ... c Min unsat cost LB: 37926 ... c Min unsat cost LB: 38103 ... c Min unsat cost LB: 38972 ... c Min unsat cost LB: 39086 ... c Min unsat cost LB: 39170 ... c Min unsat cost LB: 39550 ... c Min unsat cost LB: 40419 ... c Min unsat cost LB: 40918 ... c Min unsat cost LB: 41138 ... c Min unsat cost LB: 41401 ... c Min unsat cost LB: 42153 ... c Min unsat cost LB: 42416 ... c Min unsat cost LB: 42679 ... c Min unsat cost LB: 43195 ... c Min unsat cost LB: 44064 ... c Min unsat cost LB: 44425 ... c Min unsat cost LB: 44779 ... c Min unsat cost LB: 45649 ... c Min unsat cost LB: 46519 ... c Min unsat cost LB: 47388 ... c Min unsat cost LB: 47651 ... c Min unsat cost LB: 47811 ... c Min unsat cost LB: 48825 ... c Min unsat cost LB: 48980 ... c Min unsat cost LB: 49774 ... c Min unsat cost LB: 49887 ... c Min unsat cost LB: 50331 ... c Min unsat cost LB: 50756 ... c Min unsat cost LB: 51200 ... c Min unsat cost LB: 51463 ... c Min unsat cost LB: 51625 ... c Min unsat cost LB: 52419 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 53990 ... c Min unsat cost LB: 54415 ... c Min unsat cost LB: 54643 ... c Min unsat cost LB: 54871 ... c Min unsat cost LB: 55099 ... c Min unsat cost LB: 55284 ... c Min unsat cost LB: 55327 ... c Min unsat cost LB: 55555 ... c Min unsat cost LB: 56469 ... c Min unsat cost LB: 56685 ... c Min unsat cost LB: 56697 ... c Min unsat cost LB: 56738 ... c Min unsat cost LB: 56958 ... c Min unsat cost LB: 57157 ... c Min unsat cost LB: 57176 ... c Min unsat cost LB: 57620 ... c Min unsat cost LB: 57848 ... c Min unsat cost LB: 58008 ... c Min unsat cost LB: 58236 ... c Min unsat cost LB: 58464 ... c Min unsat cost LB: 58692 ... c Min unsat cost LB: 58920 ... c Min unsat cost LB: 59136 ... c Min unsat cost LB: 59851 ... c Min unsat cost LB: 59911 ... c Min unsat cost LB: 60781 ... c Min unsat cost LB: 61038 ... c Min unsat cost LB: 61106 ... c Min unsat cost LB: 61189 ... c Min unsat cost LB: 61340 ... c Min unsat cost LB: 61491 ... c Min unsat cost LB: 61633 ... c Min unsat cost LB: 61642 ... c Min unsat cost LB: 61793 ... c Min unsat cost LB: 61953 ... c Min unsat cost LB: 62104 ... c Min unsat cost LB: 62255 ... c Min unsat cost LB: 62471 ... c Min unsat cost LB: 62631 ... c Min unsat cost LB: 62734 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62942 ... c Min unsat cost LB: 62961 ... c Min unsat cost LB: 63103 ... c Min unsat cost LB: 63112 ... c Min unsat cost LB: 63124 ... c Min unsat cost LB: 63183 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63426 ... c Min unsat cost LB: 63565 ... c Min unsat cost LB: 63716 ... c Min unsat cost LB: 63872 ... c Min unsat cost LB: 64059 ... c Min unsat cost LB: 64287 ... c Min unsat cost LB: 64438 ... c Min unsat cost LB: 64586 ... c Min unsat cost LB: 65343 ... c Min unsat cost LB: 65479 ... c Min unsat cost LB: 65707 ... c Min unsat cost LB: 65742 ... c Min unsat cost LB: 65958 ... c Min unsat cost LB: 66024 ... c Min unsat cost LB: 66186 ... c Min unsat cost LB: 66322 ... c Min unsat cost LB: 66458 ... c Min unsat cost LB: 66572 ... c Min unsat cost LB: 67071 ... c Min unsat cost LB: 67130 ... c Min unsat cost LB: 67281 ... c Min unsat cost LB: 67353 ... c Min unsat cost LB: 67581 ... c Min unsat cost LB: 67616 ... c Min unsat cost LB: 67879 ... c Min unsat cost LB: 67949 ... c Min unsat cost LB: 67958 ... c Min unsat cost LB: 68034 ... c Min unsat cost LB: 68173 ... c Min unsat cost LB: 68256 ... c Min unsat cost LB: 68324 ... c Min unsat cost LB: 68437 ... c Min unsat cost LB: 68478 ... c Min unsat cost LB: 68665 ... c Min unsat cost LB: 68741 ... c Min unsat cost LB: 68887 ... c Min unsat cost LB: 68916 ... c Min unsat cost LB: 69004 ... c Min unsat cost LB: 69179 ... c Min unsat cost LB: 69267 ... c Min unsat cost LB: 69330 ... c Min unsat cost LB: 69378 ... c Min unsat cost LB: 69413 ... c Min unsat cost LB: 69481 ... c Min unsat cost LB: 69500 ... c Min unsat cost LB: 69519 ... c Min unsat cost LB: 69617 ... c Min unsat cost LB: 69632 ... c Min unsat cost LB: 69733 ... c Min unsat cost LB: 69783 ... c Min unsat cost LB: 69945 ... c Min unsat cost LB: 69993 ... c Min unsat cost LB: 70046 ... c Min unsat cost LB: 70123 ... c Min unsat cost LB: 70126 ... c Min unsat cost LB: 70152 ... c Min unsat cost LB: 70181 ... c Min unsat cost LB: 70409 ... c Min unsat cost LB: 70415 ... c Min unsat cost LB: 70734 ... c Min unsat cost LB: 70840 ... c Min unsat cost LB: 70884 ... c Min unsat cost LB: 70964 ... c Min unsat cost LB: 71284 ... c Min unsat cost LB: 71382 ... c Min unsat cost LB: 71387 ... c Min unsat cost LB: 71419 ... c Min unsat cost LB: 71462 ... c Min unsat cost LB: 71635 ... c Min unsat cost LB: 71748 ... c Min unsat cost LB: 71816 ... c Min unsat cost LB: 71828 ... c Min unsat cost LB: 71891 ... c Min unsat cost LB: 71932 ... c Min unsat cost LB: 71979 ... c Min unsat cost LB: 72132 ... c Min unsat cost LB: 72207 ... c Min unsat cost LB: 72242 ... c Min unsat cost LB: 72396 ... c Min unsat cost LB: 72402 ... c Min unsat cost LB: 72505 ... c Min unsat cost LB: 72517 ... c Min unsat cost LB: 72668 ... c Min unsat cost LB: 72701 ... c Min unsat cost LB: 72905 ... c Min unsat cost LB: 72974 ... c Min unsat cost LB: 72976 ... c Min unsat cost LB: 73012 ... c Min unsat cost LB: 73093 ... c Min unsat cost LB: 73176 ... c Min unsat cost LB: 73244 ... c Min unsat cost LB: 73268 ... c Min unsat cost LB: 73327 ... c Min unsat cost LB: 73366 ... c Min unsat cost LB: 73383 ... c Min unsat cost LB: 73395 ... c Min unsat cost LB: 73414 ... c Min unsat cost LB: 73452 ... c Min unsat cost LB: 73512 ... c Min unsat cost LB: 73547 ... c Min unsat cost LB: 73595 ... c Min unsat cost LB: 73653 ... c Min unsat cost LB: 73804 ... c Min unsat cost LB: 73813 ... c Min unsat cost LB: 73844 ... c Min unsat cost LB: 73860 ... c Min unsat cost LB: 73863 ... c Min unsat cost LB: 73947 ... c Min unsat cost LB: 74017 ... c Min unsat cost LB: 74026 ... c Min unsat cost LB: 74109 ... c Min unsat cost LB: 74127 ... c Min unsat cost LB: 74175 ... c Min unsat cost LB: 74240 ... c Min unsat cost LB: 74335 ... c Min unsat cost LB: 74438 ... c Min unsat cost LB: 74653 ... c Min unsat cost LB: 74712 ... c Min unsat cost LB: 74815 ... c Min unsat cost LB: 74841 ... c Min unsat cost LB: 74856 ... c Min unsat cost LB: 74975 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 75038 ... c Min unsat cost LB: 75219 ... c Min unsat cost LB: 75261 ... c Min unsat cost LB: 75262 ... c Min unsat cost LB: 75405 ... c Min unsat cost LB: 75422 ... c Min unsat cost LB: 75475 ... c Min unsat cost LB: 75625 ... c Min unsat cost LB: 75626 ... c Min unsat cost LB: 75786 ... c Min unsat cost LB: 75831 ... c Min unsat cost LB: 75888 ... c Min unsat cost LB: 76241 ... c Min unsat cost LB: 76369 ... c Min unsat cost LB: 76523 ... c Min unsat cost LB: 77291 ... c Min unsat cost LB: 77392 ... c Min unsat cost LB: 77394 ... c Min unsat cost LB: 77545 ... c Min unsat cost LB: 77626 ... c Min unsat cost LB: 77631 ... c Min unsat cost LB: 77749 ... c Min unsat cost LB: 77761 ... c Min unsat cost LB: 77836 ... c Min unsat cost LB: 77871 ... c Min unsat cost LB: 77894 ... c Min unsat cost LB: 77904 ... c Min unsat cost LB: 78118 ... c Min unsat cost LB: 78157 ... c Min unsat cost LB: 78213 ... c Min unsat cost LB: 78271 ... c Min unsat cost LB: 78303 ... c Min unsat cost LB: 78346 ... c Min unsat cost LB: 78444 ... c Min unsat cost LB: 78449 ... c Min unsat cost LB: 78920 ... c Min unsat cost LB: 79016 ... c Min unsat cost LB: 79176 ... c Min unsat cost LB: 79297 ... c Min unsat cost LB: 79789 ... c Min unsat cost LB: 79855 ... c Min unsat cost LB: 80045 ... c Min unsat cost LB: 80052 ... c Min unsat cost LB: 80056 ... c Min unsat cost LB: 80132 ... c Min unsat cost LB: 80140 ... c Min unsat cost LB: 80224 ... c Min unsat cost LB: 80934 ... c Min unsat cost LB: 80987 ... c Min unsat cost LB: 81002 ... c Min unsat cost LB: 81059 ... c Min unsat cost LB: 81083 ... c Min unsat cost LB: 81090 ... c Min unsat cost LB: 81143 ... c Min unsat cost LB: 81184 ... c Min unsat cost LB: 81185 ... c Min unsat cost LB: 81191 ... c Min unsat cost LB: 81203 ... c Min unsat cost LB: 81215 ... c Min unsat cost LB: 81222 ... c Min unsat cost LB: 81287 ... c Min unsat cost LB: 81295 ... c Min unsat cost LB: 81351 ... c Min unsat cost LB: 81358 ... c Min unsat cost LB: 81396 ... c Min unsat cost LB: 81447 ... c Min unsat cost LB: 81455 ... c Min unsat cost LB: 81472 ... c Min unsat cost LB: 81540 ... c Min unsat cost LB: 81571 ... c Min unsat cost LB: 81575 ... c Min unsat cost LB: 81614 ... c Min unsat cost LB: 81637 ... c Min unsat cost LB: 81768 ... c Min unsat cost LB: 81774 ... c Min unsat cost LB: 81843 ... c Min unsat cost LB: 81960 ... c Min unsat cost LB: 81978 ... c Min unsat cost LB: 82132 ... c Min unsat cost LB: 82751 ... c Min unsat cost LB: 82772 ... c Min unsat cost LB: 82775 ... c Min unsat cost LB: 82791 ... c Min unsat cost LB: 82906 ... c Min unsat cost LB: 82908 ... c Min unsat cost LB: 82927 ... c Min unsat cost LB: 82939 ... c Min unsat cost LB: 82997 ... c Min unsat cost LB: 83047 ... c Min unsat cost LB: 83086 ... c Min unsat cost LB: 83109 ... c Min unsat cost LB: 83112 ... c Min unsat cost LB: 83206 ... c Min unsat cost LB: 83547 ... c Min unsat cost LB: 83801 ... c Min unsat cost LB: 83862 ... c Min unsat cost LB: 83899 ... c Min unsat cost LB: 83977 ... c Min unsat cost LB: 84048 ... c Min unsat cost LB: 84121 ... c Min unsat cost LB: 84128 ... c Min unsat cost LB: 84208 ... c Min unsat cost LB: 84210 ... c Min unsat cost LB: 84302 ... c Min unsat cost LB: 84453 ... c Min unsat cost LB: 84474 ... c Min unsat cost LB: 84527 ... c Min unsat cost LB: 84567 ... c Min unsat cost LB: 84647 ... c Min unsat cost LB: 84680 ... c Min unsat cost LB: 84700 ... c Min unsat cost LB: 84729 ... c Min unsat cost LB: 84765 ... c Min unsat cost LB: 84804 ... c Min unsat cost LB: 84845 ... c Min unsat cost LB: 84999 ... c Min unsat cost LB: 85056 ... c Min unsat cost LB: 85131 ... c Min unsat cost LB: 85253 ... c Min unsat cost LB: 85312 ... c Min unsat cost LB: 85502 ... c Min unsat cost LB: 85758 ... c Min unsat cost LB: 85914 ... c Min unsat cost LB: 86008 ... c Min unsat cost LB: 87022 ... c Min unsat cost LB: 87087 ... c Min unsat cost LB: 87742 ... c Min unsat cost LB: 87993 ... c Min unsat cost LB: 88482 ... c Min unsat cost LB: 88497 ... c Min unsat cost LB: 88534 ... c Min unsat cost LB: 88634 ... c Min unsat cost LB: 88961 ... c Min unsat cost LB: 88990 ... c Min unsat cost LB: 89050 ... c Min unsat cost LB: 89081 ... c Min unsat cost LB: 89149 ... c Min unsat cost LB: 89231 ... c Min unsat cost LB: 89313 ... c Min unsat cost LB: 89314 ... c Min unsat cost LB: 89328 ... c Min unsat cost LB: 89384 ... c Min unsat cost LB: 89386 ... c Min unsat cost LB: 89393 ... c Min unsat cost LB: 89529 ... c Min unsat cost LB: 89621 ... c Min unsat cost LB: 89772 ... c Min unsat cost LB: 89853 ... c Min unsat cost LB: 89890 ... c Min unsat cost LB: 89902 ... c Min unsat cost LB: 89974 ... c Min unsat cost LB: 90851 ... c Min unsat cost LB: 91298 ... c Min unsat cost LB: 91316 ... c Min unsat cost LB: 91368 ... c Min unsat cost LB: 91409 ... c Min unsat cost LB: 91410 ... c Min unsat cost LB: 91414 ... c Min unsat cost LB: 91435 ... c Min unsat cost LB: 91437 ... c Min unsat cost LB: 91447 ... c Min unsat cost LB: 91460 ... c Min unsat cost LB: 91465 ... c Min unsat cost LB: 91480 ... c Min unsat cost LB: 91500 ... c Min unsat cost LB: 91522 ... c Min unsat cost LB: 91525 ... c Min unsat cost LB: 91563 ... c Min unsat cost LB: 91588 ... c Min unsat cost LB: 91743 ... c Min unsat cost LB: 92656 ... c Min unsat cost LB: 92747 ... c Min unsat cost LB: 92783 ... c Min unsat cost LB: 92828 ... c Min unsat cost LB: 92875 ... c Min unsat cost LB: 92920 ... c Min unsat cost LB: 92926 ... c Min unsat cost LB: 92937 ... c Min unsat cost LB: 92949 ... c Min unsat cost LB: 92953 ... c Min unsat cost LB: 92958 ... c Min unsat cost LB: 93016 ... c Min unsat cost LB: 93051 ... c Min unsat cost LB: 93052 ... c Min unsat cost LB: 93230 ... c Min unsat cost LB: 93372 ... c Min unsat cost LB: 93422 ... c Min unsat cost LB: 93523 ... c Min unsat cost LB: 93538 ... c Min unsat cost LB: 93553 ... c Min unsat cost LB: 93740 ... c Min unsat cost LB: 93910 ... c Min unsat cost LB: 93911 ... c Min unsat cost LB: 93955 ... c Min unsat cost LB: 94012 ... c Min unsat cost LB: 94050 ... c Min unsat cost LB: 94064 ... c Min unsat cost LB: 94098 ... c Min unsat cost LB: 94110 ... c Min unsat cost LB: 94127 ... c Min unsat cost LB: 94132 ... c Min unsat cost LB: 94144 ... c Min unsat cost LB: 94146 ... c Min unsat cost LB: 94153 ... c Min unsat cost LB: 94175 ... c Min unsat cost LB: 94177 ... c Min unsat cost LB: 94192 ... c Min unsat cost LB: 94209 ... c Min unsat cost LB: 94232 ... c Min unsat cost LB: 94292 ... c Min unsat cost LB: 94303 ... c Min unsat cost LB: 94337 ... c Min unsat cost LB: 94385 ... c Min unsat cost LB: 94390 ... c Min unsat cost LB: 94396 ... c Min unsat cost LB: 94426 ... c Min unsat cost LB: 94451 ... c Min unsat cost LB: 94477 ... c Min unsat cost LB: 94517 ... c Min unsat cost LB: 94525 ... c Min unsat cost LB: 94527 ... c Min unsat cost LB: 94532 ... c Min unsat cost LB: 94570 ... c Min unsat cost LB: 94593 ... c Min unsat cost LB: 94598 ... c Min unsat cost LB: 94677 ... c Min unsat cost LB: 94726 ... c Min unsat cost LB: 94733 ... c Min unsat cost LB: 94735 ... c Min unsat cost LB: 94755 ... c Min unsat cost LB: 94776 ... c Min unsat cost LB: 94778 ... c Min unsat cost LB: 94780 ... c Min unsat cost LB: 94785 ... c Min unsat cost LB: 94794 ... c Min unsat cost LB: 94796 ... c Min unsat cost LB: 94856 ... c Min unsat cost LB: 94857 ... c Min unsat cost LB: 94873 ... c Min unsat cost LB: 94879 ... c Min unsat cost LB: 94881 ... c Min unsat cost LB: 94886 ... c Min unsat cost LB: 94891 ... c Min unsat cost LB: 94898 ... c Min unsat cost LB: 94901 ... c Min unsat cost LB: 94913 ... c Min unsat cost LB: 94935 ... c Min unsat cost LB: 94937 ... c Min unsat cost LB: 94944 ... c Min unsat cost LB: 94967 ... c Min unsat cost LB: 95004 ... c Min unsat cost LB: 95015 ... c Min unsat cost LB: 95017 ... c Min unsat cost LB: 95023 ... c Min unsat cost LB: 95026 ... c Min unsat cost LB: 95031 ... c Min unsat cost LB: 95032 ... c Min unsat cost LB: 95038 ... c Min unsat cost LB: 95040 ... c Min unsat cost LB: 95042 ... c Min unsat cost LB: 95043 ... c Min unsat cost LB: 95044 ... c Min unsat cost LB: 95046 ... c Min unsat cost LB: 95048 ... c Min unsat cost LB: 95086 ... c Min unsat cost LB: 95092 ... c Min unsat cost LB: 95099 ... c Min unsat cost LB: 95110 ... c Min unsat cost LB: 95132 ... c Min unsat cost LB: 95136 ... c Min unsat cost LB: 95143 ... c Min unsat cost LB: 95151 ... c Min unsat cost LB: 95153 ... c Min unsat cost LB: 95158 ... c Min unsat cost LB: 95160 ... c Min unsat cost LB: 95166 ... c Min unsat cost LB: 95189 ... c Min unsat cost LB: 95192 ... c Min unsat cost LB: 95206 ... c Min unsat cost LB: 95230 ... c Min unsat cost LB: 95232 ... c Min unsat cost LB: 95233 ... c Min unsat cost LB: 95236 ... c Min unsat cost LB: 95237 ... c Min unsat cost LB: 95247 ... c Min unsat cost LB: 95251 ... c Min unsat cost LB: 95257 ... c Min unsat cost LB: 95277 ... c Min unsat cost LB: 95280 ... c Min unsat cost LB: 95281 ... c Min unsat cost LB: 95284 ... c Min unsat cost LB: 95312 ... c Min unsat cost LB: 95313 ... c Min unsat cost LB: 95315 ... c Min unsat cost LB: 95316 ... c Min unsat cost LB: 95317 ... c Min unsat cost LB: 95318 ... c Min unsat cost LB: 95319 ... c Min unsat cost LB: 95320 ... c Min unsat cost LB: 95321 ... c Min unsat cost LB: 95322 ... c Min unsat cost LB: 95323 ... c Min unsat cost LB: 95324 ... c Min unsat cost LB: 95325 ... c Min unsat cost LB: 95326 ... c Min unsat cost LB: 95328 ... c Min unsat cost LB: 95329 ... c Min unsat cost LB: 95330 ... c Min unsat cost LB: 95337 ... c Min unsat cost LB: 95338 ... c Min unsat cost LB: 95342 ... c Min unsat cost LB: 95349 ... c Min unsat cost LB: 95352 ... c Min unsat cost LB: 95390 ... c Min unsat cost LB: 95393 ... c Min unsat cost LB: 95394 ... c Min unsat cost LB: 95395 ... c Min unsat cost LB: 95418 ... c Min unsat cost LB: 95425 ... c Min unsat cost LB: 95428 ... c Min unsat cost LB: 95429 ... c Min unsat cost LB: 95432 ... c Min unsat cost LB: 95448 ... c Min unsat cost LB: 95449 ... c Min unsat cost LB: 95463 ... c Min unsat cost LB: 95464 ... c Min unsat cost LB: 95470 ... c Min unsat cost LB: 95476 ... c Min unsat cost LB: 95477 ... c Min unsat cost LB: 95483 ... c Min unsat cost LB: 95487 ... c Min unsat cost LB: 95492 ... c Min unsat cost LB: 95493 ... c Min unsat cost LB: 95494 ... c Min unsat cost LB: 95504 ... c Min unsat cost LB: 95508 ... c Min unsat cost LB: 95511 ... c Min unsat cost LB: 95512 ... c Min unsat cost LB: 95514 ... c Min unsat cost LB: 95515 ... c Min unsat cost LB: 95516 ... c Min unsat cost LB: 95521 ... c Min unsat cost LB: 95522 ... c Min unsat cost LB: 95523 ... c Min unsat cost LB: 95525 ... c Min unsat cost LB: 95527 ... c Min unsat cost LB: 95529 ... c Min unsat cost LB: 95530 ... c Min unsat cost LB: 95531 ... c Min unsat cost LB: 95532 ... c Min unsat cost LB: 95534 ... c Min unsat cost LB: 95535 ... c Min unsat cost LB: 95553 ... c Min unsat cost LB: 95559 ... c Min unsat cost LB: 95563 ... c Min unsat cost LB: 95564 ... c Min unsat cost LB: 95565 ... c Min unsat cost LB: 95566 ... c Min unsat cost LB: 95569 ... c Min unsat cost LB: 95570 ... c Min unsat cost LB: 95571 ... c Min unsat cost LB: 95572 ... c Min unsat cost LB: 95588 ... c Min unsat cost LB: 95591 ... c Min unsat cost LB: 95595 ... c Min unsat cost LB: 95599 ... c Min unsat cost LB: 95602 ... c Min unsat cost LB: 95603 ... c Min unsat cost LB: 95604 ... c Min unsat cost LB: 95609 ... c Min unsat cost LB: 95610 ... c Min unsat cost LB: 95614 ... c Min unsat cost LB: 95618 ... c Min unsat cost LB: 95626 ... c Min unsat cost LB: 95629 ... c Min unsat cost LB: 95632 ... c Min unsat cost LB: 95638 ... c Min unsat cost LB: 95639 ... c Min unsat cost LB: 95644 ... c Min unsat cost LB: 95660 ... c Min unsat cost LB: 95663 ... c Min unsat cost LB: 95666 ... c Min unsat cost LB: 95667 ... c Min unsat cost LB: 95681 ... c Min unsat cost LB: 95712 ... c Min unsat cost LB: 95737 ... c Min unsat cost LB: 95780 ... c Min unsat cost LB: 95805 ... c Min unsat cost LB: 95887 ... c Min unsat cost LB: 95890 ... c Min unsat cost LB: 95892 ... c Min unsat cost LB: 96116 ... c Min unsat cost LB: 96118 ... c Min unsat cost LB: 96120 ... c Min unsat cost LB: 96151 ... c Min unsat cost LB: 96211 ... c Min unsat cost LB: 96257 ... c Min unsat cost LB: 96258 ... c Min unsat cost LB: 96266 ... c Min unsat cost LB: 96271 ... c Min unsat cost LB: 96306 ... c Min unsat cost LB: 96308 ... c Min unsat cost LB: 96317 ... c Min unsat cost LB: 96341 ... c Min unsat cost LB: 96364 ... c Min unsat cost LB: 96380 ... c Min unsat cost LB: 96385 ... c Min unsat cost LB: 96402 ... c Min unsat cost LB: 96418 ... c Min unsat cost LB: 96419 ... c Min unsat cost LB: 96444 ... c Min unsat cost LB: 96461 ... c Min unsat cost LB: 96541 ... c Min unsat cost LB: 96612 ... c Min unsat cost LB: 96641 ... c Min unsat cost LB: 96656 ... c Min unsat cost LB: 96723 ... c Min unsat cost LB: 97101 ... c Min unsat cost LB: 97121 ... c Min unsat cost LB: 97157 ... c Min unsat cost LB: 97166 ... c Min unsat cost LB: 97171 ... c Min unsat cost LB: 97181 ... c Min unsat cost LB: 97218 ... c Min unsat cost LB: 97255 ... c Min unsat cost LB: 97352 ... c Min unsat cost LB: 97978 ... c Min unsat cost LB: 97985 ... c Min unsat cost LB: 97987 ... c Min unsat cost LB: 98005 ... c Min unsat cost LB: 98023 ... c Min unsat cost LB: 98069 ... c Min unsat cost LB: 98077 ... c Min unsat cost LB: 98114 ... c Min unsat cost LB: 98136 ... c Min unsat cost LB: 98148 ... c Min unsat cost LB: 98195 ... c Min unsat cost LB: 98213 ... c Min unsat cost LB: 98220 ... c Min unsat cost LB: 98232 ... c Min unsat cost LB: 98242 ... c Min unsat cost LB: 98264 ... c Min unsat cost LB: 98266 ... c Min unsat cost LB: 98336 ... c Min unsat cost LB: 98338 ... c Min unsat cost LB: 98339 ... c Min unsat cost LB: 98354 ... c Min unsat cost LB: 98374 ... c Min unsat cost LB: 98375 ... c Min unsat cost LB: 98378 ... c Min unsat cost LB: 98379 ... c Min unsat cost LB: 98385 ... c Min unsat cost LB: 98386 ... c Min unsat cost LB: 98423 ... c Min unsat cost LB: 98427 ... c Min unsat cost LB: 98434 ... c Min unsat cost LB: 98437 ... c Min unsat cost LB: 98454 ... c Min unsat cost LB: 98464 ... c Min unsat cost LB: 98474 ... c Min unsat cost LB: 98499 ... c Min unsat cost LB: 98509 ... c Min unsat cost LB: 98533 ... c Min unsat cost LB: 98599 ... c Min unsat cost LB: 98600 ... c Min unsat cost LB: 98601 ... c Min unsat cost LB: 98603 ... c Min unsat cost LB: 98604 ... c Min unsat cost LB: 98614 ... c Min unsat cost LB: 98622 ... c Min unsat cost LB: 98625 ... c Min unsat cost LB: 98644 ... c Min unsat cost LB: 98648 ... c Min unsat cost LB: 98650 ... c Min unsat cost LB: 98660 ... c Min unsat cost LB: 98718 ... c Min unsat cost LB: 98721 ... c Min unsat cost LB: 98731 ... c Min unsat cost LB: 98744 ... c Min unsat cost LB: 98746 ... c Min unsat cost LB: 98828 ... c Min unsat cost LB: 98875 ... c Min unsat cost LB: 98876 ... c Min unsat cost LB: 98884 ... c Min unsat cost LB: 98886 ... c Min unsat cost LB: 98894 ... c Min unsat cost LB: 99168 ... c Min unsat cost LB: 99169 ... c Min unsat cost LB: 99245 ... c Min unsat cost LB: 99294 ... c Min unsat cost LB: 99335 ... c Min unsat cost LB: 99341 ... c Min unsat cost LB: 99394 ... c Min unsat cost LB: 99399 ... c Min unsat cost LB: 99415 ... c Min unsat cost LB: 99449 ... c Min unsat cost LB: 99468 ... c Min unsat cost LB: 99472 ... c Min unsat cost LB: 99558 ... c Min unsat cost LB: 99573 ... c Min unsat cost LB: 99589 ... c Min unsat cost LB: 99590 ... c Min unsat cost LB: 99595 ... c Min unsat cost LB: 99607 ... c Min unsat cost LB: 99612 ... c Min unsat cost LB: 99613 ... c Min unsat cost LB: 99642 ... c Min unsat cost LB: 99643 ... c Min unsat cost LB: 99646 ... c Min unsat cost LB: 99657 ... c Min unsat cost LB: 99659 ... c Min unsat cost LB: 99660 ... c Min unsat cost LB: 99661 ... c Min unsat cost LB: 99666 ... c Min unsat cost LB: 99675 ... c Min unsat cost LB: 99678 ... c Min unsat cost LB: 99679 ... c Min unsat cost LB: 99680 ... c Min unsat cost LB: 99681 ... c Min unsat cost LB: 99682 ... c Min unsat cost LB: 99683 ... c Min unsat cost LB: 99684 ... c Min unsat cost LB: 99685 ... c Min unsat cost LB: 99689 ... c Min unsat cost LB: 99693 ... c Min unsat cost LB: 99697 ... c Min unsat cost LB: 99698 ... c Min unsat cost LB: 99700 ... c Min unsat cost LB: 99701 ... c Min unsat cost LB: 99703 ... c Min unsat cost LB: 99708 ... c Min unsat cost LB: 99716 ... c Min unsat cost LB: 99724 ... c Min unsat cost LB: 99726 ... c Min unsat cost LB: 99740 ... c Min unsat cost LB: 99741 ... c Min unsat cost LB: 99743 ... c Min unsat cost LB: 99745 ... c Min unsat cost LB: 99752 ... c Min unsat cost LB: 99753 ... c Min unsat cost LB: 99755 ... c Min unsat cost LB: 99756 ... c Min unsat cost LB: 99757 ... c Min unsat cost LB: 99758 ... c Min unsat cost LB: 99759 ... c Min unsat cost LB: 99760 ... c Min unsat cost LB: 99761 ... c Min unsat cost LB: 99762 ... c Min unsat cost LB: 99763 ... c Min unsat cost LB: 99764 ... c Min unsat cost LB: 99765 ... c Min unsat cost LB: 99766 ... c Min unsat cost LB: 99767 ... c Min unsat cost LB: 99768 ... c Min unsat cost LB: 99769 ... c Min unsat cost LB: 99770 ... c Min unsat cost LB: 99771 ... c Min unsat cost LB: 99772 ... c Min unsat cost LB: 99773 ... c Min unsat cost LB: 99774 ... c Min unsat cost LB: 99775 ... c Min unsat cost LB: 99779 ... c Min unsat cost LB: 99780 ... c Min unsat cost LB: 99781 ... c Min unsat cost LB: 99782 ... c Min unsat cost LB: 99783 ... c Min unsat cost LB: 99784 ... c Min unsat cost LB: 99785 ... c Min unsat cost LB: 99786 ... c Min unsat cost LB: 99787 ... c Min unsat cost LB: 99792 ... c Min unsat cost LB: 99793 ... c Min unsat cost LB: 99795 ... c Min unsat cost LB: 99796 ... c Min unsat cost LB: 99797 ... c Min unsat cost LB: 99798 ... c Min unsat cost LB: 99799 ... c Min unsat cost LB: 99802 ... c Min unsat cost LB: 99822 ... c Min unsat cost LB: 99830 ... c Min unsat cost LB: 99930 ... c Min unsat cost LB: 99936 ... c Min unsat cost LB: 99939 ... c Min unsat cost LB: 99953 ... c Min unsat cost LB: 99958 ... c Min unsat cost LB: 99960 ... c Min unsat cost LB: 99961 ... c Min unsat cost LB: 99962 ... c Min unsat cost LB: 99964 ... c Min unsat cost LB: 99976 ... c Min unsat cost LB: 99977 ... c Min unsat cost LB: 99982 ... c Min unsat cost LB: 99984 ... c Min unsat cost LB: 99991 ... c Min unsat cost LB: 99993 ... c Min unsat cost LB: 99994 ... c Min unsat cost LB: 99997 ... c Min unsat cost LB: 99999 ... c Min unsat cost LB: 100005 ... c Min unsat cost LB: 100011 ... c Min unsat cost LB: 100012 ... c Min unsat cost LB: 100015 ... c Min unsat cost LB: 100017 ... c Min unsat cost LB: 100021 ... c Min unsat cost LB: 100022 ... c Min unsat cost LB: 100041 ... c Min unsat cost LB: 100049 ... c Min unsat cost LB: 100050 ... c Min unsat cost LB: 100053 ... c Min unsat cost LB: 100054 ... c Min unsat cost LB: 100055 ... c Min unsat cost LB: 100056 ... c Min unsat cost LB: 100059 ... c Min unsat cost LB: 100061 ... c Min unsat cost LB: 100063 ... c Min unsat cost LB: 100064 ... c Min unsat cost LB: 100065 ... c Min unsat cost LB: 100068 ... c Min unsat cost LB: 100070 ... c Min unsat cost LB: 100071 ... c Min unsat cost LB: 100072 ... c Min unsat cost LB: 100073 ... c Min unsat cost LB: 100074 ... c Min unsat cost LB: 100075 ... c Min unsat cost LB: 100076 ... c Min unsat cost LB: 100077 ... c Min unsat cost LB: 100078 ... c Min unsat cost LB: 100079 ... c Min unsat cost LB: 100080 ... c Min unsat cost LB: 100081 ... c Min unsat cost LB: 100082 ... c Min unsat cost LB: 100083 ... c Min unsat cost LB: 100084 ... c Min unsat cost LB: 100085 ... c Min unsat cost LB: 100086 ... c Min unsat cost LB: 100087 ... c Min unsat cost LB: 100088 ... c Min unsat cost LB: 100089 ... c Min unsat cost LB: 100090 ... c Min unsat cost LB: 100091 ... c Min unsat cost LB: 100092 ... c Min unsat cost LB: 100093 ... c Min unsat cost LB: 100094 ... c Min unsat cost LB: 100095 ... c Min unsat cost LB: 100102 ... c Min unsat cost LB: 100105 ... c Min unsat cost LB: 100120 ... c Min unsat cost LB: 100121 ... c Min unsat cost LB: 100122 ... c Min unsat cost LB: 100148 ... c Min unsat cost LB: 100149 ... c Min unsat cost LB: 100150 ... c Min unsat cost LB: 100151 ... c Min unsat cost LB: 100158 ... c Min unsat cost LB: 100160 ... c Min unsat cost LB: 100162 ... c Min unsat cost LB: 100165 ... c Min unsat cost LB: 100169 ... c Min unsat cost LB: 100170 ... c Min unsat cost LB: 100174 ... c Min unsat cost LB: 100175 ... c Min unsat cost LB: 100185 ... c Min unsat cost LB: 100186 ... c Min unsat cost LB: 100187 ... c Min unsat cost LB: 100188 ... c Min unsat cost LB: 100190 ... c Min unsat cost LB: 100192 ... c Min unsat cost LB: 100193 ... c Min unsat cost LB: 100195 ... c Min unsat cost LB: 100199 ... c Min unsat cost LB: 100200 ... c Min unsat cost LB: 100203 ... c Min unsat cost LB: 100204 ... c Min unsat cost LB: 100207 ... c Min unsat cost LB: 100208 ... c Min unsat cost LB: 100209 ... c Min unsat cost LB: 100213 ... c Min unsat cost LB: 100215 ... c Min unsat cost LB: 100217 ... c Min unsat cost LB: 100219 ... c Min unsat cost LB: 100220 ... c Min unsat cost LB: 100225 ... c Min unsat cost LB: 100247 ... c Min unsat cost LB: 100248 ... c Min unsat cost LB: 100251 ... c Min unsat cost LB: 100254 ... c Min unsat cost LB: 100255 ... c Min unsat cost LB: 100258 ... c Min unsat cost LB: 100260 ... c Min unsat cost LB: 100261 ... c Min unsat cost LB: 100273 ... c Min unsat cost LB: 100274 ... c Min unsat cost LB: 100275 ... c Min unsat cost LB: 100276 ... c Min unsat cost LB: 100278 ... c Min unsat cost LB: 100279 ... c Min unsat cost LB: 100280 ... c Min unsat cost LB: 100285 ... c Min unsat cost LB: 100286 ... c Min unsat cost LB: 100318 ... c Min unsat cost LB: 100319 ... c Min unsat cost LB: 100321 ... c Min unsat cost LB: 100323 ... c Min unsat cost LB: 100332 ... c Min unsat cost LB: 100345 ... c Min unsat cost LB: 100351 ... c Min unsat cost LB: 100377 ... c Min unsat cost LB: 100380 ... c Min unsat cost LB: 100381 ... c Min unsat cost LB: 100382 ... c Min unsat cost LB: 100383 ... c Min unsat cost LB: 100389 ... c Min unsat cost LB: 100393 ... c Min unsat cost LB: 100415 ... c Min unsat cost LB: 100454 ... c Min unsat cost LB: 100471 ... c Min unsat cost LB: 100514 ... c Min unsat cost LB: 100525 ... c Min unsat cost LB: 100528 ... c Min unsat cost LB: 100536 ... c Min unsat cost LB: 100539 ... c Min unsat cost LB: 100543 ... c Min unsat cost LB: 100545 ... c Min unsat cost LB: 100546 ... c Min unsat cost LB: 100561 ... c Min unsat cost LB: 100568 ... c Min unsat cost LB: 100569 ... c Min unsat cost LB: 100570 ... c Min unsat cost LB: 100575 ... c Min unsat cost LB: 100576 ... c Min unsat cost LB: 100577 ... c Min unsat cost LB: 100578 ... c Min unsat cost LB: 100579 ... c Min unsat cost LB: 100580 ... c Min unsat cost LB: 100581 ... c Min unsat cost LB: 100582 ... c Min unsat cost LB: 100583 ... c Min unsat cost LB: 100584 ... c Min unsat cost LB: 100585 ... c Min unsat cost LB: 100586 ... c Min unsat cost LB: 100587 ... c Min unsat cost LB: 100589 ... c Min unsat cost LB: 100590 ... c Min unsat cost LB: 100591 ... c Min unsat cost LB: 100592 ... c Min unsat cost LB: 100593 ... c Min unsat cost LB: 100594 ... c Min unsat cost LB: 100595 ... c Min unsat cost LB: 100596 ... c Min unsat cost LB: 100598 ... c Min unsat cost LB: 100599 ... c Min unsat cost LB: 100600 ... c Min unsat cost LB: 100601 ... c Min unsat cost LB: 100602 ... c Min unsat cost LB: 100603 ... c Min unsat cost LB: 100604 ... c Min unsat cost LB: 100605 ... c Min unsat cost LB: 100606 ... c Min unsat cost LB: 100607 ... c Min unsat cost LB: 100614 ... c Min unsat cost LB: 100615 ... c Min unsat cost LB: 100618 ... c Min unsat cost LB: 100619 ... c Min unsat cost LB: 100621 ... c Min unsat cost LB: 100628 ... c Min unsat cost LB: 100663 ... c Min unsat cost LB: 100689 ... c Min unsat cost LB: 100701 ... c Min unsat cost LB: 100702 ... c Min unsat cost LB: 100714 ... c Min unsat cost LB: 100715 ... c Min unsat cost LB: 100724 ... c Min unsat cost LB: 100725 ... c Min unsat cost LB: 100726 ... c Min unsat cost LB: 100727 ... c Min unsat cost LB: 100729 ... c Min unsat cost LB: 100730 ... c Min unsat cost LB: 100731 ... c Min unsat cost LB: 100732 ... c Min unsat cost LB: 100733 ... c Min unsat cost LB: 100734 ... c Min unsat cost LB: 100747 ... c Min unsat cost LB: 100748 ... c Min unsat cost LB: 100750 ... c Min unsat cost LB: 100751 ... c Min unsat cost LB: 100752 ... c Min unsat cost LB: 100753 ... c Min unsat cost LB: 100757 ... c Min unsat cost LB: 100770 ... c Min unsat cost LB: 100772 ... c Min unsat cost LB: 100775 ... c Min unsat cost LB: 100780 ... c Min unsat cost LB: 100781 ... c Min unsat cost LB: 100782 ... c Min unsat cost LB: 100790 ... c Min unsat cost LB: 100791 ... c Min unsat cost LB: 100792 ... c Min unsat cost LB: 100794 ... c Min unsat cost LB: 100797 ... c Min unsat cost LB: 100798 ... c Min unsat cost LB: 100799 ... c Min unsat cost LB: 100800 ... c Min unsat cost LB: 100801 ... c Min unsat cost LB: 100802 ... c Min unsat cost LB: 100803 ... c Min unsat cost LB: 100804 ... c Min unsat cost LB: 100805 ... c Min unsat cost LB: 100806 ... c Min unsat cost LB: 100807 ... c Min unsat cost LB: 100808 ... c Min unsat cost LB: 100809 ... c Min unsat cost LB: 100810 ... c Min unsat cost LB: 100811 ... c Min unsat cost LB: 100815 ... c Min unsat cost LB: 100817 ... c Min unsat cost LB: 100822 ... c Min unsat cost LB: 100823 ... c Min unsat cost LB: 100829 ... c Min unsat cost LB: 100830 ... c Min unsat cost LB: 100841 ... c Min unsat cost LB: 100842 ... c Min unsat cost LB: 100844 ... c Min unsat cost LB: 100845 ... c Min unsat cost LB: 100846 ... c Min unsat cost LB: 100847 ... c Min unsat cost LB: 100848 ... c Min unsat cost LB: 100849 ... c Min unsat cost LB: 100854 ... c Min unsat cost LB: 100863 ... c Min unsat cost LB: 100871 ... c Min unsat cost LB: 100888 ... c Min unsat cost LB: 100904 ... c Min unsat cost LB: 100905 ... c Min unsat cost LB: 100906 ... c Min unsat cost LB: 100907 ... c Min unsat cost LB: 100908 ... c Min unsat cost LB: 100909 ... c Min unsat cost LB: 100910 ... c Min unsat cost LB: 100913 ... c Min unsat cost LB: 100914 ... c Min unsat cost LB: 100938 ... c Min unsat cost LB: 100940 ... c Min unsat cost LB: 101608 ... c Min unsat cost LB: 101609 ... c Min unsat cost LB: 101610 ... c Min unsat cost LB: 101611 ... c Min unsat cost LB: 101615 ... c Min unsat cost LB: 101617 ... c Min unsat cost LB: 101619 ... c Min unsat cost LB: 101669 ... c Min unsat cost LB: 101670 ... c Min unsat cost LB: 101683 ... c Min unsat cost LB: 101713 ... c Min unsat cost LB: 101718 ... c Min unsat cost LB: 101721 ... c Min unsat cost LB: 101723 ... c Min unsat cost LB: 101727 ... c Min unsat cost LB: 101728 ... c Min unsat cost LB: 101730 ... c Min unsat cost LB: 101731 ... c Min unsat cost LB: 101735 ... c Min unsat cost LB: 101736 ... c Min unsat cost LB: 101737 ... c Min unsat cost LB: 101746 ... c Min unsat cost LB: 101747 ... c Min unsat cost LB: 101748 ... c Min unsat cost LB: 101749 ... c Min unsat cost LB: 101750 ... c Min unsat cost LB: 101751 ... c Min unsat cost LB: 101846 ... c Min unsat cost LB: 101858 ... c Min unsat cost LB: 101861 ... c Min unsat cost LB: 101884 ... c Min unsat cost LB: 101885 ... c Min unsat cost LB: 101886 ... c Min unsat cost LB: 101887 ... c Min unsat cost LB: 101888 ... c Min unsat cost LB: 101889 ... c Min unsat cost LB: 101890 ... c Min unsat cost LB: 101891 ... c Min unsat cost LB: 101892 ... c Min unsat cost LB: 101893 ... c Min unsat cost LB: 101894 ... c Min unsat cost LB: 101896 ... c Min unsat cost LB: 101897 ... c Min unsat cost LB: 101898 ... c Min unsat cost LB: 101899 ... c Min unsat cost LB: 101900 ... c Min unsat cost LB: 101901 ... c Min unsat cost LB: 101902 ... c Min unsat cost LB: 101903 ... c Min unsat cost LB: 101904 ... c Min unsat cost LB: 101921 ... c Min unsat cost LB: 101943 ... c Min unsat cost LB: 101944 ... c Min unsat cost LB: 101951 ... c Min unsat cost LB: 101953 ... c Min unsat cost LB: 101954 ... c Min unsat cost LB: 101955 ... c Min unsat cost LB: 101971 ... c Min unsat cost LB: 101974 ... c Min unsat cost LB: 101975 ... c Min unsat cost LB: 101990 ... c Min unsat cost LB: 101994 ... c Min unsat cost LB: 102002 ... c Min unsat cost LB: 102035 ... c Min unsat cost LB: 102036 ... c Min unsat cost LB: 102037 ... c Min unsat cost LB: 102038 ... c Min unsat cost LB: 102043 ... c Min unsat cost LB: 102044 ... c Min unsat cost LB: 102045 ... c Min unsat cost LB: 102046 ... c Min unsat cost LB: 102049 ... c Min unsat cost LB: 102056 ... c Min unsat cost LB: 102061 ... c Min unsat cost LB: 102062 ... c Min unsat cost LB: 102063 ... c Min unsat cost LB: 102064 ... c Min unsat cost LB: 102065 ... c Min unsat cost LB: 102066 ... c Min unsat cost LB: 102067 ... c Min unsat cost LB: 102068 ... c Min unsat cost LB: 102069 ... c Min unsat cost LB: 102086 ... c Min unsat cost LB: 102091 ... c Min unsat cost LB: 102093 ... c Min unsat cost LB: 102095 ... c Min unsat cost LB: 102096 ... c Min unsat cost LB: 102097 ... c Min unsat cost LB: 102098 ... c Min unsat cost LB: 102100 ... c Min unsat cost LB: 102102 ... c Min unsat cost LB: 102103 ... c Min unsat cost LB: 102104 ... c Min unsat cost LB: 102106 ... c Min unsat cost LB: 102107 ... c Min unsat cost LB: 102108 ... c Min unsat cost LB: 102109 ... c Min unsat cost LB: 102165 ... c Min unsat cost LB: 102166 ... c Min unsat cost LB: 102172 ... c Min unsat cost LB: 102174 ... c Min unsat cost LB: 102348 ... c Min unsat cost LB: 102387 ... c Min unsat cost LB: 102396 ... c Min unsat cost LB: 102409 ... c Min unsat cost LB: 102421 ... c Min unsat cost LB: 102422 ... c Min unsat cost LB: 102430 ... c Min unsat cost LB: 102432 ... c Min unsat cost LB: 102435 ... c Min unsat cost LB: 102437 ... c Min unsat cost LB: 102464 ... c Min unsat cost LB: 103009 ... c Min unsat cost LB: 103010 ... c Min unsat cost LB: 103013 ... c Min unsat cost LB: 103016 ... c Min unsat cost LB: 103023 ... c Min unsat cost LB: 103024 ... c Min unsat cost LB: 103025 ... c Min unsat cost LB: 103026 ... c Min unsat cost LB: 103027 ... c Min unsat cost LB: 103028 ... c Min unsat cost LB: 103030 ... c Min unsat cost LB: 103031 ... c Min unsat cost LB: 103032 ... c Min unsat cost LB: 103033 ... c Min unsat cost LB: 103036 ... c Min unsat cost LB: 103037 ... c Min unsat cost LB: 103038 ... c Min unsat cost LB: 103041 ... c Min unsat cost LB: 103042 ... c Min unsat cost LB: 103043 ... c Min unsat cost LB: 103046 ... c Min unsat cost LB: 103047 ... c Min unsat cost LB: 103049 ... c Min unsat cost LB: 103052 ... c Min unsat cost LB: 103096 ... c Min unsat cost LB: 103110 ... c Min unsat cost LB: 103111 ... c Min unsat cost LB: 103114 ... c Min unsat cost LB: 103115 ... c Min unsat cost LB: 103116 ... c Min unsat cost LB: 103117 ... c Min unsat cost LB: 103118 ... c Min unsat cost LB: 103119 ... c Min unsat cost LB: 103120 ... c Min unsat cost LB: 103122 ... c Min unsat cost LB: 103123 ... c Min unsat cost LB: 103127 ... c Min unsat cost LB: 103128 ... c Min unsat cost LB: 103143 ... c Min unsat cost LB: 103144 ... c Min unsat cost LB: 103162 ... c Min unsat cost LB: 103163 ... c Min unsat cost LB: 103164 ... c Min unsat cost LB: 103169 ... c Min unsat cost LB: 103175 ... c Min unsat cost LB: 103176 ... c Min unsat cost LB: 103177 ... c Min unsat cost LB: 103178 ... c Min unsat cost LB: 103179 ... c Min unsat cost LB: 103180 ... c Min unsat cost LB: 103181 ... c Min unsat cost LB: 103182 ... c Min unsat cost LB: 103183 ... c Min unsat cost LB: 103193 ... c Min unsat cost LB: 103194 ... c Min unsat cost LB: 103195 ... c Min unsat cost LB: 103212 ... c Min unsat cost LB: 103214 ... c Min unsat cost LB: 103215 ... c Min unsat cost LB: 103216 ... c Min unsat cost LB: 103218 ... c Min unsat cost LB: 103219 ... c Min unsat cost LB: 103221 ... c Min unsat cost LB: 103246 ... c Min unsat cost LB: 103263 ... c Min unsat cost LB: 103264 ... c Min unsat cost LB: 103265 ... c Min unsat cost LB: 103266 ... c Min unsat cost LB: 103267 ... c Min unsat cost LB: 103268 ... c Min unsat cost LB: 103269 ... c Min unsat cost LB: 103272 ... c Min unsat cost LB: 103273 ... c Min unsat cost LB: 103274 ... c Min unsat cost LB: 103275 ... c Min unsat cost LB: 103276 ... c Min unsat cost LB: 103279 ... c Min unsat cost LB: 103286 ... c Min unsat cost LB: 103287 ... c Min unsat cost LB: 103288 ... c Min unsat cost LB: 103289 ... c Min unsat cost LB: 103290 ... c Min unsat cost LB: 103291 ... c Min unsat cost LB: 103293 ... c Min unsat cost LB: 103305 ... c Min unsat cost LB: 103310 ... c Min unsat cost LB: 103311 ... c Min unsat cost LB: 103312 ... c Min unsat cost LB: 103313 ... c Min unsat cost LB: 103314 ... c Min unsat cost LB: 103315 ... c Min unsat cost LB: 103319 ... c Min unsat cost LB: 103320 ... c Min unsat cost LB: 103321 ... c Min unsat cost LB: 103322 ... c Min unsat cost LB: 103323 ... c Min unsat cost LB: 103324 ... c Min unsat cost LB: 103325 ... c Min unsat cost LB: 103326 ... c Min unsat cost LB: 103327 ... c Min unsat cost LB: 103328 ... c Min unsat cost LB: 103330 ... c Min unsat cost LB: 103331 ... c Min unsat cost LB: 103333 ... c Min unsat cost LB: 103334 ... c Min unsat cost LB: 103335 ... c Min unsat cost LB: 103336 ... c Min unsat cost LB: 103337 ... c Min unsat cost LB: 103338 ... c Min unsat cost LB: 103339 ... c Min unsat cost LB: 103340 ... c Min unsat cost LB: 103342 ... c Min unsat cost LB: 103351 ... c Min unsat cost LB: 103353 ... c Min unsat cost LB: 103354 ... c Min unsat cost LB: 103355 ... c Min unsat cost LB: 103356 ... c Min unsat cost LB: 103357 ... c Min unsat cost LB: 103358 ... c Min unsat cost LB: 103359 ... c Min unsat cost LB: 103362 ... c Min unsat cost LB: 103363 ... c Min unsat cost LB: 103364 ... c Min unsat cost LB: 103368 ... c Min unsat cost LB: 103370 ... c Min unsat cost LB: 103371 ... c Min unsat cost LB: 103373 ... c Min unsat cost LB: 103379 ... c Min unsat cost LB: 103380 ... c Min unsat cost LB: 103381 ... c Min unsat cost LB: 103382 ... c Min unsat cost LB: 103383 ... c Min unsat cost LB: 103388 ... c Min unsat cost LB: 103389 ... c Min unsat cost LB: 103390 ... c Min unsat cost LB: 103391 ... c Min unsat cost LB: 103392 ... c Min unsat cost LB: 103393 ... c Min unsat cost LB: 103394 ... c Min unsat cost LB: 103395 ... c Min unsat cost LB: 103398 ... c Min unsat cost LB: 103399 ... c Min unsat cost LB: 103400 ... c Min unsat cost LB: 103401 ... c Min unsat cost LB: 103403 ... c Min unsat cost LB: 103404 ... c Min unsat cost LB: 103406 ... c Min unsat cost LB: 103407 ... c Min unsat cost LB: 103408 ... c Min unsat cost LB: 103409 ... c Min unsat cost LB: 103410 ... c Min unsat cost LB: 103411 ... c Min unsat cost LB: 103412 ... c Min unsat cost LB: 103413 ... c Min unsat cost LB: 103414 ... c Min unsat cost LB: 103415 ... c Min unsat cost LB: 103416 ... c Min unsat cost LB: 103417 ... c Min unsat cost LB: 103418 ... c Min unsat cost LB: 103419 ... c Min unsat cost LB: 103420 ... c Min unsat cost LB: 103421 ... c Min unsat cost LB: 103422 ... c Min unsat cost LB: 103423 ... c Min unsat cost LB: 103424 ... c Min unsat cost LB: 103425 ... c Min unsat cost LB: 103426 ... c Min unsat cost LB: 103427 ... c Min unsat cost LB: 103428 ... c Min unsat cost LB: 103429 ... c Min unsat cost LB: 103430 ... c Min unsat cost LB: 103431 ... c Min unsat cost LB: 103432 ... c Min unsat cost LB: 103433 ... c Min unsat cost LB: 103434 ... c Min unsat cost LB: 103435 ... c Min unsat cost LB: 103436 ... c Min unsat cost LB: 103437 ... c Min unsat cost LB: 103438 ... c Min unsat cost LB: 103439 ... c Min unsat cost LB: 103440 ... c Min unsat cost LB: 103441 ... c Min unsat cost LB: 103442 ... c Min unsat cost LB: 103443 ... c Min unsat cost LB: 103444 ... c Min unsat cost LB: 103446 ... c Min unsat cost LB: 103447 ... c Min unsat cost LB: 103449 ... c Min unsat cost LB: 103450 ... c Min unsat cost LB: 103451 ... c Min unsat cost LB: 103452 ... c Min unsat cost LB: 103453 ... c Min unsat cost LB: 103454 ... c Min unsat cost LB: 103455 ... c Min unsat cost LB: 103456 ... c Min unsat cost LB: 103458 ... c Min unsat cost LB: 103461 ... c Min unsat cost LB: 103464 ... c Min unsat cost LB: 103465 ... c Min unsat cost LB: 103467 ... c Min unsat cost LB: 103469 ... c Min unsat cost LB: 103471 ... c Min unsat cost LB: 103472 ... c Min unsat cost LB: 103478 ... c Min unsat cost LB: 103481 ... c Min unsat cost LB: 103486 ... c Min unsat cost LB: 103487 ... c Min unsat cost LB: 103488 ... c Min unsat cost LB: 103489 ... c Min unsat cost LB: 103490 ... c Min unsat cost LB: 103491 ... c Min unsat cost LB: 103492 ... c Min unsat cost LB: 103494 ... c Min unsat cost LB: 103500 ... c Min unsat cost LB: 103501 ... c Min unsat cost LB: 103502 ... c Min unsat cost LB: 103505 ... c Min unsat cost LB: 103506 ... c Min unsat cost LB: 103507 ... c Min unsat cost LB: 103508 ... c Min unsat cost LB: 103510 ... c Min unsat cost LB: 103514 ... c Min unsat cost LB: 103517 ... c Min unsat cost LB: 103518 ... c Min unsat cost LB: 103519 ... c Min unsat cost LB: 103520 ... c Min unsat cost LB: 103523 ... c Min unsat cost LB: 103524 ... c Min unsat cost LB: 103525 ... c Min unsat cost LB: 103526 ... c Min unsat cost LB: 103527 ... c Min unsat cost LB: 103528 ... c Min unsat cost LB: 103529 ... c Min unsat cost LB: 103530 ... c Min unsat cost LB: 103531 ... c Min unsat cost LB: 103532 ... c Min unsat cost LB: 103533 ... c Min unsat cost LB: 103534 ... c Min unsat cost LB: 103535 ... c Min unsat cost LB: 103536 ... c Min unsat cost LB: 103537 ... c Min unsat cost LB: 103538 ... c Min unsat cost LB: 103539 ... c Min unsat cost LB: 103540 ... c Min unsat cost LB: 103541 ... c Min unsat cost LB: 103542 ... c Min unsat cost LB: 103543 ... c Min unsat cost LB: 103544 ... c Min unsat cost LB: 103545 ... c Min unsat cost LB: 103546 ... c Min unsat cost LB: 103548 ... c Min unsat cost LB: 103549 ... c Min unsat cost LB: 103551 ... c Min unsat cost LB: 103552 ... c Min unsat cost LB: 103554 ... c Min unsat cost LB: 103555 ... c Min unsat cost LB: 103556 ... c Min unsat cost LB: 103558 ... c Min unsat cost LB: 103559 ... c Min unsat cost LB: 103560 ... c Min unsat cost LB: 103561 ... c Min unsat cost LB: 103562 ... c Min unsat cost LB: 103563 ... c Min unsat cost LB: 103564 ... c Min unsat cost LB: 103565 ... c Min unsat cost LB: 103566 ... c Min unsat cost LB: 103567 ... c Min unsat cost LB: 103568 ... c Min unsat cost LB: 103569 ... c Min unsat cost LB: 103570 ... c Min unsat cost LB: 103574 ... c Min unsat cost LB: 103578 ... c Min unsat cost LB: 103580 ... c Min unsat cost LB: 103581 ... c Min unsat cost LB: 103582 ... c Min unsat cost LB: 103583 ... c Min unsat cost LB: 103584 ... c Min unsat cost LB: 103586 ... c Min unsat cost LB: 103587 ... c Min unsat cost LB: 103589 ... c Min unsat cost LB: 103590 ... c Min unsat cost LB: 103591 ... c Min unsat cost LB: 103593 ... c Min unsat cost LB: 103595 ... c Min unsat cost LB: 103596 ... c Min unsat cost LB: 103597 ... c Min unsat cost LB: 103598 ... c Min unsat cost LB: 103599 ... c Min unsat cost LB: 103600 ... c Min unsat cost LB: 103601 ... c Min unsat cost LB: 103602 ... c Min unsat cost LB: 103603 ... c Min unsat cost LB: 103604 ... c Min unsat cost LB: 103607 ... c Min unsat cost LB: 103608 ... c Min unsat cost LB: 103609 ... c Min unsat cost LB: 103610 ... c Min unsat cost LB: 103611 ... c Min unsat cost LB: 103612 ... c Min unsat cost LB: 103613 ... c Min unsat cost LB: 103614 ... c Min unsat cost LB: 103617 ... c Min unsat cost LB: 103619 ... c Min unsat cost LB: 103620 ... c Min unsat cost LB: 103621 ... c Min unsat cost LB: 103622 ... c Min unsat cost LB: 103623 ... c Min unsat cost LB: 103624 ... c Min unsat cost LB: 103625 ... c Min unsat cost LB: 103626 ... c Min unsat cost LB: 103627 ... c Min unsat cost LB: 103628 ... c Min unsat cost LB: 103629 ... c Min unsat cost LB: 103630 ... c Min unsat cost LB: 103631 ... c Min unsat cost LB: 103632 ... c Min unsat cost LB: 103634 ... c Min unsat cost LB: 103643 ... c Min unsat cost LB: 103647 ... c Min unsat cost LB: 103648 ... c Min unsat cost LB: 103649 ... c Min unsat cost LB: 103650 ... c Min unsat cost LB: 103651 ... c Min unsat cost LB: 103652 ... c Min unsat cost LB: 103654 ... c Min unsat cost LB: 103655 ... c Min unsat cost LB: 103656 ... c Min unsat cost LB: 103657 ... c Min unsat cost LB: 103658 ... c Min unsat cost LB: 103659 ... c Min unsat cost LB: 103660 ... c Min unsat cost LB: 103661 ... c Min unsat cost LB: 103662 ... c Min unsat cost LB: 103663 ... c Min unsat cost LB: 103664 ... c Min unsat cost LB: 103665 ... c Min unsat cost LB: 103666 ... c Min unsat cost LB: 103667 ... c Min unsat cost LB: 103668 ... c Min unsat cost LB: 103669 ... c Min unsat cost LB: 103670 ... c Min unsat cost LB: 103671 ... c Min unsat cost LB: 103675 ... c Min unsat cost LB: 103676 ... c Min unsat cost LB: 103677 ... c Min unsat cost LB: 103678 ... c Min unsat cost LB: 103679 ... c Min unsat cost LB: 103680 ... c Min unsat cost LB: 103681 ... c Min unsat cost LB: 103682 ... c Min unsat cost LB: 103683 ... c Min unsat cost LB: 103684 ... c Min unsat cost LB: 103685 ... c Min unsat cost LB: 103686 ... c Min unsat cost LB: 103687 ... c Min unsat cost LB: 103693 ... c Min unsat cost LB: 103695 ... c Min unsat cost LB: 103696 ... c Min unsat cost LB: 103697 ... c Min unsat cost LB: 103698 ... c Min unsat cost LB: 103703 ... c Min unsat cost LB: 103710 ... c Min unsat cost LB: 103711 ... c Min unsat cost LB: 103712 ... c Min unsat cost LB: 103713 ... c Min unsat cost LB: 103714 ... c Min unsat cost LB: 103715 ... c Min unsat cost LB: 103716 ... c Min unsat cost LB: 103717 ... c Min unsat cost LB: 103718 ... c Min unsat cost LB: 103719 ... c Min unsat cost LB: 103722 ... c Min unsat cost LB: 103723 ... c Min unsat cost LB: 103725 ... c Min unsat cost LB: 103726 ... c Min unsat cost LB: 103727 ... c Min unsat cost LB: 103728 ... c Min unsat cost LB: 103729 ... c Min unsat cost LB: 103730 ... c Min unsat cost LB: 103731 ... c Min unsat cost LB: 103732 ... c Min unsat cost LB: 103733 ... c Min unsat cost LB: 103734 ... c Min unsat cost LB: 103735 ... c Min unsat cost LB: 103736 ... c Min unsat cost LB: 103737 ... c Min unsat cost LB: 103738 ... c Min unsat cost LB: 103739 ... c Min unsat cost LB: 103740 ... c Min unsat cost LB: 103741 ... c Min unsat cost LB: 103742 ... c Min unsat cost LB: 103743 ... c Min unsat cost LB: 103744 ... c Min unsat cost LB: 103746 ... c Min unsat cost LB: 103747 ... c Min unsat cost LB: 103748 ... c Min unsat cost LB: 103749 ... c Min unsat cost LB: 103750 ... c Min unsat cost LB: 103751 ... c Min unsat cost LB: 103752 ... c Min unsat cost LB: 103753 ... c Min unsat cost LB: 103755 ... c Min unsat cost LB: 103762 ... c Min unsat cost LB: 103763 ... c Min unsat cost LB: 103764 ... c Min unsat cost LB: 103765 ... c Min unsat cost LB: 103766 ... c Min unsat cost LB: 103767 ... c Min unsat cost LB: 103768 ... c Min unsat cost LB: 103769 ... c Min unsat cost LB: 103770 ... c Min unsat cost LB: 103771 ... c Min unsat cost LB: 103772 ... c Min unsat cost LB: 103773 ... c Min unsat cost LB: 103775 ... c Min unsat cost LB: 103776 ... c Min unsat cost LB: 103777 ... c Min unsat cost LB: 103778 ... c Min unsat cost LB: 103779 ... c Min unsat cost LB: 103780 ... c Min unsat cost LB: 103781 ... c Min unsat cost LB: 103782 ... c Min unsat cost LB: 103783 ... c Min unsat cost LB: 103785 ... c Min unsat cost LB: 103789 ... c Min unsat cost LB: 103792 ... c Min unsat cost LB: 103793 ... c Min unsat cost LB: 103794 ... c Min unsat cost LB: 103795 ... c Min unsat cost LB: 103796 ... c Min unsat cost LB: 103797 ... c Min unsat cost LB: 103798 ... c Min unsat cost LB: 103799 ... c Min unsat cost LB: 103800 ... c Min unsat cost LB: 103801 ... c Min unsat cost LB: 103802 ... c Min unsat cost LB: 103803 ... c Min unsat cost LB: 103804 ... c Min unsat cost LB: 103805 ... c Min unsat cost LB: 103806 ... c Min unsat cost LB: 103807 ... c Min unsat cost LB: 103808 ... c Min unsat cost LB: 103809 ... c Min unsat cost LB: 103810 ... c Min unsat cost LB: 103811 ... c Min unsat cost LB: 103812 ... c Min unsat cost LB: 103813 ... c Min unsat cost LB: 103814 ... c Min unsat cost LB: 103815 ... c Min unsat cost LB: 103816 ... c Min unsat cost LB: 103817 ... c Min unsat cost LB: 103818 ... c Min unsat cost LB: 103819 ... c Min unsat cost LB: 103820 ... c Min unsat cost LB: 103821 ... c Min unsat cost LB: 103840 ... c Min unsat cost LB: 103841 ... c Min unsat cost LB: 103842 ... c Min unsat cost LB: 103843 ... c Min unsat cost LB: 103844 ... c Min unsat cost LB: 103845 ... c Min unsat cost LB: 103846 ... c Min unsat cost LB: 103848 ... c Min unsat cost LB: 103850 ... c Min unsat cost LB: 103851 ... c Min unsat cost LB: 103857 ... c Min unsat cost LB: 103862 ... c Min unsat cost LB: 103863 ... c Min unsat cost LB: 103864 ... c Min unsat cost LB: 103865 ... c Min unsat cost LB: 103866 ... c Min unsat cost LB: 103867 ... c Min unsat cost LB: 103868 ... c Min unsat cost LB: 103869 ... c Min unsat cost LB: 103870 ... c Min unsat cost LB: 103871 ... c Min unsat cost LB: 103872 ... c Min unsat cost LB: 103873 ... c Min unsat cost LB: 103874 ... c Min unsat cost LB: 103875 ... c Min unsat cost LB: 103876 ... c Min unsat cost LB: 103877 ... c Min unsat cost LB: 103878 ... c Min unsat cost LB: 103879 ... c Min unsat cost LB: 103880 ... c Min unsat cost LB: 103881 ... c Min unsat cost LB: 103882 ... c Min unsat cost LB: 103883 ... c Min unsat cost LB: 103884 ... c Min unsat cost LB: 103922 ... c Min unsat cost LB: 103923 ... c Min unsat cost LB: 103930 ... c Min unsat cost LB: 103931 ... c Min unsat cost LB: 103932 ... c Min unsat cost LB: 103933 ... c Min unsat cost LB: 103934 ... c Min unsat cost LB: 103935 ... c Min unsat cost LB: 103936 ... c Min unsat cost LB: 103937 ... c Min unsat cost LB: 103938 ... c Min unsat cost LB: 103939 ... c Min unsat cost LB: 103940 ... c Min unsat cost LB: 103941 ... c Min unsat cost LB: 103942 ... c Min unsat cost LB: 103943 ... c Min unsat cost LB: 103944 ... c Min unsat cost LB: 103967 ... c Min unsat cost LB: 103968 ... c Min unsat cost LB: 103970 ... c Min unsat cost LB: 103971 ... c Min unsat cost LB: 103972 ... c Min unsat cost LB: 103973 ... c Min unsat cost LB: 103974 ... c Min unsat cost LB: 103975 ... c Min unsat cost LB: 103976 ... c Min unsat cost LB: 103981 ... c Min unsat cost LB: 103983 ... c Min unsat cost LB: 103984 ... c Min unsat cost LB: 103985 ... c Min unsat cost LB: 104000 ... c Min unsat cost LB: 104014 ... c Min unsat cost LB: 104015 ... c Min unsat cost LB: 104052 ... c Min unsat cost LB: 104066 ... c Min unsat cost LB: 104067 ... c Min unsat cost LB: 104072 ... c Min unsat cost LB: 104077 ... c Min unsat cost LB: 104078 ... c Min unsat cost LB: 104079 ... c Min unsat cost LB: 104080 ... c Min unsat cost LB: 104081 ... c Min unsat cost LB: 104082 ... c Min unsat cost LB: 104083 ... c Min unsat cost LB: 104084 ... c Min unsat cost LB: 104085 ... c Min unsat cost LB: 104086 ... c Min unsat cost LB: 104089 ... c Min unsat cost LB: 104093 ... c Min unsat cost LB: 104145 ... c Min unsat cost LB: 104146 ... c Min unsat cost LB: 104147 ... c Min unsat cost LB: 104148 ... c Min unsat cost LB: 104149 ... c Min unsat cost LB: 104150 ... c Min unsat cost LB: 104151 ... c Min unsat cost LB: 104152 ... c Min unsat cost LB: 104153 ... c Min unsat cost LB: 104161 ... c Min unsat cost LB: 104174 ... c Min unsat cost LB: 104213 ... c Min unsat cost LB: 104214 ... c Min unsat cost LB: 104215 ... c Min unsat cost LB: 104216 ... c Min unsat cost LB: 104217 ... c Min unsat cost LB: 104218 ... c Min unsat cost LB: 104219 ... c Min unsat cost LB: 104220 ... c Min unsat cost LB: 104221 ... c Min unsat cost LB: 104222 ... c Min unsat cost LB: 104224 ... c Min unsat cost LB: 104228 ... c Min unsat cost LB: 104229 ... c Min unsat cost LB: 104231 ... c Min unsat cost LB: 104232 ... c Min unsat cost LB: 104233 ... c Min unsat cost LB: 104234 ... c Min unsat cost LB: 104235 ... c Min unsat cost LB: 104236 ... c Min unsat cost LB: 104237 ... c Min unsat cost LB: 104238 ... c Min unsat cost LB: 104239 ... c Min unsat cost LB: 104240 ... c Min unsat cost LB: 104241 ... c Min unsat cost LB: 104242 ... c Min unsat cost LB: 104250 ... c Min unsat cost LB: 104251 ... c Min unsat cost LB: 104252 ... c Min unsat cost LB: 104253 ... c Min unsat cost LB: 104387 ... c Min unsat cost LB: 104388 ... c Min unsat cost LB: 104389 ... c Min unsat cost LB: 104390 ... c Min unsat cost LB: 104391 ... c Min unsat cost LB: 104392 ... c Min unsat cost LB: 104393 ... c Min unsat cost LB: 104394 ... c Min unsat cost LB: 104395 ... c Min unsat cost LB: 104396 ... c Min unsat cost LB: 104398 ... c Min unsat cost LB: 104399 ... c Min unsat cost LB: 104438 ... c Min unsat cost LB: 104439 ... c Min unsat cost LB: 104440 ... c Min unsat cost LB: 104442 ... c Min unsat cost LB: 104443 ... c Min unsat cost LB: 104444 ... c Min unsat cost LB: 104445 ... c Min unsat cost LB: 104446 ... c Min unsat cost LB: 104447 ... c Min unsat cost LB: 104448 ... c Min unsat cost LB: 104449 ... c Min unsat cost LB: 104450 ... c Min unsat cost LB: 104451 ... c Min unsat cost LB: 104454 ... c Min unsat cost LB: 104455 ... c Min unsat cost LB: 104456 ... c Min unsat cost LB: 104457 ... c Min unsat cost LB: 104458 ... c Min unsat cost LB: 104459 ... c Min unsat cost LB: 104460 ... c Min unsat cost LB: 104461 ... c Min unsat cost LB: 104462 ... c Min unsat cost LB: 104463 ... c Min unsat cost LB: 104464 ... c Min unsat cost LB: 104474 ... c Min unsat cost LB: 104475 ... c Min unsat cost LB: 104476 ... c Min unsat cost LB: 104477 ... c Min unsat cost LB: 104478 ... c Min unsat cost LB: 104479 ... c Min unsat cost LB: 104480 ... c Min unsat cost LB: 104481 ... c Min unsat cost LB: 104513 ... c Min unsat cost LB: 104518 ... c Min unsat cost LB: 104519 ... c Min unsat cost LB: 104520 ... c Min unsat cost LB: 104521 ... c Min unsat cost LB: 104522 ... c Min unsat cost LB: 104523 ... c Min unsat cost LB: 104524 ... c Min unsat cost LB: 104525 ... c Min unsat cost LB: 104526 ... c Min unsat cost LB: 104527 ... c Min unsat cost LB: 104528 ... c Min unsat cost LB: 104529 ... c Min unsat cost LB: 104530 ... c Min unsat cost LB: 104531 ... c Min unsat cost LB: 104532 ... c Min unsat cost LB: 104533 ... c Min unsat cost LB: 104534 ... c Min unsat cost LB: 104535 ... c Min unsat cost LB: 104536 ... c Min unsat cost LB: 104538 ... c Min unsat cost LB: 104539 ... c Min unsat cost LB: 104548 ... c Min unsat cost LB: 104578 ... c Min unsat cost LB: 104579 ... c Min unsat cost LB: 104588 ... c Min unsat cost LB: 104589 ... c Min unsat cost LB: 104599 ... c Min unsat cost LB: 104601 ... c Min unsat cost LB: 104602 ... c Min unsat cost LB: 104604 ... c Min unsat cost LB: 104605 ... c Min unsat cost LB: 104606 ... c Min unsat cost LB: 104608 ... c Min unsat cost LB: 104609 ... c Min unsat cost LB: 104610 ... c Min unsat cost LB: 104618 ... c Min unsat cost LB: 104619 ... c Min unsat cost LB: 104620 ... c Min unsat cost LB: 104621 ... c Min unsat cost LB: 104622 ... c Min unsat cost LB: 104628 ... c Min unsat cost LB: 104629 ... c Min unsat cost LB: 104630 ... c Min unsat cost LB: 104643 ... c Min unsat cost LB: 104644 ... c Min unsat cost LB: 104645 ... c Min unsat cost LB: 104656 ... c Min unsat cost LB: 104657 ... c Min unsat cost LB: 104659 ... c Min unsat cost LB: 104661 ... c Min unsat cost LB: 104663 ... c Min unsat cost LB: 104666 ... c Min unsat cost LB: 104674 ... c Min unsat cost LB: 104675 ... c Min unsat cost LB: 104677 ... c Min unsat cost LB: 104678 ... c Min unsat cost LB: 104679 ... c Min unsat cost LB: 104680 ... c Min unsat cost LB: 104681 ... c Min unsat cost LB: 104683 ... c Min unsat cost LB: 104684 ... c Min unsat cost LB: 104685 ... c Min unsat cost LB: 104686 ... c Min unsat cost LB: 104687 ... c Min unsat cost LB: 104689 ... c Min unsat cost LB: 104690 ... c Min unsat cost LB: 104691 ... c Min unsat cost LB: 104692 ... c Min unsat cost LB: 104693 ... c Min unsat cost LB: 104694 ... c Min unsat cost LB: 104695 ... c Min unsat cost LB: 104696 ... c Min unsat cost LB: 104697 ... c Min unsat cost LB: 104698 ... c Min unsat cost LB: 104699 ... c Min unsat cost LB: 104700 ... c Min unsat cost LB: 104701 ... c Min unsat cost LB: 104702 ... c Min unsat cost LB: 104703 ... c Min unsat cost LB: 104704 ... c Min unsat cost LB: 104705 ... c Min unsat cost LB: 104706 ... c Min unsat cost LB: 104707 ... c Min unsat cost LB: 104708 ... c Min unsat cost LB: 104709 ... c Min unsat cost LB: 104710 ... c Min unsat cost LB: 104711 ... c Min unsat cost LB: 104712 ... c Min unsat cost LB: 104713 ... c Min unsat cost LB: 104714 ... c Min unsat cost LB: 104715 ... c Min unsat cost LB: 104716 ... c Min unsat cost LB: 104717 ... c Min unsat cost LB: 104718 ... c Min unsat cost LB: 104719 ... c Min unsat cost LB: 104720 ... c Min unsat cost LB: 104721 ... c Min unsat cost LB: 104722 ... c Min unsat cost LB: 104723 ... c Min unsat cost LB: 104724 ... c Min unsat cost LB: 104725 ... c Min unsat cost LB: 104726 ... c Min unsat cost LB: 104727 ... c Min unsat cost LB: 104728 ... c Min unsat cost LB: 104729 ... c Min unsat cost LB: 104730 ... c Min unsat cost LB: 104731 ... c Min unsat cost LB: 104732 ... c Min unsat cost LB: 104733 ... c Min unsat cost LB: 104734 ... c Min unsat cost LB: 104735 ... c Min unsat cost LB: 104736 ... c Min unsat cost LB: 104737 ... c Min unsat cost LB: 104738 ... c Min unsat cost LB: 104739 ... c Min unsat cost LB: 104740 ... c Min unsat cost LB: 104741 ... c Min unsat cost LB: 104742 ... c Min unsat cost LB: 104743 ... c Min unsat cost LB: 104744 ... c Min unsat cost LB: 104745 ... c Min unsat cost LB: 104746 ... c Min unsat cost LB: 104747 ... c Min unsat cost LB: 104748 ... c Min unsat cost LB: 104749 ... c Min unsat cost LB: 104750 ... c Min unsat cost LB: 104751 ... c Min unsat cost LB: 104752 ... c Min unsat cost LB: 104753 ... c Min unsat cost LB: 104754 ... c Min unsat cost LB: 104757 ... c Min unsat cost LB: 104759 ... c Min unsat cost LB: 104760 ... c Min unsat cost LB: 104761 ... c Min unsat cost LB: 104762 ... c Min unsat cost LB: 104763 ... c Min unsat cost LB: 104764 ... c Min unsat cost LB: 104765 ... c Min unsat cost LB: 104766 ... c Min unsat cost LB: 104767 ... c Min unsat cost LB: 104768 ... c Min unsat cost LB: 104769 ... c Min unsat cost LB: 104770 ... c Min unsat cost LB: 104771 ... c Min unsat cost LB: 104772 ... c Min unsat cost LB: 104773 ... c Min unsat cost LB: 104774 ... c Min unsat cost LB: 104775 ... c Min unsat cost LB: 104776 ... c Min unsat cost LB: 104777 ... c Min unsat cost LB: 104778 ... c Min unsat cost LB: 104779 ... c Min unsat cost LB: 104780 ... c Min unsat cost LB: 104781 ... c Min unsat cost LB: 104782 ... c Min unsat cost LB: 104783 ... c Min unsat cost LB: 104784 ... c Min unsat cost LB: 104785 ... c Min unsat cost LB: 104786 ... c Min unsat cost LB: 104787 ... c Min unsat cost LB: 104788 ... c Min unsat cost LB: 104789 ... c Min unsat cost LB: 104790 ... Killed 1814.855u 4.882s 30:22.23 99.8% 0+0k 0+0io 0pf+0w