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-200-1_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-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-200-1_network-9.net.wcnf *** c c Min unsat cost LB: 336 ... c Min unsat cost LB: 626 ... c Min unsat cost LB: 1367 ... c Min unsat cost LB: 2425 ... c Min unsat cost LB: 3538 ... c Min unsat cost LB: 4673 ... c Min unsat cost LB: 5523 ... c Min unsat cost LB: 5691 ... c Min unsat cost LB: 7380 ... c Min unsat cost LB: 7734 ... c Min unsat cost LB: 9231 ... c Min unsat cost LB: 10455 ... c Min unsat cost LB: 11218 ... c Min unsat cost LB: 12513 ... c Min unsat cost LB: 12629 ... c Min unsat cost LB: 14113 ... c Min unsat cost LB: 15480 ... c Min unsat cost LB: 17022 ... c Min unsat cost LB: 17535 ... c Min unsat cost LB: 17846 ... c Min unsat cost LB: 18176 ... c Min unsat cost LB: 18590 ... c Min unsat cost LB: 19107 ... c Min unsat cost LB: 20062 ... c Min unsat cost LB: 20084 ... c Min unsat cost LB: 21411 ... c Min unsat cost LB: 21912 ... c Min unsat cost LB: 21972 ... c Min unsat cost LB: 22081 ... c Min unsat cost LB: 22257 ... c Min unsat cost LB: 23587 ... c Min unsat cost LB: 24874 ... c Min unsat cost LB: 25718 ... c Min unsat cost LB: 26801 ... c Min unsat cost LB: 26927 ... c Min unsat cost LB: 27713 ... c Min unsat cost LB: 29126 ... c Min unsat cost LB: 30143 ... c Min unsat cost LB: 31687 ... c Min unsat cost LB: 32220 ... c Min unsat cost LB: 32753 ... c Min unsat cost LB: 33350 ... c Min unsat cost LB: 35045 ... c Min unsat cost LB: 35046 ... c Min unsat cost LB: 35353 ... c Min unsat cost LB: 35405 ... c Min unsat cost LB: 36178 ... c Min unsat cost LB: 36708 ... c Min unsat cost LB: 37714 ... c Min unsat cost LB: 37849 ... c Min unsat cost LB: 38647 ... c Min unsat cost LB: 38936 ... c Min unsat cost LB: 39252 ... c Min unsat cost LB: 39707 ... c Min unsat cost LB: 39743 ... c Min unsat cost LB: 40242 ... c Min unsat cost LB: 40921 ... c Min unsat cost LB: 41295 ... c Min unsat cost LB: 41512 ... c Min unsat cost LB: 41676 ... c Min unsat cost LB: 42242 ... c Min unsat cost LB: 42801 ... c Min unsat cost LB: 43794 ... c Min unsat cost LB: 44313 ... c Min unsat cost LB: 44516 ... c Min unsat cost LB: 44994 ... c Min unsat cost LB: 45077 ... c Min unsat cost LB: 45651 ... c Min unsat cost LB: 46046 ... c Min unsat cost LB: 46119 ... c Min unsat cost LB: 46839 ... c Min unsat cost LB: 47449 ... c Min unsat cost LB: 47473 ... c Min unsat cost LB: 47941 ... c Min unsat cost LB: 48300 ... c Min unsat cost LB: 48376 ... c Min unsat cost LB: 49105 ... c Min unsat cost LB: 49158 ... c Min unsat cost LB: 49197 ... c Min unsat cost LB: 49256 ... c Min unsat cost LB: 49546 ... c Min unsat cost LB: 49929 ... c Min unsat cost LB: 50085 ... c Min unsat cost LB: 50408 ... c Min unsat cost LB: 50489 ... c Min unsat cost LB: 50660 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50818 ... c Min unsat cost LB: 51111 ... c Min unsat cost LB: 51972 ... c Min unsat cost LB: 51980 ... c Min unsat cost LB: 52135 ... c Min unsat cost LB: 52541 ... c Min unsat cost LB: 52559 ... c Min unsat cost LB: 53351 ... c Min unsat cost LB: 53485 ... c Min unsat cost LB: 54106 ... c Min unsat cost LB: 54273 ... c Min unsat cost LB: 54392 ... c Min unsat cost LB: 54556 ... c Min unsat cost LB: 54679 ... c Min unsat cost LB: 54989 ... c Min unsat cost LB: 55531 ... c Min unsat cost LB: 56431 ... c Min unsat cost LB: 56724 ... c Min unsat cost LB: 57011 ... c Min unsat cost LB: 57138 ... c Min unsat cost LB: 57225 ... c Min unsat cost LB: 57275 ... c Min unsat cost LB: 57306 ... c Min unsat cost LB: 57322 ... c Min unsat cost LB: 57927 ... c Min unsat cost LB: 57996 ... c Min unsat cost LB: 58184 ... c Min unsat cost LB: 58364 ... c Min unsat cost LB: 58384 ... c Min unsat cost LB: 59533 ... c Min unsat cost LB: 59578 ... c Min unsat cost LB: 59613 ... c Min unsat cost LB: 59639 ... c Min unsat cost LB: 59741 ... c Min unsat cost LB: 59822 ... c Min unsat cost LB: 59826 ... c Min unsat cost LB: 59951 ... c Min unsat cost LB: 60876 ... c Min unsat cost LB: 61082 ... c Min unsat cost LB: 61621 ... c Min unsat cost LB: 61625 ... c Min unsat cost LB: 61706 ... c Min unsat cost LB: 61800 ... c Min unsat cost LB: 62687 ... c Min unsat cost LB: 62696 ... c Min unsat cost LB: 62862 ... c Min unsat cost LB: 63345 ... c Min unsat cost LB: 63471 ... c Min unsat cost LB: 63768 ... c Min unsat cost LB: 64012 ... c Min unsat cost LB: 64085 ... c Min unsat cost LB: 64396 ... c Min unsat cost LB: 64825 ... c Min unsat cost LB: 65160 ... c Min unsat cost LB: 65372 ... c Min unsat cost LB: 65451 ... c Min unsat cost LB: 65756 ... c Min unsat cost LB: 66688 ... c Min unsat cost LB: 66738 ... c Min unsat cost LB: 67261 ... c Min unsat cost LB: 67758 ... c Min unsat cost LB: 67800 ... c Min unsat cost LB: 67999 ... c Min unsat cost LB: 68174 ... c Min unsat cost LB: 68420 ... c Min unsat cost LB: 68972 ... c Min unsat cost LB: 69110 ... c Min unsat cost LB: 69146 ... c Min unsat cost LB: 69510 ... c Min unsat cost LB: 69552 ... c Min unsat cost LB: 69659 ... c Min unsat cost LB: 70489 ... c Min unsat cost LB: 70644 ... c Min unsat cost LB: 70676 ... c Min unsat cost LB: 70716 ... c Min unsat cost LB: 71228 ... c Min unsat cost LB: 71436 ... c Min unsat cost LB: 71963 ... c Min unsat cost LB: 72438 ... c Min unsat cost LB: 72664 ... c Min unsat cost LB: 73370 ... c Min unsat cost LB: 73508 ... c Min unsat cost LB: 73544 ... c Min unsat cost LB: 74055 ... c Min unsat cost LB: 74146 ... c Min unsat cost LB: 74376 ... c Min unsat cost LB: 74412 ... c Min unsat cost LB: 74452 ... c Min unsat cost LB: 74483 ... c Min unsat cost LB: 74508 ... c Min unsat cost LB: 74682 ... c Min unsat cost LB: 74724 ... c Min unsat cost LB: 74942 ... c Min unsat cost LB: 74966 ... c Min unsat cost LB: 74984 ... c Min unsat cost LB: 75238 ... c Min unsat cost LB: 75270 ... c Min unsat cost LB: 75566 ... c Min unsat cost LB: 75579 ... c Min unsat cost LB: 75588 ... c Min unsat cost LB: 75613 ... c Min unsat cost LB: 75641 ... c Min unsat cost LB: 75684 ... c Min unsat cost LB: 76675 ... c Min unsat cost LB: 76867 ... c Min unsat cost LB: 76990 ... c Min unsat cost LB: 77147 ... c Min unsat cost LB: 77219 ... c Min unsat cost LB: 77774 ... c Min unsat cost LB: 77775 ... c Min unsat cost LB: 77790 ... c Min unsat cost LB: 77796 ... c Min unsat cost LB: 77924 ... c Min unsat cost LB: 78658 ... c Min unsat cost LB: 78686 ... c Min unsat cost LB: 78812 ... c Min unsat cost LB: 78844 ... c Min unsat cost LB: 79040 ... c Min unsat cost LB: 79086 ... c Min unsat cost LB: 79201 ... c Min unsat cost LB: 79266 ... c Min unsat cost LB: 79293 ... c Min unsat cost LB: 79742 ... c Min unsat cost LB: 79916 ... c Min unsat cost LB: 80019 ... c Min unsat cost LB: 80047 ... c Min unsat cost LB: 80065 ... c Min unsat cost LB: 80128 ... c Min unsat cost LB: 80314 ... c Min unsat cost LB: 80685 ... c Min unsat cost LB: 80717 ... c Min unsat cost LB: 80759 ... c Min unsat cost LB: 81558 ... c Min unsat cost LB: 81648 ... c Min unsat cost LB: 81880 ... c Min unsat cost LB: 81947 ... c Min unsat cost LB: 81979 ... c Min unsat cost LB: 82176 ... c Min unsat cost LB: 82336 ... c Min unsat cost LB: 83167 ... c Min unsat cost LB: 83655 ... c Min unsat cost LB: 83976 ... c Min unsat cost LB: 84055 ... c Min unsat cost LB: 84081 ... c Min unsat cost LB: 84279 ... c Min unsat cost LB: 85208 ... c Min unsat cost LB: 85214 ... c Min unsat cost LB: 85679 ... c Min unsat cost LB: 86042 ... c Min unsat cost LB: 86371 ... c Min unsat cost LB: 86426 ... c Min unsat cost LB: 86546 ... c Min unsat cost LB: 87453 ... c Min unsat cost LB: 87522 ... c Min unsat cost LB: 87651 ... c Min unsat cost LB: 87708 ... c Min unsat cost LB: 87875 ... c Min unsat cost LB: 88019 ... c Min unsat cost LB: 88088 ... c Min unsat cost LB: 88242 ... c Min unsat cost LB: 88732 ... c Min unsat cost LB: 89910 ... c Min unsat cost LB: 90455 ... c Min unsat cost LB: 90509 ... c Min unsat cost LB: 90630 ... c Min unsat cost LB: 90671 ... c Min unsat cost LB: 90697 ... c Min unsat cost LB: 90843 ... c Min unsat cost LB: 90862 ... c Min unsat cost LB: 91274 ... c Min unsat cost LB: 91509 ... c Min unsat cost LB: 91651 ... c Min unsat cost LB: 92179 ... c Min unsat cost LB: 92536 ... c Min unsat cost LB: 92734 ... c Min unsat cost LB: 92776 ... c Min unsat cost LB: 93452 ... c Min unsat cost LB: 93488 ... c Min unsat cost LB: 94178 ... c Min unsat cost LB: 94504 ... c Min unsat cost LB: 94918 ... c Min unsat cost LB: 95079 ... c Min unsat cost LB: 95124 ... c Min unsat cost LB: 96470 ... c Min unsat cost LB: 97001 ... c Min unsat cost LB: 97271 ... c Min unsat cost LB: 97305 ... c Min unsat cost LB: 97618 ... c Min unsat cost LB: 98623 ... c Min unsat cost LB: 98663 ... c Min unsat cost LB: 98902 ... c Min unsat cost LB: 99097 ... c Min unsat cost LB: 99896 ... c Min unsat cost LB: 100140 ... c Min unsat cost LB: 100511 ... c Min unsat cost LB: 100589 ... c Min unsat cost LB: 100684 ... c Min unsat cost LB: 100700 ... c Min unsat cost LB: 100768 ... c Min unsat cost LB: 100866 ... c Min unsat cost LB: 100881 ... c Min unsat cost LB: 101070 ... c Min unsat cost LB: 101084 ... c Min unsat cost LB: 101174 ... c Min unsat cost LB: 101428 ... c Min unsat cost LB: 101643 ... c Min unsat cost LB: 101875 ... c Min unsat cost LB: 101895 ... c Min unsat cost LB: 101973 ... c Min unsat cost LB: 102157 ... c Min unsat cost LB: 102226 ... c Min unsat cost LB: 102360 ... c Min unsat cost LB: 102682 ... c Min unsat cost LB: 102802 ... c Min unsat cost LB: 102999 ... c Min unsat cost LB: 103218 ... c Min unsat cost LB: 103902 ... c Min unsat cost LB: 104103 ... c Min unsat cost LB: 104921 ... c Min unsat cost LB: 104941 ... c Min unsat cost LB: 105032 ... c Min unsat cost LB: 105438 ... c Min unsat cost LB: 105863 ... c Min unsat cost LB: 105872 ... c Min unsat cost LB: 105911 ... c Min unsat cost LB: 106082 ... c Min unsat cost LB: 106233 ... c Min unsat cost LB: 106338 ... c Min unsat cost LB: 107016 ... c Min unsat cost LB: 107077 ... c Min unsat cost LB: 107203 ... c Min unsat cost LB: 107473 ... c Min unsat cost LB: 107848 ... c Min unsat cost LB: 107857 ... c Min unsat cost LB: 107896 ... c Min unsat cost LB: 108024 ... c Min unsat cost LB: 108028 ... c Min unsat cost LB: 108142 ... c Min unsat cost LB: 108322 ... c Min unsat cost LB: 109106 ... c Min unsat cost LB: 109210 ... c Min unsat cost LB: 109566 ... c Min unsat cost LB: 109801 ... c Min unsat cost LB: 109810 ... c Min unsat cost LB: 109849 ... c Min unsat cost LB: 109856 ... c Min unsat cost LB: 109977 ... c Min unsat cost LB: 110090 ... c Min unsat cost LB: 111142 ... c Min unsat cost LB: 111305 ... c Min unsat cost LB: 111491 ... c Min unsat cost LB: 111876 ... c Min unsat cost LB: 112281 ... c Min unsat cost LB: 112418 ... c Min unsat cost LB: 112540 ... c Min unsat cost LB: 112545 ... c Min unsat cost LB: 112554 ... c Min unsat cost LB: 112592 ... c Min unsat cost LB: 113372 ... c Min unsat cost LB: 113414 ... c Min unsat cost LB: 113510 ... c Min unsat cost LB: 113974 ... c Min unsat cost LB: 114129 ... c Min unsat cost LB: 114943 ... c Min unsat cost LB: 114968 ... c Min unsat cost LB: 115091 ... c Min unsat cost LB: 115367 ... c Min unsat cost LB: 115513 ... c Min unsat cost LB: 115768 ... c Min unsat cost LB: 116052 ... c Min unsat cost LB: 116333 ... c Min unsat cost LB: 116668 ... c Min unsat cost LB: 117062 ... c Min unsat cost LB: 117530 ... c Min unsat cost LB: 117791 ... c Min unsat cost LB: 117853 ... c Min unsat cost LB: 118120 ... c Min unsat cost LB: 118268 ... c Min unsat cost LB: 119016 ... c Min unsat cost LB: 119111 ... c Min unsat cost LB: 120374 ... c Min unsat cost LB: 120437 ... c Min unsat cost LB: 120532 ... c Min unsat cost LB: 120711 ... c Min unsat cost LB: 121095 ... c Min unsat cost LB: 121188 ... c Min unsat cost LB: 121348 ... c Min unsat cost LB: 121560 ... c Min unsat cost LB: 121566 ... c Min unsat cost LB: 121898 ... c Min unsat cost LB: 122361 ... c Min unsat cost LB: 122433 ... c Min unsat cost LB: 122439 ... c Min unsat cost LB: 122575 ... c Min unsat cost LB: 122600 ... c Min unsat cost LB: 123073 ... c Min unsat cost LB: 123428 ... c Min unsat cost LB: 123434 ... c Min unsat cost LB: 123658 ... c Min unsat cost LB: 123827 ... c Min unsat cost LB: 123875 ... c Min unsat cost LB: 124059 ... c Min unsat cost LB: 124128 ... c Min unsat cost LB: 124148 ... c Min unsat cost LB: 124156 ... c Min unsat cost LB: 124162 ... c Min unsat cost LB: 124193 ... c Min unsat cost LB: 124204 ... c Min unsat cost LB: 124231 ... c Min unsat cost LB: 124251 ... c Min unsat cost LB: 124271 ... c Min unsat cost LB: 124308 ... c Min unsat cost LB: 124316 ... c Min unsat cost LB: 124320 ... c Min unsat cost LB: 124328 ... c Min unsat cost LB: 124344 ... c Min unsat cost LB: 124352 ... c Min unsat cost LB: 124375 ... c Min unsat cost LB: 124399 ... c Min unsat cost LB: 124496 ... c Min unsat cost LB: 124551 ... c Min unsat cost LB: 124689 ... c Min unsat cost LB: 124979 ... c Min unsat cost LB: 125153 ... c Min unsat cost LB: 125306 ... c Min unsat cost LB: 125536 ... c Min unsat cost LB: 125670 ... c Min unsat cost LB: 125949 ... c Min unsat cost LB: 126223 ... c Min unsat cost LB: 126418 ... c Min unsat cost LB: 126425 ... c Min unsat cost LB: 126672 ... c Min unsat cost LB: 126933 ... c Min unsat cost LB: 126983 ... c Min unsat cost LB: 127657 ... c Min unsat cost LB: 128028 ... c Min unsat cost LB: 128137 ... c Min unsat cost LB: 128219 ... c Min unsat cost LB: 128746 ... c Min unsat cost LB: 128928 ... c Min unsat cost LB: 129649 ... c Min unsat cost LB: 130120 ... c Min unsat cost LB: 130272 ... c Min unsat cost LB: 130407 ... c Min unsat cost LB: 130614 ... c Min unsat cost LB: 130636 ... c Min unsat cost LB: 130665 ... c Min unsat cost LB: 130773 ... c Min unsat cost LB: 130775 ... c Min unsat cost LB: 130828 ... c Min unsat cost LB: 130845 ... c Min unsat cost LB: 130882 ... c Min unsat cost LB: 131035 ... c Min unsat cost LB: 131774 ... c Min unsat cost LB: 131795 ... c Min unsat cost LB: 131854 ... c Min unsat cost LB: 131981 ... c Min unsat cost LB: 132002 ... c Min unsat cost LB: 132029 ... c Min unsat cost LB: 132366 ... c Min unsat cost LB: 132387 ... c Min unsat cost LB: 132714 ... c Min unsat cost LB: 133796 ... c Min unsat cost LB: 133966 ... c Min unsat cost LB: 134128 ... c Min unsat cost LB: 134710 ... c Min unsat cost LB: 135071 ... c Min unsat cost LB: 135101 ... c Min unsat cost LB: 135103 ... c Min unsat cost LB: 135111 ... c Min unsat cost LB: 135288 ... c Min unsat cost LB: 135659 ... c Min unsat cost LB: 136146 ... c Min unsat cost LB: 136309 ... c Min unsat cost LB: 137208 ... c Min unsat cost LB: 137489 ... c Min unsat cost LB: 137741 ... c Min unsat cost LB: 137782 ... c Min unsat cost LB: 137878 ... c Min unsat cost LB: 137927 ... c Min unsat cost LB: 137948 ... c Min unsat cost LB: 137981 ... c Min unsat cost LB: 139140 ... c Min unsat cost LB: 139518 ... c Min unsat cost LB: 140009 ... c Min unsat cost LB: 140163 ... c Min unsat cost LB: 140259 ... c Min unsat cost LB: 140360 ... c Min unsat cost LB: 140400 ... c Min unsat cost LB: 140418 ... c Min unsat cost LB: 140858 ... c Min unsat cost LB: 140962 ... c Min unsat cost LB: 141301 ... c Min unsat cost LB: 141456 ... c Min unsat cost LB: 141505 ... c Min unsat cost LB: 142463 ... c Min unsat cost LB: 142699 ... c Min unsat cost LB: 143138 ... c Min unsat cost LB: 143655 ... c Min unsat cost LB: 143663 ... c Min unsat cost LB: 144420 ... c Min unsat cost LB: 144693 ... c Min unsat cost LB: 144707 ... c Min unsat cost LB: 144907 ... c Min unsat cost LB: 144920 ... c Min unsat cost LB: 144928 ... c Min unsat cost LB: 144972 ... c Min unsat cost LB: 144986 ... c Min unsat cost LB: 145858 ... c Min unsat cost LB: 146132 ... c Min unsat cost LB: 146306 ... c Min unsat cost LB: 146886 ... c Min unsat cost LB: 147206 ... c Min unsat cost LB: 147413 ... c Min unsat cost LB: 147628 ... c Min unsat cost LB: 147758 ... c Min unsat cost LB: 147980 ... c Min unsat cost LB: 148122 ... c Min unsat cost LB: 148480 ... c Min unsat cost LB: 149487 ... c Min unsat cost LB: 149499 ... c Min unsat cost LB: 149523 ... c Min unsat cost LB: 149660 ... c Min unsat cost LB: 149907 ... c Min unsat cost LB: 150105 ... c Min unsat cost LB: 150209 ... c Min unsat cost LB: 150612 ... c Min unsat cost LB: 150782 ... c Min unsat cost LB: 150947 ... c Min unsat cost LB: 151202 ... c Min unsat cost LB: 151833 ... c Min unsat cost LB: 151847 ... c Min unsat cost LB: 151935 ... c Min unsat cost LB: 152102 ... c Min unsat cost LB: 152122 ... c Min unsat cost LB: 152656 ... c Min unsat cost LB: 152688 ... c Min unsat cost LB: 152868 ... c Min unsat cost LB: 153294 ... c Min unsat cost LB: 153320 ... c Min unsat cost LB: 153627 ... c Min unsat cost LB: 153869 ... c Min unsat cost LB: 154102 ... c Min unsat cost LB: 154322 ... c Min unsat cost LB: 154347 ... c Min unsat cost LB: 154769 ... c Min unsat cost LB: 154883 ... c Min unsat cost LB: 155698 ... c Min unsat cost LB: 155727 ... c Min unsat cost LB: 155839 ... c Min unsat cost LB: 156198 ... c Min unsat cost LB: 156258 ... c Min unsat cost LB: 156387 ... c Min unsat cost LB: 156402 ... c Min unsat cost LB: 156470 ... c Min unsat cost LB: 156496 ... c Min unsat cost LB: 156530 ... c Min unsat cost LB: 156644 ... c Min unsat cost LB: 156773 ... c Min unsat cost LB: 156798 ... c Min unsat cost LB: 156894 ... c Min unsat cost LB: 156974 ... c Min unsat cost LB: 157183 ... c Min unsat cost LB: 157220 ... c Min unsat cost LB: 157227 ... c Min unsat cost LB: 157235 ... c Min unsat cost LB: 157245 ... c Min unsat cost LB: 157258 ... c Min unsat cost LB: 157266 ... c Min unsat cost LB: 157282 ... c Min unsat cost LB: 157301 ... c Min unsat cost LB: 157314 ... c Min unsat cost LB: 157328 ... c Min unsat cost LB: 157454 ... c Min unsat cost LB: 157458 ... c Min unsat cost LB: 157460 ... c Min unsat cost LB: 157461 ... c Min unsat cost LB: 157585 ... c Min unsat cost LB: 157586 ... c Min unsat cost LB: 157599 ... c Min unsat cost LB: 157609 ... c Min unsat cost LB: 157610 ... c Min unsat cost LB: 157679 ... c Min unsat cost LB: 157728 ... c Min unsat cost LB: 157759 ... c Min unsat cost LB: 157944 ... c Min unsat cost LB: 158307 ... c Min unsat cost LB: 158473 ... c Min unsat cost LB: 158845 ... c Min unsat cost LB: 158916 ... c Min unsat cost LB: 159113 ... c Min unsat cost LB: 159932 ... c Min unsat cost LB: 160123 ... c Min unsat cost LB: 160425 ... c Min unsat cost LB: 160636 ... c Min unsat cost LB: 161453 ... c Min unsat cost LB: 161508 ... c Min unsat cost LB: 161886 ... c Min unsat cost LB: 161940 ... c Min unsat cost LB: 162084 ... c Min unsat cost LB: 162141 ... c Min unsat cost LB: 162302 ... c Min unsat cost LB: 162303 ... c Min unsat cost LB: 162415 ... c Min unsat cost LB: 162500 ... c Min unsat cost LB: 162573 ... c Min unsat cost LB: 163566 ... c Min unsat cost LB: 163587 ... c Min unsat cost LB: 163590 ... c Min unsat cost LB: 163990 ... c Min unsat cost LB: 164423 ... c Min unsat cost LB: 164554 ... c Min unsat cost LB: 164661 ... c Min unsat cost LB: 164824 ... c Min unsat cost LB: 164877 ... c Min unsat cost LB: 165210 ... c Min unsat cost LB: 165366 ... c Min unsat cost LB: 165981 ... c Min unsat cost LB: 166320 ... c Min unsat cost LB: 166322 ... c Min unsat cost LB: 166409 ... c Min unsat cost LB: 166429 ... c Min unsat cost LB: 166459 ... c Min unsat cost LB: 166674 ... c Min unsat cost LB: 167078 ... c Min unsat cost LB: 167230 ... c Min unsat cost LB: 167372 ... c Min unsat cost LB: 167416 ... c Min unsat cost LB: 167460 ... c Min unsat cost LB: 167462 ... c Min unsat cost LB: 167540 ... c Min unsat cost LB: 167734 ... c Min unsat cost LB: 168331 ... c Min unsat cost LB: 168542 ... c Min unsat cost LB: 168684 ... c Min unsat cost LB: 168947 ... c Min unsat cost LB: 169117 ... c Min unsat cost LB: 169185 ... c Min unsat cost LB: 169211 ... c Min unsat cost LB: 169343 ... c Min unsat cost LB: 169352 ... c Min unsat cost LB: 169434 ... c Min unsat cost LB: 169448 ... c Min unsat cost LB: 169611 ... c Min unsat cost LB: 170145 ... c Min unsat cost LB: 170315 ... c Min unsat cost LB: 170647 ... c Min unsat cost LB: 171253 ... c Min unsat cost LB: 171476 ... c Min unsat cost LB: 171985 ... c Min unsat cost LB: 172036 ... c Min unsat cost LB: 173014 ... c Min unsat cost LB: 173223 ... c Min unsat cost LB: 173594 ... c Min unsat cost LB: 173888 ... c Min unsat cost LB: 173998 ... c Min unsat cost LB: 174006 ... c Min unsat cost LB: 174162 ... c Min unsat cost LB: 174346 ... c Min unsat cost LB: 175136 ... c Min unsat cost LB: 175194 ... c Min unsat cost LB: 175716 ... c Min unsat cost LB: 175947 ... c Min unsat cost LB: 176248 ... c Min unsat cost LB: 176417 ... c Min unsat cost LB: 177394 ... c Min unsat cost LB: 177534 ... c Min unsat cost LB: 177540 ... c Min unsat cost LB: 177553 ... c Min unsat cost LB: 177627 ... c Min unsat cost LB: 178684 ... c Min unsat cost LB: 178787 ... c Min unsat cost LB: 179120 ... c Min unsat cost LB: 179393 ... c Min unsat cost LB: 179639 ... c Min unsat cost LB: 180056 ... c Min unsat cost LB: 180096 ... c Min unsat cost LB: 180438 ... c Min unsat cost LB: 181413 ... c Min unsat cost LB: 181488 ... c Min unsat cost LB: 181506 ... c Min unsat cost LB: 181525 ... c Min unsat cost LB: 181977 ... c Min unsat cost LB: 181982 ... c Min unsat cost LB: 182031 ... c Min unsat cost LB: 182035 ... c Min unsat cost LB: 182094 ... c Min unsat cost LB: 182358 ... c Min unsat cost LB: 183136 ... c Min unsat cost LB: 183171 ... c Min unsat cost LB: 183225 ... c Min unsat cost LB: 183404 ... c Min unsat cost LB: 184099 ... c Min unsat cost LB: 184438 ... c Min unsat cost LB: 184768 ... c Min unsat cost LB: 184859 ... c Min unsat cost LB: 185274 ... c Min unsat cost LB: 185559 ... c Min unsat cost LB: 185612 ... c Min unsat cost LB: 185680 ... c Min unsat cost LB: 186662 ... c Min unsat cost LB: 186701 ... c Min unsat cost LB: 186765 ... c Min unsat cost LB: 187034 ... c Min unsat cost LB: 187098 ... c Min unsat cost LB: 187127 ... c Min unsat cost LB: 187676 ... c Min unsat cost LB: 187813 ... c Min unsat cost LB: 187833 ... c Min unsat cost LB: 187930 ... c Min unsat cost LB: 187965 ... c Min unsat cost LB: 188368 ... c Min unsat cost LB: 188854 ... c Min unsat cost LB: 188953 ... c Min unsat cost LB: 189194 ... o 189194 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 434 -435 -436 437 -438 439 -440 -441 -442 -443 444 -445 -446 -447 -448 449 -450 -451 -452 -453 454 -455 456 -457 -458 459 460 -461 -462 463 -464 -465 466 -467 468 -469 -470 -471 -472 473 -474 475 -476 477 -478 479 -480 481 -482 483 -484 485 -486 -487 488 -489 -490 -491 -492 493 -494 495 -496 -497 498 -499 -500 -501 -502 -503 -504 505 -506 507 -508 -509 510 -511 -512 -513 -514 515 516 -517 -518 -519 -520 -521 522 -523 -524 525 526 -527 c CPU Time: 39.136 39.184u 0.213s 0:39.46 99.8% 0+0k 0+0io 0pf+0w