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-180-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-6.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-180-1_network-6.net.wcnf *** c c Min unsat cost LB: 653 ... c Min unsat cost LB: 1539 ... c Min unsat cost LB: 3097 ... c Min unsat cost LB: 5028 ... c Min unsat cost LB: 6086 ... c Min unsat cost LB: 7462 ... c Min unsat cost LB: 8281 ... c Min unsat cost LB: 9751 ... c Min unsat cost LB: 10503 ... c Min unsat cost LB: 10890 ... c Min unsat cost LB: 12243 ... c Min unsat cost LB: 15009 ... c Min unsat cost LB: 16800 ... c Min unsat cost LB: 18565 ... c Min unsat cost LB: 19674 ... c Min unsat cost LB: 19987 ... c Min unsat cost LB: 21320 ... c Min unsat cost LB: 21437 ... c Min unsat cost LB: 21500 ... c Min unsat cost LB: 21504 ... c Min unsat cost LB: 21944 ... c Min unsat cost LB: 22401 ... c Min unsat cost LB: 22406 ... c Min unsat cost LB: 22547 ... c Min unsat cost LB: 23520 ... c Min unsat cost LB: 23730 ... c Min unsat cost LB: 23930 ... c Min unsat cost LB: 26979 ... c Min unsat cost LB: 27053 ... c Min unsat cost LB: 27062 ... c Min unsat cost LB: 27297 ... c Min unsat cost LB: 27438 ... c Min unsat cost LB: 27558 ... c Min unsat cost LB: 27576 ... c Min unsat cost LB: 28138 ... c Min unsat cost LB: 28648 ... c Min unsat cost LB: 28929 ... c Min unsat cost LB: 28995 ... c Min unsat cost LB: 29208 ... c Min unsat cost LB: 29274 ... c Min unsat cost LB: 30287 ... c Min unsat cost LB: 30560 ... c Min unsat cost LB: 30798 ... c Min unsat cost LB: 31665 ... c Min unsat cost LB: 31914 ... c Min unsat cost LB: 32070 ... c Min unsat cost LB: 32464 ... c Min unsat cost LB: 32725 ... c Min unsat cost LB: 32733 ... c Min unsat cost LB: 33595 ... c Min unsat cost LB: 33810 ... c Min unsat cost LB: 33960 ... c Min unsat cost LB: 34112 ... c Min unsat cost LB: 34432 ... c Min unsat cost LB: 34618 ... c Min unsat cost LB: 35073 ... c Min unsat cost LB: 35835 ... c Min unsat cost LB: 35903 ... c Min unsat cost LB: 35938 ... c Min unsat cost LB: 36265 ... c Min unsat cost LB: 36380 ... c Min unsat cost LB: 37129 ... c Min unsat cost LB: 37218 ... c Min unsat cost LB: 37469 ... c Min unsat cost LB: 37822 ... c Min unsat cost LB: 39312 ... c Min unsat cost LB: 39421 ... c Min unsat cost LB: 39815 ... c Min unsat cost LB: 40909 ... c Min unsat cost LB: 40961 ... c Min unsat cost LB: 41045 ... c Min unsat cost LB: 41589 ... c Min unsat cost LB: 42012 ... c Min unsat cost LB: 42303 ... c Min unsat cost LB: 42451 ... c Min unsat cost LB: 42667 ... c Min unsat cost LB: 42885 ... c Min unsat cost LB: 43341 ... c Min unsat cost LB: 43398 ... c Min unsat cost LB: 43717 ... c Min unsat cost LB: 43802 ... c Min unsat cost LB: 44279 ... c Min unsat cost LB: 44360 ... c Min unsat cost LB: 44385 ... c Min unsat cost LB: 44659 ... c Min unsat cost LB: 45090 ... c Min unsat cost LB: 45104 ... c Min unsat cost LB: 45975 ... c Min unsat cost LB: 46087 ... c Min unsat cost LB: 47209 ... c Min unsat cost LB: 48628 ... c Min unsat cost LB: 48649 ... c Min unsat cost LB: 48651 ... c Min unsat cost LB: 48695 ... c Min unsat cost LB: 48716 ... c Min unsat cost LB: 48990 ... c Min unsat cost LB: 49307 ... c Min unsat cost LB: 49705 ... c Min unsat cost LB: 49806 ... c Min unsat cost LB: 49995 ... c Min unsat cost LB: 50110 ... c Min unsat cost LB: 50183 ... c Min unsat cost LB: 50389 ... c Min unsat cost LB: 51379 ... c Min unsat cost LB: 51400 ... c Min unsat cost LB: 51485 ... c Min unsat cost LB: 52510 ... c Min unsat cost LB: 52944 ... c Min unsat cost LB: 53223 ... c Min unsat cost LB: 53302 ... c Min unsat cost LB: 54185 ... c Min unsat cost LB: 54407 ... c Min unsat cost LB: 54437 ... c Min unsat cost LB: 55473 ... c Min unsat cost LB: 55853 ... c Min unsat cost LB: 55997 ... c Min unsat cost LB: 56733 ... c Min unsat cost LB: 56817 ... c Min unsat cost LB: 56997 ... c Min unsat cost LB: 57570 ... c Min unsat cost LB: 57983 ... c Min unsat cost LB: 58150 ... c Min unsat cost LB: 58445 ... c Min unsat cost LB: 59352 ... c Min unsat cost LB: 59354 ... c Min unsat cost LB: 59811 ... c Min unsat cost LB: 59871 ... c Min unsat cost LB: 60255 ... c Min unsat cost LB: 60300 ... c Min unsat cost LB: 60526 ... c Min unsat cost LB: 60718 ... c Min unsat cost LB: 61578 ... c Min unsat cost LB: 62216 ... c Min unsat cost LB: 62237 ... c Min unsat cost LB: 62671 ... c Min unsat cost LB: 62715 ... c Min unsat cost LB: 62758 ... c Min unsat cost LB: 62844 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 62985 ... c Min unsat cost LB: 63032 ... c Min unsat cost LB: 63140 ... c Min unsat cost LB: 63188 ... c Min unsat cost LB: 63600 ... c Min unsat cost LB: 63769 ... c Min unsat cost LB: 63953 ... c Min unsat cost LB: 64487 ... c Min unsat cost LB: 64860 ... c Min unsat cost LB: 65546 ... c Min unsat cost LB: 66103 ... c Min unsat cost LB: 66118 ... c Min unsat cost LB: 67010 ... c Min unsat cost LB: 67445 ... c Min unsat cost LB: 67487 ... c Min unsat cost LB: 67586 ... c Min unsat cost LB: 68563 ... c Min unsat cost LB: 68613 ... c Min unsat cost LB: 68878 ... c Min unsat cost LB: 69242 ... c Min unsat cost LB: 69921 ... c Min unsat cost LB: 70170 ... c Min unsat cost LB: 70247 ... c Min unsat cost LB: 70284 ... c Min unsat cost LB: 70822 ... c Min unsat cost LB: 70895 ... c Min unsat cost LB: 71090 ... c Min unsat cost LB: 71137 ... c Min unsat cost LB: 71237 ... c Min unsat cost LB: 71267 ... c Min unsat cost LB: 71702 ... c Min unsat cost LB: 71758 ... c Min unsat cost LB: 71827 ... c Min unsat cost LB: 71871 ... c Min unsat cost LB: 71914 ... c Min unsat cost LB: 71993 ... c Min unsat cost LB: 72056 ... c Min unsat cost LB: 72627 ... c Min unsat cost LB: 72888 ... c Min unsat cost LB: 72986 ... c Min unsat cost LB: 73576 ... c Min unsat cost LB: 73778 ... c Min unsat cost LB: 73877 ... c Min unsat cost LB: 73991 ... c Min unsat cost LB: 74026 ... c Min unsat cost LB: 74073 ... c Min unsat cost LB: 74138 ... c Min unsat cost LB: 74974 ... c Min unsat cost LB: 75013 ... c Min unsat cost LB: 75539 ... c Min unsat cost LB: 75562 ... c Min unsat cost LB: 75615 ... c Min unsat cost LB: 75792 ... c Min unsat cost LB: 76152 ... c Min unsat cost LB: 76154 ... c Min unsat cost LB: 76629 ... c Min unsat cost LB: 77238 ... c Min unsat cost LB: 77379 ... c Min unsat cost LB: 78617 ... c Min unsat cost LB: 78686 ... c Min unsat cost LB: 79116 ... c Min unsat cost LB: 79414 ... c Min unsat cost LB: 79421 ... c Min unsat cost LB: 79479 ... c Min unsat cost LB: 79707 ... c Min unsat cost LB: 80036 ... c Min unsat cost LB: 81046 ... c Min unsat cost LB: 81086 ... c Min unsat cost LB: 81090 ... c Min unsat cost LB: 81242 ... c Min unsat cost LB: 81649 ... c Min unsat cost LB: 81676 ... c Min unsat cost LB: 81973 ... c Min unsat cost LB: 82089 ... c Min unsat cost LB: 82376 ... c Min unsat cost LB: 82468 ... c Min unsat cost LB: 82499 ... c Min unsat cost LB: 82532 ... c Min unsat cost LB: 82880 ... c Min unsat cost LB: 83081 ... c Min unsat cost LB: 83091 ... c Min unsat cost LB: 83573 ... c Min unsat cost LB: 83686 ... c Min unsat cost LB: 83861 ... c Min unsat cost LB: 84364 ... c Min unsat cost LB: 85268 ... c Min unsat cost LB: 85640 ... c Min unsat cost LB: 85650 ... c Min unsat cost LB: 86569 ... c Min unsat cost LB: 86643 ... c Min unsat cost LB: 86681 ... c Min unsat cost LB: 86696 ... c Min unsat cost LB: 86707 ... c Min unsat cost LB: 86868 ... c Min unsat cost LB: 86972 ... c Min unsat cost LB: 86983 ... c Min unsat cost LB: 87020 ... c Min unsat cost LB: 87451 ... c Min unsat cost LB: 87876 ... c Min unsat cost LB: 87905 ... c Min unsat cost LB: 88369 ... c Min unsat cost LB: 88416 ... c Min unsat cost LB: 88791 ... c Min unsat cost LB: 89271 ... c Min unsat cost LB: 89782 ... c Min unsat cost LB: 89927 ... c Min unsat cost LB: 89979 ... c Min unsat cost LB: 90520 ... c Min unsat cost LB: 90673 ... c Min unsat cost LB: 90683 ... c Min unsat cost LB: 91631 ... c Min unsat cost LB: 91757 ... c Min unsat cost LB: 91988 ... c Min unsat cost LB: 92190 ... c Min unsat cost LB: 92296 ... c Min unsat cost LB: 92974 ... c Min unsat cost LB: 93006 ... c Min unsat cost LB: 93007 ... c Min unsat cost LB: 93024 ... c Min unsat cost LB: 93025 ... c Min unsat cost LB: 93246 ... c Min unsat cost LB: 93621 ... c Min unsat cost LB: 94623 ... c Min unsat cost LB: 94938 ... c Min unsat cost LB: 95120 ... c Min unsat cost LB: 96169 ... c Min unsat cost LB: 97047 ... c Min unsat cost LB: 97310 ... c Min unsat cost LB: 97315 ... c Min unsat cost LB: 97530 ... c Min unsat cost LB: 98618 ... c Min unsat cost LB: 98713 ... c Min unsat cost LB: 99143 ... c Min unsat cost LB: 99362 ... c Min unsat cost LB: 99792 ... c Min unsat cost LB: 100084 ... c Min unsat cost LB: 100152 ... c Min unsat cost LB: 100154 ... c Min unsat cost LB: 100281 ... c Min unsat cost LB: 100485 ... c Min unsat cost LB: 100623 ... c Min unsat cost LB: 100927 ... c Min unsat cost LB: 101229 ... c Min unsat cost LB: 101565 ... c Min unsat cost LB: 101867 ... c Min unsat cost LB: 102232 ... c Min unsat cost LB: 102593 ... c Min unsat cost LB: 102598 ... c Min unsat cost LB: 102889 ... c Min unsat cost LB: 102912 ... c Min unsat cost LB: 103064 ... c Min unsat cost LB: 103649 ... c Min unsat cost LB: 103681 ... c Min unsat cost LB: 103874 ... c Min unsat cost LB: 104927 ... c Min unsat cost LB: 105287 ... c Min unsat cost LB: 105293 ... c Min unsat cost LB: 105675 ... c Min unsat cost LB: 107230 ... c Min unsat cost LB: 107466 ... c Min unsat cost LB: 107575 ... c Min unsat cost LB: 107767 ... c Min unsat cost LB: 107828 ... c Min unsat cost LB: 107955 ... c Min unsat cost LB: 108712 ... c Min unsat cost LB: 108990 ... c Min unsat cost LB: 109039 ... c Min unsat cost LB: 109066 ... c Min unsat cost LB: 110549 ... c Min unsat cost LB: 110561 ... c Min unsat cost LB: 110606 ... c Min unsat cost LB: 110615 ... c Min unsat cost LB: 110623 ... c Min unsat cost LB: 110625 ... c Min unsat cost LB: 110655 ... c Min unsat cost LB: 110662 ... c Min unsat cost LB: 110663 ... c Min unsat cost LB: 110716 ... c Min unsat cost LB: 110734 ... c Min unsat cost LB: 110822 ... c Min unsat cost LB: 110849 ... c Min unsat cost LB: 111165 ... c Min unsat cost LB: 111214 ... c Min unsat cost LB: 111461 ... c Min unsat cost LB: 112016 ... c Min unsat cost LB: 112194 ... c Min unsat cost LB: 112264 ... c Min unsat cost LB: 112335 ... c Min unsat cost LB: 112352 ... c Min unsat cost LB: 112521 ... c Min unsat cost LB: 112887 ... c Min unsat cost LB: 112898 ... c Min unsat cost LB: 113179 ... c Min unsat cost LB: 113454 ... c Min unsat cost LB: 114163 ... c Min unsat cost LB: 114352 ... c Min unsat cost LB: 114684 ... c Min unsat cost LB: 114774 ... c Min unsat cost LB: 115177 ... c Min unsat cost LB: 115197 ... c Min unsat cost LB: 115330 ... c Min unsat cost LB: 115369 ... c Min unsat cost LB: 115585 ... c Min unsat cost LB: 115851 ... c Min unsat cost LB: 116783 ... c Min unsat cost LB: 116804 ... c Min unsat cost LB: 116829 ... c Min unsat cost LB: 116842 ... c Min unsat cost LB: 116932 ... c Min unsat cost LB: 117274 ... c Min unsat cost LB: 117578 ... c Min unsat cost LB: 117626 ... c Min unsat cost LB: 117636 ... c Min unsat cost LB: 117896 ... c Min unsat cost LB: 117941 ... c Min unsat cost LB: 118094 ... c Min unsat cost LB: 118097 ... c Min unsat cost LB: 118102 ... c Min unsat cost LB: 118244 ... c Min unsat cost LB: 118738 ... c Min unsat cost LB: 118742 ... c Min unsat cost LB: 118766 ... c Min unsat cost LB: 118822 ... c Min unsat cost LB: 118977 ... c Min unsat cost LB: 118998 ... c Min unsat cost LB: 119305 ... c Min unsat cost LB: 119454 ... c Min unsat cost LB: 119813 ... c Min unsat cost LB: 120089 ... c Min unsat cost LB: 120279 ... c Min unsat cost LB: 120332 ... c Min unsat cost LB: 120396 ... c Min unsat cost LB: 120790 ... c Min unsat cost LB: 121029 ... c Min unsat cost LB: 121597 ... c Min unsat cost LB: 122037 ... c Min unsat cost LB: 122172 ... c Min unsat cost LB: 122211 ... c Min unsat cost LB: 122252 ... c Min unsat cost LB: 122305 ... c Min unsat cost LB: 122392 ... c Min unsat cost LB: 122405 ... c Min unsat cost LB: 122429 ... c Min unsat cost LB: 122458 ... c Min unsat cost LB: 122470 ... c Min unsat cost LB: 122479 ... c Min unsat cost LB: 122520 ... c Min unsat cost LB: 122565 ... c Min unsat cost LB: 122873 ... c Min unsat cost LB: 123687 ... c Min unsat cost LB: 123688 ... c Min unsat cost LB: 123717 ... c Min unsat cost LB: 123843 ... c Min unsat cost LB: 123874 ... c Min unsat cost LB: 123973 ... c Min unsat cost LB: 124046 ... c Min unsat cost LB: 124124 ... c Min unsat cost LB: 124170 ... c Min unsat cost LB: 124189 ... c Min unsat cost LB: 124337 ... c Min unsat cost LB: 124945 ... c Min unsat cost LB: 125086 ... c Min unsat cost LB: 125100 ... c Min unsat cost LB: 125234 ... c Min unsat cost LB: 125249 ... c Min unsat cost LB: 125387 ... c Min unsat cost LB: 125433 ... c Min unsat cost LB: 125435 ... c Min unsat cost LB: 125496 ... c Min unsat cost LB: 125815 ... c Min unsat cost LB: 125943 ... c Min unsat cost LB: 126004 ... c Min unsat cost LB: 126103 ... c Min unsat cost LB: 126850 ... c Min unsat cost LB: 127401 ... c Min unsat cost LB: 127500 ... c Min unsat cost LB: 127621 ... c Min unsat cost LB: 127657 ... c Min unsat cost LB: 128563 ... c Min unsat cost LB: 128835 ... c Min unsat cost LB: 128965 ... c Min unsat cost LB: 129330 ... c Min unsat cost LB: 129525 ... c Min unsat cost LB: 129616 ... c Min unsat cost LB: 129695 ... c Min unsat cost LB: 129797 ... c Min unsat cost LB: 129805 ... c Min unsat cost LB: 129821 ... c Min unsat cost LB: 129910 ... c Min unsat cost LB: 130444 ... c Min unsat cost LB: 130987 ... c Min unsat cost LB: 131063 ... c Min unsat cost LB: 131119 ... c Min unsat cost LB: 131202 ... c Min unsat cost LB: 131356 ... c Min unsat cost LB: 131406 ... c Min unsat cost LB: 131447 ... c Min unsat cost LB: 131848 ... c Min unsat cost LB: 131904 ... c Min unsat cost LB: 131924 ... c Min unsat cost LB: 131938 ... c Min unsat cost LB: 131940 ... c Min unsat cost LB: 131948 ... c Min unsat cost LB: 131957 ... c Min unsat cost LB: 131997 ... c Min unsat cost LB: 131999 ... c Min unsat cost LB: 132302 ... c Min unsat cost LB: 132321 ... c Min unsat cost LB: 132330 ... c Min unsat cost LB: 132394 ... c Min unsat cost LB: 133142 ... c Min unsat cost LB: 133241 ... c Min unsat cost LB: 133299 ... c Min unsat cost LB: 133317 ... c Min unsat cost LB: 133318 ... c Min unsat cost LB: 133807 ... c Min unsat cost LB: 133971 ... c Min unsat cost LB: 133972 ... c Min unsat cost LB: 133983 ... c Min unsat cost LB: 133984 ... c Min unsat cost LB: 133989 ... c Min unsat cost LB: 133999 ... c Min unsat cost LB: 134791 ... c Min unsat cost LB: 135167 ... c Min unsat cost LB: 135222 ... c Min unsat cost LB: 135345 ... c Min unsat cost LB: 135444 ... c Min unsat cost LB: 135502 ... c Min unsat cost LB: 135745 ... c Min unsat cost LB: 136111 ... c Min unsat cost LB: 136561 ... c Min unsat cost LB: 137174 ... c Min unsat cost LB: 137328 ... c Min unsat cost LB: 137420 ... c Min unsat cost LB: 138576 ... c Min unsat cost LB: 139079 ... c Min unsat cost LB: 139100 ... c Min unsat cost LB: 139198 ... c Min unsat cost LB: 140389 ... c Min unsat cost LB: 140598 ... c Min unsat cost LB: 140647 ... c Min unsat cost LB: 140840 ... c Min unsat cost LB: 141837 ... c Min unsat cost LB: 142073 ... c Min unsat cost LB: 142239 ... c Min unsat cost LB: 142807 ... c Min unsat cost LB: 142938 ... c Min unsat cost LB: 143393 ... c Min unsat cost LB: 144522 ... c Min unsat cost LB: 144970 ... c Min unsat cost LB: 145095 ... c Min unsat cost LB: 145170 ... c Min unsat cost LB: 145498 ... c Min unsat cost LB: 145513 ... c Min unsat cost LB: 146059 ... c Min unsat cost LB: 146093 ... c Min unsat cost LB: 146249 ... c Min unsat cost LB: 146468 ... c Min unsat cost LB: 146481 ... c Min unsat cost LB: 147152 ... c Min unsat cost LB: 147901 ... c Min unsat cost LB: 148022 ... c Min unsat cost LB: 148064 ... c Min unsat cost LB: 148360 ... c Min unsat cost LB: 148534 ... c Min unsat cost LB: 149013 ... c Min unsat cost LB: 149016 ... c Min unsat cost LB: 149134 ... c Min unsat cost LB: 149137 ... c Min unsat cost LB: 149156 ... c Min unsat cost LB: 149240 ... c Min unsat cost LB: 149428 ... c Min unsat cost LB: 149586 ... c Min unsat cost LB: 151007 ... c Min unsat cost LB: 151133 ... c Min unsat cost LB: 151176 ... c Min unsat cost LB: 151945 ... c Min unsat cost LB: 151970 ... c Min unsat cost LB: 151980 ... c Min unsat cost LB: 152070 ... c Min unsat cost LB: 152126 ... c Min unsat cost LB: 152414 ... c Min unsat cost LB: 152637 ... c Min unsat cost LB: 152665 ... c Min unsat cost LB: 152838 ... c Min unsat cost LB: 153403 ... c Min unsat cost LB: 154304 ... c Min unsat cost LB: 154798 ... c Min unsat cost LB: 154973 ... c Min unsat cost LB: 155530 ... c Min unsat cost LB: 155574 ... c Min unsat cost LB: 155781 ... c Min unsat cost LB: 155818 ... c Min unsat cost LB: 155820 ... c Min unsat cost LB: 156225 ... c Min unsat cost LB: 156425 ... c Min unsat cost LB: 156743 ... c Min unsat cost LB: 157087 ... c Min unsat cost LB: 157356 ... c Min unsat cost LB: 157369 ... c Min unsat cost LB: 157864 ... c Min unsat cost LB: 158054 ... c Min unsat cost LB: 158524 ... c Min unsat cost LB: 159121 ... c Min unsat cost LB: 159177 ... c Min unsat cost LB: 159773 ... c Min unsat cost LB: 159787 ... c Min unsat cost LB: 160067 ... c Min unsat cost LB: 160197 ... c Min unsat cost LB: 160200 ... c Min unsat cost LB: 160614 ... c Min unsat cost LB: 160650 ... c Min unsat cost LB: 160785 ... c Min unsat cost LB: 160966 ... c Min unsat cost LB: 161122 ... c Min unsat cost LB: 161333 ... c Min unsat cost LB: 161514 ... c Min unsat cost LB: 161961 ... c Min unsat cost LB: 161979 ... c Min unsat cost LB: 162232 ... c Min unsat cost LB: 162393 ... c Min unsat cost LB: 162508 ... c Min unsat cost LB: 162520 ... c Min unsat cost LB: 162528 ... c Min unsat cost LB: 162646 ... c Min unsat cost LB: 163014 ... c Min unsat cost LB: 163240 ... c Min unsat cost LB: 163509 ... c Min unsat cost LB: 163568 ... c Min unsat cost LB: 163642 ... c Min unsat cost LB: 163910 ... c Min unsat cost LB: 163928 ... c Min unsat cost LB: 163930 ... c Min unsat cost LB: 164304 ... c Min unsat cost LB: 164452 ... c Min unsat cost LB: 165069 ... c Min unsat cost LB: 165077 ... c Min unsat cost LB: 165292 ... c Min unsat cost LB: 165641 ... c Min unsat cost LB: 165732 ... c Min unsat cost LB: 166586 ... c Min unsat cost LB: 166609 ... c Min unsat cost LB: 166667 ... c Min unsat cost LB: 166751 ... c Min unsat cost LB: 166930 ... c Min unsat cost LB: 167000 ... c Min unsat cost LB: 167011 ... c Min unsat cost LB: 167162 ... c Min unsat cost LB: 167166 ... c Min unsat cost LB: 167167 ... c Min unsat cost LB: 167168 ... c Min unsat cost LB: 167185 ... c Min unsat cost LB: 167207 ... c Min unsat cost LB: 167221 ... c Min unsat cost LB: 167222 ... c Min unsat cost LB: 167226 ... c Min unsat cost LB: 167227 ... c Min unsat cost LB: 167233 ... c Min unsat cost LB: 167512 ... c Min unsat cost LB: 167751 ... c Min unsat cost LB: 167844 ... c Min unsat cost LB: 167960 ... c Min unsat cost LB: 168006 ... c Min unsat cost LB: 168779 ... c Min unsat cost LB: 169144 ... c Min unsat cost LB: 169701 ... c Min unsat cost LB: 169802 ... c Min unsat cost LB: 170353 ... c Min unsat cost LB: 170503 ... c Min unsat cost LB: 170513 ... c Min unsat cost LB: 170520 ... c Min unsat cost LB: 170561 ... c Min unsat cost LB: 170563 ... c Min unsat cost LB: 170568 ... c Min unsat cost LB: 170585 ... c Min unsat cost LB: 170587 ... c Min unsat cost LB: 170590 ... c Min unsat cost LB: 170594 ... c Min unsat cost LB: 170615 ... c Min unsat cost LB: 170630 ... c Min unsat cost LB: 171109 ... c Min unsat cost LB: 171189 ... c Min unsat cost LB: 171450 ... c Min unsat cost LB: 171555 ... c Min unsat cost LB: 171628 ... c Min unsat cost LB: 171696 ... c Min unsat cost LB: 171697 ... c Min unsat cost LB: 171706 ... c Min unsat cost LB: 171707 ... c Min unsat cost LB: 171708 ... c Min unsat cost LB: 171726 ... c Min unsat cost LB: 171807 ... c Min unsat cost LB: 171811 ... c Min unsat cost LB: 171821 ... c Min unsat cost LB: 171825 ... c Min unsat cost LB: 171826 ... c Min unsat cost LB: 171900 ... c Min unsat cost LB: 172398 ... c Min unsat cost LB: 172565 ... c Min unsat cost LB: 172883 ... c Min unsat cost LB: 173639 ... c Min unsat cost LB: 173717 ... c Min unsat cost LB: 174114 ... c Min unsat cost LB: 174891 ... c Min unsat cost LB: 174905 ... c Min unsat cost LB: 174912 ... c Min unsat cost LB: 174917 ... c Min unsat cost LB: 174976 ... c Min unsat cost LB: 174981 ... c Min unsat cost LB: 174984 ... c Min unsat cost LB: 175002 ... c Min unsat cost LB: 175017 ... c Min unsat cost LB: 175228 ... c Min unsat cost LB: 175243 ... c Min unsat cost LB: 175503 ... c Min unsat cost LB: 175627 ... c Min unsat cost LB: 175652 ... c Min unsat cost LB: 175654 ... c Min unsat cost LB: 175669 ... c Min unsat cost LB: 175690 ... c Min unsat cost LB: 175693 ... c Min unsat cost LB: 175706 ... c Min unsat cost LB: 175975 ... c Min unsat cost LB: 176421 ... c Min unsat cost LB: 176752 ... o 176752 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 c CPU Time: 34.5268 34.567u 0.115s 0:34.82 99.5% 0+0k 0+0io 0pf+0w