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-280-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-2.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-280-1_network-2.net.wcnf *** c c Min unsat cost LB: 70 ... c Min unsat cost LB: 1548 ... c Min unsat cost LB: 2559 ... c Min unsat cost LB: 3877 ... c Min unsat cost LB: 5517 ... c Min unsat cost LB: 6063 ... c Min unsat cost LB: 6806 ... c Min unsat cost LB: 8291 ... c Min unsat cost LB: 9588 ... c Min unsat cost LB: 11297 ... c Min unsat cost LB: 11958 ... c Min unsat cost LB: 12955 ... c Min unsat cost LB: 13013 ... c Min unsat cost LB: 14289 ... c Min unsat cost LB: 14755 ... c Min unsat cost LB: 15117 ... c Min unsat cost LB: 15454 ... c Min unsat cost LB: 16236 ... c Min unsat cost LB: 17460 ... c Min unsat cost LB: 18118 ... c Min unsat cost LB: 18918 ... c Min unsat cost LB: 19500 ... c Min unsat cost LB: 20075 ... c Min unsat cost LB: 20562 ... c Min unsat cost LB: 22251 ... c Min unsat cost LB: 22560 ... c Min unsat cost LB: 25156 ... c Min unsat cost LB: 25222 ... c Min unsat cost LB: 25602 ... c Min unsat cost LB: 27250 ... c Min unsat cost LB: 28935 ... c Min unsat cost LB: 29578 ... c Min unsat cost LB: 29864 ... c Min unsat cost LB: 30589 ... c Min unsat cost LB: 31534 ... c Min unsat cost LB: 33562 ... c Min unsat cost LB: 33816 ... c Min unsat cost LB: 34117 ... c Min unsat cost LB: 34365 ... c Min unsat cost LB: 35015 ... c Min unsat cost LB: 35685 ... c Min unsat cost LB: 35793 ... c Min unsat cost LB: 35943 ... c Min unsat cost LB: 37538 ... c Min unsat cost LB: 38977 ... c Min unsat cost LB: 39097 ... c Min unsat cost LB: 39434 ... c Min unsat cost LB: 39619 ... c Min unsat cost LB: 39798 ... c Min unsat cost LB: 40911 ... c Min unsat cost LB: 41663 ... c Min unsat cost LB: 42895 ... c Min unsat cost LB: 42904 ... c Min unsat cost LB: 44033 ... c Min unsat cost LB: 45652 ... c Min unsat cost LB: 46598 ... c Min unsat cost LB: 46625 ... c Min unsat cost LB: 48342 ... c Min unsat cost LB: 48626 ... c Min unsat cost LB: 48925 ... c Min unsat cost LB: 49374 ... c Min unsat cost LB: 50812 ... c Min unsat cost LB: 50936 ... c Min unsat cost LB: 52771 ... c Min unsat cost LB: 54326 ... c Min unsat cost LB: 54327 ... c Min unsat cost LB: 54901 ... c Min unsat cost LB: 55112 ... c Min unsat cost LB: 56347 ... c Min unsat cost LB: 56982 ... c Min unsat cost LB: 57718 ... c Min unsat cost LB: 57887 ... c Min unsat cost LB: 58708 ... c Min unsat cost LB: 59589 ... c Min unsat cost LB: 60231 ... c Min unsat cost LB: 60271 ... c Min unsat cost LB: 60280 ... c Min unsat cost LB: 60345 ... c Min unsat cost LB: 60393 ... c Min unsat cost LB: 60858 ... c Min unsat cost LB: 61161 ... c Min unsat cost LB: 61318 ... c Min unsat cost LB: 61342 ... c Min unsat cost LB: 61498 ... c Min unsat cost LB: 61597 ... c Min unsat cost LB: 61723 ... c Min unsat cost LB: 62271 ... c Min unsat cost LB: 62793 ... c Min unsat cost LB: 62937 ... c Min unsat cost LB: 63098 ... c Min unsat cost LB: 63297 ... c Min unsat cost LB: 63417 ... c Min unsat cost LB: 63717 ... c Min unsat cost LB: 64620 ... c Min unsat cost LB: 64704 ... c Min unsat cost LB: 64964 ... c Min unsat cost LB: 65472 ... c Min unsat cost LB: 65595 ... c Min unsat cost LB: 65934 ... c Min unsat cost LB: 66118 ... c Min unsat cost LB: 66171 ... c Min unsat cost LB: 66307 ... c Min unsat cost LB: 66590 ... c Min unsat cost LB: 67214 ... c Min unsat cost LB: 67768 ... c Min unsat cost LB: 68030 ... c Min unsat cost LB: 68031 ... c Min unsat cost LB: 68518 ... c Min unsat cost LB: 68666 ... c Min unsat cost LB: 68808 ... c Min unsat cost LB: 69165 ... c Min unsat cost LB: 69183 ... c Min unsat cost LB: 69496 ... c Min unsat cost LB: 69646 ... c Min unsat cost LB: 70924 ... c Min unsat cost LB: 71112 ... c Min unsat cost LB: 71548 ... c Min unsat cost LB: 71624 ... c Min unsat cost LB: 71812 ... c Min unsat cost LB: 72029 ... c Min unsat cost LB: 72090 ... c Min unsat cost LB: 72424 ... c Min unsat cost LB: 72699 ... c Min unsat cost LB: 72790 ... c Min unsat cost LB: 73009 ... c Min unsat cost LB: 73030 ... c Min unsat cost LB: 73143 ... c Min unsat cost LB: 73182 ... c Min unsat cost LB: 73429 ... c Min unsat cost LB: 74119 ... c Min unsat cost LB: 74257 ... c Min unsat cost LB: 74619 ... c Min unsat cost LB: 74635 ... c Min unsat cost LB: 74826 ... c Min unsat cost LB: 74901 ... c Min unsat cost LB: 75174 ... c Min unsat cost LB: 75361 ... c Min unsat cost LB: 76308 ... c Min unsat cost LB: 76521 ... c Min unsat cost LB: 77196 ... c Min unsat cost LB: 77382 ... c Min unsat cost LB: 78105 ... c Min unsat cost LB: 78149 ... c Min unsat cost LB: 78208 ... c Min unsat cost LB: 78277 ... c Min unsat cost LB: 78394 ... c Min unsat cost LB: 79179 ... c Min unsat cost LB: 79280 ... c Min unsat cost LB: 79295 ... c Min unsat cost LB: 79481 ... c Min unsat cost LB: 79758 ... c Min unsat cost LB: 79839 ... c Min unsat cost LB: 80563 ... c Min unsat cost LB: 80589 ... c Min unsat cost LB: 80879 ... c Min unsat cost LB: 81061 ... c Min unsat cost LB: 81130 ... c Min unsat cost LB: 81878 ... c Min unsat cost LB: 82015 ... c Min unsat cost LB: 82343 ... c Min unsat cost LB: 82612 ... c Min unsat cost LB: 82655 ... c Min unsat cost LB: 83026 ... c Min unsat cost LB: 83124 ... c Min unsat cost LB: 83179 ... c Min unsat cost LB: 83296 ... c Min unsat cost LB: 83537 ... c Min unsat cost LB: 84851 ... c Min unsat cost LB: 84933 ... c Min unsat cost LB: 86084 ... c Min unsat cost LB: 86146 ... c Min unsat cost LB: 86325 ... c Min unsat cost LB: 86656 ... c Min unsat cost LB: 86889 ... c Min unsat cost LB: 87489 ... c Min unsat cost LB: 87524 ... c Min unsat cost LB: 88794 ... c Min unsat cost LB: 88896 ... c Min unsat cost LB: 88909 ... c Min unsat cost LB: 88965 ... c Min unsat cost LB: 89146 ... c Min unsat cost LB: 89225 ... c Min unsat cost LB: 90081 ... c Min unsat cost LB: 90128 ... c Min unsat cost LB: 90483 ... c Min unsat cost LB: 90798 ... c Min unsat cost LB: 91474 ... c Min unsat cost LB: 91487 ... c Min unsat cost LB: 91510 ... c Min unsat cost LB: 93152 ... c Min unsat cost LB: 94319 ... c Min unsat cost LB: 94385 ... c Min unsat cost LB: 94478 ... c Min unsat cost LB: 94496 ... c Min unsat cost LB: 95657 ... c Min unsat cost LB: 95669 ... c Min unsat cost LB: 96577 ... c Min unsat cost LB: 96592 ... c Min unsat cost LB: 96606 ... c Min unsat cost LB: 96737 ... c Min unsat cost LB: 97181 ... c Min unsat cost LB: 97312 ... c Min unsat cost LB: 97827 ... c Min unsat cost LB: 98302 ... c Min unsat cost LB: 98322 ... c Min unsat cost LB: 98343 ... c Min unsat cost LB: 98712 ... c Min unsat cost LB: 98777 ... c Min unsat cost LB: 98798 ... c Min unsat cost LB: 99020 ... c Min unsat cost LB: 99445 ... c Min unsat cost LB: 99525 ... c Min unsat cost LB: 99898 ... c Min unsat cost LB: 99990 ... c Min unsat cost LB: 100048 ... c Min unsat cost LB: 100688 ... c Min unsat cost LB: 100775 ... c Min unsat cost LB: 101025 ... c Min unsat cost LB: 101097 ... c Min unsat cost LB: 101671 ... c Min unsat cost LB: 101988 ... c Min unsat cost LB: 102212 ... c Min unsat cost LB: 102305 ... c Min unsat cost LB: 102352 ... c Min unsat cost LB: 102401 ... c Min unsat cost LB: 102417 ... c Min unsat cost LB: 102562 ... c Min unsat cost LB: 103789 ... c Min unsat cost LB: 103798 ... c Min unsat cost LB: 104075 ... c Min unsat cost LB: 104326 ... c Min unsat cost LB: 104575 ... c Min unsat cost LB: 104799 ... c Min unsat cost LB: 105218 ... c Min unsat cost LB: 105844 ... c Min unsat cost LB: 105895 ... c Min unsat cost LB: 106395 ... c Min unsat cost LB: 106486 ... c Min unsat cost LB: 106588 ... c Min unsat cost LB: 106764 ... c Min unsat cost LB: 107141 ... c Min unsat cost LB: 107436 ... c Min unsat cost LB: 107825 ... c Min unsat cost LB: 108034 ... c Min unsat cost LB: 108314 ... c Min unsat cost LB: 108492 ... c Min unsat cost LB: 108580 ... c Min unsat cost LB: 108639 ... c Min unsat cost LB: 108686 ... c Min unsat cost LB: 108699 ... c Min unsat cost LB: 108943 ... c Min unsat cost LB: 109646 ... c Min unsat cost LB: 109986 ... c Min unsat cost LB: 110065 ... c Min unsat cost LB: 110482 ... c Min unsat cost LB: 110486 ... c Min unsat cost LB: 110676 ... c Min unsat cost LB: 110962 ... c Min unsat cost LB: 111065 ... c Min unsat cost LB: 111178 ... c Min unsat cost LB: 111186 ... c Min unsat cost LB: 111758 ... c Min unsat cost LB: 111948 ... c Min unsat cost LB: 111965 ... c Min unsat cost LB: 112197 ... c Min unsat cost LB: 112441 ... c Min unsat cost LB: 112618 ... c Min unsat cost LB: 113191 ... c Min unsat cost LB: 113471 ... c Min unsat cost LB: 113613 ... c Min unsat cost LB: 114318 ... c Min unsat cost LB: 114380 ... c Min unsat cost LB: 114504 ... c Min unsat cost LB: 114581 ... c Min unsat cost LB: 114677 ... c Min unsat cost LB: 114915 ... c Min unsat cost LB: 115817 ... c Min unsat cost LB: 115955 ... c Min unsat cost LB: 115957 ... c Min unsat cost LB: 116425 ... c Min unsat cost LB: 116495 ... c Min unsat cost LB: 116533 ... c Min unsat cost LB: 117521 ... c Min unsat cost LB: 117547 ... c Min unsat cost LB: 118261 ... c Min unsat cost LB: 118485 ... c Min unsat cost LB: 118509 ... c Min unsat cost LB: 119026 ... c Min unsat cost LB: 119469 ... c Min unsat cost LB: 119814 ... c Min unsat cost LB: 119863 ... c Min unsat cost LB: 120162 ... c Min unsat cost LB: 120352 ... c Min unsat cost LB: 120363 ... c Min unsat cost LB: 121046 ... c Min unsat cost LB: 121495 ... c Min unsat cost LB: 121996 ... c Min unsat cost LB: 122068 ... c Min unsat cost LB: 122177 ... c Min unsat cost LB: 122185 ... c Min unsat cost LB: 122940 ... c Min unsat cost LB: 123228 ... c Min unsat cost LB: 123312 ... c Min unsat cost LB: 123353 ... c Min unsat cost LB: 123426 ... c Min unsat cost LB: 123467 ... c Min unsat cost LB: 123953 ... c Min unsat cost LB: 124044 ... c Min unsat cost LB: 124425 ... c Min unsat cost LB: 124800 ... c Min unsat cost LB: 125364 ... c Min unsat cost LB: 125754 ... c Min unsat cost LB: 125974 ... c Min unsat cost LB: 126073 ... c Min unsat cost LB: 126154 ... c Min unsat cost LB: 126469 ... c Min unsat cost LB: 126494 ... c Min unsat cost LB: 126671 ... c Min unsat cost LB: 126964 ... c Min unsat cost LB: 127182 ... c Min unsat cost LB: 127189 ... c Min unsat cost LB: 127270 ... c Min unsat cost LB: 127532 ... c Min unsat cost LB: 128568 ... c Min unsat cost LB: 128626 ... c Min unsat cost LB: 128893 ... c Min unsat cost LB: 129098 ... c Min unsat cost LB: 129632 ... c Min unsat cost LB: 129712 ... c Min unsat cost LB: 130124 ... c Min unsat cost LB: 130218 ... c Min unsat cost LB: 130242 ... c Min unsat cost LB: 130825 ... c Min unsat cost LB: 131528 ... c Min unsat cost LB: 131944 ... c Min unsat cost LB: 132489 ... c Min unsat cost LB: 132527 ... c Min unsat cost LB: 132816 ... c Min unsat cost LB: 132855 ... c Min unsat cost LB: 132894 ... c Min unsat cost LB: 132915 ... c Min unsat cost LB: 132986 ... c Min unsat cost LB: 133038 ... c Min unsat cost LB: 134268 ... c Min unsat cost LB: 134277 ... c Min unsat cost LB: 134391 ... c Min unsat cost LB: 134999 ... c Min unsat cost LB: 135010 ... c Min unsat cost LB: 135070 ... c Min unsat cost LB: 135400 ... c Min unsat cost LB: 135545 ... c Min unsat cost LB: 136541 ... c Min unsat cost LB: 136542 ... c Min unsat cost LB: 136610 ... c Min unsat cost LB: 136694 ... c Min unsat cost LB: 136696 ... c Min unsat cost LB: 136853 ... c Min unsat cost LB: 137006 ... c Min unsat cost LB: 137241 ... c Min unsat cost LB: 138018 ... c Min unsat cost LB: 138339 ... c Min unsat cost LB: 138525 ... c Min unsat cost LB: 138604 ... c Min unsat cost LB: 138822 ... c Min unsat cost LB: 139073 ... c Min unsat cost LB: 139168 ... c Min unsat cost LB: 139224 ... c Min unsat cost LB: 139441 ... c Min unsat cost LB: 139654 ... c Min unsat cost LB: 139749 ... c Min unsat cost LB: 139969 ... c Min unsat cost LB: 140211 ... c Min unsat cost LB: 140294 ... c Min unsat cost LB: 140627 ... c Min unsat cost LB: 140713 ... c Min unsat cost LB: 141039 ... c Min unsat cost LB: 141094 ... c Min unsat cost LB: 141215 ... c Min unsat cost LB: 141541 ... c Min unsat cost LB: 141886 ... c Min unsat cost LB: 142803 ... c Min unsat cost LB: 142869 ... c Min unsat cost LB: 142917 ... c Min unsat cost LB: 142960 ... c Min unsat cost LB: 143867 ... c Min unsat cost LB: 144287 ... c Min unsat cost LB: 144595 ... c Min unsat cost LB: 144875 ... c Min unsat cost LB: 145007 ... c Min unsat cost LB: 145186 ... c Min unsat cost LB: 145305 ... c Min unsat cost LB: 145443 ... c Min unsat cost LB: 145454 ... c Min unsat cost LB: 145546 ... c Min unsat cost LB: 145594 ... c Min unsat cost LB: 146509 ... c Min unsat cost LB: 147054 ... c Min unsat cost LB: 147569 ... c Min unsat cost LB: 147875 ... c Min unsat cost LB: 147902 ... c Min unsat cost LB: 148471 ... c Min unsat cost LB: 149177 ... c Min unsat cost LB: 149247 ... c Min unsat cost LB: 149418 ... c Min unsat cost LB: 149470 ... c Min unsat cost LB: 149694 ... c Min unsat cost LB: 149785 ... c Min unsat cost LB: 150020 ... c Min unsat cost LB: 150920 ... c Min unsat cost LB: 151196 ... c Min unsat cost LB: 151372 ... c Min unsat cost LB: 152019 ... c Min unsat cost LB: 152472 ... c Min unsat cost LB: 152661 ... c Min unsat cost LB: 153779 ... c Min unsat cost LB: 153885 ... c Min unsat cost LB: 153929 ... c Min unsat cost LB: 154080 ... c Min unsat cost LB: 154326 ... c Min unsat cost LB: 154401 ... c Min unsat cost LB: 154707 ... c Min unsat cost LB: 156032 ... c Min unsat cost LB: 156199 ... c Min unsat cost LB: 156546 ... c Min unsat cost LB: 156722 ... c Min unsat cost LB: 156867 ... c Min unsat cost LB: 156978 ... c Min unsat cost LB: 157351 ... c Min unsat cost LB: 157538 ... c Min unsat cost LB: 157740 ... c Min unsat cost LB: 157899 ... c Min unsat cost LB: 158238 ... c Min unsat cost LB: 158298 ... c Min unsat cost LB: 159247 ... c Min unsat cost LB: 159629 ... c Min unsat cost LB: 159779 ... c Min unsat cost LB: 160221 ... c Min unsat cost LB: 160252 ... c Min unsat cost LB: 160289 ... c Min unsat cost LB: 160422 ... c Min unsat cost LB: 160442 ... c Min unsat cost LB: 160558 ... c Min unsat cost LB: 161649 ... c Min unsat cost LB: 161729 ... c Min unsat cost LB: 162608 ... c Min unsat cost LB: 162907 ... c Min unsat cost LB: 163114 ... c Min unsat cost LB: 163256 ... c Min unsat cost LB: 163374 ... c Min unsat cost LB: 163757 ... c Min unsat cost LB: 163765 ... c Min unsat cost LB: 163832 ... c Min unsat cost LB: 163895 ... c Min unsat cost LB: 164006 ... c Min unsat cost LB: 164627 ... c Min unsat cost LB: 164717 ... c Min unsat cost LB: 165519 ... c Min unsat cost LB: 165547 ... c Min unsat cost LB: 165671 ... c Min unsat cost LB: 165714 ... c Min unsat cost LB: 165925 ... c Min unsat cost LB: 166026 ... c Min unsat cost LB: 166364 ... c Min unsat cost LB: 166392 ... c Min unsat cost LB: 166689 ... c Min unsat cost LB: 166725 ... c Min unsat cost LB: 166778 ... c Min unsat cost LB: 166943 ... c Min unsat cost LB: 167326 ... c Min unsat cost LB: 167427 ... c Min unsat cost LB: 167638 ... c Min unsat cost LB: 167662 ... c Min unsat cost LB: 167725 ... c Min unsat cost LB: 167772 ... c Min unsat cost LB: 167791 ... c Min unsat cost LB: 167834 ... c Min unsat cost LB: 167969 ... c Min unsat cost LB: 168314 ... c Min unsat cost LB: 168442 ... c Min unsat cost LB: 168723 ... c Min unsat cost LB: 168978 ... c Min unsat cost LB: 169015 ... c Min unsat cost LB: 169036 ... c Min unsat cost LB: 169076 ... c Min unsat cost LB: 169376 ... c Min unsat cost LB: 169404 ... c Min unsat cost LB: 169452 ... c Min unsat cost LB: 169505 ... c Min unsat cost LB: 169545 ... c Min unsat cost LB: 169551 ... c Min unsat cost LB: 169566 ... c Min unsat cost LB: 169679 ... c Min unsat cost LB: 169741 ... c Min unsat cost LB: 169761 ... c Min unsat cost LB: 169819 ... c Min unsat cost LB: 169837 ... c Min unsat cost LB: 169863 ... c Min unsat cost LB: 169892 ... c Min unsat cost LB: 170025 ... c Min unsat cost LB: 171007 ... c Min unsat cost LB: 171150 ... c Min unsat cost LB: 171370 ... c Min unsat cost LB: 171464 ... c Min unsat cost LB: 171633 ... c Min unsat cost LB: 171904 ... c Min unsat cost LB: 172075 ... c Min unsat cost LB: 172482 ... c Min unsat cost LB: 172599 ... c Min unsat cost LB: 172932 ... c Min unsat cost LB: 173331 ... c Min unsat cost LB: 173918 ... c Min unsat cost LB: 174578 ... c Min unsat cost LB: 174809 ... c Min unsat cost LB: 175003 ... c Min unsat cost LB: 175669 ... c Min unsat cost LB: 175671 ... c Min unsat cost LB: 176001 ... c Min unsat cost LB: 176133 ... c Min unsat cost LB: 176760 ... c Min unsat cost LB: 177531 ... c Min unsat cost LB: 177893 ... c Min unsat cost LB: 178011 ... c Min unsat cost LB: 178044 ... c Min unsat cost LB: 178258 ... c Min unsat cost LB: 178259 ... c Min unsat cost LB: 178263 ... c Min unsat cost LB: 178436 ... c Min unsat cost LB: 178465 ... c Min unsat cost LB: 178903 ... c Min unsat cost LB: 179734 ... c Min unsat cost LB: 180095 ... c Min unsat cost LB: 180190 ... c Min unsat cost LB: 180200 ... c Min unsat cost LB: 180476 ... c Min unsat cost LB: 180719 ... c Min unsat cost LB: 180816 ... c Min unsat cost LB: 180930 ... c Min unsat cost LB: 181493 ... c Min unsat cost LB: 182105 ... c Min unsat cost LB: 182308 ... c Min unsat cost LB: 182920 ... c Min unsat cost LB: 182978 ... c Min unsat cost LB: 183124 ... c Min unsat cost LB: 183130 ... c Min unsat cost LB: 183140 ... c Min unsat cost LB: 183641 ... c Min unsat cost LB: 183740 ... c Min unsat cost LB: 183750 ... c Min unsat cost LB: 184147 ... c Min unsat cost LB: 184513 ... c Min unsat cost LB: 184553 ... c Min unsat cost LB: 184801 ... c Min unsat cost LB: 185104 ... c Min unsat cost LB: 185631 ... c Min unsat cost LB: 186034 ... c Min unsat cost LB: 187390 ... c Min unsat cost LB: 187492 ... c Min unsat cost LB: 187736 ... c Min unsat cost LB: 187745 ... c Min unsat cost LB: 187865 ... c Min unsat cost LB: 189394 ... c Min unsat cost LB: 189563 ... c Min unsat cost LB: 190027 ... c Min unsat cost LB: 190158 ... c Min unsat cost LB: 191181 ... c Min unsat cost LB: 191372 ... c Min unsat cost LB: 191577 ... c Min unsat cost LB: 192126 ... c Min unsat cost LB: 192233 ... c Min unsat cost LB: 192444 ... c Min unsat cost LB: 192499 ... c Min unsat cost LB: 192551 ... c Min unsat cost LB: 192935 ... c Min unsat cost LB: 193062 ... c Min unsat cost LB: 193152 ... c Min unsat cost LB: 193411 ... c Min unsat cost LB: 193464 ... c Min unsat cost LB: 193472 ... c Min unsat cost LB: 194244 ... c Min unsat cost LB: 195715 ... c Min unsat cost LB: 195791 ... c Min unsat cost LB: 196057 ... c Min unsat cost LB: 196112 ... c Min unsat cost LB: 196275 ... c Min unsat cost LB: 196546 ... c Min unsat cost LB: 196991 ... c Min unsat cost LB: 197194 ... c Min unsat cost LB: 197253 ... c Min unsat cost LB: 197917 ... c Min unsat cost LB: 197993 ... c Min unsat cost LB: 198073 ... c Min unsat cost LB: 198707 ... c Min unsat cost LB: 198959 ... c Min unsat cost LB: 199439 ... c Min unsat cost LB: 199613 ... c Min unsat cost LB: 199639 ... c Min unsat cost LB: 200393 ... c Min unsat cost LB: 200565 ... c Min unsat cost LB: 200656 ... c Min unsat cost LB: 200886 ... c Min unsat cost LB: 200902 ... c Min unsat cost LB: 201247 ... c Min unsat cost LB: 201285 ... c Min unsat cost LB: 201385 ... c Min unsat cost LB: 201460 ... c Min unsat cost LB: 201476 ... c Min unsat cost LB: 201521 ... c Min unsat cost LB: 201560 ... c Min unsat cost LB: 201813 ... c Min unsat cost LB: 201922 ... c Min unsat cost LB: 201976 ... c Min unsat cost LB: 202098 ... c Min unsat cost LB: 202661 ... c Min unsat cost LB: 202741 ... c Min unsat cost LB: 202748 ... c Min unsat cost LB: 202749 ... c Min unsat cost LB: 202789 ... c Min unsat cost LB: 202927 ... c Min unsat cost LB: 203359 ... c Min unsat cost LB: 203528 ... c Min unsat cost LB: 203882 ... c Min unsat cost LB: 203967 ... c Min unsat cost LB: 204470 ... c Min unsat cost LB: 205330 ... c Min unsat cost LB: 205581 ... c Min unsat cost LB: 205945 ... c Min unsat cost LB: 205952 ... c Min unsat cost LB: 206077 ... c Min unsat cost LB: 206328 ... c Min unsat cost LB: 206970 ... c Min unsat cost LB: 207246 ... c Min unsat cost LB: 207522 ... c Min unsat cost LB: 207531 ... c Min unsat cost LB: 207635 ... c Min unsat cost LB: 207656 ... c Min unsat cost LB: 207663 ... c Min unsat cost LB: 207672 ... c Min unsat cost LB: 207845 ... c Min unsat cost LB: 207854 ... c Min unsat cost LB: 207948 ... c Min unsat cost LB: 208892 ... c Min unsat cost LB: 209011 ... c Min unsat cost LB: 209024 ... c Min unsat cost LB: 209057 ... c Min unsat cost LB: 209078 ... c Min unsat cost LB: 209108 ... c Min unsat cost LB: 209133 ... c Min unsat cost LB: 209134 ... c Min unsat cost LB: 209233 ... c Min unsat cost LB: 209245 ... c Min unsat cost LB: 209417 ... c Min unsat cost LB: 209567 ... c Min unsat cost LB: 210049 ... c Min unsat cost LB: 210451 ... c Min unsat cost LB: 210693 ... c Min unsat cost LB: 211625 ... c Min unsat cost LB: 212041 ... c Min unsat cost LB: 212423 ... c Min unsat cost LB: 212581 ... c Min unsat cost LB: 212678 ... c Min unsat cost LB: 212779 ... c Min unsat cost LB: 212934 ... c Min unsat cost LB: 213124 ... c Min unsat cost LB: 213265 ... c Min unsat cost LB: 213518 ... c Min unsat cost LB: 213602 ... c Min unsat cost LB: 213941 ... c Min unsat cost LB: 214103 ... c Min unsat cost LB: 214232 ... c Min unsat cost LB: 214341 ... c Min unsat cost LB: 214508 ... c Min unsat cost LB: 214621 ... c Min unsat cost LB: 214708 ... c Min unsat cost LB: 214776 ... c Min unsat cost LB: 215044 ... c Min unsat cost LB: 215050 ... c Min unsat cost LB: 215082 ... c Min unsat cost LB: 215164 ... c Min unsat cost LB: 215910 ... c Min unsat cost LB: 215997 ... c Min unsat cost LB: 216070 ... c Min unsat cost LB: 216075 ... c Min unsat cost LB: 216111 ... c Min unsat cost LB: 216739 ... c Min unsat cost LB: 216769 ... c Min unsat cost LB: 216883 ... c Min unsat cost LB: 217443 ... c Min unsat cost LB: 217544 ... c Min unsat cost LB: 217625 ... c Min unsat cost LB: 217630 ... c Min unsat cost LB: 217750 ... c Min unsat cost LB: 217864 ... c Min unsat cost LB: 218471 ... c Min unsat cost LB: 218652 ... c Min unsat cost LB: 218712 ... c Min unsat cost LB: 219259 ... c Min unsat cost LB: 219884 ... c Min unsat cost LB: 219915 ... c Min unsat cost LB: 220132 ... c Min unsat cost LB: 220142 ... c Min unsat cost LB: 220145 ... c Min unsat cost LB: 220154 ... c Min unsat cost LB: 220157 ... c Min unsat cost LB: 220193 ... c Min unsat cost LB: 220293 ... c Min unsat cost LB: 220311 ... c Min unsat cost LB: 220912 ... c Min unsat cost LB: 221176 ... c Min unsat cost LB: 221222 ... c Min unsat cost LB: 221298 ... c Min unsat cost LB: 221606 ... c Min unsat cost LB: 221952 ... c Min unsat cost LB: 222022 ... c Min unsat cost LB: 222132 ... c Min unsat cost LB: 222658 ... c Min unsat cost LB: 223083 ... c Min unsat cost LB: 223406 ... c Min unsat cost LB: 223427 ... c Min unsat cost LB: 223533 ... c Min unsat cost LB: 223543 ... c Min unsat cost LB: 223955 ... c Min unsat cost LB: 224221 ... c Min unsat cost LB: 224286 ... c Min unsat cost LB: 224291 ... c Min unsat cost LB: 224307 ... c Min unsat cost LB: 224888 ... c Min unsat cost LB: 224977 ... c Min unsat cost LB: 225016 ... c Min unsat cost LB: 225028 ... c Min unsat cost LB: 225056 ... c Min unsat cost LB: 225122 ... c Min unsat cost LB: 225939 ... c Min unsat cost LB: 226758 ... c Min unsat cost LB: 226765 ... c Min unsat cost LB: 226942 ... c Min unsat cost LB: 227276 ... c Min unsat cost LB: 228003 ... c Min unsat cost LB: 228128 ... c Min unsat cost LB: 228673 ... c Min unsat cost LB: 228781 ... c Min unsat cost LB: 229195 ... c Min unsat cost LB: 229353 ... c Min unsat cost LB: 229882 ... c Min unsat cost LB: 230129 ... c Min unsat cost LB: 231039 ... c Min unsat cost LB: 231225 ... c Min unsat cost LB: 231359 ... c Min unsat cost LB: 231413 ... c Min unsat cost LB: 231611 ... c Min unsat cost LB: 231675 ... c Min unsat cost LB: 231709 ... c Min unsat cost LB: 232064 ... c Min unsat cost LB: 232164 ... c Min unsat cost LB: 232167 ... c Min unsat cost LB: 233116 ... c Min unsat cost LB: 233131 ... c Min unsat cost LB: 233330 ... c Min unsat cost LB: 233460 ... c Min unsat cost LB: 233969 ... c Min unsat cost LB: 234427 ... c Min unsat cost LB: 234486 ... c Min unsat cost LB: 234830 ... c Min unsat cost LB: 235106 ... c Min unsat cost LB: 235245 ... c Min unsat cost LB: 235534 ... c Min unsat cost LB: 235754 ... c Min unsat cost LB: 236124 ... c Min unsat cost LB: 236213 ... c Min unsat cost LB: 236329 ... c Min unsat cost LB: 236356 ... c Min unsat cost LB: 236430 ... c Min unsat cost LB: 236489 ... c Min unsat cost LB: 236557 ... c Min unsat cost LB: 236563 ... c Min unsat cost LB: 236574 ... c Min unsat cost LB: 236595 ... c Min unsat cost LB: 236726 ... c Min unsat cost LB: 237114 ... c Min unsat cost LB: 237135 ... c Min unsat cost LB: 237144 ... c Min unsat cost LB: 237248 ... c Min unsat cost LB: 237279 ... c Min unsat cost LB: 237283 ... c Min unsat cost LB: 237382 ... c Min unsat cost LB: 237428 ... c Min unsat cost LB: 237441 ... c Min unsat cost LB: 237798 ... c Min unsat cost LB: 238432 ... c Min unsat cost LB: 238564 ... c Min unsat cost LB: 238596 ... c Min unsat cost LB: 238632 ... c Min unsat cost LB: 238664 ... c Min unsat cost LB: 238670 ... c Min unsat cost LB: 239707 ... c Min unsat cost LB: 239826 ... c Min unsat cost LB: 239927 ... c Min unsat cost LB: 240516 ... c Min unsat cost LB: 240670 ... c Min unsat cost LB: 240800 ... c Min unsat cost LB: 241448 ... c Min unsat cost LB: 241803 ... c Min unsat cost LB: 241835 ... c Min unsat cost LB: 241843 ... c Min unsat cost LB: 242087 ... c Min unsat cost LB: 242780 ... c Min unsat cost LB: 242941 ... c Min unsat cost LB: 243114 ... c Min unsat cost LB: 243469 ... c Min unsat cost LB: 244234 ... c Min unsat cost LB: 244350 ... c Min unsat cost LB: 245210 ... c Min unsat cost LB: 245227 ... c Min unsat cost LB: 245264 ... c Min unsat cost LB: 245653 ... c Min unsat cost LB: 246353 ... c Min unsat cost LB: 246427 ... c Min unsat cost LB: 246531 ... c Min unsat cost LB: 247075 ... c Min unsat cost LB: 247083 ... c Min unsat cost LB: 247443 ... c Min unsat cost LB: 247736 ... c Min unsat cost LB: 248264 ... c Min unsat cost LB: 248485 ... c Min unsat cost LB: 249013 ... c Min unsat cost LB: 249061 ... c Min unsat cost LB: 249120 ... c Min unsat cost LB: 249302 ... c Min unsat cost LB: 249684 ... c Min unsat cost LB: 250269 ... c Min unsat cost LB: 250270 ... c Min unsat cost LB: 250272 ... c Min unsat cost LB: 250335 ... c Min unsat cost LB: 250350 ... c Min unsat cost LB: 250357 ... c Min unsat cost LB: 250374 ... c Min unsat cost LB: 250441 ... c Min unsat cost LB: 250447 ... c Min unsat cost LB: 250458 ... c Min unsat cost LB: 250471 ... c Min unsat cost LB: 250487 ... c Min unsat cost LB: 250495 ... c Min unsat cost LB: 250496 ... c Min unsat cost LB: 250978 ... c Min unsat cost LB: 251152 ... c Min unsat cost LB: 251153 ... c Min unsat cost LB: 251154 ... c Min unsat cost LB: 251249 ... c Min unsat cost LB: 251350 ... c Min unsat cost LB: 251365 ... c Min unsat cost LB: 251388 ... c Min unsat cost LB: 251651 ... c Min unsat cost LB: 251691 ... c Min unsat cost LB: 251890 ... c Min unsat cost LB: 251892 ... c Min unsat cost LB: 251900 ... c Min unsat cost LB: 251909 ... c Min unsat cost LB: 251915 ... c Min unsat cost LB: 251916 ... c Min unsat cost LB: 251921 ... c Min unsat cost LB: 251922 ... c Min unsat cost LB: 251923 ... c Min unsat cost LB: 251930 ... c Min unsat cost LB: 251938 ... c Min unsat cost LB: 251941 ... c Min unsat cost LB: 251945 ... c Min unsat cost LB: 251946 ... c Min unsat cost LB: 251947 ... c Min unsat cost LB: 251966 ... c Min unsat cost LB: 251991 ... c Min unsat cost LB: 251996 ... c Min unsat cost LB: 251998 ... c Min unsat cost LB: 251999 ... c Min unsat cost LB: 252018 ... c Min unsat cost LB: 252020 ... c Min unsat cost LB: 252023 ... c Min unsat cost LB: 252025 ... c Min unsat cost LB: 252027 ... c Min unsat cost LB: 252029 ... c Min unsat cost LB: 252033 ... c Min unsat cost LB: 252034 ... c Min unsat cost LB: 252037 ... c Min unsat cost LB: 252038 ... c Min unsat cost LB: 252039 ... c Min unsat cost LB: 252201 ... c Min unsat cost LB: 252901 ... c Min unsat cost LB: 253415 ... c Min unsat cost LB: 253546 ... c Min unsat cost LB: 253808 ... c Min unsat cost LB: 254265 ... c Min unsat cost LB: 254350 ... c Min unsat cost LB: 254381 ... c Min unsat cost LB: 254398 ... c Min unsat cost LB: 254399 ... c Min unsat cost LB: 254417 ... c Min unsat cost LB: 254443 ... c Min unsat cost LB: 254978 ... c Min unsat cost LB: 254998 ... c Min unsat cost LB: 255024 ... c Min unsat cost LB: 255029 ... c Min unsat cost LB: 255063 ... c Min unsat cost LB: 255079 ... c Min unsat cost LB: 255100 ... c Min unsat cost LB: 255432 ... c Min unsat cost LB: 255449 ... c Min unsat cost LB: 255479 ... c Min unsat cost LB: 255484 ... c Min unsat cost LB: 255502 ... c Min unsat cost LB: 255551 ... c Min unsat cost LB: 255562 ... c Min unsat cost LB: 255563 ... c Min unsat cost LB: 255582 ... c Min unsat cost LB: 255587 ... c Min unsat cost LB: 255603 ... c Min unsat cost LB: 255613 ... c Min unsat cost LB: 255623 ... c Min unsat cost LB: 255639 ... c Min unsat cost LB: 255644 ... c Min unsat cost LB: 255648 ... c Min unsat cost LB: 255682 ... c Min unsat cost LB: 255692 ... c Min unsat cost LB: 255696 ... c Min unsat cost LB: 255702 ... c Min unsat cost LB: 255708 ... c Min unsat cost LB: 255710 ... c Min unsat cost LB: 255727 ... c Min unsat cost LB: 255784 ... c Min unsat cost LB: 255790 ... c Min unsat cost LB: 255794 ... c Min unsat cost LB: 255795 ... c Min unsat cost LB: 255800 ... c Min unsat cost LB: 255804 ... c Min unsat cost LB: 255812 ... c Min unsat cost LB: 255817 ... c Min unsat cost LB: 255822 ... c Min unsat cost LB: 255823 ... c Min unsat cost LB: 255826 ... c Min unsat cost LB: 255827 ... c Min unsat cost LB: 255832 ... c Min unsat cost LB: 255833 ... c Min unsat cost LB: 255834 ... c Min unsat cost LB: 255841 ... c Min unsat cost LB: 255842 ... c Min unsat cost LB: 255844 ... c Min unsat cost LB: 255845 ... c Min unsat cost LB: 255849 ... c Min unsat cost LB: 255850 ... c Min unsat cost LB: 255851 ... c Min unsat cost LB: 255854 ... c Min unsat cost LB: 255855 ... c Min unsat cost LB: 255860 ... c Min unsat cost LB: 255861 ... c Min unsat cost LB: 255862 ... c Min unsat cost LB: 255863 ... c Min unsat cost LB: 255865 ... c Min unsat cost LB: 255867 ... c Min unsat cost LB: 255868 ... c Min unsat cost LB: 255869 ... c Min unsat cost LB: 255870 ... c Min unsat cost LB: 255871 ... c Min unsat cost LB: 255908 ... c Min unsat cost LB: 256142 ... c Min unsat cost LB: 256587 ... c Min unsat cost LB: 257385 ... c Min unsat cost LB: 257397 ... c Min unsat cost LB: 257692 ... c Min unsat cost LB: 257724 ... c Min unsat cost LB: 257758 ... c Min unsat cost LB: 257940 ... c Min unsat cost LB: 258019 ... c Min unsat cost LB: 258031 ... c Min unsat cost LB: 258604 ... c Min unsat cost LB: 258789 ... c Min unsat cost LB: 259654 ... c Min unsat cost LB: 259846 ... c Min unsat cost LB: 260142 ... c Min unsat cost LB: 260201 ... c Min unsat cost LB: 260202 ... c Min unsat cost LB: 260228 ... c Min unsat cost LB: 260305 ... c Min unsat cost LB: 260326 ... c Min unsat cost LB: 260371 ... c Min unsat cost LB: 260429 ... c Min unsat cost LB: 260430 ... c Min unsat cost LB: 260452 ... c Min unsat cost LB: 260453 ... c Min unsat cost LB: 260474 ... c Min unsat cost LB: 260479 ... c Min unsat cost LB: 260482 ... c Min unsat cost LB: 260530 ... c Min unsat cost LB: 261443 ... c Min unsat cost LB: 261784 ... c Min unsat cost LB: 261927 ... c Min unsat cost LB: 261928 ... c Min unsat cost LB: 261929 ... c Min unsat cost LB: 262748 ... c Min unsat cost LB: 262892 ... c Min unsat cost LB: 263037 ... c Min unsat cost LB: 263165 ... c Min unsat cost LB: 263181 ... c Min unsat cost LB: 26318Killed 1818.405u 1.366s 30:22.49 99.8% 0+0k 0+0io 0pf+0w