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-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-4.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-4.net.wcnf *** c c Min unsat cost LB: 1261 ... c Min unsat cost LB: 1772 ... c Min unsat cost LB: 3687 ... c Min unsat cost LB: 4855 ... c Min unsat cost LB: 6968 ... c Min unsat cost LB: 6982 ... c Min unsat cost LB: 8820 ... c Min unsat cost LB: 8912 ... c Min unsat cost LB: 11163 ... c Min unsat cost LB: 12573 ... c Min unsat cost LB: 14163 ... c Min unsat cost LB: 14908 ... c Min unsat cost LB: 15907 ... c Min unsat cost LB: 15963 ... c Min unsat cost LB: 16619 ... c Min unsat cost LB: 16732 ... c Min unsat cost LB: 17518 ... c Min unsat cost LB: 17849 ... c Min unsat cost LB: 18106 ... c Min unsat cost LB: 19000 ... c Min unsat cost LB: 19319 ... c Min unsat cost LB: 20010 ... c Min unsat cost LB: 20575 ... c Min unsat cost LB: 20674 ... c Min unsat cost LB: 20836 ... c Min unsat cost LB: 21336 ... c Min unsat cost LB: 22488 ... c Min unsat cost LB: 22606 ... c Min unsat cost LB: 22647 ... c Min unsat cost LB: 24581 ... c Min unsat cost LB: 25319 ... c Min unsat cost LB: 25641 ... c Min unsat cost LB: 26789 ... c Min unsat cost LB: 28429 ... c Min unsat cost LB: 28560 ... c Min unsat cost LB: 29697 ... c Min unsat cost LB: 29984 ... c Min unsat cost LB: 31091 ... c Min unsat cost LB: 32268 ... c Min unsat cost LB: 32981 ... c Min unsat cost LB: 33192 ... c Min unsat cost LB: 34231 ... c Min unsat cost LB: 35590 ... c Min unsat cost LB: 36890 ... c Min unsat cost LB: 36919 ... c Min unsat cost LB: 37329 ... c Min unsat cost LB: 37828 ... c Min unsat cost LB: 38436 ... c Min unsat cost LB: 38817 ... c Min unsat cost LB: 38834 ... c Min unsat cost LB: 38947 ... c Min unsat cost LB: 39369 ... c Min unsat cost LB: 41241 ... c Min unsat cost LB: 41322 ... c Min unsat cost LB: 41656 ... c Min unsat cost LB: 42151 ... c Min unsat cost LB: 42164 ... c Min unsat cost LB: 42365 ... c Min unsat cost LB: 42910 ... c Min unsat cost LB: 42949 ... c Min unsat cost LB: 43169 ... c Min unsat cost LB: 43211 ... c Min unsat cost LB: 43390 ... c Min unsat cost LB: 43496 ... c Min unsat cost LB: 43632 ... c Min unsat cost LB: 44108 ... c Min unsat cost LB: 44398 ... c Min unsat cost LB: 45334 ... c Min unsat cost LB: 45903 ... c Min unsat cost LB: 46205 ... c Min unsat cost LB: 46593 ... c Min unsat cost LB: 47155 ... c Min unsat cost LB: 47212 ... c Min unsat cost LB: 47223 ... c Min unsat cost LB: 47410 ... c Min unsat cost LB: 47518 ... c Min unsat cost LB: 47844 ... c Min unsat cost LB: 47865 ... c Min unsat cost LB: 48707 ... c Min unsat cost LB: 49066 ... c Min unsat cost LB: 49478 ... c Min unsat cost LB: 50036 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50965 ... c Min unsat cost LB: 51269 ... c Min unsat cost LB: 51315 ... c Min unsat cost LB: 51939 ... c Min unsat cost LB: 52608 ... c Min unsat cost LB: 52902 ... c Min unsat cost LB: 53074 ... c Min unsat cost LB: 53252 ... c Min unsat cost LB: 53492 ... c Min unsat cost LB: 53989 ... c Min unsat cost LB: 54290 ... c Min unsat cost LB: 54883 ... c Min unsat cost LB: 55466 ... c Min unsat cost LB: 56160 ... c Min unsat cost LB: 56508 ... c Min unsat cost LB: 56514 ... c Min unsat cost LB: 56628 ... c Min unsat cost LB: 56914 ... c Min unsat cost LB: 57424 ... c Min unsat cost LB: 57696 ... c Min unsat cost LB: 57994 ... c Min unsat cost LB: 58034 ... c Min unsat cost LB: 58927 ... c Min unsat cost LB: 59104 ... c Min unsat cost LB: 59407 ... c Min unsat cost LB: 59623 ... c Min unsat cost LB: 59675 ... c Min unsat cost LB: 60257 ... c Min unsat cost LB: 60667 ... c Min unsat cost LB: 61378 ... c Min unsat cost LB: 61618 ... c Min unsat cost LB: 62906 ... c Min unsat cost LB: 63202 ... c Min unsat cost LB: 63593 ... c Min unsat cost LB: 63979 ... c Min unsat cost LB: 64491 ... c Min unsat cost LB: 64500 ... c Min unsat cost LB: 64687 ... c Min unsat cost LB: 64984 ... c Min unsat cost LB: 65036 ... c Min unsat cost LB: 65073 ... c Min unsat cost LB: 65503 ... c Min unsat cost LB: 65650 ... c Min unsat cost LB: 65696 ... c Min unsat cost LB: 65802 ... c Min unsat cost LB: 65859 ... c Min unsat cost LB: 66980 ... c Min unsat cost LB: 67018 ... c Min unsat cost LB: 68189 ... c Min unsat cost LB: 68381 ... c Min unsat cost LB: 68519 ... c Min unsat cost LB: 68605 ... c Min unsat cost LB: 68712 ... c Min unsat cost LB: 68719 ... c Min unsat cost LB: 68949 ... c Min unsat cost LB: 68987 ... c Min unsat cost LB: 69240 ... c Min unsat cost LB: 69363 ... c Min unsat cost LB: 69463 ... c Min unsat cost LB: 69535 ... c Min unsat cost LB: 70085 ... c Min unsat cost LB: 70232 ... c Min unsat cost LB: 70692 ... c Min unsat cost LB: 70719 ... c Min unsat cost LB: 70728 ... c Min unsat cost LB: 70741 ... c Min unsat cost LB: 70778 ... c Min unsat cost LB: 70935 ... c Min unsat cost LB: 71710 ... c Min unsat cost LB: 71754 ... c Min unsat cost LB: 71963 ... c Min unsat cost LB: 72255 ... c Min unsat cost LB: 72700 ... c Min unsat cost LB: 72992 ... c Min unsat cost LB: 73285 ... c Min unsat cost LB: 73396 ... c Min unsat cost LB: 74661 ... c Min unsat cost LB: 74663 ... c Min unsat cost LB: 74947 ... c Min unsat cost LB: 75048 ... c Min unsat cost LB: 75924 ... c Min unsat cost LB: 76115 ... c Min unsat cost LB: 76972 ... c Min unsat cost LB: 77222 ... c Min unsat cost LB: 77282 ... c Min unsat cost LB: 77443 ... c Min unsat cost LB: 77542 ... c Min unsat cost LB: 77708 ... c Min unsat cost LB: 77830 ... c Min unsat cost LB: 78271 ... c Min unsat cost LB: 79135 ... c Min unsat cost LB: 79429 ... c Min unsat cost LB: 79782 ... c Min unsat cost LB: 79987 ... c Min unsat cost LB: 80151 ... c Min unsat cost LB: 80279 ... c Min unsat cost LB: 80425 ... c Min unsat cost LB: 80725 ... c Min unsat cost LB: 81943 ... c Min unsat cost LB: 81985 ... c Min unsat cost LB: 82390 ... c Min unsat cost LB: 82769 ... c Min unsat cost LB: 83461 ... c Min unsat cost LB: 83489 ... c Min unsat cost LB: 83728 ... c Min unsat cost LB: 84188 ... c Min unsat cost LB: 84194 ... c Min unsat cost LB: 84221 ... c Min unsat cost LB: 84315 ... c Min unsat cost LB: 84422 ... c Min unsat cost LB: 85734 ... c Min unsat cost LB: 85912 ... c Min unsat cost LB: 85943 ... c Min unsat cost LB: 85985 ... c Min unsat cost LB: 86229 ... c Min unsat cost LB: 86482 ... c Min unsat cost LB: 86530 ... c Min unsat cost LB: 86689 ... c Min unsat cost LB: 87032 ... c Min unsat cost LB: 87640 ... c Min unsat cost LB: 88328 ... c Min unsat cost LB: 88983 ... c Min unsat cost LB: 89482 ... c Min unsat cost LB: 89898 ... c Min unsat cost LB: 90427 ... c Min unsat cost LB: 90462 ... c Min unsat cost LB: 90741 ... c Min unsat cost LB: 91487 ... c Min unsat cost LB: 91665 ... c Min unsat cost LB: 91841 ... c Min unsat cost LB: 92687 ... c Min unsat cost LB: 92834 ... c Min unsat cost LB: 93050 ... c Min unsat cost LB: 93244 ... c Min unsat cost LB: 94076 ... c Min unsat cost LB: 94361 ... c Min unsat cost LB: 94435 ... c Min unsat cost LB: 94733 ... c Min unsat cost LB: 94925 ... c Min unsat cost LB: 96097 ... c Min unsat cost LB: 96270 ... c Min unsat cost LB: 96342 ... c Min unsat cost LB: 96345 ... c Min unsat cost LB: 96625 ... c Min unsat cost LB: 96750 ... c Min unsat cost LB: 96846 ... c Min unsat cost LB: 97223 ... c Min unsat cost LB: 97814 ... c Min unsat cost LB: 97919 ... c Min unsat cost LB: 98023 ... c Min unsat cost LB: 98287 ... c Min unsat cost LB: 98557 ... c Min unsat cost LB: 98809 ... c Min unsat cost LB: 98830 ... c Min unsat cost LB: 98861 ... c Min unsat cost LB: 98965 ... c Min unsat cost LB: 99721 ... c Min unsat cost LB: 99830 ... c Min unsat cost LB: 100134 ... c Min unsat cost LB: 100595 ... c Min unsat cost LB: 100604 ... c Min unsat cost LB: 100903 ... c Min unsat cost LB: 101419 ... c Min unsat cost LB: 102614 ... c Min unsat cost LB: 102845 ... c Min unsat cost LB: 102892 ... c Min unsat cost LB: 102970 ... c Min unsat cost LB: 103382 ... c Min unsat cost LB: 104204 ... c Min unsat cost LB: 104235 ... c Min unsat cost LB: 104485 ... c Min unsat cost LB: 104834 ... c Min unsat cost LB: 105214 ... c Min unsat cost LB: 105367 ... c Min unsat cost LB: 105848 ... c Min unsat cost LB: 105960 ... c Min unsat cost LB: 106113 ... c Min unsat cost LB: 106225 ... c Min unsat cost LB: 106369 ... c Min unsat cost LB: 106382 ... c Min unsat cost LB: 106691 ... c Min unsat cost LB: 106711 ... c Min unsat cost LB: 106759 ... c Min unsat cost LB: 107036 ... c Min unsat cost LB: 107312 ... c Min unsat cost LB: 107358 ... c Min unsat cost LB: 107461 ... c Min unsat cost LB: 108419 ... c Min unsat cost LB: 109024 ... c Min unsat cost LB: 109183 ... c Min unsat cost LB: 110258 ... c Min unsat cost LB: 110353 ... c Min unsat cost LB: 110478 ... c Min unsat cost LB: 110605 ... c Min unsat cost LB: 111060 ... c Min unsat cost LB: 111083 ... c Min unsat cost LB: 112169 ... c Min unsat cost LB: 112192 ... c Min unsat cost LB: 112348 ... c Min unsat cost LB: 112835 ... c Min unsat cost LB: 113041 ... c Min unsat cost LB: 113130 ... c Min unsat cost LB: 113181 ... c Min unsat cost LB: 113308 ... c Min unsat cost LB: 113581 ... c Min unsat cost LB: 113985 ... c Min unsat cost LB: 114065 ... c Min unsat cost LB: 114147 ... c Min unsat cost LB: 114998 ... c Min unsat cost LB: 115090 ... c Min unsat cost LB: 115859 ... c Min unsat cost LB: 116191 ... c Min unsat cost LB: 116244 ... c Min unsat cost LB: 116284 ... c Min unsat cost LB: 116423 ... c Min unsat cost LB: 116714 ... c Min unsat cost LB: 116786 ... c Min unsat cost LB: 117457 ... c Min unsat cost LB: 117855 ... c Min unsat cost LB: 118121 ... c Min unsat cost LB: 118230 ... c Min unsat cost LB: 118287 ... c Min unsat cost LB: 118391 ... c Min unsat cost LB: 118657 ... c Min unsat cost LB: 119313 ... c Min unsat cost LB: 119511 ... c Min unsat cost LB: 120195 ... c Min unsat cost LB: 120251 ... c Min unsat cost LB: 120394 ... c Min unsat cost LB: 121094 ... c Min unsat cost LB: 121483 ... c Min unsat cost LB: 121933 ... c Min unsat cost LB: 122290 ... c Min unsat cost LB: 122582 ... c Min unsat cost LB: 122741 ... c Min unsat cost LB: 123275 ... c Min unsat cost LB: 123285 ... c Min unsat cost LB: 123769 ... c Min unsat cost LB: 123777 ... c Min unsat cost LB: 124492 ... c Min unsat cost LB: 124608 ... c Min unsat cost LB: 124880 ... c Min unsat cost LB: 125047 ... c Min unsat cost LB: 125124 ... c Min unsat cost LB: 125151 ... c Min unsat cost LB: 125178 ... c Min unsat cost LB: 125293 ... c Min unsat cost LB: 125313 ... c Min unsat cost LB: 125340 ... c Min unsat cost LB: 125350 ... c Min unsat cost LB: 125367 ... c Min unsat cost LB: 125370 ... c Min unsat cost LB: 125406 ... c Min unsat cost LB: 125589 ... c Min unsat cost LB: 126048 ... c Min unsat cost LB: 126051 ... c Min unsat cost LB: 126064 ... c Min unsat cost LB: 126129 ... c Min unsat cost LB: 126141 ... c Min unsat cost LB: 126158 ... c Min unsat cost LB: 126168 ... c Min unsat cost LB: 126195 ... c Min unsat cost LB: 126198 ... c Min unsat cost LB: 126264 ... c Min unsat cost LB: 126629 ... c Min unsat cost LB: 126726 ... c Min unsat cost LB: 127088 ... c Min unsat cost LB: 127957 ... c Min unsat cost LB: 128267 ... c Min unsat cost LB: 128299 ... c Min unsat cost LB: 128597 ... c Min unsat cost LB: 129319 ... c Min unsat cost LB: 129418 ... c Min unsat cost LB: 130394 ... c Min unsat cost LB: 130524 ... c Min unsat cost LB: 130624 ... c Min unsat cost LB: 130787 ... c Min unsat cost LB: 131631 ... c Min unsat cost LB: 132519 ... c Min unsat cost LB: 132637 ... c Min unsat cost LB: 132887 ... c Min unsat cost LB: 132899 ... c Min unsat cost LB: 132903 ... c Min unsat cost LB: 133967 ... c Min unsat cost LB: 133971 ... c Min unsat cost LB: 133995 ... c Min unsat cost LB: 134399 ... c Min unsat cost LB: 134539 ... c Min unsat cost LB: 134670 ... c Min unsat cost LB: 135043 ... c Min unsat cost LB: 135515 ... c Min unsat cost LB: 135597 ... c Min unsat cost LB: 135634 ... c Min unsat cost LB: 136183 ... c Min unsat cost LB: 136343 ... c Min unsat cost LB: 137243 ... c Min unsat cost LB: 137821 ... c Min unsat cost LB: 138081 ... c Min unsat cost LB: 138681 ... c Min unsat cost LB: 139112 ... c Min unsat cost LB: 139242 ... c Min unsat cost LB: 139317 ... c Min unsat cost LB: 139635 ... c Min unsat cost LB: 139652 ... c Min unsat cost LB: 139912 ... c Min unsat cost LB: 139970 ... c Min unsat cost LB: 140273 ... c Min unsat cost LB: 140347 ... c Min unsat cost LB: 140379 ... c Min unsat cost LB: 141255 ... c Min unsat cost LB: 141319 ... c Min unsat cost LB: 141357 ... c Min unsat cost LB: 141668 ... c Min unsat cost LB: 141717 ... c Min unsat cost LB: 143260 ... c Min unsat cost LB: 143372 ... c Min unsat cost LB: 143455 ... c Min unsat cost LB: 143528 ... c Min unsat cost LB: 143558 ... c Min unsat cost LB: 143756 ... c Min unsat cost LB: 144959 ... c Min unsat cost LB: 145005 ... c Min unsat cost LB: 145037 ... c Min unsat cost LB: 145306 ... c Min unsat cost LB: 145455 ... c Min unsat cost LB: 145472 ... c Min unsat cost LB: 145479 ... c Min unsat cost LB: 145490 ... c Min unsat cost LB: 145528 ... c Min unsat cost LB: 145835 ... c Min unsat cost LB: 146054 ... c Min unsat cost LB: 146163 ... c Min unsat cost LB: 146219 ... c Min unsat cost LB: 146278 ... c Min unsat cost LB: 146413 ... c Min unsat cost LB: 146740 ... c Min unsat cost LB: 147248 ... c Min unsat cost LB: 147820 ... c Min unsat cost LB: 148720 ... c Min unsat cost LB: 148888 ... c Min unsat cost LB: 148934 ... c Min unsat cost LB: 149199 ... c Min unsat cost LB: 149388 ... c Min unsat cost LB: 149516 ... c Min unsat cost LB: 150269 ... c Min unsat cost LB: 150387 ... c Min unsat cost LB: 151427 ... c Min unsat cost LB: 151555 ... c Min unsat cost LB: 151629 ... c Min unsat cost LB: 151645 ... c Min unsat cost LB: 151873 ... c Min unsat cost LB: 152453 ... c Min unsat cost LB: 152473 ... c Min unsat cost LB: 153168 ... c Min unsat cost LB: 153860 ... c Min unsat cost LB: 154341 ... c Min unsat cost LB: 154375 ... c Min unsat cost LB: 154503 ... c Min unsat cost LB: 155197 ... c Min unsat cost LB: 155491 ... c Min unsat cost LB: 156095 ... c Min unsat cost LB: 156307 ... c Min unsat cost LB: 157745 ... c Min unsat cost LB: 157828 ... c Min unsat cost LB: 158027 ... c Min unsat cost LB: 158097 ... c Min unsat cost LB: 158285 ... c Min unsat cost LB: 159437 ... c Min unsat cost LB: 159736 ... c Min unsat cost LB: 159820 ... c Min unsat cost LB: 159842 ... c Min unsat cost LB: 159989 ... c Min unsat cost LB: 160391 ... c Min unsat cost LB: 160984 ... c Min unsat cost LB: 161612 ... c Min unsat cost LB: 161808 ... c Min unsat cost LB: 162302 ... c Min unsat cost LB: 162438 ... c Min unsat cost LB: 162482 ... c Min unsat cost LB: 162906 ... c Min unsat cost LB: 163081 ... c Min unsat cost LB: 163255 ... c Min unsat cost LB: 163663 ... c Min unsat cost LB: 163741 ... c Min unsat cost LB: 164274 ... c Min unsat cost LB: 164686 ... c Min unsat cost LB: 165117 ... c Min unsat cost LB: 165183 ... c Min unsat cost LB: 165339 ... c Min unsat cost LB: 165986 ... c Min unsat cost LB: 166149 ... c Min unsat cost LB: 166468 ... c Min unsat cost LB: 166792 ... c Min unsat cost LB: 166841 ... c Min unsat cost LB: 167358 ... c Min unsat cost LB: 168468 ... c Min unsat cost LB: 168626 ... c Min unsat cost LB: 169113 ... c Min unsat cost LB: 169635 ... c Min unsat cost LB: 169645 ... c Min unsat cost LB: 170074 ... c Min unsat cost LB: 170264 ... c Min unsat cost LB: 171002 ... c Min unsat cost LB: 171097 ... c Min unsat cost LB: 171417 ... c Min unsat cost LB: 172125 ... c Min unsat cost LB: 172147 ... c Min unsat cost LB: 172607 ... c Min unsat cost LB: 172612 ... c Min unsat cost LB: 172760 ... c Min unsat cost LB: 172915 ... c Min unsat cost LB: 173036 ... c Min unsat cost LB: 173097 ... c Min unsat cost LB: 173294 ... c Min unsat cost LB: 173471 ... c Min unsat cost LB: 173574 ... c Min unsat cost LB: 173805 ... c Min unsat cost LB: 173843 ... c Min unsat cost LB: 174837 ... c Min unsat cost LB: 174896 ... c Min unsat cost LB: 175206 ... c Min unsat cost LB: 175358 ... c Min unsat cost LB: 175834 ... c Min unsat cost LB: 175912 ... c Min unsat cost LB: 176686 ... c Min unsat cost LB: 177037 ... c Min unsat cost LB: 177231 ... c Min unsat cost LB: 177559 ... c Min unsat cost LB: 177866 ... c Min unsat cost LB: 178009 ... c Min unsat cost LB: 178117 ... c Min unsat cost LB: 178121 ... c Min unsat cost LB: 178533 ... c Min unsat cost LB: 178894 ... c Min unsat cost LB: 179192 ... c Min unsat cost LB: 179212 ... c Min unsat cost LB: 179234 ... c Min unsat cost LB: 179334 ... c Min unsat cost LB: 179606 ... c Min unsat cost LB: 180023 ... c Min unsat cost LB: 180849 ... c Min unsat cost LB: 181014 ... c Min unsat cost LB: 181197 ... c Min unsat cost LB: 181649 ... c Min unsat cost LB: 182910 ... c Min unsat cost LB: 183025 ... c Min unsat cost LB: 183293 ... c Min unsat cost LB: 183394 ... c Min unsat cost LB: 183887 ... c Min unsat cost LB: 184135 ... c Min unsat cost LB: 184142 ... c Min unsat cost LB: 184159 ... c Min unsat cost LB: 184656 ... c Min unsat cost LB: 184752 ... c Min unsat cost LB: 184801 ... c Min unsat cost LB: 185107 ... c Min unsat cost LB: 185213 ... c Min unsat cost LB: 185675 ... c Min unsat cost LB: 185729 ... c Min unsat cost LB: 185748 ... c Min unsat cost LB: 186304 ... c Min unsat cost LB: 186388 ... c Min unsat cost LB: 186390 ... c Min unsat cost LB: 186395 ... c Min unsat cost LB: 186400 ... c Min unsat cost LB: 186635 ... c Min unsat cost LB: 186731 ... c Min unsat cost LB: 186815 ... c Min unsat cost LB: 186834 ... c Min unsat cost LB: 187037 ... c Min unsat cost LB: 187139 ... c Min unsat cost LB: 187406 ... c Min unsat cost LB: 187413 ... c Min unsat cost LB: 187538 ... c Min unsat cost LB: 187991 ... c Min unsat cost LB: 188013 ... c Min unsat cost LB: 188014 ... c Min unsat cost LB: 188032 ... c Min unsat cost LB: 188161 ... c Min unsat cost LB: 188365 ... c Min unsat cost LB: 189020 ... c Min unsat cost LB: 189585 ... c Min unsat cost LB: 189672 ... c Min unsat cost LB: 190187 ... c Min unsat cost LB: 190762 ... c Min unsat cost LB: 190763 ... c Min unsat cost LB: 190785 ... c Min unsat cost LB: 190872 ... c Min unsat cost LB: 191094 ... c Min unsat cost LB: 191285 ... c Min unsat cost LB: 191734 ... c Min unsat cost LB: 191768 ... c Min unsat cost LB: 191994 ... c Min unsat cost LB: 192710 ... c Min unsat cost LB: 193044 ... c Min unsat cost LB: 193063 ... c Min unsat cost LB: 193733 ... c Min unsat cost LB: 193750 ... c Min unsat cost LB: 193754 ... c Min unsat cost LB: 193891 ... c Min unsat cost LB: 193932 ... c Min unsat cost LB: 193941 ... c Min unsat cost LB: 194336 ... c Min unsat cost LB: 194584 ... c Min unsat cost LB: 194590 ... c Min unsat cost LB: 195012 ... c Min unsat cost LB: 195685 ... c Min unsat cost LB: 195691 ... c Min unsat cost LB: 197265 ... c Min unsat cost LB: 197289 ... c Min unsat cost LB: 197539 ... c Min unsat cost LB: 197641 ... c Min unsat cost LB: 197695 ... c Min unsat cost LB: 197765 ... c Min unsat cost LB: 198010 ... c Min unsat cost LB: 198330 ... c Min unsat cost LB: 198367 ... c Min unsat cost LB: 198785 ... c Min unsat cost LB: 199729 ... c Min unsat cost LB: 199760 ... c Min unsat cost LB: 200683 ... c Min unsat cost LB: 200910 ... c Min unsat cost LB: 200926 ... c Min unsat cost LB: 201276 ... c Min unsat cost LB: 201426 ... c Min unsat cost LB: 201582 ... c Min unsat cost LB: 201891 ... c Min unsat cost LB: 201896 ... c Min unsat cost LB: 202562 ... c Min unsat cost LB: 202823 ... c Min unsat cost LB: 202901 ... c Min unsat cost LB: 203045 ... c Min unsat cost LB: 203066 ... c Min unsat cost LB: 203524 ... c Min unsat cost LB: 203556 ... c Min unsat cost LB: 203609 ... c Min unsat cost LB: 203690 ... c Min unsat cost LB: 203781 ... c Min unsat cost LB: 203815 ... c Min unsat cost LB: 203859 ... c Min unsat cost LB: 203910 ... c Min unsat cost LB: 204429 ... c Min unsat cost LB: 204466 ... c Min unsat cost LB: 204496 ... c Min unsat cost LB: 204514 ... c Min unsat cost LB: 205025 ... c Min unsat cost LB: 205335 ... c Min unsat cost LB: 205419 ... c Min unsat cost LB: 205728 ... c Min unsat cost LB: 205801 ... c Min unsat cost LB: 206255 ... c Min unsat cost LB: 206735 ... c Min unsat cost LB: 207171 ... c Min unsat cost LB: 207182 ... c Min unsat cost LB: 207502 ... c Min unsat cost LB: 207592 ... c Min unsat cost LB: 208069 ... c Min unsat cost LB: 208085 ... c Min unsat cost LB: 208202 ... c Min unsat cost LB: 208245 ... c Min unsat cost LB: 208403 ... c Min unsat cost LB: 208645 ... c Min unsat cost LB: 208692 ... c Min unsat cost LB: 209344 ... c Min unsat cost LB: 209513 ... c Min unsat cost LB: 209859 ... c Min unsat cost LB: 209915 ... c Min unsat cost LB: 209945 ... c Min unsat cost LB: 210101 ... c Min unsat cost LB: 210271 ... c Min unsat cost LB: 210400 ... c Min unsat cost LB: 210446 ... c Min unsat cost LB: 210463 ... c Min unsat cost LB: 211524 ... c Min unsat cost LB: 211573 ... c Min unsat cost LB: 211740 ... c Min unsat cost LB: 211770 ... c Min unsat cost LB: 211780 ... c Min unsat cost LB: 212168 ... c Min unsat cost LB: 212505 ... c Min unsat cost LB: 212768 ... c Min unsat cost LB: 212802 ... c Min unsat cost LB: 212825 ... c Min unsat cost LB: 212874 ... c Min unsat cost LB: 213360 ... c Min unsat cost LB: 213757 ... c Min unsat cost LB: 214417 ... c Min unsat cost LB: 214930 ... c Min unsat cost LB: 214976 ... c Min unsat cost LB: 215455 ... c Min unsat cost LB: 215680 ... c Min unsat cost LB: 215807 ... c Min unsat cost LB: 215816 ... c Min unsat cost LB: 216535 ... c Min unsat cost LB: 216650 ... c Min unsat cost LB: 216736 ... c Min unsat cost LB: 217778 ... c Min unsat cost LB: 217843 ... c Min unsat cost LB: 218171 ... c Min unsat cost LB: 218198 ... c Min unsat cost LB: 218310 ... c Min unsat cost LB: 218333 ... c Min unsat cost LB: 218374 ... c Min unsat cost LB: 219211 ... c Min unsat cost LB: 219458 ... c Min unsat cost LB: 219481 ... c Min unsat cost LB: 219560 ... c Min unsat cost LB: 219782 ... c Min unsat cost LB: 219789 ... c Min unsat cost LB: 219820 ... c Min unsat cost LB: 219823 ... c Min unsat cost LB: 219914 ... c Min unsat cost LB: 220019 ... c Min unsat cost LB: 220251 ... c Min unsat cost LB: 220927 ... c Min unsat cost LB: 220943 ... c Min unsat cost LB: 220950 ... c Min unsat cost LB: 220973 ... c Min unsat cost LB: 220974 ... c Min unsat cost LB: 220976 ... c Min unsat cost LB: 220977 ... c Min unsat cost LB: 220984 ... c Min unsat cost LB: 220989 ... c Min unsat cost LB: 221006 ... c Min unsat cost LB: 221022 ... c Min unsat cost LB: 221030 ... c Min unsat cost LB: 221048 ... c Min unsat cost LB: 221298 ... c Min unsat cost LB: 221310 ... c Min unsat cost LB: 221354 ... c Min unsat cost LB: 221355 ... c Min unsat cost LB: 221361 ... c Min unsat cost LB: 221362 ... c Min unsat cost LB: 221363 ... c Min unsat cost LB: 221367 ... c Min unsat cost LB: 221370 ... c Min unsat cost LB: 221373 ... c Min unsat cost LB: 221387 ... c Min unsat cost LB: 221388 ... c Min unsat cost LB: 221389 ... c Min unsat cost LB: 221393 ... c Min unsat cost LB: 221394 ... c Min unsat cost LB: 221399 ... c Min unsat cost LB: 221401 ... c Min unsat cost LB: 221410 ... c Min unsat cost LB: 221418 ... c Min unsat cost LB: 221757 ... c Min unsat cost LB: 222064 ... c Min unsat cost LB: 222687 ... c Min unsat cost LB: 222891 ... c Min unsat cost LB: 222929 ... c Min unsat cost LB: 223451 ... c Min unsat cost LB: 223468 ... c Min unsat cost LB: 223496 ... c Min unsat cost LB: 223588 ... c Min unsat cost LB: 223663 ... c Min unsat cost LB: 223694 ... c Min unsat cost LB: 223736 ... c Min unsat cost LB: 223740 ... c Min unsat cost LB: 223758 ... c Min unsat cost LB: 223764 ... c Min unsat cost LB: 223807 ... c Min unsat cost LB: 223840 ... c Min unsat cost LB: 223858 ... c Min unsat cost LB: 223866 ... c Min unsat cost LB: 223869 ... c Min unsat cost LB: 223896 ... c Min unsat cost LB: 223951 ... c Min unsat cost LB: 224072 ... c Min unsat cost LB: 224088 ... c Min unsat cost LB: 224113 ... c Min unsat cost LB: 224115 ... c Min unsat cost LB: 224121 ... c Min unsat cost LB: 224142 ... c Min unsat cost LB: 224144 ... c Min unsat cost LB: 224221 ... c Min unsat cost LB: 224227 ... c Min unsat cost LB: 224234 ... c Min unsat cost LB: 224235 ... c Min unsat cost LB: 224270 ... c Min unsat cost LB: 224277 ... c Min unsat cost LB: 224291 ... c Min unsat cost LB: 224307 ... c Min unsat cost LB: 224310 ... c Min unsat cost LB: 224500 ... c Min unsat cost LB: 224501 ... c Min unsat cost LB: 224508 ... c Min unsat cost LB: 224516 ... c Min unsat cost LB: 224518 ... c Min unsat cost LB: 224525 ... c Min unsat cost LB: 224526 ... c Min unsat cost LB: 224529 ... c Min unsat cost LB: 224530 ... c Min unsat cost LB: 224535 ... c Min unsat cost LB: 224539 ... c Min unsat cost LB: 224577 ... c Min unsat cost LB: 224584 ... c Min unsat cost LB: 224664 ... c Min unsat cost LB: 224674 ... c Min unsat cost LB: 224964 ... c Min unsat cost LB: 225292 ... c Min unsat cost LB: 225330 ... c Min unsat cost LB: 225339 ... c Min unsat cost LB: 225347 ... c Min unsat cost LB: 225348 ... c Min unsat cost LB: 225350 ... c Min unsat cost LB: 225351 ... c Min unsat cost LB: 225356 ... c Min unsat cost LB: 225358 ... c Min unsat cost LB: 225362 ... c Min unsat cost LB: 225363 ... c Min unsat cost LB: 225364 ... c Min unsat cost LB: 225365 ... c Min unsat cost LB: 225369 ... c Min unsat cost LB: 225370 ... c Min unsat cost LB: 225371 ... c Min unsat cost LB: 225373 ... c Min unsat cost LB: 225374 ... c Min unsat cost LB: 225375 ... c Min unsat cost LB: 225376 ... c Min unsat cost LB: 225377 ... c Min unsat cost LB: 225384 ... c Min unsat cost LB: 225395 ... c Min unsat cost LB: 225410 ... c Min unsat cost LB: 225417 ... c Min unsat cost LB: 225423 ... c Min unsat cost LB: 225428 ... c Min unsat cost LB: 225433 ... c Min unsat cost LB: 225439 ... c Min unsat cost LB: 225442 ... c Min unsat cost LB: 225446 ... c Min unsat cost LB: 225474 ... c Min unsat cost LB: 225519 ... c Min unsat cost LB: 225613 ... c Min unsat cost LB: 225623 ... c Min unsat cost LB: 225630 ... c Min unsat cost LB: 225634 ... c Min unsat cost LB: 225636 ... c Min unsat cost LB: 225669 ... c Min unsat cost LB: 225671 ... c Min unsat cost LB: 225686 ... c Min unsat cost LB: 225984 ... c Min unsat cost LB: 226073 ... c Min unsat cost LB: 226103 ... c Min unsat cost LB: 226105 ... c Min unsat cost LB: 226106 ... c Min unsat cost LB: 226107 ... c Min unsat cost LB: 226108 ... c Min unsat cost LB: 226109 ... c Min unsat cost LB: 226112 ... c Min unsat cost LB: 226162 ... c Min unsat cost LB: 226396 ... c Min unsat cost LB: 226444 ... c Min unsat cost LB: 226458 ... c Min unsat cost LB: 226600 ... c Min unsat cost LB: 226861 ... c Min unsat cost LB: 227118 ... c Min unsat cost LB: 227120 ... c Min unsat cost LB: 227122 ... c Min unsat cost LB: 227151 ... c Min unsat cost LB: 227161 ... c Min unsat cost LB: 227230 ... c Min unsat cost LB: 227232 ... c Min unsat cost LB: 227353 ... c Min unsat cost LB: 227355 ... c Min unsat cost LB: 227382 ... c Min unsat cost LB: 227392 ... c Min unsat cost LB: 227405 ... c Min unsat cost LB: 227439 ... c Min unsat cost LB: 227442 ... c Min unsat cost LB: 227449 ... c Min unsat cost LB: 227480 ... c Min unsat cost LB: 227487 ... c Min unsat cost LB: 227489 ... c Min unsat cost LB: 227492 ... c Min unsat cost LB: 227512 ... c Min unsat cost LB: 227513 ... c Min unsat cost LB: 227526 ... c Min unsat cost LB: 227529 ... c Min unsat cost LB: 227536 ... c Min unsat cost LB: 227539 ... c Min unsat cost LB: 227552 ... c Min unsat cost LB: 227560 ... c Min unsat cost LB: 227561 ... c Min unsat cost LB: 227562 ... c Min unsat cost LB: 227563 ... c Min unsat cost LB: 227564 ... c Min unsat cost LB: 227601 ... c Min unsat cost LB: 227892 ... c Min unsat cost LB: 228181 ... c Min unsat cost LB: 228576 ... c Min unsat cost LB: 228608 ... c Min unsat cost LB: 228645 ... c Min unsat cost LB: 228648 ... c Min unsat cost LB: 228652 ... c Min unsat cost LB: 228654 ... c Min unsat cost LB: 228655 ... c Min unsat cost LB: 228656 ... c Min unsat cost LB: 228657 ... c Min unsat cost LB: 228658 ... c Min unsat cost LB: 228679 ... c Min unsat cost LB: 228838 ... c Min unsat cost LB: 229002 ... c Min unsat cost LB: 229006 ... c Min unsat cost LB: 229007 ... c Min unsat cost LB: 229008 ... c Min unsat cost LB: 229012 ... c Min unsat cost LB: 229013 ... c Min unsat cost LB: 229014 ... c Min unsat cost LB: 229015 ... c Min unsat cost LB: 229128 ... c Min unsat cost LB: 229390 ... c Min unsat cost LB: 229940 ... c Min unsat cost LB: 230854 ... c Min unsat cost LB: 231430 ... c Min unsat cost LB: 231450 ... c Min unsat cost LB: 231884 ... c Min unsat cost LB: 231904 ... c Min unsat cost LB: 232021 ... c Min unsat cost LB: 232659 ... c Min unsat cost LB: 232909 ... c Min unsat cost LB: 233533 ... c Min unsat cost LB: 233600 ... c Min unsat cost LB: 234693 ... c Min unsat cost LB: 234937 ... c Min unsat cost LB: 235062 ... c Min unsat cost LB: 235493 ... c Min unsat cost LB: 236530 ... c Min unsat cost LB: 236632 ... c Min unsat cost LB: 236781 ... c Min unsat cost LB: 237045 ... c Min unsat cost LB: 237194 ... c Min unsat cost LB: 237296 ... c Min unsat cost LB: 237370 ... c Min unsat cost LB: 237372 ... c Min unsat cost LB: 237386 ... c Min unsat cost LB: 237390 ... c Min unsat cost LB: 237392 ... c Min unsat cost LB: 237395 ... c Min unsat cost LB: 237416 ... c Min unsat cost LB: 237418 ... c Min unsat cost LB: 237421 ... c Min unsat cost LB: 237425 ... c Min unsat cost LB: 237426 ... c Min unsat cost LB: 237427 ... c Min unsat cost LB: 237430 ... c Min unsat cost LB: 237432 ... c Min unsat cost LB: 237685 ... c Min unsat cost LB: 238365 ... c Min unsat cost LB: 238376 ... c Min unsat cost LB: 238379 ... c Min unsat cost LB: 238380 ... c Min unsat cost LB: 238381 ... c Min unsat cost LB: 238383 ... c Min unsat cost LB: 238386 ... c Min unsat cost LB: 238387 ... c Min unsat cost LB: 238391 ... c Min unsat cost LB: 238395 ... c Min unsat cost LB: 238430 ... c Min unsat cost LB: 238908 ... c Min unsat cost LB: 238909 ... c Min unsat cost LB: 238910 ... c Min unsat cost LB: 238911 ... c Min unsat cost LB: 238912 ... c Min unsat cost LB: 238913 ... c Min unsat cost LB: 238914 ... c Min unsat cost LB: 238915 ... c Min unsat cost LB: 238916 ... c Min unsat cost LB: 238920 ... c Min unsat cost LB: 238922 ... c Min unsat cost LB: 238924 ... c Min unsat cost LB: 238925 ... c Min unsat cost LB: 238926 ... c Min unsat cost LB: 238927 ... c Min unsat cost LB: 238929 ... c Min unsat cost LB: 238945 ... c Min unsat cost LB: 238951 ... c Min unsat cost LB: 239056 ... c Min unsat cost LB: 239102 ... c Min unsat cost LB: 239191 ... c Min unsat cost LB: 239441 ... c Min unsat cost LB: 239442 ... c Min unsat cost LB: 239444 ... c Min unsat cost LB: 239445 ... c Min unsat cost LB: 239446 ... c Min unsat cost LB: 239961 ... c Min unsat cost LB: 240524 ... c Min unsat cost LB: 240919 ... c Min unsat cost LB: 240920 ... c Min unsat cost LB: 240921 ... c Min unsat cost LB: 240923 ... c Min unsat cost LB: 240924 ... c Min unsat cost LB: 240925 ... c Min unsat cost LB: 240926 ... c Min unsat cost LB: 240927 ... c Min unsat cost LB: 240928 ... c Min unsat cost LB: 240930 ... c Min unsat cost LB: 240931 ... c Min unsat cost LB: 240932 ... c Min unsat cost LB: 240933 ... c Min unsat cost LB: 240934 ... c Min unsat cost LB: 240935 ... c Min unsat cost LB: 240951 ... c Min unsat cost LB: 240952 ... c Min unsat cost LB: 240953 ... c Min unsat cost LB: 240954 ... c Min unsat cost LB: 240955 ... c Min unsat cost LB: 240956 ... c Min unsat cost LB: 240957 ... c Min unsat cost LB: 240958 ... c Min unsat cost LB: 240961 ... c Min unsat cost LB: 240964 ... c Min unsat cost LB: 240965 ... c Min unsat cost LB: 240966 ... c Min unsat cost LB: 240967 ... c Min unsat cost LB: 240970 ... c Min unsat cost LB: 240971 ... c Min unsat cost Killed 1818.075u 1.688s 30:20.44 99.9% 0+0k 0+0io 0pf+0w