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-300-1_network-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-1.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-300-1_network-1.net.wcnf *** c c Min unsat cost LB: 243 ... c Min unsat cost LB: 949 ... c Min unsat cost LB: 1350 ... c Min unsat cost LB: 2467 ... c Min unsat cost LB: 3377 ... c Min unsat cost LB: 4433 ... c Min unsat cost LB: 5258 ... c Min unsat cost LB: 6325 ... c Min unsat cost LB: 7362 ... c Min unsat cost LB: 8693 ... c Min unsat cost LB: 9250 ... c Min unsat cost LB: 10020 ... c Min unsat cost LB: 12014 ... c Min unsat cost LB: 12199 ... c Min unsat cost LB: 13970 ... c Min unsat cost LB: 14628 ... c Min unsat cost LB: 15498 ... c Min unsat cost LB: 16648 ... c Min unsat cost LB: 16714 ... c Min unsat cost LB: 17389 ... c Min unsat cost LB: 18659 ... c Min unsat cost LB: 18755 ... c Min unsat cost LB: 19771 ... c Min unsat cost LB: 21253 ... c Min unsat cost LB: 22053 ... c Min unsat cost LB: 22303 ... c Min unsat cost LB: 23753 ... c Min unsat cost LB: 24338 ... c Min unsat cost LB: 24420 ... c Min unsat cost LB: 24555 ... c Min unsat cost LB: 25178 ... c Min unsat cost LB: 26860 ... c Min unsat cost LB: 27136 ... c Min unsat cost LB: 27953 ... c Min unsat cost LB: 29031 ... c Min unsat cost LB: 30617 ... c Min unsat cost LB: 30722 ... c Min unsat cost LB: 30959 ... c Min unsat cost LB: 31937 ... c Min unsat cost LB: 32399 ... c Min unsat cost LB: 32697 ... c Min unsat cost LB: 33129 ... c Min unsat cost LB: 33472 ... c Min unsat cost LB: 33567 ... c Min unsat cost LB: 33904 ... c Min unsat cost LB: 34357 ... c Min unsat cost LB: 34427 ... c Min unsat cost LB: 34984 ... c Min unsat cost LB: 35016 ... c Min unsat cost LB: 36730 ... c Min unsat cost LB: 37261 ... c Min unsat cost LB: 37368 ... c Min unsat cost LB: 37908 ... c Min unsat cost LB: 38665 ... c Min unsat cost LB: 38831 ... c Min unsat cost LB: 39068 ... c Min unsat cost LB: 39100 ... c Min unsat cost LB: 40669 ... c Min unsat cost LB: 40782 ... c Min unsat cost LB: 41059 ... c Min unsat cost LB: 41914 ... c Min unsat cost LB: 42628 ... c Min unsat cost LB: 42670 ... c Min unsat cost LB: 42994 ... c Min unsat cost LB: 43409 ... c Min unsat cost LB: 44243 ... c Min unsat cost LB: 44300 ... c Min unsat cost LB: 44326 ... c Min unsat cost LB: 45752 ... c Min unsat cost LB: 47115 ... c Min unsat cost LB: 47222 ... c Min unsat cost LB: 47919 ... c Min unsat cost LB: 48331 ... c Min unsat cost LB: 48546 ... c Min unsat cost LB: 50289 ... c Min unsat cost LB: 50435 ... c Min unsat cost LB: 51539 ... c Min unsat cost LB: 51672 ... c Min unsat cost LB: 52056 ... c Min unsat cost LB: 53811 ... c Min unsat cost LB: 54578 ... c Min unsat cost LB: 55201 ... c Min unsat cost LB: 55470 ... c Min unsat cost LB: 55510 ... c Min unsat cost LB: 55813 ... c Min unsat cost LB: 55924 ... c Min unsat cost LB: 56134 ... c Min unsat cost LB: 56786 ... c Min unsat cost LB: 57207 ... c Min unsat cost LB: 58569 ... c Min unsat cost LB: 59654 ... c Min unsat cost LB: 59724 ... c Min unsat cost LB: 59966 ... c Min unsat cost LB: 60333 ... c Min unsat cost LB: 60467 ... c Min unsat cost LB: 60570 ... c Min unsat cost LB: 60938 ... c Min unsat cost LB: 61348 ... c Min unsat cost LB: 61559 ... c Min unsat cost LB: 61731 ... c Min unsat cost LB: 61884 ... c Min unsat cost LB: 62096 ... c Min unsat cost LB: 62709 ... c Min unsat cost LB: 63171 ... c Min unsat cost LB: 63563 ... c Min unsat cost LB: 64189 ... c Min unsat cost LB: 64664 ... c Min unsat cost LB: 65236 ... c Min unsat cost LB: 65420 ... c Min unsat cost LB: 66285 ... c Min unsat cost LB: 66548 ... c Min unsat cost LB: 66835 ... c Min unsat cost LB: 67914 ... c Min unsat cost LB: 68174 ... c Min unsat cost LB: 68659 ... c Min unsat cost LB: 68678 ... c Min unsat cost LB: 69089 ... c Min unsat cost LB: 70060 ... c Min unsat cost LB: 70680 ... c Min unsat cost LB: 71420 ... c Min unsat cost LB: 71463 ... c Min unsat cost LB: 71573 ... c Min unsat cost LB: 72058 ... c Min unsat cost LB: 72309 ... c Min unsat cost LB: 72343 ... c Min unsat cost LB: 72402 ... c Min unsat cost LB: 73246 ... c Min unsat cost LB: 73273 ... c Min unsat cost LB: 73277 ... c Min unsat cost LB: 73337 ... c Min unsat cost LB: 74684 ... c Min unsat cost LB: 74937 ... c Min unsat cost LB: 76088 ... c Min unsat cost LB: 76362 ... c Min unsat cost LB: 76794 ... c Min unsat cost LB: 76903 ... c Min unsat cost LB: 76924 ... c Min unsat cost LB: 77111 ... c Min unsat cost LB: 77124 ... c Min unsat cost LB: 77468 ... c Min unsat cost LB: 77711 ... c Min unsat cost LB: 78743 ... c Min unsat cost LB: 79070 ... c Min unsat cost LB: 79348 ... c Min unsat cost LB: 79418 ... c Min unsat cost LB: 79680 ... c Min unsat cost LB: 79791 ... c Min unsat cost LB: 80091 ... c Min unsat cost LB: 80145 ... c Min unsat cost LB: 80642 ... c Min unsat cost LB: 80646 ... c Min unsat cost LB: 81173 ... c Min unsat cost LB: 81797 ... c Min unsat cost LB: 81908 ... c Min unsat cost LB: 82860 ... c Min unsat cost LB: 83263 ... c Min unsat cost LB: 83473 ... c Min unsat cost LB: 84282 ... c Min unsat cost LB: 84360 ... c Min unsat cost LB: 84456 ... c Min unsat cost LB: 84773 ... c Min unsat cost LB: 85040 ... c Min unsat cost LB: 85533 ... c Min unsat cost LB: 85551 ... c Min unsat cost LB: 85781 ... c Min unsat cost LB: 85948 ... c Min unsat cost LB: 86036 ... c Min unsat cost LB: 86073 ... c Min unsat cost LB: 87046 ... c Min unsat cost LB: 87178 ... c Min unsat cost LB: 87191 ... c Min unsat cost LB: 87519 ... c Min unsat cost LB: 87642 ... c Min unsat cost LB: 87711 ... c Min unsat cost LB: 87790 ... c Min unsat cost LB: 88185 ... c Min unsat cost LB: 88906 ... c Min unsat cost LB: 88951 ... c Min unsat cost LB: 89199 ... c Min unsat cost LB: 89693 ... c Min unsat cost LB: 90533 ... c Min unsat cost LB: 90591 ... c Min unsat cost LB: 90828 ... c Min unsat cost LB: 91419 ... c Min unsat cost LB: 91995 ... c Min unsat cost LB: 92241 ... c Min unsat cost LB: 92599 ... c Min unsat cost LB: 93024 ... c Min unsat cost LB: 93425 ... c Min unsat cost LB: 93563 ... c Min unsat cost LB: 93782 ... c Min unsat cost LB: 93822 ... c Min unsat cost LB: 95189 ... c Min unsat cost LB: 95259 ... c Min unsat cost LB: 96193 ... c Min unsat cost LB: 96355 ... c Min unsat cost LB: 96407 ... c Min unsat cost LB: 96925 ... c Min unsat cost LB: 97890 ... c Min unsat cost LB: 98031 ... c Min unsat cost LB: 98214 ... c Min unsat cost LB: 99133 ... c Min unsat cost LB: 99320 ... c Min unsat cost LB: 99434 ... c Min unsat cost LB: 99484 ... c Min unsat cost LB: 99803 ... c Min unsat cost LB: 100526 ... c Min unsat cost LB: 100553 ... c Min unsat cost LB: 100986 ... c Min unsat cost LB: 101187 ... c Min unsat cost LB: 102522 ... c Min unsat cost LB: 102721 ... c Min unsat cost LB: 102736 ... c Min unsat cost LB: 102892 ... c Min unsat cost LB: 102899 ... c Min unsat cost LB: 103051 ... c Min unsat cost LB: 103294 ... c Min unsat cost LB: 103306 ... c Min unsat cost LB: 103763 ... c Min unsat cost LB: 103951 ... c Min unsat cost LB: 104478 ... c Min unsat cost LB: 104646 ... c Min unsat cost LB: 104879 ... c Min unsat cost LB: 104892 ... c Min unsat cost LB: 105072 ... c Min unsat cost LB: 105080 ... c Min unsat cost LB: 105210 ... c Min unsat cost LB: 105320 ... c Min unsat cost LB: 105573 ... c Min unsat cost LB: 106405 ... c Min unsat cost LB: 107101 ... c Min unsat cost LB: 107288 ... c Min unsat cost LB: 107952 ... c Min unsat cost LB: 108282 ... c Min unsat cost LB: 108302 ... c Min unsat cost LB: 108595 ... c Min unsat cost LB: 109121 ... c Min unsat cost LB: 109160 ... c Min unsat cost LB: 109198 ... c Min unsat cost LB: 109240 ... c Min unsat cost LB: 109274 ... c Min unsat cost LB: 109649 ... c Min unsat cost LB: 109727 ... c Min unsat cost LB: 109733 ... c Min unsat cost LB: 110012 ... c Min unsat cost LB: 110275 ... c Min unsat cost LB: 110301 ... c Min unsat cost LB: 110469 ... c Min unsat cost LB: 110483 ... c Min unsat cost LB: 110585 ... c Min unsat cost LB: 110670 ... c Min unsat cost LB: 110816 ... c Min unsat cost LB: 111296 ... c Min unsat cost LB: 111403 ... c Min unsat cost LB: 111613 ... c Min unsat cost LB: 112212 ... c Min unsat cost LB: 112297 ... c Min unsat cost LB: 112542 ... c Min unsat cost LB: 113351 ... c Min unsat cost LB: 113548 ... c Min unsat cost LB: 113830 ... c Min unsat cost LB: 113974 ... c Min unsat cost LB: 114274 ... c Min unsat cost LB: 114408 ... c Min unsat cost LB: 114450 ... c Min unsat cost LB: 114620 ... c Min unsat cost LB: 114723 ... c Min unsat cost LB: 114897 ... c Min unsat cost LB: 115078 ... c Min unsat cost LB: 115121 ... c Min unsat cost LB: 115384 ... c Min unsat cost LB: 115435 ... c Min unsat cost LB: 115500 ... c Min unsat cost LB: 116646 ... c Min unsat cost LB: 116670 ... c Min unsat cost LB: 116840 ... c Min unsat cost LB: 117505 ... c Min unsat cost LB: 117531 ... c Min unsat cost LB: 117618 ... c Min unsat cost LB: 117982 ... c Min unsat cost LB: 118258 ... c Min unsat cost LB: 118437 ... c Min unsat cost LB: 118806 ... c Min unsat cost LB: 119336 ... c Min unsat cost LB: 119888 ... c Min unsat cost LB: 120074 ... c Min unsat cost LB: 120527 ... c Min unsat cost LB: 120608 ... c Min unsat cost LB: 120666 ... c Min unsat cost LB: 120734 ... c Min unsat cost LB: 121599 ... c Min unsat cost LB: 121681 ... c Min unsat cost LB: 122122 ... c Min unsat cost LB: 122581 ... c Min unsat cost LB: 122890 ... c Min unsat cost LB: 123266 ... c Min unsat cost LB: 123834 ... c Min unsat cost LB: 124239 ... c Min unsat cost LB: 124570 ... c Min unsat cost LB: 125461 ... c Min unsat cost LB: 125463 ... c Min unsat cost LB: 125806 ... c Min unsat cost LB: 125809 ... c Min unsat cost LB: 126165 ... c Min unsat cost LB: 126759 ... c Min unsat cost LB: 127357 ... c Min unsat cost LB: 127603 ... c Min unsat cost LB: 127840 ... c Min unsat cost LB: 128018 ... c Min unsat cost LB: 128227 ... c Min unsat cost LB: 128279 ... c Min unsat cost LB: 128568 ... c Min unsat cost LB: 129260 ... c Min unsat cost LB: 129322 ... c Min unsat cost LB: 129388 ... c Min unsat cost LB: 129547 ... c Min unsat cost LB: 129555 ... c Min unsat cost LB: 129624 ... c Min unsat cost LB: 129719 ... c Min unsat cost LB: 129721 ... c Min unsat cost LB: 129931 ... c Min unsat cost LB: 130020 ... c Min unsat cost LB: 130622 ... c Min unsat cost LB: 130825 ... c Min unsat cost LB: 130893 ... c Min unsat cost LB: 131028 ... c Min unsat cost LB: 131044 ... c Min unsat cost LB: 131108 ... c Min unsat cost LB: 131127 ... c Min unsat cost LB: 131346 ... c Min unsat cost LB: 131353 ... c Min unsat cost LB: 131460 ... c Min unsat cost LB: 131589 ... c Min unsat cost LB: 132633 ... c Min unsat cost LB: 132731 ... c Min unsat cost LB: 133264 ... c Min unsat cost LB: 133338 ... c Min unsat cost LB: 133362 ... c Min unsat cost LB: 133387 ... c Min unsat cost LB: 133469 ... c Min unsat cost LB: 133581 ... c Min unsat cost LB: 134405 ... c Min unsat cost LB: 134662 ... c Min unsat cost LB: 134897 ... c Min unsat cost LB: 135081 ... c Min unsat cost LB: 135430 ... c Min unsat cost LB: 136251 ... c Min unsat cost LB: 136427 ... c Min unsat cost LB: 136727 ... c Min unsat cost LB: 136738 ... c Min unsat cost LB: 136754 ... c Min unsat cost LB: 136798 ... c Min unsat cost LB: 136801 ... c Min unsat cost LB: 136804 ... c Min unsat cost LB: 136964 ... c Min unsat cost LB: 136995 ... c Min unsat cost LB: 137047 ... c Min unsat cost LB: 137090 ... c Min unsat cost LB: 137091 ... c Min unsat cost LB: 137150 ... c Min unsat cost LB: 137158 ... c Min unsat cost LB: 137300 ... c Min unsat cost LB: 137597 ... c Min unsat cost LB: 137712 ... c Min unsat cost LB: 137770 ... c Min unsat cost LB: 137836 ... c Min unsat cost LB: 138831 ... c Min unsat cost LB: 138993 ... c Min unsat cost LB: 139271 ... c Min unsat cost LB: 139760 ... c Min unsat cost LB: 139962 ... c Min unsat cost LB: 140195 ... c Min unsat cost LB: 140615 ... c Min unsat cost LB: 141110 ... c Min unsat cost LB: 141307 ... c Min unsat cost LB: 141465 ... c Min unsat cost LB: 141666 ... c Min unsat cost LB: 142026 ... c Min unsat cost LB: 143146 ... c Min unsat cost LB: 143508 ... c Min unsat cost LB: 143535 ... c Min unsat cost LB: 143539 ... c Min unsat cost LB: 143542 ... c Min unsat cost LB: 143543 ... c Min unsat cost LB: 144286 ... c Min unsat cost LB: 144495 ... c Min unsat cost LB: 144855 ... c Min unsat cost LB: 144952 ... c Min unsat cost LB: 145076 ... c Min unsat cost LB: 145615 ... c Min unsat cost LB: 145741 ... c Min unsat cost LB: 145973 ... c Min unsat cost LB: 146630 ... c Min unsat cost LB: 146671 ... c Min unsat cost LB: 146750 ... c Min unsat cost LB: 147223 ... c Min unsat cost LB: 147247 ... c Min unsat cost LB: 147945 ... c Min unsat cost LB: 147960 ... c Min unsat cost LB: 148100 ... c Min unsat cost LB: 148733 ... c Min unsat cost LB: 148855 ... c Min unsat cost LB: 148948 ... c Min unsat cost LB: 149240 ... c Min unsat cost LB: 149452 ... c Min unsat cost LB: 149598 ... c Min unsat cost LB: 149646 ... c Min unsat cost LB: 150312 ... c Min unsat cost LB: 150368 ... c Min unsat cost LB: 150580 ... c Min unsat cost LB: 150867 ... c Min unsat cost LB: 150885 ... c Min unsat cost LB: 150970 ... c Min unsat cost LB: 151545 ... c Min unsat cost LB: 151611 ... c Min unsat cost LB: 151635 ... c Min unsat cost LB: 152931 ... c Min unsat cost LB: 153157 ... c Min unsat cost LB: 154750 ... c Min unsat cost LB: 154816 ... c Min unsat cost LB: 154861 ... c Min unsat cost LB: 155364 ... c Min unsat cost LB: 155914 ... c Min unsat cost LB: 155956 ... c Min unsat cost LB: 156193 ... c Min unsat cost LB: 156353 ... c Min unsat cost LB: 156545 ... c Min unsat cost LB: 156731 ... c Min unsat cost LB: 158277 ... c Min unsat cost LB: 158898 ... c Min unsat cost LB: 159189 ... c Min unsat cost LB: 159902 ... c Min unsat cost LB: 160152 ... c Min unsat cost LB: 160225 ... c Min unsat cost LB: 160299 ... c Min unsat cost LB: 160622 ... c Min unsat cost LB: 160625 ... c Min unsat cost LB: 160662 ... c Min unsat cost LB: 161480 ... c Min unsat cost LB: 161539 ... c Min unsat cost LB: 162448 ... c Min unsat cost LB: 162522 ... c Min unsat cost LB: 163871 ... c Min unsat cost LB: 164136 ... c Min unsat cost LB: 164182 ... c Min unsat cost LB: 164538 ... c Min unsat cost LB: 164764 ... c Min unsat cost LB: 164782 ... c Min unsat cost LB: 166011 ... c Min unsat cost LB: 166325 ... c Min unsat cost LB: 166345 ... c Min unsat cost LB: 166407 ... c Min unsat cost LB: 166511 ... c Min unsat cost LB: 166697 ... c Min unsat cost LB: 166891 ... c Min unsat cost LB: 167054 ... c Min unsat cost LB: 167154 ... c Min unsat cost LB: 167707 ... c Min unsat cost LB: 167766 ... c Min unsat cost LB: 168185 ... c Min unsat cost LB: 168485 ... c Min unsat cost LB: 169112 ... c Min unsat cost LB: 169331 ... c Min unsat cost LB: 169568 ... c Min unsat cost LB: 170259 ... c Min unsat cost LB: 170746 ... c Min unsat cost LB: 170894 ... c Min unsat cost LB: 170914 ... c Min unsat cost LB: 171034 ... c Min unsat cost LB: 171813 ... c Min unsat cost LB: 171927 ... c Min unsat cost LB: 172640 ... c Min unsat cost LB: 173101 ... c Min unsat cost LB: 173205 ... c Min unsat cost LB: 173257 ... c Min unsat cost LB: 173602 ... c Min unsat cost LB: 173697 ... c Min unsat cost LB: 173920 ... c Min unsat cost LB: 173923 ... c Min unsat cost LB: 173941 ... c Min unsat cost LB: 175270 ... c Min unsat cost LB: 175312 ... c Min unsat cost LB: 175400 ... c Min unsat cost LB: 176035 ... c Min unsat cost LB: 176158 ... c Min unsat cost LB: 176312 ... c Min unsat cost LB: 176427 ... c Min unsat cost LB: 176579 ... c Min unsat cost LB: 176825 ... c Min unsat cost LB: 177293 ... c Min unsat cost LB: 177475 ... c Min unsat cost LB: 177672 ... c Min unsat cost LB: 177861 ... c Min unsat cost LB: 178154 ... c Min unsat cost LB: 178219 ... c Min unsat cost LB: 178645 ... c Min unsat cost LB: 179648 ... c Min unsat cost LB: 179714 ... c Min unsat cost LB: 179996 ... c Min unsat cost LB: 180005 ... c Min unsat cost LB: 180383 ... c Min unsat cost LB: 180596 ... c Min unsat cost LB: 180751 ... c Min unsat cost LB: 180905 ... c Min unsat cost LB: 181001 ... c Min unsat cost LB: 181002 ... c Min unsat cost LB: 181091 ... c Min unsat cost LB: 181191 ... c Min unsat cost LB: 181225 ... c Min unsat cost LB: 181411 ... c Min unsat cost LB: 181477 ... c Min unsat cost LB: 181506 ... c Min unsat cost LB: 181565 ... c Min unsat cost LB: 181627 ... c Min unsat cost LB: 181770 ... c Min unsat cost LB: 182009 ... c Min unsat cost LB: 182214 ... c Min unsat cost LB: 182607 ... c Min unsat cost LB: 182837 ... c Min unsat cost LB: 182847 ... c Min unsat cost LB: 182856 ... c Min unsat cost LB: 183036 ... c Min unsat cost LB: 183166 ... c Min unsat cost LB: 183349 ... c Min unsat cost LB: 183386 ... c Min unsat cost LB: 183411 ... c Min unsat cost LB: 183423 ... c Min unsat cost LB: 183473 ... c Min unsat cost LB: 183961 ... c Min unsat cost LB: 184471 ... c Min unsat cost LB: 184627 ... c Min unsat cost LB: 184644 ... c Min unsat cost LB: 184798 ... c Min unsat cost LB: 184808 ... c Min unsat cost LB: 184873 ... c Min unsat cost LB: 184955 ... c Min unsat cost LB: 184998 ... c Min unsat cost LB: 185783 ... c Min unsat cost LB: 186242 ... c Min unsat cost LB: 186437 ... c Min unsat cost LB: 186468 ... c Min unsat cost LB: 186840 ... c Min unsat cost LB: 186900 ... c Min unsat cost LB: 186944 ... c Min unsat cost LB: 187009 ... c Min unsat cost LB: 187026 ... c Min unsat cost LB: 187031 ... c Min unsat cost LB: 187117 ... c Min unsat cost LB: 187142 ... c Min unsat cost LB: 187182 ... c Min unsat cost LB: 187192 ... c Min unsat cost LB: 187210 ... c Min unsat cost LB: 187253 ... c Min unsat cost LB: 187265 ... c Min unsat cost LB: 187270 ... c Min unsat cost LB: 187673 ... c Min unsat cost LB: 188027 ... c Min unsat cost LB: 188804 ... c Min unsat cost LB: 189503 ... c Min unsat cost LB: 189737 ... c Min unsat cost LB: 189999 ... c Min unsat cost LB: 190092 ... c Min unsat cost LB: 190277 ... c Min unsat cost LB: 190359 ... c Min unsat cost LB: 190441 ... c Min unsat cost LB: 190457 ... c Min unsat cost LB: 190471 ... c Min unsat cost LB: 190731 ... c Min unsat cost LB: 190732 ... c Min unsat cost LB: 190778 ... c Min unsat cost LB: 190866 ... c Min unsat cost LB: 190914 ... c Min unsat cost LB: 190939 ... c Min unsat cost LB: 190989 ... c Min unsat cost LB: 191149 ... c Min unsat cost LB: 191280 ... c Min unsat cost LB: 192249 ... c Min unsat cost LB: 192422 ... c Min unsat cost LB: 192609 ... c Min unsat cost LB: 193374 ... c Min unsat cost LB: 193528 ... c Min unsat cost LB: 193534 ... c Min unsat cost LB: 193559 ... c Min unsat cost LB: 193605 ... c Min unsat cost LB: 193630 ... c Min unsat cost LB: 193636 ... c Min unsat cost LB: 194188 ... c Min unsat cost LB: 194276 ... c Min unsat cost LB: 194282 ... c Min unsat cost LB: 194542 ... c Min unsat cost LB: 194697 ... c Min unsat cost LB: 195321 ... c Min unsat cost LB: 196147 ... c Min unsat cost LB: 196596 ... c Min unsat cost LB: 196917 ... c Min unsat cost LB: 196928 ... c Min unsat cost LB: 197015 ... c Min unsat cost LB: 197126 ... c Min unsat cost LB: 197202 ... c Min unsat cost LB: 197338 ... c Min unsat cost LB: 198640 ... c Min unsat cost LB: 198746 ... c Min unsat cost LB: 198783 ... c Min unsat cost LB: 198836 ... c Min unsat cost LB: 198975 ... c Min unsat cost LB: 199019 ... c Min unsat cost LB: 199166 ... c Min unsat cost LB: 199199 ... c Min unsat cost LB: 199206 ... c Min unsat cost LB: 199307 ... c Min unsat cost LB: 200348 ... c Min unsat cost LB: 200426 ... c Min unsat cost LB: 200505 ... c Min unsat cost LB: 200893 ... c Min unsat cost LB: 201832 ... c Min unsat cost LB: 202161 ... c Min unsat cost LB: 202232 ... c Min unsat cost LB: 202364 ... c Min unsat cost LB: 202719 ... c Min unsat cost LB: 202736 ... c Min unsat cost LB: 203367 ... c Min unsat cost LB: 203497 ... c Min unsat cost LB: 203631 ... c Min unsat cost LB: 204648 ... c Min unsat cost LB: 204731 ... c Min unsat cost LB: 204784 ... c Min unsat cost LB: 204856 ... c Min unsat cost LB: 204933 ... c Min unsat cost LB: 205100 ... c Min unsat cost LB: 205637 ... c Min unsat cost LB: 206238 ... c Min unsat cost LB: 206273 ... c Min unsat cost LB: 206328 ... c Min unsat cost LB: 206343 ... c Min unsat cost LB: 206383 ... c Min unsat cost LB: 206396 ... c Min unsat cost LB: 206410 ... c Min unsat cost LB: 206415 ... c Min unsat cost LB: 206554 ... c Min unsat cost LB: 206654 ... c Min unsat cost LB: 206668 ... c Min unsat cost LB: 206802 ... c Min unsat cost LB: 206879 ... c Min unsat cost LB: 206890 ... c Min unsat cost LB: 207626 ... c Min unsat cost LB: 207679 ... c Min unsat cost LB: 207961 ... c Min unsat cost LB: 208145 ... c Min unsat cost LB: 208489 ... c Min unsat cost LB: 209374 ... c Min unsat cost LB: 209706 ... c Min unsat cost LB: 209725 ... c Min unsat cost LB: 210399 ... c Min unsat cost LB: 210746 ... c Min unsat cost LB: 210964 ... c Min unsat cost LB: 211168 ... c Min unsat cost LB: 211374 ... c Min unsat cost LB: 211589 ... c Min unsat cost LB: 211607 ... c Min unsat cost LB: 212228 ... c Min unsat cost LB: 212411 ... c Min unsat cost LB: 212579 ... c Min unsat cost LB: 212762 ... c Min unsat cost LB: 212943 ... c Min unsat cost LB: 213286 ... c Min unsat cost LB: 213616 ... c Min unsat cost LB: 213931 ... c Min unsat cost LB: 214177 ... c Min unsat cost LB: 214322 ... c Min unsat cost LB: 214379 ... c Min unsat cost LB: 214742 ... c Min unsat cost LB: 215028 ... c Min unsat cost LB: 215042 ... c Min unsat cost LB: 215700 ... c Min unsat cost LB: 215853 ... c Min unsat cost LB: 216010 ... c Min unsat cost LB: 216163 ... c Min unsat cost LB: 217127 ... c Min unsat cost LB: 217225 ... c Min unsat cost LB: 217284 ... c Min unsat cost LB: 217343 ... c Min unsat cost LB: 217728 ... c Min unsat cost LB: 217987 ... c Min unsat cost LB: 218347 ... c Min unsat cost LB: 218442 ... c Min unsat cost LB: 219634 ... c Min unsat cost LB: 219997 ... c Min unsat cost LB: 220294 ... c Min unsat cost LB: 220354 ... c Min unsat cost LB: 220364 ... c Min unsat cost LB: 220399 ... c Min unsat cost LB: 220676 ... c Min unsat cost LB: 220692 ... c Min unsat cost LB: 220900 ... c Min unsat cost LB: 221255 ... c Min unsat cost LB: 221297 ... c Min unsat cost LB: 221328 ... c Min unsat cost LB: 221458 ... c Min unsat cost LB: 221522 ... c Min unsat cost LB: 221743 ... c Min unsat cost LB: 222816 ... c Min unsat cost LB: 222887 ... c Min unsat cost LB: 222954 ... c Min unsat cost LB: 222960 ... c Min unsat cost LB: 222986 ... c Min unsat cost LB: 223272 ... c Min unsat cost LB: 223564 ... c Min unsat cost LB: 223589 ... c Min unsat cost LB: 223612 ... c Min unsat cost LB: 223717 ... c Min unsat cost LB: 223903 ... c Min unsat cost LB: 224337 ... c Min unsat cost LB: 224368 ... c Min unsat cost LB: 224432 ... c Min unsat cost LB: 224470 ... c Min unsat cost LB: 224612 ... c Min unsat cost LB: 224853 ... c Min unsat cost LB: 224955 ... c Min unsat cost LB: 224959 ... c Min unsat cost LB: 224993 ... c Min unsat cost LB: 225081 ... c Min unsat cost LB: 225087 ... c Min unsat cost LB: 225110 ... c Min unsat cost LB: 225111 ... c Min unsat cost LB: 225123 ... c Min unsat cost LB: 225145 ... c Min unsat cost LB: 225177 ... c Min unsat cost LB: 225189 ... c Min unsat cost LB: 225221 ... c Min unsat cost LB: 225225 ... c Min unsat cost LB: 225231 ... c Min unsat cost LB: 225249 ... c Min unsat cost LB: 225265 ... c Min unsat cost LB: 225288 ... c Min unsat cost LB: 225294 ... c Min unsat cost LB: 225295 ... c Min unsat cost LB: 225308 ... c Min unsat cost LB: 225330 ... c Min unsat cost LB: 225331 ... c Min unsat cost LB: 225335 ... c Min unsat cost LB: 225339 ... c Min unsat cost LB: 225596 ... c Min unsat cost LB: 225604 ... c Min unsat cost LB: 225618 ... c Min unsat cost LB: 225621 ... c Min unsat cost LB: 225623 ... c Min unsat cost LB: 225635 ... c Min unsat cost LB: 225639 ... c Min unsat cost LB: 225644 ... c Min unsat cost LB: 225662 ... c Min unsat cost LB: 225887 ... c Min unsat cost LB: 225929 ... c Min unsat cost LB: 226097 ... c Min unsat cost LB: 226922 ... c Min unsat cost LB: 227039 ... c Min unsat cost LB: 227134 ... c Min unsat cost LB: 227159 ... c Min unsat cost LB: 227170 ... c Min unsat cost LB: 227171 ... c Min unsat cost LB: 227182 ... c Min unsat cost LB: 227183 ... c Min unsat cost LB: 227192 ... c Min unsat cost LB: 227206 ... c Min unsat cost LB: 227210 ... c Min unsat cost LB: 227216 ... c Min unsat cost LB: 227219 ... c Min unsat cost LB: 227221 ... c Min unsat cost LB: 227222 ... c Min unsat cost LB: 227224 ... c Min unsat cost LB: 227226 ... c Min unsat cost LB: 227228 ... c Min unsat cost LB: 227232 ... c Min unsat cost LB: 227236 ... c Min unsat cost LB: 227240 ... c Min unsat cost LB: 227244 ... c Min unsat cost LB: 227246 ... c Min unsat cost LB: 227248 ... c Min unsat cost LB: 227253 ... c Min unsat cost LB: 227258 ... c Min unsat cost LB: 227762 ... c Min unsat cost LB: 228222 ... c Min unsat cost LB: 229016 ... c Min unsat cost LB: 229537 ... c Min unsat cost LB: 229562 ... c Min unsat cost LB: 229858 ... c Min unsat cost LB: 229932 ... c Min unsat cost LB: 230027 ... c Min unsat cost LB: 230781 ... c Min unsat cost LB: 230835 ... c Min unsat cost LB: 231071 ... c Min unsat cost LB: 231926 ... c Min unsat cost LB: 232705 ... c Min unsat cost LB: 232766 ... c Min unsat cost LB: 232848 ... c Min unsat cost LB: 233058 ... c Min unsat cost LB: 233849 ... c Min unsat cost LB: 234323 ... c Min unsat cost LB: 234325 ... c Min unsat cost LB: 234768 ... c Min unsat cost LB: 235185 ... c Min unsat cost LB: 236442 ... c Min unsat cost LB: 237018 ... c Min unsat cost LB: 237059 ... c Min unsat cost LB: 237568 ... c Min unsat cost LB: 237569 ... c Min unsat cost LB: 237816 ... c Min unsat cost LB: 237832 ... c Min unsat cost LB: 237840 ... c Min unsat cost LB: 237867 ... c Min unsat cost LB: 237913 ... c Min unsat cost LB: 237962 ... c Min unsat cost LB: 237966 ... c Min unsat cost LB: 237973 ... c Min unsat cost LB: 237982 ... c Min unsat cost LB: 238000 ... c Min unsat cost LB: 238011 ... c Min unsat cost LB: 238020 ... c Min unsat cost LB: 238032 ... c Min unsat cost LB: 238049 ... c Min unsat cost LB: 238052 ... c Min unsat cost LB: 238068 ... c Min unsat cost LB: 238076 ... c Min unsat cost LB: 238085 ... c Min unsat cost LB: 238088 ... c Min unsat cost LB: 238096 ... c Min unsat cost LB: 238097 ... c Min unsat cost LB: 238108 ... c Min unsat cost LB: 238124 ... c Min unsat cost LB: 238184 ... c Min unsat cost LB: 238252 ... c Min unsat cost LB: 238333 ... c Min unsat cost LB: 238334 ... c Min unsat cost LB: 238335 ... c Min unsat cost LB: 238344 ... c Min unsat cost LB: 238374 ... c Min unsat cost LB: 238561 ... c Min unsat cost LB: 238562 ... c Min unsat cost LB: 238563 ... c Min unsat cost LB: 238570 ... c Min unsat cost LB: 238872 ... c Min unsat cost LB: 238873 ... c Min unsat cost LB: 238874 ... c Min unsat cost LB: 238910 ... c Min unsat cost LB: 238995 ... c Min unsat cost LB: 239191 ... c Min unsat cost LB: 239731 ... c Min unsat cost LB: 239825 ... c Min unsat cost LB: 239910 ... c Min unsat cost LB: 239946 ... c Min unsat cost LB: 239964 ... c Min unsat cost LB: 240142 ... c Min unsat cost LB: 240210 ... c Min unsat cost LB: 240211 ... c Min unsat cost LB: 240215 ... c Min unsat cost LB: 240217 ... c Min unsat cost LB: 240218 ... c Min unsat cost LB: 240219 ... c Min unsat cost LB: 240481 ... c Min unsat cost LB: 240484 ... c Min unsat cost LB: 242041 ... c Min unsat cost LB: 242150 ... c Min unsat cost LB: 242270 ... c Min unsat cost LB: 242356 ... c Min unsat cost LB: 242718 ... c Min unsat cost LB: 242745 ... c Min unsat cost LB: 243433 ... c Min unsat cost LB: 243500 ... c Min unsat cost LB: 243864 ... c Min unsat cost LB: 244323 ... c Min unsat cost LB: 244566 ... c Min unsat cost LB: 245066 ... c Min unsat cost LB: 245624 ... c Min unsat cost LB: 245832 ... c Min unsat cost LB: 246236 ... c Min unsat cost LB: 246258 ... c Min unsat cost LB: 247132 ... c Min unsat cost LB: 247284 ... c Min unsat cost LB: 247457 ... c Min unsat cost LB: 247458 ... c Min unsat cost LB: 247468 ... c Min unsat cost LB: 247474 ... c Min unsat cost LB: 247479 ... c Min unsat cost LB: 247482 ... c Min unsat cost LB: 247507 ... c Min unsat cost LB: 247520 ... c Min unsat cost LB: 247529 ... c Min unsat cost LB: 247534 ... c Min unsat cost LB: 247626 ... c Min unsat cost LB: 247948 ... c Min unsat cost LB: 248068 ... c Min unsat cost LB: 248073 ... c Min unsat cost LB: 248086 ... c Min unsat cost LB: 248129 ... c Min unsat cost LB: 248142 ... c Min unsat cost LB: 248158 ... c Min unsat cost LB: 248172 ... c Min unsat cost LB: 248179 ... c Min unsat cost LB: 248189 ... c Min unsat cost LB: 248227 ... c Min unsat cost LB: 248236 ... c Min unsat cost LB: 248275 ... c Min unsat cost LB: 248278 ... c Min unsat cost LB: 248282 ... c Min unsat cost LB: 248286 ... c Min unsat cost LB: 248288 ... c Min unsat cost LB: 248291 ... c Min unsat cost LB: 248292 ... c Min unsat cost LB: 248304 ... c Min unsat cost LB: 248382 ... c Min unsat cost LB: 248385 ... c Min unsat cost LB: 248390 ... c Min unsat cost LB: 248396 ... c Min unsat cost LB: 248405 ... c Min unsat cost LB: 248406 ... c Min unsat cost LB: 248502 ... c Min unsat cost LB: 248504 ... c Min unsat cost LB: 248529 ... c Min unsat cost LB: 248532 ... c Min unsat cost LB: 248536 ... c Min unsat cost LB: 248537 ... c Min unsat cost LB: 248540 ... c Min unsat cost LB: 248543 ... c Min unsat cost LB: 248544 ... c Min unsat cost LB: 248553 ... c Min unsat cost LB: 248555 ... c Min unsat cost LB: 248556 ... c Min unsat cost LB: 248557 ... c Min unsat cost LB: 248560 ... c Min unsat cost LB: 248561 ... c Min unsat cost LB: 248562 ... c Min unsat cost LB: 248563 ... c Min unsat cost LB: 248565 ... c Min unsat cost LB: 248568 ... c Min unsat cost LB: 248572 ... c Min unsat cost LB: 249408 ... c Min unsat cost LB: 249614 ... c Min unsat cost LB: 249810 ... c Min unsat cost LB: 249852 ... c Min unsat cost LB: 249858 ... c Min unsat cost LB: 249859 ... c Min unsat cost LB: 249861 ... c Min unsat cost LB: 249864 ... c Min unsat cost LB: 249865 ... c Min unsat cost LB: 249868 ... c Min unsat cost LB: 249871 ... c Min unsat cost LB: 249874 ... c Min unsat cost LB: 249877 ... c Min unsat cost LB: 249881 ... c Min unsat cost LB: 249906 ... c Min unsat cost LB: 249915 ... c Min unsat cost LB: 249918 ... c Min unsat cost LB: 249925 ... c Min unsat cost LB: 249933 ... c Min unsat cost LB: 249940 ... c Min unsat cost LB: 249941 ... c Min unsat cost LB: 249942 ... c Min unsat cost LB: 249956 ... c Min unsat cost LB: 249962 ... c Min unsat cost LB: 249965 ... c Min unsat cost LB: 249972 ... c Min unsat cost LB: 249984 ... c Min unsat cost LB: 249987 ... c Min unsat cost LB: 249988 ... c Min unsat cost LB: 249997 ... c Min unsat cost LB: 250010 ... c Min unsat cost LB: 250013 ... c Min unsat cost LB: 250015 ... c Min unsat cost LB: 250020 ... c Min unsat cost LB: 250021 ... c Min unsat cost LB: 250022 ... c Min unsat cost LB: 250023 ... c Min unsat cost LB: 250028 ... c Min unsat cost LB: 250029 ... c Min unsat cost LB: 250031 ... c Min unsat cost LB: 250033 ... c Min unsat cost LB: 250034 ... c Min unsat cost LB: 250037 ... c Min unsat cost LB: 250040 ... c Min unsat cost LB: 250042 ... c Min unsat cost LB: 250043 ... c Min unsat cost LB: 250044 ... c Min unsat cost LB: 250051 ... c Min unsat cost LB: 250052 ... c Min unsat cost LB: 250053 ... c Min unsat cost LB: 250054 ... c Min unsat cost LB: 250055 ... c Min unsat cost LB: 250056 ... c Min unsat cost LB: 250058 ... c Min unsat cost LB: 250059 ... c Min unsat cost LB: 250060 ... c Min unsat cost LB: 250061 ... c Min unsat cost LB: 250062 ... c Min unsat cost LB: 250063 ... c Min unsat cost LB: 250114 ... c Min unsat cost LB: 250119 ... c Min unsat cost LB: 250139 ... c Min unsat cost LB: 251148 ... c Min unsat cost LB: 251294 ... c Min unsat cost LB: 251359 ... c Min unsat cost LB:Killed 1815.673u 4.079s 30:20.09 99.9% 0+0k 0+0io 0pf+0w