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-260-1_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-7.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-260-1_network-7.net.wcnf *** c c Min unsat cost LB: 1270 ... c Min unsat cost LB: 1826 ... c Min unsat cost LB: 3275 ... c Min unsat cost LB: 4264 ... c Min unsat cost LB: 6106 ... c Min unsat cost LB: 8026 ... c Min unsat cost LB: 8259 ... c Min unsat cost LB: 8886 ... c Min unsat cost LB: 9222 ... c Min unsat cost LB: 10355 ... c Min unsat cost LB: 11675 ... c Min unsat cost LB: 13763 ... c Min unsat cost LB: 14591 ... c Min unsat cost LB: 16069 ... c Min unsat cost LB: 16916 ... c Min unsat cost LB: 17615 ... c Min unsat cost LB: 18933 ... c Min unsat cost LB: 20316 ... c Min unsat cost LB: 21288 ... c Min unsat cost LB: 21609 ... c Min unsat cost LB: 22253 ... c Min unsat cost LB: 22501 ... c Min unsat cost LB: 22932 ... c Min unsat cost LB: 24259 ... c Min unsat cost LB: 25267 ... c Min unsat cost LB: 25412 ... c Min unsat cost LB: 25569 ... c Min unsat cost LB: 26057 ... c Min unsat cost LB: 26330 ... c Min unsat cost LB: 27065 ... c Min unsat cost LB: 27451 ... c Min unsat cost LB: 27494 ... c Min unsat cost LB: 27572 ... c Min unsat cost LB: 28237 ... c Min unsat cost LB: 28642 ... c Min unsat cost LB: 29231 ... c Min unsat cost LB: 30588 ... c Min unsat cost LB: 31121 ... c Min unsat cost LB: 31653 ... c Min unsat cost LB: 32838 ... c Min unsat cost LB: 33506 ... c Min unsat cost LB: 33807 ... c Min unsat cost LB: 34010 ... c Min unsat cost LB: 35062 ... c Min unsat cost LB: 36395 ... c Min unsat cost LB: 37024 ... c Min unsat cost LB: 37107 ... c Min unsat cost LB: 37301 ... c Min unsat cost LB: 37448 ... c Min unsat cost LB: 37603 ... c Min unsat cost LB: 37614 ... c Min unsat cost LB: 38111 ... c Min unsat cost LB: 39619 ... c Min unsat cost LB: 40087 ... c Min unsat cost LB: 41564 ... c Min unsat cost LB: 42818 ... c Min unsat cost LB: 43016 ... c Min unsat cost LB: 43605 ... c Min unsat cost LB: 44348 ... c Min unsat cost LB: 44482 ... c Min unsat cost LB: 44948 ... c Min unsat cost LB: 45723 ... c Min unsat cost LB: 46631 ... c Min unsat cost LB: 48599 ... c Min unsat cost LB: 48831 ... c Min unsat cost LB: 49489 ... c Min unsat cost LB: 50425 ... c Min unsat cost LB: 50804 ... c Min unsat cost LB: 50862 ... c Min unsat cost LB: 50876 ... c Min unsat cost LB: 50989 ... c Min unsat cost LB: 51713 ... c Min unsat cost LB: 51840 ... c Min unsat cost LB: 52328 ... c Min unsat cost LB: 52490 ... c Min unsat cost LB: 53191 ... c Min unsat cost LB: 53212 ... c Min unsat cost LB: 53313 ... c Min unsat cost LB: 53655 ... c Min unsat cost LB: 54011 ... c Min unsat cost LB: 54131 ... c Min unsat cost LB: 55069 ... c Min unsat cost LB: 55301 ... c Min unsat cost LB: 55841 ... c Min unsat cost LB: 56063 ... c Min unsat cost LB: 56199 ... c Min unsat cost LB: 56257 ... c Min unsat cost LB: 56631 ... c Min unsat cost LB: 58239 ... c Min unsat cost LB: 58853 ... c Min unsat cost LB: 59105 ... c Min unsat cost LB: 60307 ... c Min unsat cost LB: 61185 ... c Min unsat cost LB: 61192 ... c Min unsat cost LB: 61495 ... c Min unsat cost LB: 61870 ... c Min unsat cost LB: 62123 ... c Min unsat cost LB: 63121 ... c Min unsat cost LB: 63370 ... c Min unsat cost LB: 63624 ... c Min unsat cost LB: 63793 ... c Min unsat cost LB: 63873 ... c Min unsat cost LB: 64082 ... c Min unsat cost LB: 65060 ... c Min unsat cost LB: 65889 ... c Min unsat cost LB: 66473 ... c Min unsat cost LB: 66642 ... c Min unsat cost LB: 66898 ... c Min unsat cost LB: 66947 ... c Min unsat cost LB: 67050 ... c Min unsat cost LB: 67782 ... c Min unsat cost LB: 68031 ... c Min unsat cost LB: 68368 ... c Min unsat cost LB: 68382 ... c Min unsat cost LB: 68427 ... c Min unsat cost LB: 68940 ... c Min unsat cost LB: 69277 ... c Min unsat cost LB: 69465 ... c Min unsat cost LB: 69887 ... c Min unsat cost LB: 69892 ... c Min unsat cost LB: 70131 ... c Min unsat cost LB: 70147 ... c Min unsat cost LB: 70282 ... c Min unsat cost LB: 70508 ... c Min unsat cost LB: 71065 ... c Min unsat cost LB: 71150 ... c Min unsat cost LB: 71578 ... c Min unsat cost LB: 72058 ... c Min unsat cost LB: 72557 ... c Min unsat cost LB: 73097 ... c Min unsat cost LB: 73387 ... c Min unsat cost LB: 73875 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74826 ... c Min unsat cost LB: 75082 ... c Min unsat cost LB: 75356 ... c Min unsat cost LB: 75981 ... c Min unsat cost LB: 76068 ... c Min unsat cost LB: 76212 ... c Min unsat cost LB: 76251 ... c Min unsat cost LB: 76370 ... c Min unsat cost LB: 76437 ... c Min unsat cost LB: 76453 ... c Min unsat cost LB: 76758 ... c Min unsat cost LB: 76890 ... c Min unsat cost LB: 76985 ... c Min unsat cost LB: 77100 ... c Min unsat cost LB: 77133 ... c Min unsat cost LB: 77188 ... c Min unsat cost LB: 77523 ... c Min unsat cost LB: 78172 ... c Min unsat cost LB: 78436 ... c Min unsat cost LB: 79173 ... c Min unsat cost LB: 79947 ... c Min unsat cost LB: 80127 ... c Min unsat cost LB: 80373 ... c Min unsat cost LB: 80583 ... c Min unsat cost LB: 80726 ... c Min unsat cost LB: 81410 ... c Min unsat cost LB: 81414 ... c Min unsat cost LB: 81654 ... c Min unsat cost LB: 81687 ... c Min unsat cost LB: 81943 ... c Min unsat cost LB: 82638 ... c Min unsat cost LB: 82648 ... c Min unsat cost LB: 83183 ... c Min unsat cost LB: 83508 ... c Min unsat cost LB: 84377 ... c Min unsat cost LB: 84443 ... c Min unsat cost LB: 84632 ... c Min unsat cost LB: 84979 ... c Min unsat cost LB: 85021 ... c Min unsat cost LB: 85209 ... c Min unsat cost LB: 85271 ... c Min unsat cost LB: 85515 ... c Min unsat cost LB: 86015 ... c Min unsat cost LB: 86164 ... c Min unsat cost LB: 86346 ... c Min unsat cost LB: 86388 ... c Min unsat cost LB: 87178 ... c Min unsat cost LB: 87322 ... c Min unsat cost LB: 87412 ... c Min unsat cost LB: 87798 ... c Min unsat cost LB: 88402 ... c Min unsat cost LB: 88406 ... c Min unsat cost LB: 88585 ... c Min unsat cost LB: 88664 ... c Min unsat cost LB: 89066 ... c Min unsat cost LB: 89183 ... c Min unsat cost LB: 89275 ... c Min unsat cost LB: 90268 ... c Min unsat cost LB: 90588 ... c Min unsat cost LB: 90922 ... c Min unsat cost LB: 90995 ... c Min unsat cost LB: 92156 ... c Min unsat cost LB: 92244 ... c Min unsat cost LB: 92784 ... c Min unsat cost LB: 93572 ... c Min unsat cost LB: 93744 ... c Min unsat cost LB: 94037 ... c Min unsat cost LB: 94266 ... c Min unsat cost LB: 94658 ... c Min unsat cost LB: 94955 ... c Min unsat cost LB: 96042 ... c Min unsat cost LB: 96160 ... c Min unsat cost LB: 96329 ... c Min unsat cost LB: 96602 ... c Min unsat cost LB: 96720 ... c Min unsat cost LB: 96721 ... c Min unsat cost LB: 97128 ... c Min unsat cost LB: 97502 ... c Min unsat cost LB: 97966 ... c Min unsat cost LB: 98141 ... c Min unsat cost LB: 99055 ... c Min unsat cost LB: 99375 ... c Min unsat cost LB: 99503 ... c Min unsat cost LB: 99658 ... c Min unsat cost LB: 99959 ... c Min unsat cost LB: 100107 ... c Min unsat cost LB: 100228 ... c Min unsat cost LB: 100383 ... c Min unsat cost LB: 101015 ... c Min unsat cost LB: 101031 ... c Min unsat cost LB: 102286 ... c Min unsat cost LB: 102516 ... c Min unsat cost LB: 103550 ... c Min unsat cost LB: 103657 ... c Min unsat cost LB: 105190 ... c Min unsat cost LB: 105772 ... c Min unsat cost LB: 106088 ... c Min unsat cost LB: 106482 ... c Min unsat cost LB: 106656 ... c Min unsat cost LB: 106658 ... c Min unsat cost LB: 106765 ... c Min unsat cost LB: 106989 ... c Min unsat cost LB: 107363 ... c Min unsat cost LB: 108643 ... c Min unsat cost LB: 109815 ... c Min unsat cost LB: 110302 ... c Min unsat cost LB: 110824 ... c Min unsat cost LB: 111045 ... c Min unsat cost LB: 111391 ... c Min unsat cost LB: 111643 ... c Min unsat cost LB: 111770 ... c Min unsat cost LB: 112072 ... c Min unsat cost LB: 112140 ... c Min unsat cost LB: 112895 ... c Min unsat cost LB: 113378 ... c Min unsat cost LB: 113495 ... c Min unsat cost LB: 114047 ... c Min unsat cost LB: 114101 ... c Min unsat cost LB: 115051 ... c Min unsat cost LB: 115287 ... c Min unsat cost LB: 115658 ... c Min unsat cost LB: 115780 ... c Min unsat cost LB: 116095 ... c Min unsat cost LB: 116322 ... c Min unsat cost LB: 116513 ... c Min unsat cost LB: 116523 ... c Min unsat cost LB: 117017 ... c Min unsat cost LB: 117480 ... c Min unsat cost LB: 117545 ... c Min unsat cost LB: 117607 ... c Min unsat cost LB: 117780 ... c Min unsat cost LB: 117902 ... c Min unsat cost LB: 118026 ... c Min unsat cost LB: 119107 ... c Min unsat cost LB: 119159 ... c Min unsat cost LB: 119204 ... c Min unsat cost LB: 119243 ... c Min unsat cost LB: 119246 ... c Min unsat cost LB: 119341 ... c Min unsat cost LB: 119684 ... c Min unsat cost LB: 119857 ... c Min unsat cost LB: 119957 ... c Min unsat cost LB: 120522 ... c Min unsat cost LB: 120649 ... c Min unsat cost LB: 120705 ... c Min unsat cost LB: 120898 ... c Min unsat cost LB: 121041 ... c Min unsat cost LB: 121121 ... c Min unsat cost LB: 121282 ... c Min unsat cost LB: 121560 ... c Min unsat cost LB: 121892 ... c Min unsat cost LB: 122081 ... c Min unsat cost LB: 122223 ... c Min unsat cost LB: 122243 ... c Min unsat cost LB: 122424 ... c Min unsat cost LB: 122543 ... c Min unsat cost LB: 122571 ... c Min unsat cost LB: 122642 ... c Min unsat cost LB: 122713 ... c Min unsat cost LB: 122719 ... c Min unsat cost LB: 122805 ... c Min unsat cost LB: 122970 ... c Min unsat cost LB: 123620 ... c Min unsat cost LB: 123739 ... c Min unsat cost LB: 123888 ... c Min unsat cost LB: 124264 ... c Min unsat cost LB: 124332 ... c Min unsat cost LB: 125500 ... c Min unsat cost LB: 125683 ... c Min unsat cost LB: 126093 ... c Min unsat cost LB: 126172 ... c Min unsat cost LB: 126290 ... c Min unsat cost LB: 126331 ... c Min unsat cost LB: 126508 ... c Min unsat cost LB: 126692 ... c Min unsat cost LB: 126725 ... c Min unsat cost LB: 126772 ... c Min unsat cost LB: 127073 ... c Min unsat cost LB: 127177 ... c Min unsat cost LB: 127284 ... c Min unsat cost LB: 127365 ... c Min unsat cost LB: 127420 ... c Min unsat cost LB: 127864 ... c Min unsat cost LB: 128265 ... c Min unsat cost LB: 128303 ... c Min unsat cost LB: 129232 ... c Min unsat cost LB: 129313 ... c Min unsat cost LB: 129733 ... c Min unsat cost LB: 129781 ... c Min unsat cost LB: 129951 ... c Min unsat cost LB: 129955 ... c Min unsat cost LB: 130056 ... c Min unsat cost LB: 130116 ... c Min unsat cost LB: 130308 ... c Min unsat cost LB: 130559 ... c Min unsat cost LB: 130661 ... c Min unsat cost LB: 130946 ... c Min unsat cost LB: 132190 ... c Min unsat cost LB: 132215 ... c Min unsat cost LB: 132250 ... c Min unsat cost LB: 132464 ... c Min unsat cost LB: 133528 ... c Min unsat cost LB: 133530 ... c Min unsat cost LB: 133681 ... c Min unsat cost LB: 133961 ... c Min unsat cost LB: 133978 ... c Min unsat cost LB: 134676 ... c Min unsat cost LB: 134946 ... c Min unsat cost LB: 135094 ... c Min unsat cost LB: 135483 ... c Min unsat cost LB: 136321 ... c Min unsat cost LB: 136348 ... c Min unsat cost LB: 136619 ... c Min unsat cost LB: 136977 ... c Min unsat cost LB: 137196 ... c Min unsat cost LB: 137939 ... c Min unsat cost LB: 138083 ... c Min unsat cost LB: 138238 ... c Min unsat cost LB: 138301 ... c Min unsat cost LB: 138318 ... c Min unsat cost LB: 138335 ... c Min unsat cost LB: 138372 ... c Min unsat cost LB: 138804 ... c Min unsat cost LB: 139211 ... c Min unsat cost LB: 139213 ... c Min unsat cost LB: 139331 ... c Min unsat cost LB: 140330 ... c Min unsat cost LB: 140336 ... c Min unsat cost LB: 140347 ... c Min unsat cost LB: 140562 ... c Min unsat cost LB: 140951 ... c Min unsat cost LB: 141531 ... c Min unsat cost LB: 141675 ... c Min unsat cost LB: 142157 ... c Min unsat cost LB: 142202 ... c Min unsat cost LB: 142203 ... c Min unsat cost LB: 142263 ... c Min unsat cost LB: 143021 ... c Min unsat cost LB: 143216 ... c Min unsat cost LB: 143365 ... c Min unsat cost LB: 143639 ... c Min unsat cost LB: 143685 ... c Min unsat cost LB: 143800 ... c Min unsat cost LB: 144272 ... c Min unsat cost LB: 144326 ... c Min unsat cost LB: 144478 ... c Min unsat cost LB: 144529 ... c Min unsat cost LB: 145520 ... c Min unsat cost LB: 145680 ... c Min unsat cost LB: 146329 ... c Min unsat cost LB: 146334 ... c Min unsat cost LB: 146535 ... c Min unsat cost LB: 146606 ... c Min unsat cost LB: 146819 ... c Min unsat cost LB: 146852 ... c Min unsat cost LB: 147010 ... c Min unsat cost LB: 147092 ... c Min unsat cost LB: 147212 ... c Min unsat cost LB: 147397 ... c Min unsat cost LB: 147437 ... c Min unsat cost LB: 147575 ... c Min unsat cost LB: 147613 ... c Min unsat cost LB: 147692 ... c Min unsat cost LB: 148222 ... c Min unsat cost LB: 148456 ... c Min unsat cost LB: 149276 ... c Min unsat cost LB: 149362 ... c Min unsat cost LB: 149494 ... c Min unsat cost LB: 149539 ... c Min unsat cost LB: 149624 ... c Min unsat cost LB: 149978 ... c Min unsat cost LB: 150060 ... c Min unsat cost LB: 150126 ... c Min unsat cost LB: 150200 ... c Min unsat cost LB: 150264 ... c Min unsat cost LB: 150309 ... c Min unsat cost LB: 150369 ... c Min unsat cost LB: 150370 ... c Min unsat cost LB: 150449 ... c Min unsat cost LB: 150497 ... c Min unsat cost LB: 150500 ... c Min unsat cost LB: 150576 ... c Min unsat cost LB: 151331 ... c Min unsat cost LB: 152702 ... c Min unsat cost LB: 152797 ... c Min unsat cost LB: 153011 ... c Min unsat cost LB: 153013 ... c Min unsat cost LB: 153998 ... c Min unsat cost LB: 154258 ... c Min unsat cost LB: 154379 ... c Min unsat cost LB: 154613 ... c Min unsat cost LB: 154824 ... c Min unsat cost LB: 154890 ... c Min unsat cost LB: 155286 ... c Min unsat cost LB: 156306 ... c Min unsat cost LB: 156526 ... c Min unsat cost LB: 156686 ... c Min unsat cost LB: 156830 ... c Min unsat cost LB: 156885 ... c Min unsat cost LB: 157016 ... c Min unsat cost LB: 157400 ... c Min unsat cost LB: 157404 ... c Min unsat cost LB: 157577 ... c Min unsat cost LB: 157793 ... c Min unsat cost LB: 158285 ... c Min unsat cost LB: 158312 ... c Min unsat cost LB: 158347 ... c Min unsat cost LB: 158403 ... c Min unsat cost LB: 158671 ... c Min unsat cost LB: 158807 ... c Min unsat cost LB: 158935 ... c Min unsat cost LB: 159356 ... c Min unsat cost LB: 159401 ... c Min unsat cost LB: 159841 ... c Min unsat cost LB: 159854 ... c Min unsat cost LB: 159925 ... c Min unsat cost LB: 159936 ... c Min unsat cost LB: 159976 ... c Min unsat cost LB: 160062 ... c Min unsat cost LB: 160512 ... c Min unsat cost LB: 161006 ... c Min unsat cost LB: 161299 ... c Min unsat cost LB: 161488 ... c Min unsat cost LB: 161610 ... c Min unsat cost LB: 161665 ... c Min unsat cost LB: 162456 ... c Min unsat cost LB: 162593 ... c Min unsat cost LB: 162594 ... c Min unsat cost LB: 163137 ... c Min unsat cost LB: 163226 ... c Min unsat cost LB: 163640 ... c Min unsat cost LB: 163695 ... c Min unsat cost LB: 163924 ... c Min unsat cost LB: 164257 ... c Min unsat cost LB: 164477 ... c Min unsat cost LB: 164675 ... c Min unsat cost LB: 164796 ... c Min unsat cost LB: 164829 ... c Min unsat cost LB: 164836 ... c Min unsat cost LB: 164869 ... c Min unsat cost LB: 164922 ... c Min unsat cost LB: 165020 ... c Min unsat cost LB: 165129 ... c Min unsat cost LB: 165224 ... c Min unsat cost LB: 165486 ... c Min unsat cost LB: 165634 ... c Min unsat cost LB: 165650 ... c Min unsat cost LB: 165759 ... c Min unsat cost LB: 165804 ... c Min unsat cost LB: 165805 ... c Min unsat cost LB: 166237 ... c Min unsat cost LB: 166335 ... c Min unsat cost LB: 166442 ... c Min unsat cost LB: 166599 ... c Min unsat cost LB: 167249 ... c Min unsat cost LB: 167326 ... c Min unsat cost LB: 167456 ... c Min unsat cost LB: 167811 ... c Min unsat cost LB: 167831 ... c Min unsat cost LB: 167911 ... c Min unsat cost LB: 168104 ... c Min unsat cost LB: 168267 ... c Min unsat cost LB: 168285 ... c Min unsat cost LB: 168305 ... c Min unsat cost LB: 168378 ... c Min unsat cost LB: 168392 ... c Min unsat cost LB: 168485 ... c Min unsat cost LB: 168634 ... c Min unsat cost LB: 168715 ... c Min unsat cost LB: 168752 ... c Min unsat cost LB: 168775 ... c Min unsat cost LB: 169248 ... c Min unsat cost LB: 169275 ... c Min unsat cost LB: 169341 ... c Min unsat cost LB: 169936 ... c Min unsat cost LB: 170383 ... c Min unsat cost LB: 170465 ... c Min unsat cost LB: 170478 ... c Min unsat cost LB: 170554 ... c Min unsat cost LB: 170610 ... c Min unsat cost LB: 170668 ... c Min unsat cost LB: 170869 ... c Min unsat cost LB: 171016 ... c Min unsat cost LB: 171169 ... c Min unsat cost LB: 171197 ... c Min unsat cost LB: 171231 ... c Min unsat cost LB: 171250 ... c Min unsat cost LB: 171477 ... c Min unsat cost LB: 171669 ... c Min unsat cost LB: 172456 ... c Min unsat cost LB: 172523 ... c Min unsat cost LB: 172592 ... c Min unsat cost LB: 172745 ... c Min unsat cost LB: 172830 ... c Min unsat cost LB: 172844 ... c Min unsat cost LB: 172867 ... c Min unsat cost LB: 173393 ... c Min unsat cost LB: 173992 ... c Min unsat cost LB: 174469 ... c Min unsat cost LB: 174486 ... c Min unsat cost LB: 175079 ... c Min unsat cost LB: 175315 ... c Min unsat cost LB: 175880 ... c Min unsat cost LB: 175988 ... c Min unsat cost LB: 176118 ... c Min unsat cost LB: 177147 ... c Min unsat cost LB: 177381 ... c Min unsat cost LB: 177796 ... c Min unsat cost LB: 177851 ... c Min unsat cost LB: 177918 ... c Min unsat cost LB: 178030 ... c Min unsat cost LB: 178097 ... c Min unsat cost LB: 178112 ... c Min unsat cost LB: 178151 ... c Min unsat cost LB: 178300 ... c Min unsat cost LB: 178362 ... c Min unsat cost LB: 178780 ... c Min unsat cost LB: 178784 ... c Min unsat cost LB: 180070 ... c Min unsat cost LB: 180094 ... c Min unsat cost LB: 180163 ... c Min unsat cost LB: 180359 ... c Min unsat cost LB: 180466 ... c Min unsat cost LB: 180642 ... c Min unsat cost LB: 181474 ... c Min unsat cost LB: 181785 ... c Min unsat cost LB: 181809 ... c Min unsat cost LB: 181845 ... c Min unsat cost LB: 181850 ... c Min unsat cost LB: 181868 ... c Min unsat cost LB: 181988 ... c Min unsat cost LB: 182381 ... c Min unsat cost LB: 182434 ... c Min unsat cost LB: 182482 ... c Min unsat cost LB: 182486 ... c Min unsat cost LB: 182684 ... c Min unsat cost LB: 182704 ... c Min unsat cost LB: 182710 ... c Min unsat cost LB: 182832 ... c Min unsat cost LB: 182852 ... c Min unsat cost LB: 182863 ... c Min unsat cost LB: 182886 ... c Min unsat cost LB: 182892 ... c Min unsat cost LB: 183026 ... c Min unsat cost LB: 183137 ... c Min unsat cost LB: 183725 ... c Min unsat cost LB: 183738 ... c Min unsat cost LB: 183775 ... c Min unsat cost LB: 183783 ... c Min unsat cost LB: 183791 ... c Min unsat cost LB: 183794 ... c Min unsat cost LB: 183806 ... c Min unsat cost LB: 183810 ... c Min unsat cost LB: 183811 ... c Min unsat cost LB: 183820 ... c Min unsat cost LB: 183821 ... c Min unsat cost LB: 183825 ... c Min unsat cost LB: 183827 ... c Min unsat cost LB: 183828 ... c Min unsat cost LB: 183837 ... c Min unsat cost LB: 183839 ... c Min unsat cost LB: 183841 ... c Min unsat cost LB: 183843 ... c Min unsat cost LB: 183848 ... c Min unsat cost LB: 183851 ... c Min unsat cost LB: 183862 ... c Min unsat cost LB: 183864 ... c Min unsat cost LB: 183865 ... c Min unsat cost LB: 183866 ... c Min unsat cost LB: 183885 ... c Min unsat cost LB: 183900 ... c Min unsat cost LB: 183931 ... c Min unsat cost LB: 183952 ... c Min unsat cost LB: 184005 ... c Min unsat cost LB: 184029 ... c Min unsat cost LB: 184030 ... c Min unsat cost LB: 184033 ... c Min unsat cost LB: 184034 ... c Min unsat cost LB: 184056 ... c Min unsat cost LB: 184068 ... c Min unsat cost LB: 184069 ... c Min unsat cost LB: 184070 ... c Min unsat cost LB: 184075 ... c Min unsat cost LB: 184085 ... c Min unsat cost LB: 184096 ... c Min unsat cost LB: 184108 ... c Min unsat cost LB: 184111 ... c Min unsat cost LB: 184398 ... c Min unsat cost LB: 184413 ... c Min unsat cost LB: 184961 ... c Min unsat cost LB: 185650 ... c Min unsat cost LB: 185977 ... c Min unsat cost LB: 186242 ... c Min unsat cost LB: 186244 ... c Min unsat cost LB: 187411 ... c Min unsat cost LB: 187412 ... c Min unsat cost LB: 188843 ... c Min unsat cost LB: 188907 ... c Min unsat cost LB: 188991 ... c Min unsat cost LB: 189212 ... c Min unsat cost LB: 189276 ... c Min unsat cost LB: 189405 ... c Min unsat cost LB: 189584 ... c Min unsat cost LB: 189648 ... c Min unsat cost LB: 189650 ... c Min unsat cost LB: 190676 ... c Min unsat cost LB: 190697 ... c Min unsat cost LB: 190702 ... c Min unsat cost LB: 190703 ... c Min unsat cost LB: 190705 ... c Min unsat cost LB: 190706 ... c Min unsat cost LB: 190708 ... c Min unsat cost LB: 190712 ... c Min unsat cost LB: 190713 ... c Min unsat cost LB: 190714 ... c Min unsat cost LB: 190719 ... c Min unsat cost LB: 190721 ... c Min unsat cost LB: 190724 ... c Min unsat cost LB: 190727 ... c Min unsat cost LB: 190736 ... c Min unsat cost LB: 190737 ... c Min unsat cost LB: 190740 ... c Min unsat cost LB: 190741 ... c Min unsat cost LB: 190742 ... c Min unsat cost LB: 190745 ... c Min unsat cost LB: 190749 ... c Min unsat cost LB: 190750 ... c Min unsat cost LB: 190757 ... c Min unsat cost LB: 190759 ... c Min unsat cost LB: 190760 ... c Min unsat cost LB: 190764 ... c Min unsat cost LB: 190765 ... c Min unsat cost LB: 190766 ... c Min unsat cost LB: 190767 ... c Min unsat cost LB: 190776 ... c Min unsat cost LB: 190777 ... c Min unsat cost LB: 190791 ... c Min unsat cost LB: 190797 ... c Min unsat cost LB: 190800 ... c Min unsat cost LB: 190805 ... c Min unsat cost LB: 190807 ... c Min unsat cost LB: 190819 ... c Min unsat cost LB: 190821 ... c Min unsat cost LB: 190822 ... c Min unsat cost LB: 190823 ... c Min unsat cost LB: 190825 ... c Min unsat cost LB: 190831 ... c Min unsat cost LB: 190833 ... c Min unsat cost LB: 190843 ... c Min unsat cost LB: 190844 ... c Min unsat cost LB: 190845 ... c Min unsat cost LB: 190846 ... c Min unsat cost LB: 190847 ... c Min unsat cost LB: 190851 ... c Min unsat cost LB: 190852 ... c Min unsat cost LB: 190853 ... c Min unsat cost LB: 190854 ... c Min unsat cost LB: 190856 ... c Min unsat cost LB: 190857 ... c Min unsat cost LB: 190858 ... c Min unsat cost LB: 190863 ... c Min unsat cost LB: 190864 ... c Min unsat cost LB: 190865 ... c Min unsat cost LB: 190867 ... c Min unsat cost LB: 190868 ... c Min unsat cost LB: 190869 ... c Min unsat cost LB: 190870 ... c Min unsat cost LB: 190871 ... c Min unsat cost LB: 190872 ... c Min unsat cost LB: 190873 ... c Min unsat cost LB: 190874 ... c Min unsat cost LB: 190875 ... c Min unsat cost LB: 190876 ... c Min unsat cost LB: 190877 ... c Min unsat cost LB: 190878 ... c Min unsat cost LB: 190879 ... c Min unsat cost LB: 190880 ... c Min unsat cost LB: 190883 ... c Min unsat cost LB: 190884 ... c Min unsat cost LB: 190885 ... c Min unsat cost LB: 190886 ... c Min unsat cost LB: 190887 ... c Min unsat cost LB: 190888 ... c Min unsat cost LB: 190891 ... c Min unsat cost LB: 190892 ... c Min unsat cost LB: 190893 ... c Min unsat cost LB: 190894 ... c Min unsat cost LB: 190895 ... c Min unsat cost LB: 190896 ... c Min unsat cost LB: 190897 ... c Min unsat cost LB: 190898 ... c Min unsat cost LB: 190899 ... c Min unsat cost LB: 190900 ... c Min unsat cost LB: 190901 ... c Min unsat cost LB: 190902 ... c Min unsat cost LB: 190903 ... c Min unsat cost LB: 190904 ... c Min unsat cost LB: 190905 ... c Min unsat cost LB: 190906 ... c Min unsat cost LB: 190907 ... c Min unsat cost LB: 190908 ... c Min unsat cost LB: 190909 ... c Min unsat cost LB: 190910 ... c Min unsat cost LB: 190911 ... c Min unsat cost LB: 190913 ... c Min unsat cost LB: 190914 ... c Min unsat cost LB: 190915 ... c Min unsat cost LB: 190916 ... c Min unsat cost LB: 190917 ... c Min unsat cost LB: 190918 ... c Min unsat cost LB: 190919 ... c Min unsat cost LB: 190920 ... c Min unsat cost LB: 190921 ... c Min unsat cost LB: 190922 ... c Min unsat cost LB: 190923 ... c Min unsat cost LB: 190924 ... c Min unsat cost LB: 190925 ... c Min unsat cost LB: 190926 ... c Min unsat cost LB: 190927 ... c Min unsat cost LB: 190929 ... c Min unsat cost LB: 190930 ... c Min unsat cost LB: 190931 ... c Min unsat cost LB: 190932 ... c Min unsat cost LB: 190934 ... c Min unsat cost LB: 190935 ... c Min unsat cost LB: 190951 ... c Min unsat cost LB: 190954 ... c Min unsat cost LB: 190955 ... c Min unsat cost LB: 190956 ... c Min unsat cost LB: 190957 ... c Min unsat cost LB: 190958 ... c Min unsat cost LB: 190959 ... c Min unsat cost LB: 190960 ... c Min unsat cost LB: 190961 ... c Min unsat cost LB: 190962 ... c Min unsat cost LB: 190963 ... c Min unsat cost LB: 190964 ... c Min unsat cost LB: 190965 ... c Min unsat cost LB: 190966 ... c Min unsat cost LB: 190967 ... c Min unsat cost LB: 190968 ... c Min unsat cost LB: 190969 ... c Min unsat cost LB: 190970 ... c Min unsat cost LB: 190971 ... c Min unsat cost LB: 190972 ... c Min unsat cost LB: 190973 ... c Min unsat cost LB: 190974 ... c Min unsat cost LB: 190975 ... c Min unsat cost LB: 190976 ... c Min unsat cost LB: 190977 ... c Min unsat cost LB: 190979 ... c Min unsat cost LB: 190982 ... c Min unsat cost LB: 190983 ... c Min unsat cost LB: 190984 ... c Min unsat cost LB: 190985 ... c Min unsat cost LB: 190986 ... c Min unsat cost LB: 190987 ... c Min unsat cost LB: 190988 ... c Min unsat cost LB: 190989 ... c Min unsat cost LB: 190991 ... c Min unsat cost LB: 190992 ... c Min unsat cost LB: 190993 ... c Min unsat cost LB: 190994 ... c Min unsat cost LB: 190995 ... c Min unsat cost LB: 190996 ... c Min unsat cost LB: 190997 ... c Min unsat cost LB: 190998 ... c Min unsat cost LB: 191003 ... c Min unsat cost LB: 191004 ... c Min unsat cost LB: 191005 ... c Min unsat cost LB: 191006 ... c Min unsat cost LB: 191012 ... c Min unsat cost LB: 191026 ... c Min unsat cost LB: 191027 ... c Min unsat cost LB: 191028 ... c Min unsat cost LB: 191034 ... c Min unsat cost LB: 191038 ... c Min unsat cost LB: 191044 ... c Min unsat cost LB: 191047 ... c Min unsat cost LB: 191055 ... c Min unsat cost LB: 191064 ... c Min unsat cost LB: 191083 ... c Min unsat cost LB: 191118 ... c Min unsat cost LB: 191119 ... c Min unsat cost LB: 191120 ... c Min unsat cost LB: 191122 ... c Min unsat cost LB: 191123 ... c Min unsat cost LB: 191124 ... c Min unsat cost LB: 191125 ... c Min unsat cost LB: 191126 ... c Min unsat cost LB: 191127 ... c Min unsat cost LB: 191128 ... c Min unsat cost LB: 191129 ... c Min unsat cost LB: 191130 ... c Min unsat cost LB: 191131 ... c Min unsat cost LB: 191133 ... c Min unsat cost LB: 191134 ... c Min unsat cost LB: 191135 ... c Min unsat cost LB: 191136 ... c Min unsat cost LB: 191140 ... c Min unsat cost LB: 191141 ... c Min unsat cost LB: 191142 ... c Min unsat cost LB: 191143 ... c Min unsat cost LB: 191144 ... c Min unsat cost LB: 191145 ... c Min unsat cost LB: 191146 ... c Min unsat cost LB: 191147 ... c Min unsat cost LB: 191148 ... c Min unsat cost LB: 191149 ... c Min unsat cost LB: 191393 ... c Min unsat cost LB: 191715 ... c Min unsat cost LB: 191935 ... c Min unsat cost LB: 192351 ... c Min unsat cost LB: 192617 ... c Min unsat cost LB: 192625 ... c Min unsat cost LB: 192860 ... c Min unsat cost LB: 192935 ... c Min unsat cost LB: 192961 ... c Min unsat cost LB: 193322 ... c Min unsat cost LB: 193335 ... c Min unsat cost LB: 194416 ... c Min unsat cost LB: 194635 ... c Min unsat cost LB: 194848 ... c Min unsat cost LB: 195033 ... c Min unsat cost LB: 195115 ... c Min unsat cost LB: 195221 ... c Min unsat cost LB: 195573 ... c Min unsat cost LB: 195730 ... c Min unsat cost LB: 196246 ... c Min unsat cost LB: 196305 ... c Min unsat cost LB: 197021 ... c Min unsat cost LB: 197279 ... c Min unsat cost LB: 197512 ... c Min unsat cost LB: 197963 ... c Min unsat cost LB: 198047 ... c Min unsat cost LB: 198106 ... c Min unsat cost LB: 198138 ... c Min unsat cost LB: 198160 ... c Min unsat cost LB: 198267 ... c Min unsat cost LB: 199434 ... c Min unsat cost LB: 200296 ... c Min unsat cost LB: 200299 ... c Min unsat cost LB: 200566 ... c Min unsat cost LB: 200929 ... c Min unsat cost LB: 201023 ... c Min unsat cost LB: 201082 ... c Min unsat cost LB: 201214 ... c Min unsat cost LB: 201582 ... c Min unsat cost LB: 202237 ... c Min unsat cost LB: 202460 ... c Min unsat cost LB: 202697 ... c Min unsat cost LB: 202763 ... c Min unsat cost LB: 202764 ... c Min unsat cost LB: 202817 ... c Min unsat cost LB: 202912 ... c Min unsat cost LB: 202960 ... c Min unsat cost LB: 202964 ... c Min unsat cost LB: 202997 ... c Min unsat cost LB: 203022 ... c Min unsat cost LB: 203069 ... c Min unsat cost LB: 203251 ... c Min unsat cost LB: 203265 ... c Min unsat cost LB: 203277 ... c Min unsat cost LB: 203337 ... c Min unsat cost LB: 203358 ... c Min unsat cost LB: 203404 ... c Min unsat cost LB: 203436 ... c Min unsat cost LB: 203463 ... c Min unsat cost LB: 203636 ... c Min unsat cost LB: 204243 ... c Min unsat cost LB: 204555 ... c Min unsat cost LB: 204557 ... c Min unsat cost LB: 204610 ... c Min unsat cost LB: 204938 ... c Min unsat cost LB: 204965 ... c Min unsat cost LB: 204977 ... c Min unsat cost LB: 204980 ... c Min unsat cost LB: 204988 ... c Min unsat cost LB: 205058 ... c Min unsat cost LB: 205083 ... c Min unsat cost LB: 205111 ... c Min unsat cost LB: 205147 ... c Min unsat cost LB: 205155 ... c Min unsat cost LB: 205158 ... c Min unsat cost LB: 205470 ... c Min unsat cost LB: 205634 ... c Min unsat cost LB: 205695 ... c Min unsat cost LB: 205925 ... c Min unsat cost LB: 206471 ... c Min unsat cost LB: 206807 ... c Min unsat cost LB: 206834 ... c Min unsat cost LB: 206835 ... c Min unsat cost LB: 206866 ... c Min unsat cost LB: 206900 ... c Min unsat cost LB: 206909 ... c Min unsat cost LB: 206925 ... c Min unsat cost LB: 206934 ... c Min unsat cost LB: 207044 ... c Min unsat cost LB: 207074 ... c Min unsat cost LB: 207083 ... c Min unsat cost LB: 207095 ... c Min unsat cost LB: 207133 ... c Min unsat cost LB: 207145 ... c Min unsat cost LB: 207146 ... c Min unsat cost LB: 207171 ... c Min unsat cost LB: 207176 ... c Min unsat cost LB: 207183 ... c Min unsat cost LB: 207192 ... c Min unsat cost LB: 207205 ... c Min unsat cost LB: 207214 ... c Min unsat cost LB: 207222 ... c Min unsat cost LB: 207230 ... c Min unsat cost LB: 207268 ... c Min unsat cost LB: 207270 ... c Min unsat cost LB: 207277 ... c Min unsat cost LB: 207280 ... c Min unsat cost LB: 207287 ... c Min unsat cost LB: 207304 ... c Min unsat cost LB: 207311 ... c Min unsat cost LB: 207315 ... c Min unsat cost LB: 207470 ... c Min unsat cost LB: 207854 ... c Min unsat cost LB: 207898 ... c Min unsat cost LB: 208224 ... c Min unsat cost LB: 208275 ... c Min unsat cost LB: 208381 ... c Min unsat cost LB: 208705 ... c Min unsat cost LB: 209041 ... c Min unsat cost LB: 209075 ... c Min unsat cost LB: 209238 ... c Min unsat cost LB: 210021 ... c Min unsat cost LB: 210241 ... c Min unsat cost LB: 210463 ... c Min unsat cost LB: 210674 ... c Min unsat cost LB: 211415 ... c Min unsat cost LB: 211489 ... c Min unsat cost LB: 212124 ... c Min unsat cost LB: 212307 ... c Min unsat cost LB: 212849 ... c Min unsat cost LB: 213353 ... c Min unsat cost LB: 213691 ... c Min unsat cost LB: 213708 ... c Min unsat cost LB: 214159 ... c Min unsat cost LB: 214671 ... c Min unsat cost LB: 214747 ... c Min unsat cost LB: 215049 ... c Min unsat cost LB: 215050 ... c Min unsat cost LB: 215094 ... c Min unsat cost LB: 215119 ... c Min unsat cost LB: 215145 ... c Min unsat cost LB: 215159 ... c Min unsat cost LB: 215190 ... c Min unsat cost LB: 215325 ... c Min unsat cost LB: 215373 ... c Min unsat cost LB: 215374 ... c Min unsat cost LB: 216413 ... c Min unsat cost LB: 216666 ... c Min unsat cost LB: 216856 ... c Min unsat cost LB: 216967 ... c Min unsat cost LB: 217363 ... c Min unsat cost LB: 218187 ... c Min unsat cost LB: 218236 ... c Min unsat cost LB: 218313 ... c Min unsat cost LB: 218355 ... c Min unsat cost LB: 218611 ... c Min unsat cost LB: 219585 ... c Min unsat cost LB: 219596 Killed 1812.520u 7.223s 30:20.42 99.9% 0+0k 0+0io 0pf+0w