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-160-1_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-9.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-160-1_network-9.net.wcnf *** c c Min unsat cost LB: 268 ... c Min unsat cost LB: 2136 ... c Min unsat cost LB: 2654 ... c Min unsat cost LB: 3297 ... c Min unsat cost LB: 3795 ... c Min unsat cost LB: 4430 ... c Min unsat cost LB: 4681 ... c Min unsat cost LB: 4713 ... c Min unsat cost LB: 6309 ... c Min unsat cost LB: 7270 ... c Min unsat cost LB: 8185 ... c Min unsat cost LB: 9164 ... c Min unsat cost LB: 9976 ... c Min unsat cost LB: 12055 ... c Min unsat cost LB: 13354 ... c Min unsat cost LB: 13792 ... c Min unsat cost LB: 13897 ... c Min unsat cost LB: 14860 ... c Min unsat cost LB: 14934 ... c Min unsat cost LB: 15190 ... c Min unsat cost LB: 15912 ... c Min unsat cost LB: 16535 ... c Min unsat cost LB: 17287 ... c Min unsat cost LB: 19484 ... c Min unsat cost LB: 20338 ... c Min unsat cost LB: 22207 ... c Min unsat cost LB: 23587 ... c Min unsat cost LB: 23997 ... c Min unsat cost LB: 25414 ... c Min unsat cost LB: 26859 ... c Min unsat cost LB: 27182 ... c Min unsat cost LB: 28551 ... c Min unsat cost LB: 28882 ... c Min unsat cost LB: 29152 ... c Min unsat cost LB: 29482 ... c Min unsat cost LB: 30018 ... c Min unsat cost LB: 30449 ... c Min unsat cost LB: 30587 ... c Min unsat cost LB: 31675 ... c Min unsat cost LB: 32001 ... c Min unsat cost LB: 32306 ... c Min unsat cost LB: 32330 ... c Min unsat cost LB: 33139 ... c Min unsat cost LB: 33228 ... c Min unsat cost LB: 33282 ... c Min unsat cost LB: 33931 ... c Min unsat cost LB: 34162 ... c Min unsat cost LB: 34264 ... c Min unsat cost LB: 34989 ... c Min unsat cost LB: 35014 ... c Min unsat cost LB: 35191 ... c Min unsat cost LB: 35555 ... c Min unsat cost LB: 35908 ... c Min unsat cost LB: 35960 ... c Min unsat cost LB: 36084 ... c Min unsat cost LB: 36468 ... c Min unsat cost LB: 36853 ... c Min unsat cost LB: 36892 ... c Min unsat cost LB: 37729 ... c Min unsat cost LB: 38389 ... c Min unsat cost LB: 38538 ... c Min unsat cost LB: 38736 ... c Min unsat cost LB: 39147 ... c Min unsat cost LB: 39172 ... c Min unsat cost LB: 39215 ... c Min unsat cost LB: 39231 ... c Min unsat cost LB: 39460 ... c Min unsat cost LB: 39683 ... c Min unsat cost LB: 40733 ... c Min unsat cost LB: 40872 ... c Min unsat cost LB: 40949 ... c Min unsat cost LB: 40965 ... c Min unsat cost LB: 41052 ... c Min unsat cost LB: 41304 ... c Min unsat cost LB: 41509 ... c Min unsat cost LB: 41838 ... c Min unsat cost LB: 42182 ... c Min unsat cost LB: 42578 ... c Min unsat cost LB: 42722 ... c Min unsat cost LB: 43209 ... c Min unsat cost LB: 44761 ... c Min unsat cost LB: 44837 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 46141 ... c Min unsat cost LB: 46247 ... c Min unsat cost LB: 46358 ... c Min unsat cost LB: 46508 ... c Min unsat cost LB: 46758 ... c Min unsat cost LB: 47045 ... c Min unsat cost LB: 47351 ... c Min unsat cost LB: 47688 ... c Min unsat cost LB: 48025 ... c Min unsat cost LB: 48078 ... c Min unsat cost LB: 48270 ... c Min unsat cost LB: 48606 ... c Min unsat cost LB: 49282 ... c Min unsat cost LB: 49561 ... c Min unsat cost LB: 49602 ... c Min unsat cost LB: 49619 ... c Min unsat cost LB: 49809 ... c Min unsat cost LB: 49842 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 50784 ... c Min unsat cost LB: 50839 ... c Min unsat cost LB: 51029 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51323 ... c Min unsat cost LB: 51923 ... c Min unsat cost LB: 52220 ... c Min unsat cost LB: 52894 ... c Min unsat cost LB: 53681 ... c Min unsat cost LB: 53718 ... c Min unsat cost LB: 54456 ... c Min unsat cost LB: 54661 ... c Min unsat cost LB: 55225 ... c Min unsat cost LB: 55514 ... c Min unsat cost LB: 55814 ... c Min unsat cost LB: 55820 ... c Min unsat cost LB: 55911 ... c Min unsat cost LB: 55957 ... c Min unsat cost LB: 56387 ... c Min unsat cost LB: 56428 ... c Min unsat cost LB: 56803 ... c Min unsat cost LB: 56982 ... c Min unsat cost LB: 57384 ... c Min unsat cost LB: 58011 ... c Min unsat cost LB: 58103 ... c Min unsat cost LB: 58241 ... c Min unsat cost LB: 59062 ... c Min unsat cost LB: 59125 ... c Min unsat cost LB: 59735 ... c Min unsat cost LB: 59826 ... c Min unsat cost LB: 60159 ... c Min unsat cost LB: 60250 ... c Min unsat cost LB: 60287 ... c Min unsat cost LB: 60460 ... c Min unsat cost LB: 60634 ... c Min unsat cost LB: 60937 ... c Min unsat cost LB: 61089 ... c Min unsat cost LB: 61160 ... c Min unsat cost LB: 62046 ... c Min unsat cost LB: 62343 ... c Min unsat cost LB: 62604 ... c Min unsat cost LB: 62609 ... c Min unsat cost LB: 63072 ... c Min unsat cost LB: 63356 ... c Min unsat cost LB: 63429 ... c Min unsat cost LB: 63877 ... c Min unsat cost LB: 64630 ... c Min unsat cost LB: 65252 ... c Min unsat cost LB: 65403 ... c Min unsat cost LB: 66102 ... c Min unsat cost LB: 66341 ... c Min unsat cost LB: 66552 ... c Min unsat cost LB: 66599 ... c Min unsat cost LB: 66644 ... c Min unsat cost LB: 67288 ... c Min unsat cost LB: 67744 ... c Min unsat cost LB: 67786 ... c Min unsat cost LB: 67997 ... c Min unsat cost LB: 68047 ... c Min unsat cost LB: 68078 ... c Min unsat cost LB: 68477 ... c Min unsat cost LB: 69631 ... c Min unsat cost LB: 69643 ... c Min unsat cost LB: 69746 ... c Min unsat cost LB: 70026 ... c Min unsat cost LB: 70054 ... c Min unsat cost LB: 70277 ... c Min unsat cost LB: 70722 ... c Min unsat cost LB: 71307 ... c Min unsat cost LB: 71327 ... c Min unsat cost LB: 72170 ... c Min unsat cost LB: 72380 ... c Min unsat cost LB: 72492 ... c Min unsat cost LB: 72499 ... c Min unsat cost LB: 72660 ... c Min unsat cost LB: 73450 ... c Min unsat cost LB: 73470 ... c Min unsat cost LB: 73498 ... c Min unsat cost LB: 73534 ... c Min unsat cost LB: 73536 ... c Min unsat cost LB: 73798 ... c Min unsat cost LB: 75139 ... c Min unsat cost LB: 75159 ... c Min unsat cost LB: 75656 ... c Min unsat cost LB: 75711 ... c Min unsat cost LB: 75720 ... c Min unsat cost LB: 75848 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 77005 ... c Min unsat cost LB: 77346 ... c Min unsat cost LB: 77767 ... c Min unsat cost LB: 77807 ... c Min unsat cost LB: 77830 ... c Min unsat cost LB: 77848 ... c Min unsat cost LB: 78374 ... c Min unsat cost LB: 78377 ... c Min unsat cost LB: 78526 ... c Min unsat cost LB: 78580 ... c Min unsat cost LB: 78586 ... c Min unsat cost LB: 78653 ... c Min unsat cost LB: 79620 ... c Min unsat cost LB: 79842 ... c Min unsat cost LB: 80109 ... c Min unsat cost LB: 80125 ... c Min unsat cost LB: 80221 ... c Min unsat cost LB: 80715 ... c Min unsat cost LB: 81915 ... c Min unsat cost LB: 81983 ... c Min unsat cost LB: 82159 ... c Min unsat cost LB: 82163 ... c Min unsat cost LB: 82373 ... c Min unsat cost LB: 82691 ... c Min unsat cost LB: 82934 ... c Min unsat cost LB: 83924 ... c Min unsat cost LB: 84352 ... c Min unsat cost LB: 84713 ... c Min unsat cost LB: 84822 ... c Min unsat cost LB: 85029 ... c Min unsat cost LB: 85163 ... c Min unsat cost LB: 85204 ... c Min unsat cost LB: 85219 ... c Min unsat cost LB: 85337 ... c Min unsat cost LB: 85712 ... c Min unsat cost LB: 86272 ... c Min unsat cost LB: 86389 ... c Min unsat cost LB: 88004 ... c Min unsat cost LB: 88225 ... c Min unsat cost LB: 88477 ... c Min unsat cost LB: 88801 ... c Min unsat cost LB: 89895 ... c Min unsat cost LB: 90027 ... c Min unsat cost LB: 90037 ... c Min unsat cost LB: 90172 ... c Min unsat cost LB: 90693 ... c Min unsat cost LB: 90910 ... c Min unsat cost LB: 92174 ... c Min unsat cost LB: 92238 ... c Min unsat cost LB: 92540 ... c Min unsat cost LB: 92749 ... c Min unsat cost LB: 92768 ... c Min unsat cost LB: 92870 ... c Min unsat cost LB: 93113 ... c Min unsat cost LB: 93274 ... c Min unsat cost LB: 93404 ... c Min unsat cost LB: 93422 ... c Min unsat cost LB: 93860 ... c Min unsat cost LB: 94184 ... c Min unsat cost LB: 95094 ... c Min unsat cost LB: 95098 ... c Min unsat cost LB: 95604 ... c Min unsat cost LB: 95928 ... c Min unsat cost LB: 96465 ... c Min unsat cost LB: 96492 ... c Min unsat cost LB: 97097 ... c Min unsat cost LB: 97570 ... c Min unsat cost LB: 97636 ... c Min unsat cost LB: 97823 ... c Min unsat cost LB: 98075 ... c Min unsat cost LB: 98325 ... c Min unsat cost LB: 98472 ... c Min unsat cost LB: 98678 ... c Min unsat cost LB: 98734 ... c Min unsat cost LB: 98908 ... c Min unsat cost LB: 98920 ... c Min unsat cost LB: 98921 ... c Min unsat cost LB: 98941 ... c Min unsat cost LB: 98970 ... c Min unsat cost LB: 99040 ... c Min unsat cost LB: 99085 ... c Min unsat cost LB: 99160 ... c Min unsat cost LB: 99180 ... c Min unsat cost LB: 99658 ... c Min unsat cost LB: 99698 ... c Min unsat cost LB: 100106 ... c Min unsat cost LB: 100126 ... c Min unsat cost LB: 100176 ... c Min unsat cost LB: 100841 ... c Min unsat cost LB: 101371 ... c Min unsat cost LB: 101396 ... c Min unsat cost LB: 102205 ... c Min unsat cost LB: 102564 ... c Min unsat cost LB: 103295 ... c Min unsat cost LB: 103737 ... c Min unsat cost LB: 104195 ... c Min unsat cost LB: 104239 ... c Min unsat cost LB: 104496 ... c Min unsat cost LB: 104584 ... c Min unsat cost LB: 104901 ... c Min unsat cost LB: 105004 ... c Min unsat cost LB: 105179 ... c Min unsat cost LB: 105186 ... c Min unsat cost LB: 105281 ... c Min unsat cost LB: 105320 ... c Min unsat cost LB: 105402 ... c Min unsat cost LB: 105673 ... c Min unsat cost LB: 106492 ... c Min unsat cost LB: 106585 ... c Min unsat cost LB: 106968 ... c Min unsat cost LB: 107574 ... c Min unsat cost LB: 107731 ... c Min unsat cost LB: 107883 ... c Min unsat cost LB: 108157 ... c Min unsat cost LB: 108610 ... c Min unsat cost LB: 108766 ... c Min unsat cost LB: 108947 ... c Min unsat cost LB: 108956 ... c Min unsat cost LB: 109013 ... c Min unsat cost LB: 109159 ... c Min unsat cost LB: 109491 ... c Min unsat cost LB: 109582 ... c Min unsat cost LB: 109664 ... c Min unsat cost LB: 109683 ... c Min unsat cost LB: 109857 ... c Min unsat cost LB: 109995 ... c Min unsat cost LB: 110119 ... c Min unsat cost LB: 110209 ... c Min unsat cost LB: 110421 ... c Min unsat cost LB: 110520 ... c Min unsat cost LB: 110551 ... c Min unsat cost LB: 110579 ... c Min unsat cost LB: 110595 ... c Min unsat cost LB: 110633 ... c Min unsat cost LB: 110642 ... c Min unsat cost LB: 110649 ... c Min unsat cost LB: 110773 ... c Min unsat cost LB: 110782 ... c Min unsat cost LB: 110818 ... c Min unsat cost LB: 110831 ... c Min unsat cost LB: 111160 ... c Min unsat cost LB: 111876 ... c Min unsat cost LB: 111999 ... c Min unsat cost LB: 112130 ... c Min unsat cost LB: 112247 ... c Min unsat cost LB: 113380 ... c Min unsat cost LB: 113462 ... c Min unsat cost LB: 113833 ... c Min unsat cost LB: 113874 ... c Min unsat cost LB: 114105 ... c Min unsat cost LB: 114275 ... c Min unsat cost LB: 114447 ... c Min unsat cost LB: 114609 ... c Min unsat cost LB: 114736 ... c Min unsat cost LB: 114929 ... c Min unsat cost LB: 115356 ... c Min unsat cost LB: 115423 ... c Min unsat cost LB: 115534 ... c Min unsat cost LB: 115572 ... c Min unsat cost LB: 115835 ... c Min unsat cost LB: 116919 ... c Min unsat cost LB: 116967 ... c Min unsat cost LB: 117020 ... c Min unsat cost LB: 117029 ... c Min unsat cost LB: 117158 ... c Min unsat cost LB: 117165 ... c Min unsat cost LB: 117177 ... c Min unsat cost LB: 117330 ... c Min unsat cost LB: 118675 ... c Min unsat cost LB: 118702 ... c Min unsat cost LB: 118733 ... c Min unsat cost LB: 118872 ... c Min unsat cost LB: 119091 ... c Min unsat cost LB: 119292 ... c Min unsat cost LB: 119410 ... c Min unsat cost LB: 120392 ... c Min unsat cost LB: 120530 ... c Min unsat cost LB: 120789 ... c Min unsat cost LB: 120905 ... c Min unsat cost LB: 121002 ... c Min unsat cost LB: 122061 ... c Min unsat cost LB: 122081 ... c Min unsat cost LB: 122825 ... c Min unsat cost LB: 122907 ... c Min unsat cost LB: 123072 ... c Min unsat cost LB: 123092 ... c Min unsat cost LB: 123856 ... c Min unsat cost LB: 123920 ... c Min unsat cost LB: 124189 ... c Min unsat cost LB: 124244 ... c Min unsat cost LB: 124263 ... c Min unsat cost LB: 124381 ... c Min unsat cost LB: 124412 ... c Min unsat cost LB: 124429 ... c Min unsat cost LB: 124431 ... c Min unsat cost LB: 124436 ... c Min unsat cost LB: 125343 ... c Min unsat cost LB: 125438 ... c Min unsat cost LB: 125599 ... c Min unsat cost LB: 125606 ... c Min unsat cost LB: 126700 ... c Min unsat cost LB: 126774 ... c Min unsat cost LB: 126895 ... c Min unsat cost LB: 127049 ... c Min unsat cost LB: 127548 ... c Min unsat cost LB: 127874 ... c Min unsat cost LB: 127970 ... c Min unsat cost LB: 127978 ... c Min unsat cost LB: 127998 ... c Min unsat cost LB: 128231 ... c Min unsat cost LB: 128276 ... c Min unsat cost LB: 128351 ... c Min unsat cost LB: 128820 ... c Min unsat cost LB: 128869 ... c Min unsat cost LB: 128872 ... c Min unsat cost LB: 128891 ... c Min unsat cost LB: 128936 ... c Min unsat cost LB: 128944 ... c Min unsat cost LB: 128953 ... c Min unsat cost LB: 128955 ... c Min unsat cost LB: 128964 ... c Min unsat cost LB: 129000 ... c Min unsat cost LB: 129009 ... c Min unsat cost LB: 129935 ... c Min unsat cost LB: 129941 ... c Min unsat cost LB: 130097 ... c Min unsat cost LB: 130787 ... c Min unsat cost LB: 131040 ... c Min unsat cost LB: 131332 ... c Min unsat cost LB: 131801 ... c Min unsat cost LB: 131953 ... c Min unsat cost LB: 132396 ... c Min unsat cost LB: 133240 ... c Min unsat cost LB: 133288 ... c Min unsat cost LB: 133393 ... c Min unsat cost LB: 133405 ... c Min unsat cost LB: 133437 ... c Min unsat cost LB: 133542 ... c Min unsat cost LB: 133848 ... c Min unsat cost LB: 133991 ... c Min unsat cost LB: 134052 ... c Min unsat cost LB: 134332 ... c Min unsat cost LB: 134496 ... c Min unsat cost LB: 134536 ... c Min unsat cost LB: 134597 ... c Min unsat cost LB: 134602 ... c Min unsat cost LB: 134647 ... c Min unsat cost LB: 134652 ... c Min unsat cost LB: 134662 ... c Min unsat cost LB: 134703 ... c Min unsat cost LB: 134796 ... c Min unsat cost LB: 134808 ... c Min unsat cost LB: 134821 ... c Min unsat cost LB: 134836 ... c Min unsat cost LB: 134945 ... c Min unsat cost LB: 135009 ... c Min unsat cost LB: 135026 ... c Min unsat cost LB: 135105 ... c Min unsat cost LB: 135122 ... c Min unsat cost LB: 135146 ... c Min unsat cost LB: 135177 ... c Min unsat cost LB: 135212 ... c Min unsat cost LB: 135253 ... c Min unsat cost LB: 135263 ... c Min unsat cost LB: 135343 ... c Min unsat cost LB: 135345 ... c Min unsat cost LB: 135346 ... c Min unsat cost LB: 135356 ... c Min unsat cost LB: 135368 ... c Min unsat cost LB: 135370 ... c Min unsat cost LB: 135381 ... c Min unsat cost LB: 135385 ... c Min unsat cost LB: 135426 ... c Min unsat cost LB: 135441 ... c Min unsat cost LB: 135447 ... c Min unsat cost LB: 135465 ... c Min unsat cost LB: 136049 ... c Min unsat cost LB: 136111 ... c Min unsat cost LB: 136309 ... c Min unsat cost LB: 136691 ... c Min unsat cost LB: 137014 ... c Min unsat cost LB: 137527 ... c Min unsat cost LB: 137768 ... c Min unsat cost LB: 137880 ... c Min unsat cost LB: 138280 ... c Min unsat cost LB: 138341 ... c Min unsat cost LB: 138375 ... c Min unsat cost LB: 138955 ... c Min unsat cost LB: 139067 ... c Min unsat cost LB: 139810 ... c Min unsat cost LB: 139947 ... c Min unsat cost LB: 140218 ... c Min unsat cost LB: 140385 ... c Min unsat cost LB: 140399 ... c Min unsat cost LB: 140523 ... c Min unsat cost LB: 140660 ... c Min unsat cost LB: 140682 ... c Min unsat cost LB: 140880 ... c Min unsat cost LB: 140888 ... c Min unsat cost LB: 140973 ... c Min unsat cost LB: 140997 ... c Min unsat cost LB: 141013 ... c Min unsat cost LB: 141149 ... c Min unsat cost LB: 141210 ... c Min unsat cost LB: 141212 ... c Min unsat cost LB: 141240 ... c Min unsat cost LB: 141248 ... c Min unsat cost LB: 141256 ... c Min unsat cost LB: 141286 ... c Min unsat cost LB: 141294 ... c Min unsat cost LB: 141302 ... c Min unsat cost LB: 141310 ... c Min unsat cost LB: 141326 ... c Min unsat cost LB: 141348 ... c Min unsat cost LB: 141406 ... c Min unsat cost LB: 141426 ... c Min unsat cost LB: 141433 ... c Min unsat cost LB: 141478 ... c Min unsat cost LB: 141483 ... c Min unsat cost LB: 141511 ... c Min unsat cost LB: 141518 ... c Min unsat cost LB: 141524 ... c Min unsat cost LB: 142284 ... c Min unsat cost LB: 142291 ... c Min unsat cost LB: 142292 ... c Min unsat cost LB: 142293 ... c Min unsat cost LB: 142312 ... c Min unsat cost LB: 142345 ... c Min unsat cost LB: 142740 ... c Min unsat cost LB: 142761 ... c Min unsat cost LB: 142764 ... c Min unsat cost LB: 142765 ... c Min unsat cost LB: 142769 ... c Min unsat cost LB: 142774 ... c Min unsat cost LB: 142780 ... c Min unsat cost LB: 142781 ... c Min unsat cost LB: 142782 ... c Min unsat cost LB: 142785 ... c Min unsat cost LB: 142786 ... c Min unsat cost LB: 142788 ... c Min unsat cost LB: 142789 ... c Min unsat cost LB: 142791 ... c Min unsat cost LB: 142792 ... c Min unsat cost LB: 142793 ... c Min unsat cost LB: 142800 ... c Min unsat cost LB: 142804 ... c Min unsat cost LB: 142805 ... c Min unsat cost LB: 142808 ... c Min unsat cost LB: 142809 ... c Min unsat cost LB: 142813 ... c Min unsat cost LB: 143857 ... c Min unsat cost LB: 144226 ... c Min unsat cost LB: 144283 ... c Min unsat cost LB: 144606 ... c Min unsat cost LB: 144810 ... c Min unsat cost LB: 144918 ... c Min unsat cost LB: 145265 ... c Min unsat cost LB: 145493 ... c Min unsat cost LB: 145960 ... c Min unsat cost LB: 146311 ... c Min unsat cost LB: 146817 ... c Min unsat cost LB: 146976 ... c Min unsat cost LB: 147367 ... c Min unsat cost LB: 147721 ... c Min unsat cost LB: 147739 ... c Min unsat cost LB: 147746 ... c Min unsat cost LB: 147747 ... c Min unsat cost LB: 147880 ... c Min unsat cost LB: 148420 ... c Min unsat cost LB: 148468 ... c Min unsat cost LB: 148503 ... c Min unsat cost LB: 148603 ... c Min unsat cost LB: 148624 ... c Min unsat cost LB: 148667 ... c Min unsat cost LB: 148708 ... c Min unsat cost LB: 148715 ... c Min unsat cost LB: 148727 ... c Min unsat cost LB: 149375 ... c Min unsat cost LB: 149960 ... c Min unsat cost LB: 150393 ... c Min unsat cost LB: 150513 ... c Min unsat cost LB: 150873 ... c Min unsat cost LB: 150890 ... c Min unsat cost LB: 150891 ... c Min unsat cost LB: 150926 ... c Min unsat cost LB: 150935 ... c Min unsat cost LB: 150960 ... c Min unsat cost LB: 150979 ... c Min unsat cost LB: 150996 ... c Min unsat cost LB: 151027 ... c Min unsat cost LB: 151031 ... c Min unsat cost LB: 151034 ... c Min unsat cost LB: 151155 ... c Min unsat cost LB: 151161 ... c Min unsat cost LB: 151184 ... c Min unsat cost LB: 151230 ... c Min unsat cost LB: 151244 ... c Min unsat cost LB: 151290 ... c Min unsat cost LB: 151956 ... c Min unsat cost LB: 151969 ... c Min unsat cost LB: 151993 ... c Min unsat cost LB: 152195 ... c Min unsat cost LB: 152432 ... c Min unsat cost LB: 152820 ... c Min unsat cost LB: 153080 ... c Min unsat cost LB: 153807 ... c Min unsat cost LB: 153849 ... c Min unsat cost LB: 153857 ... c Min unsat cost LB: 154041 ... c Min unsat cost LB: 154142 ... c Min unsat cost LB: 154244 ... c Min unsat cost LB: 154271 ... c Min unsat cost LB: 154286 ... c Min unsat cost LB: 154559 ... c Min unsat cost LB: 154865 ... c Min unsat cost LB: 155639 ... o 155639 s OPTIMUM FOUND v 1 -2 -3 -4 5 -6 7 -8 9 -10 -11 -12 13 -14 -15 16 -17 18 -19 -20 21 -22 23 -24 -25 -26 27 -28 29 -30 -31 32 33 -34 -35 36 -37 -38 39 -40 -41 42 -43 44 -45 -46 -47 -48 -49 50 -51 52 -53 -54 -55 -56 -57 -58 59 -60 61 -62 -63 64 -65 -66 67 -68 -69 70 -71 -72 -73 -74 -75 76 -77 -78 -79 -80 81 -82 83 -84 -85 -86 87 88 -89 -90 -91 92 -93 -94 -95 96 -97 -98 99 -100 -101 -102 -103 104 -105 106 -107 -108 109 -110 111 -112 113 -114 115 -116 -117 -118 -119 120 -121 122 -123 -124 -125 -126 127 -128 -129 130 -131 -132 133 -134 -135 136 -137 138 139 -140 -141 -142 143 -144 -145 -146 -147 148 -149 150 -151 152 -153 -154 155 -156 157 -158 -159 -160 -161 -162 163 -164 165 166 -167 -168 -169 -170 -171 172 -173 174 -175 -176 177 178 -179 -180 -181 -182 183 -184 -185 186 187 -188 -189 -190 191 -192 -193 -194 -195 196 -197 -198 199 -200 -201 -202 203 -204 -205 -206 -207 208 -209 -210 -211 212 -213 -214 -215 216 217 -218 -219 -220 -221 222 -223 -224 225 -226 227 -228 -229 -230 -231 -232 233 -234 235 -236 -237 -238 -239 -240 241 -242 243 -244 -245 246 -247 -248 -249 250 -251 -252 -253 254 -255 -256 257 258 -259 -260 -261 -262 263 -264 -265 -266 267 -268 269 270 -271 -272 -273 274 -275 -276 -277 -278 279 280 -281 -282 283 -284 -285 -286 287 288 -289 -290 -291 292 -293 -294 -295 296 -297 298 -299 -300 -301 -302 303 -304 -305 -306 -307 -308 309 -310 311 -312 -313 314 -315 -316 -317 -318 319 -320 -321 -322 323 324 -325 -326 -327 328 -329 330 -331 -332 333 -334 335 -336 -337 338 -339 -340 341 -342 343 -344 -345 -346 347 -348 -349 -350 351 -352 353 -354 355 -356 -357 -358 -359 360 361 -362 -363 364 -365 -366 367 -368 -369 370 -371 372 -373 -374 -375 376 -377 -378 -379 -380 381 -382 383 -384 385 -386 387 -388 -389 390 -391 -392 393 -394 -395 -396 397 -398 -399 -400 401 -402 -403 404 -405 -406 -407 408 -409 410 -411 -412 -413 414 -415 -416 -417 418 -419 -420 421 422 -423 -424 -425 426 -427 -428 429 -430 -431 -432 433 c CPU Time: 32.88 32.929u 0.161s 0:52.99 62.4% 0+0k 0+0io 0pf+0w