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_KnotPipatsrisawat_random-net-280-1_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-5.net.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/KnotPipatsrisawat/random-net-280-1_network-5.net.wcnf *** c c Min unsat cost LB: 499 ... c Min unsat cost LB: 882 ... c Min unsat cost LB: 1866 ... c Min unsat cost LB: 2799 ... c Min unsat cost LB: 2862 ... c Min unsat cost LB: 3797 ... c Min unsat cost LB: 4507 ... c Min unsat cost LB: 5858 ... c Min unsat cost LB: 6932 ... c Min unsat cost LB: 7625 ... c Min unsat cost LB: 7773 ... c Min unsat cost LB: 8795 ... c Min unsat cost LB: 9212 ... c Min unsat cost LB: 10328 ... c Min unsat cost LB: 10566 ... c Min unsat cost LB: 10809 ... c Min unsat cost LB: 11319 ... c Min unsat cost LB: 13242 ... c Min unsat cost LB: 14804 ... c Min unsat cost LB: 15396 ... c Min unsat cost LB: 15854 ... c Min unsat cost LB: 16328 ... c Min unsat cost LB: 16870 ... c Min unsat cost LB: 17100 ... c Min unsat cost LB: 17292 ... c Min unsat cost LB: 18193 ... c Min unsat cost LB: 18259 ... c Min unsat cost LB: 18735 ... c Min unsat cost LB: 19526 ... c Min unsat cost LB: 20503 ... c Min unsat cost LB: 20631 ... c Min unsat cost LB: 22111 ... c Min unsat cost LB: 22710 ... c Min unsat cost LB: 24292 ... c Min unsat cost LB: 25428 ... c Min unsat cost LB: 25659 ... c Min unsat cost LB: 26135 ... c Min unsat cost LB: 27618 ... c Min unsat cost LB: 28917 ... c Min unsat cost LB: 29906 ... c Min unsat cost LB: 30924 ... c Min unsat cost LB: 31261 ... c Min unsat cost LB: 32639 ... c Min unsat cost LB: 33640 ... c Min unsat cost LB: 34177 ... c Min unsat cost LB: 37262 ... c Min unsat cost LB: 38352 ... c Min unsat cost LB: 38889 ... c Min unsat cost LB: 39226 ... c Min unsat cost LB: 39241 ... c Min unsat cost LB: 39286 ... c Min unsat cost LB: 39386 ... c Min unsat cost LB: 39388 ... c Min unsat cost LB: 39688 ... c Min unsat cost LB: 40187 ... c Min unsat cost LB: 40282 ... c Min unsat cost LB: 41173 ... c Min unsat cost LB: 41635 ... c Min unsat cost LB: 42070 ... c Min unsat cost LB: 42315 ... c Min unsat cost LB: 42503 ... c Min unsat cost LB: 42979 ... c Min unsat cost LB: 43127 ... c Min unsat cost LB: 43164 ... c Min unsat cost LB: 43316 ... c Min unsat cost LB: 44048 ... c Min unsat cost LB: 44342 ... c Min unsat cost LB: 44451 ... c Min unsat cost LB: 44559 ... c Min unsat cost LB: 44803 ... c Min unsat cost LB: 45011 ... c Min unsat cost LB: 46792 ... c Min unsat cost LB: 46802 ... c Min unsat cost LB: 47324 ... c Min unsat cost LB: 47372 ... c Min unsat cost LB: 47467 ... c Min unsat cost LB: 47478 ... c Min unsat cost LB: 47694 ... c Min unsat cost LB: 47892 ... c Min unsat cost LB: 48865 ... c Min unsat cost LB: 48993 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49802 ... c Min unsat cost LB: 49965 ... c Min unsat cost LB: 50144 ... c Min unsat cost LB: 50404 ... c Min unsat cost LB: 50570 ... c Min unsat cost LB: 50874 ... c Min unsat cost LB: 51692 ... c Min unsat cost LB: 51928 ... c Min unsat cost LB: 51971 ... c Min unsat cost LB: 53331 ... c Min unsat cost LB: 53435 ... c Min unsat cost LB: 53962 ... c Min unsat cost LB: 53984 ... c Min unsat cost LB: 54335 ... c Min unsat cost LB: 54733 ... c Min unsat cost LB: 54851 ... c Min unsat cost LB: 55076 ... c Min unsat cost LB: 55322 ... c Min unsat cost LB: 55713 ... c Min unsat cost LB: 55735 ... c Min unsat cost LB: 55910 ... c Min unsat cost LB: 56046 ... c Min unsat cost LB: 56492 ... c Min unsat cost LB: 56798 ... c Min unsat cost LB: 56827 ... c Min unsat cost LB: 56830 ... c Min unsat cost LB: 57190 ... c Min unsat cost LB: 57383 ... c Min unsat cost LB: 57464 ... c Min unsat cost LB: 57470 ... c Min unsat cost LB: 57613 ... c Min unsat cost LB: 58685 ... c Min unsat cost LB: 59101 ... c Min unsat cost LB: 59130 ... c Min unsat cost LB: 59880 ... c Min unsat cost LB: 60092 ... c Min unsat cost LB: 60491 ... c Min unsat cost LB: 60792 ... c Min unsat cost LB: 60999 ... c Min unsat cost LB: 61595 ... c Min unsat cost LB: 61666 ... c Min unsat cost LB: 61675 ... c Min unsat cost LB: 62168 ... c Min unsat cost LB: 62186 ... c Min unsat cost LB: 62424 ... c Min unsat cost LB: 62892 ... c Min unsat cost LB: 62926 ... c Min unsat cost LB: 63167 ... c Min unsat cost LB: 63874 ... c Min unsat cost LB: 64234 ... c Min unsat cost LB: 64625 ... c Min unsat cost LB: 65075 ... c Min unsat cost LB: 66310 ... c Min unsat cost LB: 66480 ... c Min unsat cost LB: 67048 ... c Min unsat cost LB: 67234 ... c Min unsat cost LB: 67345 ... c Min unsat cost LB: 68063 ... c Min unsat cost LB: 68198 ... c Min unsat cost LB: 68267 ... c Min unsat cost LB: 68342 ... c Min unsat cost LB: 69210 ... c Min unsat cost LB: 69257 ... c Min unsat cost LB: 69312 ... c Min unsat cost LB: 69347 ... c Min unsat cost LB: 69848 ... c Min unsat cost LB: 70142 ... c Min unsat cost LB: 70354 ... c Min unsat cost LB: 71145 ... c Min unsat cost LB: 71337 ... c Min unsat cost LB: 72619 ... c Min unsat cost LB: 72745 ... c Min unsat cost LB: 73056 ... c Min unsat cost LB: 73163 ... c Min unsat cost LB: 73341 ... c Min unsat cost LB: 73608 ... c Min unsat cost LB: 73674 ... c Min unsat cost LB: 73834 ... c Min unsat cost LB: 73932 ... c Min unsat cost LB: 73958 ... c Min unsat cost LB: 74136 ... c Min unsat cost LB: 74243 ... c Min unsat cost LB: 75378 ... c Min unsat cost LB: 75508 ... c Min unsat cost LB: 76015 ... c Min unsat cost LB: 77172 ... c Min unsat cost LB: 77564 ... c Min unsat cost LB: 77627 ... c Min unsat cost LB: 77730 ... c Min unsat cost LB: 77773 ... c Min unsat cost LB: 77796 ... c Min unsat cost LB: 77852 ... c Min unsat cost LB: 77867 ... c Min unsat cost LB: 78016 ... c Min unsat cost LB: 78145 ... c Min unsat cost LB: 78371 ... c Min unsat cost LB: 78915 ... c Min unsat cost LB: 79030 ... c Min unsat cost LB: 79041 ... c Min unsat cost LB: 79210 ... c Min unsat cost LB: 79226 ... c Min unsat cost LB: 79258 ... c Min unsat cost LB: 79488 ... c Min unsat cost LB: 80046 ... c Min unsat cost LB: 80224 ... c Min unsat cost LB: 80247 ... c Min unsat cost LB: 80321 ... c Min unsat cost LB: 80336 ... c Min unsat cost LB: 80418 ... c Min unsat cost LB: 80469 ... c Min unsat cost LB: 80481 ... c Min unsat cost LB: 81726 ... c Min unsat cost LB: 81862 ... c Min unsat cost LB: 82143 ... c Min unsat cost LB: 82206 ... c Min unsat cost LB: 82332 ... c Min unsat cost LB: 82859 ... c Min unsat cost LB: 82904 ... c Min unsat cost LB: 82945 ... c Min unsat cost LB: 82949 ... c Min unsat cost LB: 83012 ... c Min unsat cost LB: 83195 ... c Min unsat cost LB: 83438 ... c Min unsat cost LB: 84660 ... c Min unsat cost LB: 84693 ... c Min unsat cost LB: 84868 ... c Min unsat cost LB: 85066 ... c Min unsat cost LB: 85200 ... c Min unsat cost LB: 85356 ... c Min unsat cost LB: 85762 ... c Min unsat cost LB: 85831 ... c Min unsat cost LB: 86347 ... c Min unsat cost LB: 86895 ... c Min unsat cost LB: 87041 ... c Min unsat cost LB: 87116 ... c Min unsat cost LB: 87740 ... c Min unsat cost LB: 88125 ... c Min unsat cost LB: 89146 ... c Min unsat cost LB: 89525 ... c Min unsat cost LB: 89669 ... c Min unsat cost LB: 89732 ... c Min unsat cost LB: 90066 ... c Min unsat cost LB: 90067 ... c Min unsat cost LB: 90090 ... c Min unsat cost LB: 90203 ... c Min unsat cost LB: 90267 ... c Min unsat cost LB: 90805 ... c Min unsat cost LB: 90961 ... c Min unsat cost LB: 91332 ... c Min unsat cost LB: 91466 ... c Min unsat cost LB: 92713 ... c Min unsat cost LB: 92725 ... c Min unsat cost LB: 93063 ... c Min unsat cost LB: 93630 ... c Min unsat cost LB: 94177 ... c Min unsat cost LB: 94461 ... c Min unsat cost LB: 94752 ... c Min unsat cost LB: 95519 ... c Min unsat cost LB: 95589 ... c Min unsat cost LB: 95985 ... c Min unsat cost LB: 96012 ... c Min unsat cost LB: 96079 ... c Min unsat cost LB: 96151 ... c Min unsat cost LB: 96475 ... c Min unsat cost LB: 96582 ... c Min unsat cost LB: 97064 ... c Min unsat cost LB: 97133 ... c Min unsat cost LB: 97279 ... c Min unsat cost LB: 97889 ... c Min unsat cost LB: 98016 ... c Min unsat cost LB: 98298 ... c Min unsat cost LB: 99148 ... c Min unsat cost LB: 99163 ... c Min unsat cost LB: 99262 ... c Min unsat cost LB: 99315 ... c Min unsat cost LB: 99809 ... c Min unsat cost LB: 100146 ... c Min unsat cost LB: 100203 ... c Min unsat cost LB: 100910 ... c Min unsat cost LB: 101125 ... c Min unsat cost LB: 101834 ... c Min unsat cost LB: 101925 ... c Min unsat cost LB: 102475 ... c Min unsat cost LB: 102834 ... c Min unsat cost LB: 103340 ... c Min unsat cost LB: 103472 ... c Min unsat cost LB: 103515 ... c Min unsat cost LB: 103588 ... c Min unsat cost LB: 103602 ... c Min unsat cost LB: 103663 ... c Min unsat cost LB: 103826 ... c Min unsat cost LB: 104447 ... c Min unsat cost LB: 104537 ... c Min unsat cost LB: 104547 ... c Min unsat cost LB: 105504 ... c Min unsat cost LB: 105640 ... c Min unsat cost LB: 105788 ... c Min unsat cost LB: 105894 ... c Min unsat cost LB: 105908 ... c Min unsat cost LB: 105988 ... c Min unsat cost LB: 106007 ... c Min unsat cost LB: 106664 ... c Min unsat cost LB: 106831 ... c Min unsat cost LB: 107037 ... c Min unsat cost LB: 107189 ... c Min unsat cost LB: 107596 ... c Min unsat cost LB: 107639 ... c Min unsat cost LB: 108439 ... c Min unsat cost LB: 108567 ... c Min unsat cost LB: 109014 ... c Min unsat cost LB: 109120 ... c Min unsat cost LB: 109605 ... c Min unsat cost LB: 110531 ... c Min unsat cost LB: 110569 ... c Min unsat cost LB: 111619 ... c Min unsat cost LB: 111999 ... c Min unsat cost LB: 112437 ... c Min unsat cost LB: 112746 ... c Min unsat cost LB: 113121 ... c Min unsat cost LB: 113175 ... c Min unsat cost LB: 113931 ... c Min unsat cost LB: 113957 ... c Min unsat cost LB: 114125 ... c Min unsat cost LB: 114375 ... c Min unsat cost LB: 114650 ... c Min unsat cost LB: 115540 ... c Min unsat cost LB: 115668 ... c Min unsat cost LB: 115824 ... c Min unsat cost LB: 116821 ... c Min unsat cost LB: 116900 ... c Min unsat cost LB: 116902 ... c Min unsat cost LB: 117925 ... c Min unsat cost LB: 118081 ... c Min unsat cost LB: 118574 ... c Min unsat cost LB: 119326 ... c Min unsat cost LB: 119384 ... c Min unsat cost LB: 119487 ... c Min unsat cost LB: 120676 ... c Min unsat cost LB: 120893 ... c Min unsat cost LB: 120907 ... c Min unsat cost LB: 121752 ... c Min unsat cost LB: 122380 ... c Min unsat cost LB: 122401 ... c Min unsat cost LB: 122503 ... c Min unsat cost LB: 123393 ... c Min unsat cost LB: 123807 ... c Min unsat cost LB: 123966 ... c Min unsat cost LB: 124384 ... c Min unsat cost LB: 124515 ... c Min unsat cost LB: 124812 ... c Min unsat cost LB: 124892 ... c Min unsat cost LB: 124939 ... c Min unsat cost LB: 125558 ... c Min unsat cost LB: 125595 ... c Min unsat cost LB: 126319 ... c Min unsat cost LB: 126636 ... c Min unsat cost LB: 126739 ... c Min unsat cost LB: 127441 ... c Min unsat cost LB: 128379 ... c Min unsat cost LB: 128704 ... c Min unsat cost LB: 129025 ... c Min unsat cost LB: 129122 ... c Min unsat cost LB: 129209 ... c Min unsat cost LB: 129545 ... c Min unsat cost LB: 130165 ... c Min unsat cost LB: 130616 ... c Min unsat cost LB: 131036 ... c Min unsat cost LB: 131091 ... c Min unsat cost LB: 131471 ... c Min unsat cost LB: 132037 ... c Min unsat cost LB: 132059 ... c Min unsat cost LB: 132439 ... c Min unsat cost LB: 132485 ... c Min unsat cost LB: 132720 ... c Min unsat cost LB: 132966 ... c Min unsat cost LB: 133040 ... c Min unsat cost LB: 133163 ... c Min unsat cost LB: 133533 ... c Min unsat cost LB: 133838 ... c Min unsat cost LB: 133942 ... c Min unsat cost LB: 134238 ... c Min unsat cost LB: 134969 ... c Min unsat cost LB: 135089 ... c Min unsat cost LB: 135650 ... c Min unsat cost LB: 136004 ... c Min unsat cost LB: 136629 ... c Min unsat cost LB: 136711 ... c Min unsat cost LB: 136821 ... c Min unsat cost LB: 136957 ... c Min unsat cost LB: 136994 ... c Min unsat cost LB: 137072 ... c Min unsat cost LB: 137217 ... c Min unsat cost LB: 137286 ... c Min unsat cost LB: 137662 ... c Min unsat cost LB: 137769 ... c Min unsat cost LB: 138083 ... c Min unsat cost LB: 138192 ... c Min unsat cost LB: 138302 ... c Min unsat cost LB: 138337 ... c Min unsat cost LB: 138652 ... c Min unsat cost LB: 139467 ... c Min unsat cost LB: 139495 ... c Min unsat cost LB: 139810 ... c Min unsat cost LB: 139814 ... c Min unsat cost LB: 140020 ... c Min unsat cost LB: 140024 ... c Min unsat cost LB: 140914 ... c Min unsat cost LB: 140995 ... c Min unsat cost LB: 141163 ... c Min unsat cost LB: 141211 ... c Min unsat cost LB: 141507 ... c Min unsat cost LB: 141969 ... c Min unsat cost LB: 142020 ... c Min unsat cost LB: 142037 ... c Min unsat cost LB: 142109 ... c Min unsat cost LB: 142348 ... c Min unsat cost LB: 142605 ... c Min unsat cost LB: 142971 ... c Min unsat cost LB: 143006 ... c Min unsat cost LB: 143071 ... c Min unsat cost LB: 143092 ... c Min unsat cost LB: 143109 ... c Min unsat cost LB: 143150 ... c Min unsat cost LB: 143164 ... c Min unsat cost LB: 143180 ... c Min unsat cost LB: 143196 ... c Min unsat cost LB: 143203 ... c Min unsat cost LB: 143555 ... c Min unsat cost LB: 143598 ... c Min unsat cost LB: 143631 ... c Min unsat cost LB: 143803 ... c Min unsat cost LB: 143856 ... c Min unsat cost LB: 144011 ... c Min unsat cost LB: 144015 ... c Min unsat cost LB: 144019 ... c Min unsat cost LB: 144195 ... c Min unsat cost LB: 144201 ... c Min unsat cost LB: 144211 ... c Min unsat cost LB: 145293 ... c Min unsat cost LB: 145308 ... c Min unsat cost LB: 145318 ... c Min unsat cost LB: 145324 ... c Min unsat cost LB: 145325 ... c Min unsat cost LB: 145328 ... c Min unsat cost LB: 145343 ... c Min unsat cost LB: 145472 ... c Min unsat cost LB: 145596 ... c Min unsat cost LB: 146206 ... c Min unsat cost LB: 146468 ... c Min unsat cost LB: 147162 ... c Min unsat cost LB: 147369 ... c Min unsat cost LB: 147446 ... c Min unsat cost LB: 147560 ... c Min unsat cost LB: 147660 ... c Min unsat cost LB: 148218 ... c Min unsat cost LB: 148634 ... c Min unsat cost LB: 148986 ... c Min unsat cost LB: 149606 ... c Min unsat cost LB: 150722 ... c Min unsat cost LB: 150977 ... c Min unsat cost LB: 151340 ... c Min unsat cost LB: 151399 ... c Min unsat cost LB: 151538 ... c Min unsat cost LB: 151652 ... c Min unsat cost LB: 151659 ... c Min unsat cost LB: 151910 ... c Min unsat cost LB: 152017 ... c Min unsat cost LB: 152078 ... c Min unsat cost LB: 153165 ... c Min unsat cost LB: 153338 ... c Min unsat cost LB: 154596 ... c Min unsat cost LB: 154770 ... c Min unsat cost LB: 154779 ... c Min unsat cost LB: 154793 ... c Min unsat cost LB: 155235 ... c Min unsat cost LB: 155790 ... c Min unsat cost LB: 155915 ... c Min unsat cost LB: 156771 ... c Min unsat cost LB: 156827 ... c Min unsat cost LB: 156849 ... c Min unsat cost LB: 157449 ... c Min unsat cost LB: 157485 ... c Min unsat cost LB: 157530 ... c Min unsat cost LB: 157826 ... c Min unsat cost LB: 157923 ... c Min unsat cost LB: 158161 ... c Min unsat cost LB: 158668 ... c Min unsat cost LB: 158713 ... c Min unsat cost LB: 158775 ... c Min unsat cost LB: 158796 ... c Min unsat cost LB: 158818 ... c Min unsat cost LB: 158828 ... c Min unsat cost LB: 158891 ... c Min unsat cost LB: 159301 ... c Min unsat cost LB: 159577 ... c Min unsat cost LB: 159636 ... c Min unsat cost LB: 159637 ... c Min unsat cost LB: 159723 ... c Min unsat cost LB: 159833 ... c Min unsat cost LB: 160326 ... c Min unsat cost LB: 160487 ... c Min unsat cost LB: 160500 ... c Min unsat cost LB: 160901 ... c Min unsat cost LB: 161351 ... c Min unsat cost LB: 161475 ... c Min unsat cost LB: 161775 ... c Min unsat cost LB: 162147 ... c Min unsat cost LB: 162356 ... c Min unsat cost LB: 162372 ... c Min unsat cost LB: 162608 ... c Min unsat cost LB: 162927 ... c Min unsat cost LB: 162947 ... c Min unsat cost LB: 163364 ... c Min unsat cost LB: 163904 ... c Min unsat cost LB: 164214 ... c Min unsat cost LB: 164403 ... c Min unsat cost LB: 164738 ... c Min unsat cost LB: 164803 ... c Min unsat cost LB: 164841 ... c Min unsat cost LB: 165134 ... c Min unsat cost LB: 165181 ... c Min unsat cost LB: 165400 ... c Min unsat cost LB: 165762 ... c Min unsat cost LB: 165851 ... c Min unsat cost LB: 165893 ... c Min unsat cost LB: 165898 ... c Min unsat cost LB: 165941 ... c Min unsat cost LB: 166074 ... c Min unsat cost LB: 166080 ... c Min unsat cost LB: 166090 ... c Min unsat cost LB: 166104 ... c Min unsat cost LB: 166119 ... c Min unsat cost LB: 166151 ... c Min unsat cost LB: 166175 ... c Min unsat cost LB: 166267 ... c Min unsat cost LB: 166294 ... c Min unsat cost LB: 166303 ... c Min unsat cost LB: 166313 ... c Min unsat cost LB: 166326 ... c Min unsat cost LB: 166334 ... c Min unsat cost LB: 166335 ... c Min unsat cost LB: 166785 ... c Min unsat cost LB: 166793 ... c Min unsat cost LB: 166799 ... c Min unsat cost LB: 166814 ... c Min unsat cost LB: 166824 ... c Min unsat cost LB: 167703 ... c Min unsat cost LB: 167714 ... c Min unsat cost LB: 167761 ... c Min unsat cost LB: 168095 ... c Min unsat cost LB: 168196 ... c Min unsat cost LB: 168973 ... c Min unsat cost LB: 169171 ... c Min unsat cost LB: 169176 ... c Min unsat cost LB: 169207 ... c Min unsat cost LB: 169215 ... c Min unsat cost LB: 169216 ... c Min unsat cost LB: 169232 ... c Min unsat cost LB: 169305 ... c Min unsat cost LB: 170313 ... c Min unsat cost LB: 171298 ... c Min unsat cost LB: 171343 ... c Min unsat cost LB: 171601 ... c Min unsat cost LB: 172009 ... c Min unsat cost LB: 172023 ... c Min unsat cost LB: 172118 ... c Min unsat cost LB: 172125 ... c Min unsat cost LB: 172134 ... c Min unsat cost LB: 172416 ... c Min unsat cost LB: 172583 ... c Min unsat cost LB: 173086 ... c Min unsat cost LB: 173324 ... c Min unsat cost LB: 173346 ... c Min unsat cost LB: 173481 ... c Min unsat cost LB: 173538 ... c Min unsat cost LB: 173827 ... c Min unsat cost LB: 173831 ... c Min unsat cost LB: 174812 ... c Min unsat cost LB: 175239 ... c Min unsat cost LB: 175276 ... c Min unsat cost LB: 175547 ... c Min unsat cost LB: 175604 ... c Min unsat cost LB: 175863 ... c Min unsat cost LB: 175941 ... c Min unsat cost LB: 176281 ... c Min unsat cost LB: 176609 ... c Min unsat cost LB: 177243 ... c Min unsat cost LB: 177635 ... c Min unsat cost LB: 177636 ... c Min unsat cost LB: 177640 ... c Min unsat cost LB: 178052 ... c Min unsat cost LB: 178102 ... c Min unsat cost LB: 178149 ... c Min unsat cost LB: 178151 ... c Min unsat cost LB: 178178 ... c Min unsat cost LB: 178279 ... c Min unsat cost LB: 178290 ... c Min unsat cost LB: 178420 ... c Min unsat cost LB: 178479 ... c Min unsat cost LB: 178487 ... c Min unsat cost LB: 178492 ... c Min unsat cost LB: 178494 ... c Min unsat cost LB: 178504 ... c Min unsat cost LB: 178505 ... c Min unsat cost LB: 178511 ... c Min unsat cost LB: 178521 ... c Min unsat cost LB: 178528 ... c Min unsat cost LB: 178530 ... c Min unsat cost LB: 178535 ... c Min unsat cost LB: 178537 ... c Min unsat cost LB: 178542 ... c Min unsat cost LB: 178543 ... c Min unsat cost LB: 178544 ... c Min unsat cost LB: 178548 ... c Min unsat cost LB: 178549 ... c Min unsat cost LB: 178553 ... c Min unsat cost LB: 178554 ... c Min unsat cost LB: 178556 ... c Min unsat cost LB: 178563 ... c Min unsat cost LB: 178571 ... c Min unsat cost LB: 178644 ... c Min unsat cost LB: 178712 ... c Min unsat cost LB: 179131 ... c Min unsat cost LB: 179600 ... c Min unsat cost LB: 179649 ... c Min unsat cost LB: 179865 ... c Min unsat cost LB: 179870 ... c Min unsat cost LB: 179882 ... c Min unsat cost LB: 179944 ... c Min unsat cost LB: 179992 ... c Min unsat cost LB: 180887 ... c Min unsat cost LB: 180930 ... c Min unsat cost LB: 181187 ... c Min unsat cost LB: 182359 ... c Min unsat cost LB: 182418 ... c Min unsat cost LB: 182603 ... c Min unsat cost LB: 182605 ... c Min unsat cost LB: 182607 ... c Min unsat cost LB: 182608 ... c Min unsat cost LB: 182609 ... c Min unsat cost LB: 182612 ... c Min unsat cost LB: 182982 ... c Min unsat cost LB: 183818 ... c Min unsat cost LB: 183984 ... c Min unsat cost LB: 184003 ... c Min unsat cost LB: 184015 ... c Min unsat cost LB: 184050 ... c Min unsat cost LB: 184111 ... c Min unsat cost LB: 184154 ... c Min unsat cost LB: 184285 ... c Min unsat cost LB: 185001 ... c Min unsat cost LB: 185032 ... c Min unsat cost LB: 185033 ... c Min unsat cost LB: 185083 ... c Min unsat cost LB: 185090 ... c Min unsat cost LB: 185193 ... c Min unsat cost LB: 185198 ... c Min unsat cost LB: 185203 ... c Min unsat cost LB: 185212 ... c Min unsat cost LB: 185295 ... c Min unsat cost LB: 185314 ... c Min unsat cost LB: 185330 ... c Min unsat cost LB: 185336 ... c Min unsat cost LB: 185339 ... c Min unsat cost LB: 186571 ... c Min unsat cost LB: 186880 ... c Min unsat cost LB: 187102 ... c Min unsat cost LB: 187190 ... c Min unsat cost LB: 187515 ... c Min unsat cost LB: 187620 ... c Min unsat cost LB: 187629 ... c Min unsat cost LB: 187633 ... c Min unsat cost LB: 187634 ... c Min unsat cost LB: 187635 ... c Min unsat cost LB: 187638 ... c Min unsat cost LB: 187639 ... c Min unsat cost LB: 187640 ... c Min unsat cost LB: 187642 ... c Min unsat cost LB: 187649 ... c Min unsat cost LB: 187650 ... c Min unsat cost LB: 187673 ... c Min unsat cost LB: 187840 ... c Min unsat cost LB: 187891 ... c Min unsat cost LB: 187906 ... c Min unsat cost LB: 188368 ... c Min unsat cost LB: 188419 ... c Min unsat cost LB: 188619 ... c Min unsat cost LB: 188963 ... c Min unsat cost LB: 188964 ... c Min unsat cost LB: 188965 ... c Min unsat cost LB: 188969 ... c Min unsat cost LB: 188970 ... c Min unsat cost LB: 188971 ... c Min unsat cost LB: 188976 ... c Min unsat cost LB: 189149 ... c Min unsat cost LB: 189515 ... c Min unsat cost LB: 190223 ... c Min unsat cost LB: 190269 ... c Min unsat cost LB: 190842 ... c Min unsat cost LB: 190896 ... c Min unsat cost LB: 191197 ... c Min unsat cost LB: 191255 ... c Min unsat cost LB: 191266 ... c Min unsat cost LB: 191931 ... c Min unsat cost LB: 191983 ... c Min unsat cost LB: 192137 ... c Min unsat cost LB: 192588 ... c Min unsat cost LB: 192592 ... c Min unsat cost LB: 192704 ... c Min unsat cost LB: 192980 ... c Min unsat cost LB: 193012 ... c Min unsat cost LB: 193152 ... c Min unsat cost LB: 193279 ... c Min unsat cost LB: 193359 ... c Min unsat cost LB: 193389 ... c Min unsat cost LB: 193399 ... c Min unsat cost LB: 193430 ... c Min unsat cost LB: 193436 ... c Min unsat cost LB: 193465 ... c Min unsat cost LB: 193858 ... c Min unsat cost LB: 194408 ... c Min unsat cost LB: 194482 ... c Min unsat cost LB: 194551 ... c Min unsat cost LB: 194561 ... c Min unsat cost LB: 194562 ... c Min unsat cost LB: 194568 ... c Min unsat cost LB: 194571 ... c Min unsat cost LB: 194583 ... c Min unsat cost LB: 194887 ... c Min unsat cost LB: 195482 ... c Min unsat cost LB: 195619 ... c Min unsat cost LB: 196380 ... c Min unsat cost LB: 196382 ... c Min unsat cost LB: 196400 ... c Min unsat cost LB: 196788 ... c Min unsat cost LB: 196970 ... c Min unsat cost LB: 197055 ... c Min unsat cost LB: 197056 ... c Min unsat cost LB: 197658 ... c Min unsat cost LB: 197839 ... c Min unsat cost LB: 198375 ... c Min unsat cost LB: 198376 ... c Min unsat cost LB: 198421 ... c Min unsat cost LB: 198425 ... c Min unsat cost LB: 198485 ... c Min unsat cost LB: 198486 ... c Min unsat cost LB: 198521 ... c Min unsat cost LB: 198543 ... c Min unsat cost LB: 198710 ... c Min unsat cost LB: 198771 ... c Min unsat cost LB: 198772 ... c Min unsat cost LB: 198782 ... c Min unsat cost LB: 198784 ... c Min unsat cost LB: 198791 ... c Min unsat cost LB: 198794 ... c Min unsat cost LB: 199160 ... c Min unsat cost LB: 199657 ... c Min unsat cost LB: 199703 ... c Min unsat cost LB: 199734 ... c Min unsat cost LB: 200653 ... c Min unsat cost LB: 201165 ... c Min unsat cost LB: 201500 ... c Min unsat cost LB: 201532 ... c Min unsat cost LB: 201676 ... c Min unsat cost LB: 202607 ... c Min unsat cost LB: 202611 ... c Min unsat cost LB: 202692 ... c Min unsat cost LB: 202716 ... c Min unsat cost LB: 202846 ... c Min unsat cost LB: 203224 ... c Min unsat cost LB: 203643 ... c Min unsat cost LB: 204752 ... c Min unsat cost LB: 204893 ... c Min unsat cost LB: 205313 ... c Min unsat cost LB: 205389 ... c Min unsat cost LB: 205774 ... c Min unsat cost LB: 205953 ... c Min unsat cost LB: 206068 ... c Min unsat cost LB: 206159 ... c Min unsat cost LB: 206217 ... c Min unsat cost LB: 206268 ... c Min unsat cost LB: 206453 ... c Min unsat cost LB: 206793 ... c Min unsat cost LB: 206990 ... c Min unsat cost LB: 207313 ... c Min unsat cost LB: 207492 ... c Min unsat cost LB: 207583 ... c Min unsat cost LB: 207698 ... c Min unsat cost LB: 207854 ... c Min unsat cost LB: 207883 ... c Min unsat cost LB: 208310 ... c Min unsat cost LB: 208345 ... c Min unsat cost LB: 208700 ... c Min unsat cost LB: 208853 ... c Min unsat cost LB: 209262 ... c Min unsat cost LB: 210267 ... c Min unsat cost LB: 210373 ... c Min unsat cost LB: 210487 ... c Min unsat cost LB: 210978 ... c Min unsat cost LB: 211062 ... c Min unsat cost LB: 211135 ... c Min unsat cost LB: 211238 ... c Min unsat cost LB: 211821 ... c Min unsat cost LB: 212041 ... c Min unsat cost LB: 212133 ... c Min unsat cost LB: 212459 ... c Min unsat cost LB: 212776 ... c Min unsat cost LB: 213349 ... c Min unsat cost LB: 214281 ... c Min unsat cost LB: 214448 ... c Min unsat cost LB: 215019 ... c Min unsat cost LB: 215115 ... c Min unsat cost LB: 215222 ... c Min unsat cost LB: 215938 ... c Min unsat cost LB: 216008 ... c Min unsat cost LB: 216169 ... c Min unsat cost LB: 216541 ... c Min unsat cost LB: 217631 ... c Min unsat cost LB: 217724 ... c Min unsat cost LB: 217881 ... c Min unsat cost LB: 218685 ... c Min unsat cost LB: 218812 ... c Min unsat cost LB: 218954 ... c Min unsat cost LB: 218958 ... c Min unsat cost LB: 219112 ... c Min unsat cost LB: 219194 ... c Min unsat cost LB: 219429 ... c Min unsat cost LB: 219739 ... c Min unsat cost LB: 219996 ... c Min unsat cost LB: 220300 ... c Min unsat cost LB: 220442 ... c Min unsat cost LB: 220836 ... c Min unsat cost LB: 221369 ... c Min unsat cost LB: 221535 ... c Min unsat cost LB: 221886 ... c Min unsat cost LB: 221958 ... c Min unsat cost LB: 222250 ... c Min unsat cost LB: 222420 ... c Min unsat cost LB: 222932 ... c Min unsat cost LB: 223448 ... c Min unsat cost LB: 223724 ... c Min unsat cost LB: 224245 ... c Min unsat cost LB: 224317 ... c Min unsat cost LB: 224537 ... c Min unsat cost LB: 224581 ... c Min unsat cost LB: 224645 ... c Min unsat cost LB: 224712 ... c Min unsat cost LB: 224868 ... c Min unsat cost LB: 225000 ... c Min unsat cost LB: 225551 ... c Min unsat cost LB: 225902 ... c Min unsat cost LB: 226244 ... c Min unsat cost LB: 226514 ... c Min unsat cost LB: 226731 ... c Min unsat cost LB: 226932 ... c Min unsat cost LB: 227554 ... c Min unsat cost LB: 227982 ... c Min unsat cost LB: 228203 ... c Min unsat cost LB: 228285 ... c Min unsat cost LB: 228418 ... c Min unsat cost LB: 228497 ... c Min unsat cost LB: 228549 ... c Min unsat cost LB: 229184 ... c Min unsat cost LB: 229382 ... c Min unsat cost LB: 229892 ... c Min unsat cost LB: 230759 ... c Min unsat cost LB: 230883 ... c Min unsat cost LB: 231217 ... c Min unsat cost LB: 231275 ... c Min unsat cost LB: 231956 ... c Min unsat cost LB: 232176 ... c Min unsat cost LB: 233046 ... c Min unsat cost LB: 233137 ... c Min unsat cost LB: 233189 ... c Min unsat cost LB: 233268 ... c Min unsat cost LB: 233855 ... c Min unsat cost LB: 234523 ... c Min unsat cost LB: 235325 ... c Min unsat cost LB: 235360 ... c Min unsat cost LB: 235387 ... c Min unsat cost LB: 235460 ... c Min unsat cost LB: 235515 ... c Min unsat cost LB: 235893 ... c Min unsat cost LB: 236548 ... c Min unsat cost LB: 236552 ... c Min unsat cost LB: 237164 ... c Min unsat cost LB: 237237 ... c Min unsat cost LB: 237238 ... c Min unsat cost LB: 237265 ... c Min unsat cost LB: 237311 ... c Min unsat cost LB: 237352 ... c Min unsat cost LB: 237388 ... c Min unsat cost LB: 237538 ... c Min unsat cost LB: 237620 ... c Min unsat cost LB: 238063 ... c Min unsat cost LB: 238132 ... c Min unsat cost LB: 238243 ... c Min unsat cost LB: 238583 ... c Min unsat cost LB: 238805 ... c Min unsat cost LB: 239058 ... c Min unsat cost LB: 239271 ... c Min unsat cost LB: 239418 ... c Min unsat cost LB: 239446 ... c Min unsat cost LB: 239537 ... c Min unsat cost LB: 239898 ... c Min unsat cost LB: 240123 ... c Min unsat cost LB: 240534 ... c Min unsat cost LB: 240874 ... c Min unsat cost LB: 242116 ... c Min unsat cost LB: 242289 ... c Min unsat cost LB: 242317 ... c Min unsat cost LB: 242459 ... c Min unsat cost LB: 242544 ... c Min unsat cost LB: 243154 ... c Min unsat cost LB: 243182 ... c Min unsat cost LB: 243220 ... c Min unsat cost LB: 243246 ... c Min unsat cost LB: 243459 ... c Min unsat cost LB: 243487 ... c Min unsat cost LB: 243521 ... c Min unsat cost LB: 243522 ... c Min unsat cost LB: 243545 ... c Min unsat cost LB: 243657 ... c Min unsat cost LB: 243942 ... c Min unsat cost LB: 244959 ... c Min unsat cost LB: 245004 ... c Min unsat cost LB: 245108 ... c Min unsat cost LB: 245419 ... c Min unsat cost LB: 245441 ... c Min unsat cost LB: 245609 ... c Min unsat cost LB: 245680 ... c Min unsat cost LB: 245695 ... c Min unsat cost LB: 246248 ... c Min unsat cost LB: 246457 ... c Min unsat cost LB: 246697 ... c Min unsat cost LB: 246875 ... c Min unsat cost LB: 246970 ... c Min unsat cost LB: 247670 ... c Min unsat cost LB: 248771 ... c Min unsat cost LB: 248904 ... c Min unsat cost LB: 248918 ... c Min unsat cost LB: 249186 ... c Min unsat cost LB: 249224 ... c Min unsat cost LB: 249225 ... c Min unsat cost LB: 249388 ... c Min unsat cost LB: 249406 ... c Min unsat cost LB: 249450 ... c Min unsat cost LB: 250315 ... c Min unsat cost LB: 250362 ... c Min unsat cost LB: 250660 ... c Min unsat cost LB: 250670 ... c Min unsat cost LB: 250714 ... c Min unsat cost LB: 250870 ... c Min unsat cost LB: 251729 ... c Min unsat cost LB: 251734 ... c Min unsat cost LB: 251737 ... c Min unsat cost LB: 252583 ... c Min unsat cost LB: 252687 ... c Min unsat cost LB: 252881 ... c Min unsat cost LB: 252888 ... c Min unsat cost LB: 253172 ... c Min unsat cost LB: 254091 ... c Min unsat cost LB: 254092 ... c Min unsat cost LB: 254095 ... c Min unsat cost LB: 254096 ... c Min unsat cost LB: 254100 ... c Min unsat cost LB: 254102 ... c Min unsat cost LB: 254103 ... c Min unsat cost LB: 254107 ... c Min unsat cost LB: 254108 ... c Min unsat cost LB: 254109 ... c Min unsat cost LB: 254110 ... c Min unsat cost LB: 254111 ... c Min unsat cost LB: 254112 ... c Min unsat cost LB: 254113 ... c Min unsat cost LB: 254114 ... c Min unsat cost LB: 254115 ... c Min unsat cost LB: 254116 ... c Min unsat cost LB: 254118 ... c Min unsat cost LB: 254120 ... c Min unsat cost LB: 254121 ... c Min unsat cost LB: 254123 ... c Min unsat cost LB: 254124 ... c Min unsat cost LB: 254125 ... c Min unsat cost LB: 254126 ... c Min unsat cost LB: 254127 ... c Min unsat cost LB: 254129 ... c Min unsat cost LB: 254131 ... c Min unsat cost LB: 254132 ... c Min unsat cost LB: 254133 ... c Min unsat cost LB: 254137 ... c Min unsat cost LB: 254138 ... c Min unsat cost LB: 254140 ... c Min unsat cost LB: 254141 ... c Min unsat cost LB: 254142 ... c Min unsat cost LB: 254143 ... c Min unsat cost LB: 254144 ... c Min unsat cost LB: 254145 ... c Min unsat cost LB: 254146 ... c Min unsat cost LB: 254147 ... c Min unsat cost LB: 254148 ... c Min unsat cost LB: 254149 ... c Min unsat cost LB: 254150 ... c Min unsat cost LB: 254151 ... c Min unsat cost LB: 254152 ... c Min unsat cost LB: 254153 ... c Min unsat cost LB: 254154 ... c Min unsat cost LB: 254155 ... c Min unsat cost LB: 254156 ... c Min unsat cost LB: 254157 ... c Min unsat cost LB: 254158 ... c Min unsat cost LB: 254159 ... c Min unsat cost LB: 254160 ... c Min unsat cost LB: 254161 ... c Min unsat cost LB: 254162 ... c Min unsat cost LB: 254163 ... c Min unsat cost LB: 254164 ... c Min unsat cost LB: 254165 ... c Min unsat cost LB: 254166 ... c Min unKilled 1817.833u 1.932s 30:19.81 99.9% 0+0k 0+0io 0pf+0w