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-260-1_network-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-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-260-1_network-1.net.wcnf *** c c Min unsat cost LB: 675 ... c Min unsat cost LB: 2188 ... c Min unsat cost LB: 2194 ... c Min unsat cost LB: 3585 ... c Min unsat cost LB: 4754 ... c Min unsat cost LB: 5775 ... c Min unsat cost LB: 7003 ... c Min unsat cost LB: 8742 ... c Min unsat cost LB: 9849 ... c Min unsat cost LB: 11019 ... c Min unsat cost LB: 12779 ... c Min unsat cost LB: 13001 ... c Min unsat cost LB: 13383 ... c Min unsat cost LB: 13804 ... c Min unsat cost LB: 14121 ... c Min unsat cost LB: 14529 ... c Min unsat cost LB: 15568 ... c Min unsat cost LB: 16670 ... c Min unsat cost LB: 17503 ... c Min unsat cost LB: 18027 ... c Min unsat cost LB: 18763 ... c Min unsat cost LB: 18777 ... c Min unsat cost LB: 20372 ... c Min unsat cost LB: 20868 ... c Min unsat cost LB: 21488 ... c Min unsat cost LB: 21799 ... c Min unsat cost LB: 21832 ... c Min unsat cost LB: 22301 ... c Min unsat cost LB: 22488 ... c Min unsat cost LB: 23333 ... c Min unsat cost LB: 24770 ... c Min unsat cost LB: 24963 ... c Min unsat cost LB: 25053 ... c Min unsat cost LB: 25159 ... c Min unsat cost LB: 25327 ... c Min unsat cost LB: 26611 ... c Min unsat cost LB: 27435 ... c Min unsat cost LB: 27811 ... c Min unsat cost LB: 28155 ... c Min unsat cost LB: 29756 ... c Min unsat cost LB: 30255 ... c Min unsat cost LB: 30765 ... c Min unsat cost LB: 31482 ... c Min unsat cost LB: 32644 ... c Min unsat cost LB: 32952 ... c Min unsat cost LB: 33327 ... c Min unsat cost LB: 34140 ... c Min unsat cost LB: 35904 ... c Min unsat cost LB: 35905 ... c Min unsat cost LB: 35976 ... c Min unsat cost LB: 37069 ... c Min unsat cost LB: 38415 ... c Min unsat cost LB: 38751 ... c Min unsat cost LB: 39963 ... c Min unsat cost LB: 40194 ... c Min unsat cost LB: 41668 ... c Min unsat cost LB: 42026 ... c Min unsat cost LB: 42325 ... c Min unsat cost LB: 44633 ... c Min unsat cost LB: 45283 ... c Min unsat cost LB: 45998 ... c Min unsat cost LB: 46096 ... c Min unsat cost LB: 46555 ... c Min unsat cost LB: 47144 ... c Min unsat cost LB: 47624 ... c Min unsat cost LB: 48078 ... c Min unsat cost LB: 48725 ... c Min unsat cost LB: 48835 ... c Min unsat cost LB: 48841 ... c Min unsat cost LB: 48951 ... c Min unsat cost LB: 49511 ... c Min unsat cost LB: 49608 ... c Min unsat cost LB: 49647 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 50615 ... c Min unsat cost LB: 51459 ... c Min unsat cost LB: 52122 ... c Min unsat cost LB: 52479 ... c Min unsat cost LB: 52854 ... c Min unsat cost LB: 52875 ... c Min unsat cost LB: 53623 ... c Min unsat cost LB: 53664 ... c Min unsat cost LB: 54267 ... c Min unsat cost LB: 54663 ... c Min unsat cost LB: 54935 ... c Min unsat cost LB: 55447 ... c Min unsat cost LB: 55508 ... c Min unsat cost LB: 55747 ... c Min unsat cost LB: 55984 ... c Min unsat cost LB: 56442 ... c Min unsat cost LB: 56946 ... c Min unsat cost LB: 57652 ... c Min unsat cost LB: 57982 ... c Min unsat cost LB: 58013 ... c Min unsat cost LB: 58103 ... c Min unsat cost LB: 58303 ... c Min unsat cost LB: 58746 ... c Min unsat cost LB: 58866 ... c Min unsat cost LB: 59417 ... c Min unsat cost LB: 59690 ... c Min unsat cost LB: 59985 ... c Min unsat cost LB: 60367 ... c Min unsat cost LB: 60897 ... c Min unsat cost LB: 61014 ... c Min unsat cost LB: 61433 ... c Min unsat cost LB: 61517 ... c Min unsat cost LB: 61601 ... c Min unsat cost LB: 61762 ... c Min unsat cost LB: 62422 ... c Min unsat cost LB: 62448 ... c Min unsat cost LB: 62881 ... c Min unsat cost LB: 62890 ... c Min unsat cost LB: 62938 ... c Min unsat cost LB: 63364 ... c Min unsat cost LB: 63955 ... c Min unsat cost LB: 65014 ... c Min unsat cost LB: 65128 ... c Min unsat cost LB: 65639 ... c Min unsat cost LB: 65649 ... c Min unsat cost LB: 65758 ... c Min unsat cost LB: 66143 ... c Min unsat cost LB: 66355 ... c Min unsat cost LB: 66956 ... c Min unsat cost LB: 67042 ... c Min unsat cost LB: 67599 ... c Min unsat cost LB: 67890 ... c Min unsat cost LB: 68197 ... c Min unsat cost LB: 68407 ... c Min unsat cost LB: 69236 ... c Min unsat cost LB: 69436 ... c Min unsat cost LB: 69510 ... c Min unsat cost LB: 70722 ... c Min unsat cost LB: 70757 ... c Min unsat cost LB: 71094 ... c Min unsat cost LB: 71103 ... c Min unsat cost LB: 71273 ... c Min unsat cost LB: 71601 ... c Min unsat cost LB: 71667 ... c Min unsat cost LB: 72674 ... c Min unsat cost LB: 72746 ... c Min unsat cost LB: 73274 ... c Min unsat cost LB: 73280 ... c Min unsat cost LB: 73568 ... c Min unsat cost LB: 73673 ... c Min unsat cost LB: 74079 ... c Min unsat cost LB: 74342 ... c Min unsat cost LB: 74546 ... c Min unsat cost LB: 74644 ... c Min unsat cost LB: 74858 ... c Min unsat cost LB: 75263 ... c Min unsat cost LB: 75315 ... c Min unsat cost LB: 75825 ... c Min unsat cost LB: 75959 ... c Min unsat cost LB: 76067 ... c Min unsat cost LB: 76540 ... c Min unsat cost LB: 76699 ... c Min unsat cost LB: 76977 ... c Min unsat cost LB: 77429 ... c Min unsat cost LB: 77483 ... c Min unsat cost LB: 77526 ... c Min unsat cost LB: 78246 ... c Min unsat cost LB: 78357 ... c Min unsat cost LB: 78577 ... c Min unsat cost LB: 79043 ... c Min unsat cost LB: 79116 ... c Min unsat cost LB: 79314 ... c Min unsat cost LB: 79401 ... c Min unsat cost LB: 80071 ... c Min unsat cost LB: 80136 ... c Min unsat cost LB: 80908 ... c Min unsat cost LB: 80932 ... c Min unsat cost LB: 81604 ... c Min unsat cost LB: 82107 ... c Min unsat cost LB: 82317 ... c Min unsat cost LB: 82590 ... c Min unsat cost LB: 83078 ... c Min unsat cost LB: 83241 ... c Min unsat cost LB: 83733 ... c Min unsat cost LB: 83790 ... c Min unsat cost LB: 84402 ... c Min unsat cost LB: 84533 ... c Min unsat cost LB: 85242 ... c Min unsat cost LB: 85490 ... c Min unsat cost LB: 86472 ... c Min unsat cost LB: 86668 ... c Min unsat cost LB: 86983 ... c Min unsat cost LB: 86998 ... c Min unsat cost LB: 87033 ... c Min unsat cost LB: 87343 ... c Min unsat cost LB: 87813 ... c Min unsat cost LB: 88660 ... c Min unsat cost LB: 88753 ... c Min unsat cost LB: 88858 ... c Min unsat cost LB: 89014 ... c Min unsat cost LB: 89229 ... c Min unsat cost LB: 89428 ... c Min unsat cost LB: 90717 ... c Min unsat cost LB: 90771 ... c Min unsat cost LB: 90987 ... c Min unsat cost LB: 90994 ... c Min unsat cost LB: 91001 ... c Min unsat cost LB: 91082 ... c Min unsat cost LB: 91330 ... c Min unsat cost LB: 92162 ... c Min unsat cost LB: 92704 ... c Min unsat cost LB: 92708 ... c Min unsat cost LB: 93229 ... c Min unsat cost LB: 94288 ... c Min unsat cost LB: 94529 ... c Min unsat cost LB: 94549 ... c Min unsat cost LB: 94582 ... c Min unsat cost LB: 94977 ... c Min unsat cost LB: 94982 ... c Min unsat cost LB: 95822 ... c Min unsat cost LB: 95879 ... c Min unsat cost LB: 96310 ... c Min unsat cost LB: 96314 ... c Min unsat cost LB: 96371 ... c Min unsat cost LB: 96569 ... c Min unsat cost LB: 96658 ... c Min unsat cost LB: 96754 ... c Min unsat cost LB: 97027 ... c Min unsat cost LB: 97333 ... c Min unsat cost LB: 97987 ... c Min unsat cost LB: 98526 ... c Min unsat cost LB: 98527 ... c Min unsat cost LB: 98538 ... c Min unsat cost LB: 99248 ... c Min unsat cost LB: 99460 ... c Min unsat cost LB: 99550 ... c Min unsat cost LB: 99551 ... c Min unsat cost LB: 99563 ... c Min unsat cost LB: 99725 ... c Min unsat cost LB: 100783 ... c Min unsat cost LB: 100850 ... c Min unsat cost LB: 102142 ... c Min unsat cost LB: 102501 ... c Min unsat cost LB: 102880 ... c Min unsat cost LB: 102900 ... c Min unsat cost LB: 103023 ... c Min unsat cost LB: 103432 ... c Min unsat cost LB: 103977 ... c Min unsat cost LB: 104110 ... c Min unsat cost LB: 104911 ... c Min unsat cost LB: 104951 ... c Min unsat cost LB: 105487 ... c Min unsat cost LB: 105592 ... c Min unsat cost LB: 106246 ... c Min unsat cost LB: 106352 ... c Min unsat cost LB: 106506 ... c Min unsat cost LB: 107064 ... c Min unsat cost LB: 107482 ... c Min unsat cost LB: 107558 ... c Min unsat cost LB: 107881 ... c Min unsat cost LB: 108613 ... c Min unsat cost LB: 108843 ... c Min unsat cost LB: 108941 ... c Min unsat cost LB: 109751 ... c Min unsat cost LB: 109971 ... c Min unsat cost LB: 110022 ... c Min unsat cost LB: 110109 ... c Min unsat cost LB: 110444 ... c Min unsat cost LB: 110571 ... c Min unsat cost LB: 111335 ... c Min unsat cost LB: 111573 ... c Min unsat cost LB: 111800 ... c Min unsat cost LB: 112577 ... c Min unsat cost LB: 112719 ... c Min unsat cost LB: 112999 ... c Min unsat cost LB: 113018 ... c Min unsat cost LB: 113713 ... c Min unsat cost LB: 113880 ... c Min unsat cost LB: 113905 ... c Min unsat cost LB: 114429 ... c Min unsat cost LB: 114864 ... c Min unsat cost LB: 114882 ... c Min unsat cost LB: 114998 ... c Min unsat cost LB: 115297 ... c Min unsat cost LB: 115465 ... c Min unsat cost LB: 115534 ... c Min unsat cost LB: 115733 ... c Min unsat cost LB: 115928 ... c Min unsat cost LB: 116002 ... c Min unsat cost LB: 116337 ... c Min unsat cost LB: 116349 ... c Min unsat cost LB: 116480 ... c Min unsat cost LB: 116748 ... c Min unsat cost LB: 116840 ... c Min unsat cost LB: 117344 ... c Min unsat cost LB: 117608 ... c Min unsat cost LB: 117897 ... c Min unsat cost LB: 117949 ... c Min unsat cost LB: 117973 ... c Min unsat cost LB: 118001 ... c Min unsat cost LB: 118194 ... c Min unsat cost LB: 118250 ... c Min unsat cost LB: 118269 ... c Min unsat cost LB: 118310 ... c Min unsat cost LB: 119729 ... c Min unsat cost LB: 119982 ... c Min unsat cost LB: 120153 ... c Min unsat cost LB: 120162 ... c Min unsat cost LB: 120192 ... c Min unsat cost LB: 120223 ... c Min unsat cost LB: 120242 ... c Min unsat cost LB: 120261 ... c Min unsat cost LB: 120280 ... c Min unsat cost LB: 120397 ... c Min unsat cost LB: 120453 ... c Min unsat cost LB: 120468 ... c Min unsat cost LB: 120496 ... c Min unsat cost LB: 120642 ... c Min unsat cost LB: 120710 ... c Min unsat cost LB: 120927 ... c Min unsat cost LB: 121307 ... c Min unsat cost LB: 121924 ... c Min unsat cost LB: 122245 ... c Min unsat cost LB: 122787 ... c Min unsat cost LB: 122855 ... c Min unsat cost LB: 123092 ... c Min unsat cost LB: 123164 ... c Min unsat cost LB: 123723 ... c Min unsat cost LB: 123894 ... c Min unsat cost LB: 123915 ... c Min unsat cost LB: 124346 ... c Min unsat cost LB: 124600 ... c Min unsat cost LB: 124655 ... c Min unsat cost LB: 124757 ... c Min unsat cost LB: 125658 ... c Min unsat cost LB: 125750 ... c Min unsat cost LB: 125854 ... c Min unsat cost LB: 126209 ... c Min unsat cost LB: 126725 ... c Min unsat cost LB: 126989 ... c Min unsat cost LB: 127433 ... c Min unsat cost LB: 127440 ... c Min unsat cost LB: 127896 ... c Min unsat cost LB: 128166 ... c Min unsat cost LB: 129270 ... c Min unsat cost LB: 129350 ... c Min unsat cost LB: 129944 ... c Min unsat cost LB: 130023 ... c Min unsat cost LB: 130729 ... c Min unsat cost LB: 130761 ... c Min unsat cost LB: 131687 ... c Min unsat cost LB: 131956 ... c Min unsat cost LB: 132049 ... c Min unsat cost LB: 132205 ... c Min unsat cost LB: 132597 ... c Min unsat cost LB: 132858 ... c Min unsat cost LB: 132936 ... c Min unsat cost LB: 133399 ... c Min unsat cost LB: 133652 ... c Min unsat cost LB: 133839 ... c Min unsat cost LB: 133895 ... c Min unsat cost LB: 134402 ... c Min unsat cost LB: 134611 ... c Min unsat cost LB: 134625 ... c Min unsat cost LB: 134959 ... c Min unsat cost LB: 134960 ... c Min unsat cost LB: 135197 ... c Min unsat cost LB: 136348 ... c Min unsat cost LB: 136349 ... c Min unsat cost LB: 136528 ... c Min unsat cost LB: 136861 ... c Min unsat cost LB: 137125 ... c Min unsat cost LB: 137372 ... c Min unsat cost LB: 137410 ... c Min unsat cost LB: 137447 ... c Min unsat cost LB: 137453 ... c Min unsat cost LB: 137891 ... c Min unsat cost LB: 138059 ... c Min unsat cost LB: 138901 ... c Min unsat cost LB: 139387 ... c Min unsat cost LB: 139555 ... c Min unsat cost LB: 140050 ... c Min unsat cost LB: 140056 ... c Min unsat cost LB: 140093 ... c Min unsat cost LB: 140131 ... c Min unsat cost LB: 140152 ... c Min unsat cost LB: 140164 ... c Min unsat cost LB: 140719 ... c Min unsat cost LB: 141102 ... c Min unsat cost LB: 141217 ... c Min unsat cost LB: 141246 ... c Min unsat cost LB: 141262 ... c Min unsat cost LB: 141372 ... c Min unsat cost LB: 141547 ... c Min unsat cost LB: 141918 ... c Min unsat cost LB: 142214 ... c Min unsat cost LB: 142244 ... c Min unsat cost LB: 142529 ... c Min unsat cost LB: 142688 ... c Min unsat cost LB: 143016 ... c Min unsat cost LB: 143050 ... c Min unsat cost LB: 143057 ... c Min unsat cost LB: 143083 ... c Min unsat cost LB: 143113 ... c Min unsat cost LB: 143197 ... c Min unsat cost LB: 143874 ... c Min unsat cost LB: 143919 ... c Min unsat cost LB: 144084 ... c Min unsat cost LB: 144928 ... c Min unsat cost LB: 144958 ... c Min unsat cost LB: 144965 ... c Min unsat cost LB: 145006 ... c Min unsat cost LB: 145033 ... c Min unsat cost LB: 145055 ... c Min unsat cost LB: 145060 ... c Min unsat cost LB: 145076 ... c Min unsat cost LB: 145080 ... c Min unsat cost LB: 145105 ... c Min unsat cost LB: 145110 ... c Min unsat cost LB: 145120 ... c Min unsat cost LB: 145192 ... c Min unsat cost LB: 145520 ... c Min unsat cost LB: 145522 ... c Min unsat cost LB: 145529 ... c Min unsat cost LB: 145545 ... c Min unsat cost LB: 145549 ... c Min unsat cost LB: 145554 ... c Min unsat cost LB: 145561 ... c Min unsat cost LB: 146149 ... c Min unsat cost LB: 146211 ... c Min unsat cost LB: 146492 ... c Min unsat cost LB: 147081 ... c Min unsat cost LB: 147445 ... c Min unsat cost LB: 147460 ... c Min unsat cost LB: 147467 ... c Min unsat cost LB: 147888 ... c Min unsat cost LB: 147914 ... c Min unsat cost LB: 147915 ... c Min unsat cost LB: 147922 ... c Min unsat cost LB: 147933 ... c Min unsat cost LB: 147964 ... c Min unsat cost LB: 147996 ... c Min unsat cost LB: 148011 ... c Min unsat cost LB: 148018 ... c Min unsat cost LB: 148022 ... c Min unsat cost LB: 148025 ... c Min unsat cost LB: 148032 ... c Min unsat cost LB: 148041 ... c Min unsat cost LB: 148105 ... c Min unsat cost LB: 148151 ... c Min unsat cost LB: 148166 ... c Min unsat cost LB: 148592 ... c Min unsat cost LB: 148926 ... c Min unsat cost LB: 148988 ... c Min unsat cost LB: 149230 ... c Min unsat cost LB: 149540 ... c Min unsat cost LB: 149558 ... c Min unsat cost LB: 149611 ... c Min unsat cost LB: 149615 ... c Min unsat cost LB: 149740 ... c Min unsat cost LB: 149874 ... c Min unsat cost LB: 150122 ... c Min unsat cost LB: 150743 ... c Min unsat cost LB: 150775 ... c Min unsat cost LB: 151113 ... c Min unsat cost LB: 151172 ... c Min unsat cost LB: 151334 ... c Min unsat cost LB: 151996 ... c Min unsat cost LB: 152064 ... c Min unsat cost LB: 152346 ... c Min unsat cost LB: 152529 ... c Min unsat cost LB: 152567 ... c Min unsat cost LB: 152696 ... c Min unsat cost LB: 152697 ... c Min unsat cost LB: 152712 ... c Min unsat cost LB: 152751 ... c Min unsat cost LB: 152759 ... c Min unsat cost LB: 153027 ... c Min unsat cost LB: 153241 ... c Min unsat cost LB: 153446 ... c Min unsat cost LB: 153453 ... c Min unsat cost LB: 154525 ... c Min unsat cost LB: 154533 ... c Min unsat cost LB: 155674 ... c Min unsat cost LB: 156386 ... c Min unsat cost LB: 156387 ... c Min unsat cost LB: 156412 ... c Min unsat cost LB: 156672 ... c Min unsat cost LB: 156745 ... c Min unsat cost LB: 156935 ... c Min unsat cost LB: 157139 ... c Min unsat cost LB: 157687 ... c Min unsat cost LB: 157762 ... c Min unsat cost LB: 157766 ... c Min unsat cost LB: 157804 ... c Min unsat cost LB: 157807 ... c Min unsat cost LB: 157853 ... c Min unsat cost LB: 157868 ... c Min unsat cost LB: 157912 ... c Min unsat cost LB: 157937 ... c Min unsat cost LB: 157941 ... c Min unsat cost LB: 157946 ... c Min unsat cost LB: 158603 ... c Min unsat cost LB: 158692 ... c Min unsat cost LB: 159197 ... c Min unsat cost LB: 159635 ... c Min unsat cost LB: 159832 ... c Min unsat cost LB: 160353 ... c Min unsat cost LB: 160718 ... c Min unsat cost LB: 160722 ... c Min unsat cost LB: 160723 ... c Min unsat cost LB: 160734 ... c Min unsat cost LB: 160739 ... c Min unsat cost LB: 160741 ... c Min unsat cost LB: 160746 ... c Min unsat cost LB: 160748 ... c Min unsat cost LB: 160752 ... c Min unsat cost LB: 160755 ... c Min unsat cost LB: 160756 ... c Min unsat cost LB: 160760 ... c Min unsat cost LB: 160772 ... c Min unsat cost LB: 161219 ... c Min unsat cost LB: 161221 ... c Min unsat cost LB: 161634 ... c Min unsat cost LB: 161639 ... c Min unsat cost LB: 161641 ... c Min unsat cost LB: 161643 ... c Min unsat cost LB: 161652 ... c Min unsat cost LB: 161659 ... c Min unsat cost LB: 161664 ... c Min unsat cost LB: 161665 ... c Min unsat cost LB: 161666 ... c Min unsat cost LB: 161669 ... c Min unsat cost LB: 161671 ... c Min unsat cost LB: 161672 ... c Min unsat cost LB: 161673 ... c Min unsat cost LB: 161674 ... c Min unsat cost LB: 161675 ... c Min unsat cost LB: 161676 ... c Min unsat cost LB: 161678 ... c Min unsat cost LB: 161679 ... c Min unsat cost LB: 161680 ... c Min unsat cost LB: 161681 ... c Min unsat cost LB: 161682 ... c Min unsat cost LB: 161683 ... c Min unsat cost LB: 161685 ... c Min unsat cost LB: 161686 ... c Min unsat cost LB: 161687 ... c Min unsat cost LB: 161691 ... c Min unsat cost LB: 161692 ... c Min unsat cost LB: 161693 ... c Min unsat cost LB: 161697 ... c Min unsat cost LB: 161943 ... c Min unsat cost LB: 161944 ... c Min unsat cost LB: 163138 ... c Min unsat cost LB: 163383 ... c Min unsat cost LB: 163755 ... c Min unsat cost LB: 163756 ... c Min unsat cost LB: 163757 ... c Min unsat cost LB: 163759 ... c Min unsat cost LB: 163760 ... c Min unsat cost LB: 163768 ... c Min unsat cost LB: 163898 ... c Min unsat cost LB: 163966 ... c Min unsat cost LB: 163967 ... c Min unsat cost LB: 164088 ... c Min unsat cost LB: 164101 ... c Min unsat cost LB: 164116 ... c Min unsat cost LB: 164117 ... c Min unsat cost LB: 164265 ... c Min unsat cost LB: 164318 ... c Min unsat cost LB: 164578 ... c Min unsat cost LB: 165009 ... c Min unsat cost LB: 165025 ... c Min unsat cost LB: 165062 ... c Min unsat cost LB: 165219 ... c Min unsat cost LB: 165348 ... c Min unsat cost LB: 165349 ... c Min unsat cost LB: 165504 ... c Min unsat cost LB: 165700 ... c Min unsat cost LB: 166115 ... c Min unsat cost LB: 167044 ... c Min unsat cost LB: 167385 ... c Min unsat cost LB: 167712 ... c Min unsat cost LB: 167814 ... c Min unsat cost LB: 168202 ... c Min unsat cost LB: 168333 ... c Min unsat cost LB: 168458 ... c Min unsat cost LB: 168461 ... c Min unsat cost LB: 168462 ... c Min unsat cost LB: 168820 ... c Min unsat cost LB: 169456 ... c Min unsat cost LB: 169589 ... c Min unsat cost LB: 169699 ... c Min unsat cost LB: 169718 ... c Min unsat cost LB: 171151 ... c Min unsat cost LB: 171293 ... c Min unsat cost LB: 171641 ... c Min unsat cost LB: 171751 ... c Min unsat cost LB: 172239 ... c Min unsat cost LB: 173037 ... c Min unsat cost LB: 173540 ... c Min unsat cost LB: 173662 ... c Min unsat cost LB: 173666 ... c Min unsat cost LB: 173869 ... c Min unsat cost LB: 174322 ... c Min unsat cost LB: 174650 ... c Min unsat cost LB: 174970 ... c Min unsat cost LB: 175761 ... c Min unsat cost LB: 176071 ... c Min unsat cost LB: 176092 ... c Min unsat cost LB: 176217 ... c Min unsat cost LB: 176437 ... c Min unsat cost LB: 176556 ... c Min unsat cost LB: 176838 ... c Min unsat cost LB: 177367 ... c Min unsat cost LB: 177604 ... c Min unsat cost LB: 177623 ... c Min unsat cost LB: 177948 ... c Min unsat cost LB: 178113 ... c Min unsat cost LB: 178131 ... c Min unsat cost LB: 178685 ... c Min unsat cost LB: 178703 ... c Min unsat cost LB: 178704 ... c Min unsat cost LB: 179675 ... c Min unsat cost LB: 180140 ... c Min unsat cost LB: 180925 ... c Min unsat cost LB: 180926 ... c Min unsat cost LB: 180928 ... c Min unsat cost LB: 180943 ... c Min unsat cost LB: 180999 ... c Min unsat cost LB: 181572 ... c Min unsat cost LB: 181856 ... c Min unsat cost LB: 181872 ... c Min unsat cost LB: 182486 ... c Min unsat cost LB: 182547 ... c Min unsat cost LB: 182795 ... c Min unsat cost LB: 182822 ... c Min unsat cost LB: 182823 ... c Min unsat cost LB: 182824 ... c Min unsat cost LB: 182825 ... c Min unsat cost LB: 182826 ... c Min unsat cost LB: 183116 ... c Min unsat cost LB: 183124 ... c Min unsat cost LB: 183129 ... c Min unsat cost LB: 184161 ... c Min unsat cost LB: 184416 ... c Min unsat cost LB: 184997 ... c Min unsat cost LB: 185549 ... c Min unsat cost LB: 186429 ... c Min unsat cost LB: 186957 ... c Min unsat cost LB: 187353 ... c Min unsat cost LB: 187548 ... c Min unsat cost LB: 187564 ... c Min unsat cost LB: 187588 ... c Min unsat cost LB: 187591 ... c Min unsat cost LB: 187598 ... c Min unsat cost LB: 187602 ... c Min unsat cost LB: 187624 ... c Min unsat cost LB: 187641 ... c Min unsat cost LB: 188245 ... c Min unsat cost LB: 188247 ... c Min unsat cost LB: 188313 ... c Min unsat cost LB: 188320 ... c Min unsat cost LB: 188364 ... c Min unsat cost LB: 188392 ... c Min unsat cost LB: 188570 ... c Min unsat cost LB: 188573 ... c Min unsat cost LB: 188574 ... c Min unsat cost LB: 188578 ... c Min unsat cost LB: 188585 ... c Min unsat cost LB: 188590 ... c Min unsat cost LB: 188597 ... c Min unsat cost LB: 188602 ... c Min unsat cost LB: 188617 ... c Min unsat cost LB: 188618 ... c Min unsat cost LB: 188621 ... c Min unsat cost LB: 188625 ... c Min unsat cost LB: 188679 ... c Min unsat cost LB: 188680 ... c Min unsat cost LB: 188681 ... c Min unsat cost LB: 188684 ... c Min unsat cost LB: 188718 ... c Min unsat cost LB: 188719 ... c Min unsat cost LB: 188720 ... c Min unsat cost LB: 188721 ... c Min unsat cost LB: 188722 ... c Min unsat cost LB: 188723 ... c Min unsat cost LB: 188724 ... c Min unsat cost LB: 188725 ... c Min unsat cost LB: 188726 ... c Min unsat cost LB: 188727 ... c Min unsat cost LB: 188728 ... c Min unsat cost LB: 188729 ... c Min unsat cost LB: 188730 ... c Min unsat cost LB: 188731 ... c Min unsat cost LB: 188732 ... c Min unsat cost LB: 188733 ... c Min unsat cost LB: 188734 ... c Min unsat cost LB: 188735 ... c Min unsat cost LB: 188736 ... c Min unsat cost LB: 188737 ... c Min unsat cost LB: 189041 ... c Min unsat cost LB: 189656 ... c Min unsat cost LB: 190574 ... c Min unsat cost LB: 190994 ... c Min unsat cost LB: 191011 ... c Min unsat cost LB: 191025 ... c Min unsat cost LB: 191036 ... c Min unsat cost LB: 191786 ... c Min unsat cost LB: 192316 ... c Min unsat cost LB: 192321 ... c Min unsat cost LB: 192930 ... c Min unsat cost LB: 193008 ... c Min unsat cost LB: 193093 ... c Min unsat cost LB: 193363 ... c Min unsat cost LB: 193404 ... c Min unsat cost LB: 194331 ... c Min unsat cost LB: 194341 ... c Min unsat cost LB: 194443 ... c Min unsat cost LB: 194537 ... c Min unsat cost LB: 194670 ... c Min unsat cost LB: 194672 ... c Min unsat cost LB: 194673 ... c Min unsat cost LB: 194674 ... c Min unsat cost LB: 194677 ... c Min unsat cost LB: 194678 ... c Min unsat cost LB: 194680 ... c Min unsat cost LB: 194690 ... c Min unsat cost LB: 194721 ... c Min unsat cost LB: 194724 ... c Min unsat cost LB: 194746 ... c Min unsat cost LB: 194755 ... c Min unsat cost LB: 194772 ... c Min unsat cost LB: 194775 ... c Min unsat cost LB: 194803 ... c Min unsat cost LB: 194807 ... c Min unsat cost LB: 194808 ... c Min unsat cost LB: 195874 ... c Min unsat cost LB: 196009 ... c Min unsat cost LB: 196504 ... c Min unsat cost LB: 196862 ... c Min unsat cost LB: 196975 ... c Min unsat cost LB: 196987 ... c Min unsat cost LB: 197498 ... c Min unsat cost LB: 197678 ... c Min unsat cost LB: 197868 ... c Min unsat cost LB: 198036 ... c Min unsat cost LB: 198048 ... c Min unsat cost LB: 198161 ... c Min unsat cost LB: 198322 ... c Min unsat cost LB: 198512 ... c Min unsat cost LB: 198548 ... c Min unsat cost LB: 198744 ... c Min unsat cost LB: 198768 ... c Min unsat cost LB: 199020 ... c Min unsat cost LB: 199253 ... c Min unsat cost LB: 199453 ... c Min unsat cost LB: 199706 ... c Min unsat cost LB: 199749 ... c Min unsat cost LB: 199847 ... c Min unsat cost LB: 199996 ... c Min unsat cost LB: 200122 ... c Min unsat cost LB: 200477 ... c Min unsat cost LB: 200607 ... c Min unsat cost LB: 200712 ... c Min unsat cost LB: 201163 ... c Min unsat cost LB: 201362 ... c Min unsat cost LB: 201438 ... c Min unsat cost LB: 201467 ... c Min unsat cost LB: 201516 ... c Min unsat cost LB: 201587 ... c Min unsat cost LB: 201668 ... c Min unsat cost LB: 201685 ... c Min unsat cost LB: 201783 ... c Min unsat cost LB: 201834 ... c Min unsat cost LB: 202318 ... c Min unsat cost LB: 203636 ... c Min unsat cost LB: 203866 ... c Min unsat cost LB: 204338 ... c Min unsat cost LB: 204351 ... c Min unsat cost LB: 204386 ... c Min unsat cost LB: 204707 ... c Min unsat cost LB: 204935 ... c Min unsat cost LB: 204971 ... c Min unsat cost LB: 205083 ... c Min unsat cost LB: 205093 ... c Min unsat cost LB: 205179 ... c Min unsat cost LB: 205475 ... c Min unsat cost LB: 205577 ... c Min unsat cost LB: 205811 ... c Min unsat cost LB: 205867 ... c Min unsat cost LB: 206205 ... c Min unsat cost LB: 206714 ... c Min unsat cost LB: 206865 ... c Min unsat cost LB: 207093 ... c Min unsat cost LB: 207113 ... c Min unsat cost LB: 207347 ... c Min unsat cost LB: 207403 ... c Min unsat cost LB: 207834 ... c Min unsat cost LB: 207921 ... c Min unsat cost LB: 207922 ... c Min unsat cost LB: 207926 ... c Min unsat cost LB: 207927 ... c Min unsat cost LB: 207928 ... c Min unsat cost LB: 207930 ... c Min unsat cost LB: 207931 ... c Min unsat cost LB: 207932 ... c Min unsat cost LB: 207933 ... c Min unsat cost LB: 207934 ... c Min unsat cost LB: 207939 ... c Min unsat cost LB: 207941 ... c Min unsat cost LB: 207948 ... c Min unsat cost LB: 207949 ... c Min unsat cost LB: 208153 ... c Min unsat cost LB: 208534 ... c Min unsat cost LB: 208715 ... c Min unsat cost LB: 208782 ... c Min unsat cost LB: 208843 ... c Min unsat cost LB: 208848 ... c Min unsat cost LB: 208996 ... c Min unsat cost LB: 209141 ... c Min unsat cost LB: 209212 ... c Min unsat cost LB: 209415 ... c Min unsat cost LB: 209654 ... c Min unsat cost LB: 210796 ... c Min unsat cost LB: 210846 ... c Min unsat cost LB: 210863 ... c Min unsat cost LB: 211288 ... c Min unsat cost LB: 211312 ... c Min unsat cost LB: 211328 ... c Min unsat cost LB: 211329 ... c Min unsat cost LB: 211330 ... c Min unsat cost LB: 211338 ... c Min unsat cost LB: 211362 ... c Min unsat cost LB: 211363 ... c Min unsat cost LB: 211413 ... c Min unsat cost LB: 211418 ... c Min unsat cost LB: 211805 ... c Min unsat cost LB: 211986 ... c Min unsat cost LB: 212067 ... c Min unsat cost LB: 212385 ... c Min unsat cost LB: 212914 ... c Min unsat cost LB: 213160 ... c Min unsat cost LB: 213252 ... c Min unsat cost LB: 213321 ... c Min unsat cost LB: 213365 ... c Min unsat cost LB: 213387 ... c Min unsat cost LB: 213430 ... c Min unsat cost LB: 213485 ... c Min unsat cost LB: 213491 ... c Min unsat cost LB: 213603 ... c Min unsat cost LB: 214360 ... c Min unsat cost LB: 214772 ... c Min unsat cost LB: 214972 ... c Min unsat cost LB: 215035 ... c Min unsat cost LB: 215646 ... c Min unsat cost LB: 215764 ... c Min unsat cost LB: 215817 ... c Min unsat cost LB: 215886 ... c Min unsat cost LB: 215939 ... c Min unsat cost LB: 216057 ... c Min unsat cost LB: 216747 ... c Min unsat cost LB: 217140 ... c Min unsat cost LB: 217177 ... c Min unsat cost LB: 217615 ... c Min unsat cost LB: 217723 ... c Min unsat cost LB: 217725 ... c Min unsat cost LB: 217727 ... c Min unsat cost LB: 217728 ... c Min unsat cost LB: 217729 ... c Min unsat cost LB: 217730 ... c Min unsat cost LB: 217745 ... c Min unsat cost LB: 217749 ... c Min unsat cost LB: 217755 ... c Min unsat cost LB: 217757 ... c Min unsat cost LB: 217780 ... c Min unsat cost LB: 217781 ... c Min unsat cost LB: 217782 ... c Min unsat cost LB: 217783 ... c Min unsat cost LB: 217787 ... c Min unsat cost LB: 217793 ... c Min unsat cost LB: 217795 ... c Min unsat cost LB: 217796 ... c Min unsat cost LB: 217800 ... c Min unsat cost LB: 217801 ... c Min unsat cost LB: 217802 ... c Min unsat cost LB: 217803 ... c Min unsat cost LB: 217805 ... c Min unsat cost LB: 217806 ... c Min unsat cost LB: 217808 ... c Min unsat cost LB: 217809 ... c Min unsat cost LB: 217810 ... c Min unsat cost LB: 217813 ... c Min unsat cost LB: 217815 ... c Min unsat cost LB: 217816 ... c Min unsat cost LB: 218791 ... c Min unsat cost LB: 218946 ... c Min unsat cost LB: 219151 ... c Min unsat cost LB: 219216 ... c Min unsat cost LB: 219218 ... c Min unsat cost LB: 219219 ... c Min unsat cost LB: 219220 ... c Min unsat cost LB: 219221 ... c Min unsat cost LB: 219222 ... c Min unsat cost LB: 219223 ... c Min unsat cost LB: 219224 ... c Min unsat cost LB: 219225 ... c Min unsat cost LB: 219226 ... c Min unsat cost LB: 219227 ... c Min unsat cost LB: 219228 ... c Min unsat cost LB: 219229 ... c Min unsat cost LB: 219230 ... c Min unsat cost LB: 219231 ... c Min unsat cost LB: 219267 ... c Min unsat cost LB: 219441 ... c Min unsat cost LB: 219446 ... c Min unsat cost LB: 219447 ... c Min unsat cost LB: 219448 ... c Min unsat cost LB: 219449 ... c Min unsat cost LB: 219450 ... c Min unsat cost LB: 219451 ... c Min unsat cost LB: 219453 ... c Min unsat cost LB: 219454 ... c Min unsat cost LB: 219455 ... c Min unsat cost LB: 219456 ... c Min unsat cost LB: 219457 ... c Min unsat cost LB: 219458 ... c Min unsat cost LB: 219460 ... c Min unsat cost LB: 219461 ... c Min unsat cost LB: 219462 ... c Min unsat cost LB: 219463 ... c Min unsat cost LB: 219464 ... c Min unsat cost LB: 219465 ... c Min unsat cost LB: 219466 ... c Min unsat cost LB: 219467 ... c Min unsat cost LB: 219468 ... c Min unsat cost LB: 219469 ... c Min unsat cost LB: 219470 ... c Min unsat cost LB: 219471 ... c Min unsat cost LB: 219473 ... c Min unsat cost LB: 219476 ... c Min unsat cost LB: 219477 ... c Min unsat cost LB: 219621 ... c Min unsat cost LB: 219622 ... c Min unsat cost LB: 219624 ... c Min unsat cost LB: 219625 ... c Min unsat cost LB: 219626 ... c Min unsat cost LB: 219629 ... c Min unsat cost LB: 219630 ... c Min unsat cost LB: 219631 ... c Min unsat cost LB: 219632 ... c Min unsat cost LB: 219633 ... c Min unsat cost LB: 219634 ... c Min unsat cost LB: 219635 ... c Min unsat cost LB: 219637 ... c Min unsat cost LB: 219654 ... c Min unsat cost LB: 219812 ... c Min unsat cost LB: 219877 ... c Min unsat cost LB: 220563 ... c Min unsat cost LB: 220578 ... c Min unsat cost LB: 220582 ... c Min unsat cost LB: 220687 ... c Min unsat cost LB: 220721 ... c Min unsat cost LB: 220723 ... c Min unsat cost LB: 220754 ... c Min unsat cost LB: 221044 ... c Min unsat cost LB: 221142 ... c Min unsat cost LB: 221180 ... c Min unsat cost LB: 221787 ... c Min unsat cost LB: 222124 ... c Min unsat cost LB: 222125 ... c Min unsat cost LB: 222149 ... c Min unsat cost LB: 222169 ... c Min unsat cost LB: 222180 ... c Min unsat cost LB: 222277 ... c Min unsat cost LB: 222278 ... c Min unsat cost LB: 223271 ... c Min unsat cost LB: 223506 ... c Min unsat cost LB: 223575 ... c Min unsat cost LB: 223729 ... c Min unsat cost LB: 223745 ... c Min unsat cost LB: 223851 ... c Min unsat cost LB: 223978 ... c Min unsat cost LB: 224108 ... c Min unsat cost LB: 224213 ... c Min unsat cost LB: 224943 ... c Min unsat cost LB: 225093 ... c Min unsat cost LB: 225191 ... c Min unsat cost LB: 225368 ... c Min unsat cost LB: 225534 ... c Min unsat cost LB: 225581 ... c Min unsat cost LB: 226780 ... c Min unsat cost LB: 226848 ... c Min unsat cost LB: 227321 ... c Min unsat cost LB: 227536 ... c Min unsat cost LB: 227695 ... c Min unsat cost LB: 227741 ... c Min unsat cost LB: 227747 ... c Min unsat cost LB: 227802 ... c Min unsat cost LB: 227819 ... c Min unsat cost LB: 228162 ... c Min unsat cost LB: 228342 ... c Min unsat cost LB: 228343 ... c Min unsat cost LB: 228361 ... c Min unsat cost LB: 228418 ... c Min unsatKilled 1813.238u 6.511s 30:21.55 99.9% 0+0k 0+0io 0pf+0w