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-240-1_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-9.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-9.net.wcnf *** c c Min unsat cost LB: 515 ... c Min unsat cost LB: 1563 ... c Min unsat cost LB: 1747 ... c Min unsat cost LB: 2113 ... c Min unsat cost LB: 2220 ... c Min unsat cost LB: 3017 ... c Min unsat cost LB: 4801 ... c Min unsat cost LB: 5731 ... c Min unsat cost LB: 8511 ... c Min unsat cost LB: 9553 ... c Min unsat cost LB: 10913 ... c Min unsat cost LB: 12402 ... c Min unsat cost LB: 12492 ... c Min unsat cost LB: 13173 ... c Min unsat cost LB: 13695 ... c Min unsat cost LB: 14379 ... c Min unsat cost LB: 15108 ... c Min unsat cost LB: 16516 ... c Min unsat cost LB: 17070 ... c Min unsat cost LB: 17311 ... c Min unsat cost LB: 17396 ... c Min unsat cost LB: 17409 ... c Min unsat cost LB: 17946 ... c Min unsat cost LB: 18475 ... c Min unsat cost LB: 19230 ... c Min unsat cost LB: 20678 ... c Min unsat cost LB: 21214 ... c Min unsat cost LB: 21902 ... c Min unsat cost LB: 23220 ... c Min unsat cost LB: 23263 ... c Min unsat cost LB: 23871 ... c Min unsat cost LB: 24820 ... c Min unsat cost LB: 25655 ... c Min unsat cost LB: 25692 ... c Min unsat cost LB: 27042 ... c Min unsat cost LB: 27645 ... c Min unsat cost LB: 28042 ... c Min unsat cost LB: 29084 ... c Min unsat cost LB: 29744 ... c Min unsat cost LB: 30409 ... c Min unsat cost LB: 31566 ... c Min unsat cost LB: 32344 ... c Min unsat cost LB: 32555 ... c Min unsat cost LB: 32601 ... c Min unsat cost LB: 33196 ... c Min unsat cost LB: 34033 ... c Min unsat cost LB: 34753 ... c Min unsat cost LB: 34782 ... c Min unsat cost LB: 34840 ... c Min unsat cost LB: 36026 ... c Min unsat cost LB: 36098 ... c Min unsat cost LB: 37269 ... c Min unsat cost LB: 37359 ... c Min unsat cost LB: 37573 ... c Min unsat cost LB: 38405 ... c Min unsat cost LB: 38597 ... c Min unsat cost LB: 39507 ... c Min unsat cost LB: 40202 ... c Min unsat cost LB: 41656 ... c Min unsat cost LB: 42271 ... c Min unsat cost LB: 43166 ... c Min unsat cost LB: 43483 ... c Min unsat cost LB: 43822 ... c Min unsat cost LB: 44157 ... c Min unsat cost LB: 44511 ... c Min unsat cost LB: 44538 ... c Min unsat cost LB: 44890 ... c Min unsat cost LB: 45940 ... c Min unsat cost LB: 45958 ... c Min unsat cost LB: 45970 ... c Min unsat cost LB: 47191 ... c Min unsat cost LB: 47350 ... c Min unsat cost LB: 47460 ... c Min unsat cost LB: 47535 ... c Min unsat cost LB: 47782 ... c Min unsat cost LB: 48099 ... c Min unsat cost LB: 48274 ... c Min unsat cost LB: 48896 ... c Min unsat cost LB: 48964 ... c Min unsat cost LB: 49697 ... c Min unsat cost LB: 49886 ... c Min unsat cost LB: 50284 ... c Min unsat cost LB: 50315 ... c Min unsat cost LB: 51040 ... c Min unsat cost LB: 51540 ... c Min unsat cost LB: 51592 ... c Min unsat cost LB: 51604 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 51888 ... c Min unsat cost LB: 52233 ... c Min unsat cost LB: 52514 ... c Min unsat cost LB: 52554 ... c Min unsat cost LB: 52618 ... c Min unsat cost LB: 52850 ... c Min unsat cost LB: 53254 ... c Min unsat cost LB: 53277 ... c Min unsat cost LB: 53970 ... c Min unsat cost LB: 54005 ... c Min unsat cost LB: 54867 ... c Min unsat cost LB: 55234 ... c Min unsat cost LB: 55552 ... c Min unsat cost LB: 55684 ... c Min unsat cost LB: 55716 ... c Min unsat cost LB: 55984 ... c Min unsat cost LB: 56158 ... c Min unsat cost LB: 56167 ... c Min unsat cost LB: 57054 ... c Min unsat cost LB: 57738 ... c Min unsat cost LB: 57767 ... c Min unsat cost LB: 58274 ... c Min unsat cost LB: 58464 ... c Min unsat cost LB: 58739 ... c Min unsat cost LB: 58854 ... c Min unsat cost LB: 58892 ... c Min unsat cost LB: 59825 ... c Min unsat cost LB: 59840 ... c Min unsat cost LB: 60490 ... c Min unsat cost LB: 60902 ... c Min unsat cost LB: 61182 ... c Min unsat cost LB: 62384 ... c Min unsat cost LB: 62701 ... c Min unsat cost LB: 63185 ... c Min unsat cost LB: 63571 ... c Min unsat cost LB: 63973 ... c Min unsat cost LB: 64046 ... c Min unsat cost LB: 64241 ... c Min unsat cost LB: 64344 ... c Min unsat cost LB: 65451 ... c Min unsat cost LB: 65564 ... c Min unsat cost LB: 65790 ... c Min unsat cost LB: 66113 ... c Min unsat cost LB: 66226 ... c Min unsat cost LB: 66514 ... c Min unsat cost LB: 67578 ... c Min unsat cost LB: 67592 ... c Min unsat cost LB: 69063 ... c Min unsat cost LB: 69132 ... c Min unsat cost LB: 69258 ... c Min unsat cost LB: 70659 ... c Min unsat cost LB: 70770 ... c Min unsat cost LB: 70838 ... c Min unsat cost LB: 71856 ... c Min unsat cost LB: 71990 ... c Min unsat cost LB: 72302 ... c Min unsat cost LB: 72490 ... c Min unsat cost LB: 72919 ... c Min unsat cost LB: 73533 ... c Min unsat cost LB: 74358 ... c Min unsat cost LB: 74383 ... c Min unsat cost LB: 74411 ... c Min unsat cost LB: 74460 ... c Min unsat cost LB: 75478 ... c Min unsat cost LB: 75650 ... c Min unsat cost LB: 75817 ... c Min unsat cost LB: 76125 ... c Min unsat cost LB: 76396 ... c Min unsat cost LB: 77029 ... c Min unsat cost LB: 77196 ... c Min unsat cost LB: 77199 ... c Min unsat cost LB: 77240 ... c Min unsat cost LB: 77511 ... c Min unsat cost LB: 77752 ... c Min unsat cost LB: 77833 ... c Min unsat cost LB: 77945 ... c Min unsat cost LB: 78024 ... c Min unsat cost LB: 78558 ... c Min unsat cost LB: 79274 ... c Min unsat cost LB: 79332 ... c Min unsat cost LB: 79414 ... c Min unsat cost LB: 79564 ... c Min unsat cost LB: 79584 ... c Min unsat cost LB: 79674 ... c Min unsat cost LB: 79865 ... c Min unsat cost LB: 79906 ... c Min unsat cost LB: 79927 ... c Min unsat cost LB: 80385 ... c Min unsat cost LB: 80471 ... c Min unsat cost LB: 81055 ... c Min unsat cost LB: 81106 ... c Min unsat cost LB: 81689 ... c Min unsat cost LB: 82451 ... c Min unsat cost LB: 82466 ... c Min unsat cost LB: 82834 ... c Min unsat cost LB: 83381 ... c Min unsat cost LB: 83593 ... c Min unsat cost LB: 83781 ... c Min unsat cost LB: 84044 ... c Min unsat cost LB: 84171 ... c Min unsat cost LB: 84177 ... c Min unsat cost LB: 84213 ... c Min unsat cost LB: 84685 ... c Min unsat cost LB: 85326 ... c Min unsat cost LB: 85366 ... c Min unsat cost LB: 85440 ... c Min unsat cost LB: 86625 ... c Min unsat cost LB: 86723 ... c Min unsat cost LB: 86731 ... c Min unsat cost LB: 86927 ... c Min unsat cost LB: 86991 ... c Min unsat cost LB: 87052 ... c Min unsat cost LB: 87570 ... c Min unsat cost LB: 87619 ... c Min unsat cost LB: 88027 ... c Min unsat cost LB: 88178 ... c Min unsat cost LB: 88469 ... c Min unsat cost LB: 88542 ... c Min unsat cost LB: 89036 ... c Min unsat cost LB: 89070 ... c Min unsat cost LB: 89079 ... c Min unsat cost LB: 89086 ... c Min unsat cost LB: 89091 ... c Min unsat cost LB: 89213 ... c Min unsat cost LB: 89299 ... c Min unsat cost LB: 89652 ... c Min unsat cost LB: 89818 ... c Min unsat cost LB: 89925 ... c Min unsat cost LB: 90011 ... c Min unsat cost LB: 90079 ... c Min unsat cost LB: 90181 ... c Min unsat cost LB: 90464 ... c Min unsat cost LB: 90475 ... c Min unsat cost LB: 90627 ... c Min unsat cost LB: 91272 ... c Min unsat cost LB: 91279 ... c Min unsat cost LB: 91624 ... c Min unsat cost LB: 91677 ... c Min unsat cost LB: 92145 ... c Min unsat cost LB: 92181 ... c Min unsat cost LB: 92216 ... c Min unsat cost LB: 92325 ... c Min unsat cost LB: 92340 ... c Min unsat cost LB: 92653 ... c Min unsat cost LB: 93336 ... c Min unsat cost LB: 93552 ... c Min unsat cost LB: 93973 ... c Min unsat cost LB: 93994 ... c Min unsat cost LB: 93995 ... c Min unsat cost LB: 94367 ... c Min unsat cost LB: 94585 ... c Min unsat cost LB: 94822 ... c Min unsat cost LB: 95034 ... c Min unsat cost LB: 95129 ... c Min unsat cost LB: 95672 ... c Min unsat cost LB: 95913 ... c Min unsat cost LB: 96212 ... c Min unsat cost LB: 97022 ... c Min unsat cost LB: 97159 ... c Min unsat cost LB: 97208 ... c Min unsat cost LB: 97209 ... c Min unsat cost LB: 97358 ... c Min unsat cost LB: 97359 ... c Min unsat cost LB: 97585 ... c Min unsat cost LB: 97988 ... c Min unsat cost LB: 98026 ... c Min unsat cost LB: 98032 ... c Min unsat cost LB: 98033 ... c Min unsat cost LB: 98555 ... c Min unsat cost LB: 98584 ... c Min unsat cost LB: 99175 ... c Min unsat cost LB: 99709 ... c Min unsat cost LB: 99942 ... c Min unsat cost LB: 100236 ... c Min unsat cost LB: 100460 ... c Min unsat cost LB: 100544 ... c Min unsat cost LB: 100772 ... c Min unsat cost LB: 101218 ... c Min unsat cost LB: 101308 ... c Min unsat cost LB: 101997 ... c Min unsat cost LB: 102555 ... c Min unsat cost LB: 103109 ... c Min unsat cost LB: 103408 ... c Min unsat cost LB: 103553 ... c Min unsat cost LB: 103756 ... c Min unsat cost LB: 104164 ... c Min unsat cost LB: 104377 ... c Min unsat cost LB: 104492 ... c Min unsat cost LB: 104530 ... c Min unsat cost LB: 104773 ... c Min unsat cost LB: 104963 ... c Min unsat cost LB: 105449 ... c Min unsat cost LB: 106099 ... c Min unsat cost LB: 106131 ... c Min unsat cost LB: 106336 ... c Min unsat cost LB: 106752 ... c Min unsat cost LB: 107101 ... c Min unsat cost LB: 107515 ... c Min unsat cost LB: 107789 ... c Min unsat cost LB: 107826 ... c Min unsat cost LB: 108433 ... c Min unsat cost LB: 108519 ... c Min unsat cost LB: 108600 ... c Min unsat cost LB: 109006 ... c Min unsat cost LB: 109389 ... c Min unsat cost LB: 109992 ... c Min unsat cost LB: 110726 ... c Min unsat cost LB: 110913 ... c Min unsat cost LB: 111033 ... c Min unsat cost LB: 111272 ... c Min unsat cost LB: 111359 ... c Min unsat cost LB: 111396 ... c Min unsat cost LB: 111466 ... c Min unsat cost LB: 112044 ... c Min unsat cost LB: 112072 ... c Min unsat cost LB: 112177 ... c Min unsat cost LB: 112482 ... c Min unsat cost LB: 113072 ... c Min unsat cost LB: 113219 ... c Min unsat cost LB: 114066 ... c Min unsat cost LB: 114078 ... c Min unsat cost LB: 114267 ... c Min unsat cost LB: 114950 ... c Min unsat cost LB: 115171 ... c Min unsat cost LB: 115768 ... c Min unsat cost LB: 116342 ... c Min unsat cost LB: 116485 ... c Min unsat cost LB: 116725 ... c Min unsat cost LB: 116877 ... c Min unsat cost LB: 117018 ... c Min unsat cost LB: 117360 ... c Min unsat cost LB: 117388 ... c Min unsat cost LB: 117457 ... c Min unsat cost LB: 117856 ... c Min unsat cost LB: 118191 ... c Min unsat cost LB: 118576 ... c Min unsat cost LB: 118774 ... c Min unsat cost LB: 118986 ... c Min unsat cost LB: 119047 ... c Min unsat cost LB: 119261 ... c Min unsat cost LB: 119431 ... c Min unsat cost LB: 119513 ... c Min unsat cost LB: 119977 ... c Min unsat cost LB: 121318 ... c Min unsat cost LB: 121609 ... c Min unsat cost LB: 121651 ... c Min unsat cost LB: 121795 ... c Min unsat cost LB: 122195 ... c Min unsat cost LB: 122197 ... c Min unsat cost LB: 122212 ... c Min unsat cost LB: 122632 ... c Min unsat cost LB: 122669 ... c Min unsat cost LB: 122705 ... c Min unsat cost LB: 122743 ... c Min unsat cost LB: 122855 ... c Min unsat cost LB: 122903 ... c Min unsat cost LB: 123485 ... c Min unsat cost LB: 123575 ... c Min unsat cost LB: 123737 ... c Min unsat cost LB: 124147 ... c Min unsat cost LB: 124397 ... c Min unsat cost LB: 125226 ... c Min unsat cost LB: 125244 ... c Min unsat cost LB: 125678 ... c Min unsat cost LB: 125716 ... c Min unsat cost LB: 125783 ... c Min unsat cost LB: 126003 ... c Min unsat cost LB: 126054 ... c Min unsat cost LB: 126533 ... c Min unsat cost LB: 126751 ... c Min unsat cost LB: 127177 ... c Min unsat cost LB: 127200 ... c Min unsat cost LB: 127446 ... c Min unsat cost LB: 127514 ... c Min unsat cost LB: 128398 ... c Min unsat cost LB: 128646 ... c Min unsat cost LB: 128731 ... c Min unsat cost LB: 129178 ... c Min unsat cost LB: 129292 ... c Min unsat cost LB: 129347 ... c Min unsat cost LB: 129537 ... c Min unsat cost LB: 130162 ... c Min unsat cost LB: 130192 ... c Min unsat cost LB: 130209 ... c Min unsat cost LB: 130291 ... c Min unsat cost LB: 130354 ... c Min unsat cost LB: 130439 ... c Min unsat cost LB: 130962 ... c Min unsat cost LB: 131163 ... c Min unsat cost LB: 131683 ... c Min unsat cost LB: 131712 ... c Min unsat cost LB: 133031 ... c Min unsat cost LB: 133126 ... c Min unsat cost LB: 133273 ... c Min unsat cost LB: 133556 ... c Min unsat cost LB: 133679 ... c Min unsat cost LB: 133691 ... c Min unsat cost LB: 133781 ... c Min unsat cost LB: 133787 ... c Min unsat cost LB: 133869 ... c Min unsat cost LB: 133934 ... c Min unsat cost LB: 134227 ... c Min unsat cost LB: 134400 ... c Min unsat cost LB: 135241 ... c Min unsat cost LB: 135250 ... c Min unsat cost LB: 135847 ... c Min unsat cost LB: 136010 ... c Min unsat cost LB: 136132 ... c Min unsat cost LB: 136691 ... c Min unsat cost LB: 136724 ... c Min unsat cost LB: 137102 ... c Min unsat cost LB: 137143 ... c Min unsat cost LB: 137156 ... c Min unsat cost LB: 137247 ... c Min unsat cost LB: 137610 ... c Min unsat cost LB: 138580 ... c Min unsat cost LB: 139668 ... c Min unsat cost LB: 139733 ... c Min unsat cost LB: 139848 ... c Min unsat cost LB: 140101 ... c Min unsat cost LB: 140103 ... c Min unsat cost LB: 140453 ... c Min unsat cost LB: 140619 ... c Min unsat cost LB: 140740 ... c Min unsat cost LB: 140819 ... c Min unsat cost LB: 140875 ... c Min unsat cost LB: 141504 ... c Min unsat cost LB: 141666 ... c Min unsat cost LB: 142058 ... c Min unsat cost LB: 142347 ... c Min unsat cost LB: 142415 ... c Min unsat cost LB: 142704 ... c Min unsat cost LB: 143755 ... c Min unsat cost LB: 144350 ... c Min unsat cost LB: 144475 ... c Min unsat cost LB: 144567 ... c Min unsat cost LB: 144754 ... c Min unsat cost LB: 144947 ... c Min unsat cost LB: 145750 ... c Min unsat cost LB: 145776 ... c Min unsat cost LB: 145805 ... c Min unsat cost LB: 145956 ... c Min unsat cost LB: 145963 ... c Min unsat cost LB: 146286 ... c Min unsat cost LB: 146387 ... c Min unsat cost LB: 146832 ... c Min unsat cost LB: 146848 ... c Min unsat cost LB: 146933 ... c Min unsat cost LB: 146984 ... c Min unsat cost LB: 147225 ... c Min unsat cost LB: 147293 ... c Min unsat cost LB: 147308 ... c Min unsat cost LB: 147315 ... c Min unsat cost LB: 147399 ... c Min unsat cost LB: 147439 ... c Min unsat cost LB: 148573 ... c Min unsat cost LB: 149940 ... c Min unsat cost LB: 149963 ... c Min unsat cost LB: 149981 ... c Min unsat cost LB: 149991 ... c Min unsat cost LB: 150106 ... c Min unsat cost LB: 150120 ... c Min unsat cost LB: 151060 ... c Min unsat cost LB: 151223 ... c Min unsat cost LB: 151504 ... c Min unsat cost LB: 151513 ... c Min unsat cost LB: 151517 ... c Min unsat cost LB: 151521 ... c Min unsat cost LB: 151607 ... c Min unsat cost LB: 151622 ... c Min unsat cost LB: 151623 ... c Min unsat cost LB: 151631 ... c Min unsat cost LB: 151636 ... c Min unsat cost LB: 151737 ... c Min unsat cost LB: 151862 ... c Min unsat cost LB: 151886 ... c Min unsat cost LB: 151922 ... c Min unsat cost LB: 151963 ... c Min unsat cost LB: 152001 ... c Min unsat cost LB: 152016 ... c Min unsat cost LB: 152075 ... c Min unsat cost LB: 152252 ... c Min unsat cost LB: 152254 ... c Min unsat cost LB: 152263 ... c Min unsat cost LB: 152277 ... c Min unsat cost LB: 152287 ... c Min unsat cost LB: 152321 ... c Min unsat cost LB: 152353 ... c Min unsat cost LB: 152362 ... c Min unsat cost LB: 152363 ... c Min unsat cost LB: 152367 ... c Min unsat cost LB: 152370 ... c Min unsat cost LB: 152371 ... c Min unsat cost LB: 152386 ... c Min unsat cost LB: 152394 ... c Min unsat cost LB: 152399 ... c Min unsat cost LB: 152408 ... c Min unsat cost LB: 152410 ... c Min unsat cost LB: 152454 ... c Min unsat cost LB: 152463 ... c Min unsat cost LB: 152464 ... c Min unsat cost LB: 153360 ... c Min unsat cost LB: 153424 ... c Min unsat cost LB: 153595 ... c Min unsat cost LB: 153844 ... c Min unsat cost LB: 153895 ... c Min unsat cost LB: 153904 ... c Min unsat cost LB: 154315 ... c Min unsat cost LB: 154659 ... c Min unsat cost LB: 154693 ... c Min unsat cost LB: 154703 ... c Min unsat cost LB: 154925 ... c Min unsat cost LB: 154932 ... c Min unsat cost LB: 154940 ... c Min unsat cost LB: 154949 ... c Min unsat cost LB: 154954 ... c Min unsat cost LB: 154957 ... c Min unsat cost LB: 154958 ... c Min unsat cost LB: 154971 ... c Min unsat cost LB: 154973 ... c Min unsat cost LB: 154978 ... c Min unsat cost LB: 154982 ... c Min unsat cost LB: 154986 ... c Min unsat cost LB: 154995 ... c Min unsat cost LB: 154998 ... c Min unsat cost LB: 155004 ... c Min unsat cost LB: 155005 ... c Min unsat cost LB: 155007 ... c Min unsat cost LB: 155008 ... c Min unsat cost LB: 155009 ... c Min unsat cost LB: 155010 ... c Min unsat cost LB: 155011 ... c Min unsat cost LB: 155012 ... c Min unsat cost LB: 155017 ... c Min unsat cost LB: 155020 ... c Min unsat cost LB: 155021 ... c Min unsat cost LB: 155022 ... c Min unsat cost LB: 155026 ... c Min unsat cost LB: 155033 ... c Min unsat cost LB: 155035 ... c Min unsat cost LB: 155036 ... c Min unsat cost LB: 155038 ... c Min unsat cost LB: 155044 ... c Min unsat cost LB: 155045 ... c Min unsat cost LB: 155049 ... c Min unsat cost LB: 155052 ... c Min unsat cost LB: 155059 ... c Min unsat cost LB: 155077 ... c Min unsat cost LB: 155090 ... c Min unsat cost LB: 155105 ... c Min unsat cost LB: 155130 ... c Min unsat cost LB: 155132 ... c Min unsat cost LB: 155134 ... c Min unsat cost LB: 155135 ... c Min unsat cost LB: 155155 ... c Min unsat cost LB: 155159 ... c Min unsat cost LB: 155370 ... c Min unsat cost LB: 155372 ... c Min unsat cost LB: 155487 ... c Min unsat cost LB: 155488 ... c Min unsat cost LB: 155489 ... c Min unsat cost LB: 155491 ... c Min unsat cost LB: 155492 ... c Min unsat cost LB: 155493 ... c Min unsat cost LB: 155494 ... c Min unsat cost LB: 155495 ... c Min unsat cost LB: 155496 ... c Min unsat cost LB: 155497 ... c Min unsat cost LB: 155498 ... c Min unsat cost LB: 155499 ... c Min unsat cost LB: 155500 ... c Min unsat cost LB: 155502 ... c Min unsat cost LB: 155503 ... c Min unsat cost LB: 155504 ... c Min unsat cost LB: 155505 ... c Min unsat cost LB: 155508 ... c Min unsat cost LB: 155509 ... c Min unsat cost LB: 155511 ... c Min unsat cost LB: 155512 ... c Min unsat cost LB: 155514 ... c Min unsat cost LB: 155515 ... c Min unsat cost LB: 155516 ... c Min unsat cost LB: 155517 ... c Min unsat cost LB: 155519 ... c Min unsat cost LB: 155520 ... c Min unsat cost LB: 155521 ... c Min unsat cost LB: 155522 ... c Min unsat cost LB: 155523 ... c Min unsat cost LB: 155524 ... c Min unsat cost LB: 155525 ... c Min unsat cost LB: 155526 ... c Min unsat cost LB: 155597 ... c Min unsat cost LB: 155630 ... c Min unsat cost LB: 155878 ... c Min unsat cost LB: 156244 ... c Min unsat cost LB: 156370 ... c Min unsat cost LB: 156475 ... c Min unsat cost LB: 156657 ... c Min unsat cost LB: 157283 ... c Min unsat cost LB: 157697 ... c Min unsat cost LB: 157786 ... c Min unsat cost LB: 157980 ... c Min unsat cost LB: 158163 ... c Min unsat cost LB: 158173 ... c Min unsat cost LB: 158278 ... c Min unsat cost LB: 158477 ... c Min unsat cost LB: 158654 ... c Min unsat cost LB: 158659 ... c Min unsat cost LB: 158666 ... c Min unsat cost LB: 158785 ... c Min unsat cost LB: 158819 ... c Min unsat cost LB: 158843 ... c Min unsat cost LB: 159576 ... c Min unsat cost LB: 160302 ... c Min unsat cost LB: 160676 ... c Min unsat cost LB: 160696 ... c Min unsat cost LB: 160984 ... c Min unsat cost LB: 161141 ... c Min unsat cost LB: 162620 ... c Min unsat cost LB: 162649 ... c Min unsat cost LB: 162834 ... c Min unsat cost LB: 163571 ... c Min unsat cost LB: 164426 ... c Min unsat cost LB: 164640 ... c Min unsat cost LB: 164750 ... c Min unsat cost LB: 165118 ... c Min unsat cost LB: 165305 ... c Min unsat cost LB: 166075 ... c Min unsat cost LB: 166448 ... c Min unsat cost LB: 166684 ... c Min unsat cost LB: 166727 ... c Min unsat cost LB: 166776 ... c Min unsat cost LB: 167707 ... c Min unsat cost LB: 167939 ... c Min unsat cost LB: 168186 ... c Min unsat cost LB: 168454 ... c Min unsat cost LB: 168657 ... c Min unsat cost LB: 168663 ... c Min unsat cost LB: 168666 ... c Min unsat cost LB: 169190 ... c Min unsat cost LB: 169206 ... c Min unsat cost LB: 169658 ... c Min unsat cost LB: 169799 ... c Min unsat cost LB: 170437 ... c Min unsat cost LB: 170446 ... c Min unsat cost LB: 170898 ... c Min unsat cost LB: 170904 ... c Min unsat cost LB: 170914 ... c Min unsat cost LB: 170923 ... c Min unsat cost LB: 171055 ... c Min unsat cost LB: 171145 ... c Min unsat cost LB: 171166 ... c Min unsat cost LB: 171431 ... c Min unsat cost LB: 171590 ... c Min unsat cost LB: 172139 ... c Min unsat cost LB: 172192 ... c Min unsat cost LB: 172624 ... c Min unsat cost LB: 173066 ... c Min unsat cost LB: 173571 ... c Min unsat cost LB: 174198 ... c Min unsat cost LB: 174883 ... c Min unsat cost LB: 174886 ... c Min unsat cost LB: 174894 ... c Min unsat cost LB: 175151 ... c Min unsat cost LB: 175172 ... c Min unsat cost LB: 175482 ... c Min unsat cost LB: 175515 ... c Min unsat cost LB: 175677 ... c Min unsat cost LB: 175719 ... c Min unsat cost LB: 175792 ... c Min unsat cost LB: 175861 ... c Min unsat cost LB: 176032 ... c Min unsat cost LB: 176437 ... c Min unsat cost LB: 176454 ... c Min unsat cost LB: 176751 ... c Min unsat cost LB: 177266 ... c Min unsat cost LB: 177330 ... c Min unsat cost LB: 177873 ... c Min unsat cost LB: 178103 ... c Min unsat cost LB: 178228 ... c Min unsat cost LB: 178353 ... c Min unsat cost LB: 178678 ... c Min unsat cost LB: 178698 ... c Min unsat cost LB: 178699 ... c Min unsat cost LB: 178747 ... c Min unsat cost LB: 178817 ... c Min unsat cost LB: 178820 ... c Min unsat cost LB: 178935 ... c Min unsat cost LB: 179144 ... c Min unsat cost LB: 179356 ... c Min unsat cost LB: 180127 ... c Min unsat cost LB: 180240 ... c Min unsat cost LB: 180307 ... c Min unsat cost LB: 180364 ... c Min unsat cost LB: 180516 ... c Min unsat cost LB: 180610 ... c Min unsat cost LB: 180716 ... c Min unsat cost LB: 180932 ... c Min unsat cost LB: 181129 ... c Min unsat cost LB: 181160 ... c Min unsat cost LB: 181372 ... c Min unsat cost LB: 181432 ... c Min unsat cost LB: 181504 ... c Min unsat cost LB: 181510 ... c Min unsat cost LB: 181513 ... c Min unsat cost LB: 181558 ... c Min unsat cost LB: 181559 ... c Min unsat cost LB: 181573 ... c Min unsat cost LB: 181579 ... c Min unsat cost LB: 182797 ... c Min unsat cost LB: 182866 ... c Min unsat cost LB: 182874 ... c Min unsat cost LB: 182992 ... c Min unsat cost LB: 183658 ... c Min unsat cost LB: 183700 ... c Min unsat cost LB: 183864 ... c Min unsat cost LB: 183960 ... c Min unsat cost LB: 184002 ... c Min unsat cost LB: 184020 ... c Min unsat cost LB: 184023 ... c Min unsat cost LB: 184030 ... c Min unsat cost LB: 184075 ... c Min unsat cost LB: 184089 ... c Min unsat cost LB: 184094 ... c Min unsat cost LB: 184110 ... c Min unsat cost LB: 184124 ... c Min unsat cost LB: 184130 ... c Min unsat cost LB: 184135 ... c Min unsat cost LB: 184161 ... c Min unsat cost LB: 184196 ... c Min unsat cost LB: 184199 ... c Min unsat cost LB: 184201 ... c Min unsat cost LB: 184203 ... c Min unsat cost LB: 184204 ... c Min unsat cost LB: 184210 ... c Min unsat cost LB: 184212 ... c Min unsat cost LB: 184214 ... c Min unsat cost LB: 184215 ... c Min unsat cost LB: 184217 ... c Min unsat cost LB: 184218 ... c Min unsat cost LB: 184219 ... c Min unsat cost LB: 184226 ... c Min unsat cost LB: 184229 ... c Min unsat cost LB: 184233 ... c Min unsat cost LB: 184234 ... c Min unsat cost LB: 184235 ... c Min unsat cost LB: 184240 ... c Min unsat cost LB: 184854 ... c Min unsat cost LB: 185066 ... c Min unsat cost LB: 185120 ... c Min unsat cost LB: 185264 ... c Min unsat cost LB: 185268 ... c Min unsat cost LB: 185272 ... c Min unsat cost LB: 185414 ... c Min unsat cost LB: 185441 ... c Min unsat cost LB: 185446 ... c Min unsat cost LB: 185455 ... c Min unsat cost LB: 185459 ... c Min unsat cost LB: 185645 ... c Min unsat cost LB: 185856 ... c Min unsat cost LB: 185948 ... c Min unsat cost LB: 186414 ... c Min unsat cost LB: 186558 ... c Min unsat cost LB: 186668 ... c Min unsat cost LB: 187323 ... c Min unsat cost LB: 187500 ... c Min unsat cost LB: 187545 ... c Min unsat cost LB: 187546 ... c Min unsat cost LB: 187557 ... c Min unsat cost LB: 187582 ... c Min unsat cost LB: 187583 ... c Min unsat cost LB: 187589 ... c Min unsat cost LB: 187590 ... c Min unsat cost LB: 187594 ... c Min unsat cost LB: 187596 ... c Min unsat cost LB: 187598 ... c Min unsat cost LB: 187605 ... c Min unsat cost LB: 187608 ... c Min unsat cost LB: 187609 ... c Min unsat cost LB: 187612 ... c Min unsat cost LB: 187613 ... c Min unsat cost LB: 187614 ... c Min unsat cost LB: 187617 ... c Min unsat cost LB: 187618 ... c Min unsat cost LB: 187619 ... c Min unsat cost LB: 187620 ... c Min unsat cost LB: 187621 ... c Min unsat cost LB: 187627 ... c Min unsat cost LB: 187633 ... c Min unsat cost LB: 187635 ... c Min unsat cost LB: 187638 ... c Min unsat cost LB: 187644 ... c Min unsat cost LB: 187645 ... c Min unsat cost LB: 187646 ... c Min unsat cost LB: 187649 ... c Min unsat cost LB: 187650 ... c Min unsat cost LB: 187651 ... c Min unsat cost LB: 187652 ... c Min unsat cost LB: 187654 ... c Min unsat cost LB: 187655 ... c Min unsat cost LB: 187921 ... c Min unsat cost LB: 187925 ... c Min unsat cost LB: 187926 ... c Min unsat cost LB: 187928 ... c Min unsat cost LB: 187934 ... c Min unsat cost LB: 187936 ... c Min unsat cost LB: 187939 ... c Min unsat cost LB: 187940 ... c Min unsat cost LB: 187952 ... c Min unsat cost LB: 187953 ... c Min unsat cost LB: 187954 ... c Min unsat cost LB: 187956 ... c Min unsat cost LB: 187960 ... c Min unsat cost LB: 187963 ... c Min unsat cost LB: 187964 ... c Min unsat cost LB: 187965 ... c Min unsat cost LB: 187971 ... c Min unsat cost LB: 187974 ... c Min unsat cost LB: 187976 ... c Min unsat cost LB: 188389 ... c Min unsat cost LB: 188434 ... c Min unsat cost LB: 188774 ... c Min unsat cost LB: 189379 ... c Min unsat cost LB: 189392 ... c Min unsat cost LB: 189419 ... c Min unsat cost LB: 189420 ... c Min unsat cost LB: 189423 ... c Min unsat cost LB: 189424 ... c Min unsat cost LB: 189425 ... c Min unsat cost LB: 189426 ... c Min unsat cost LB: 189430 ... c Min unsat cost LB: 189432 ... c Min unsat cost LB: 189495 ... c Min unsat cost LB: 189508 ... c Min unsat cost LB: 189640 ... c Min unsat cost LB: 189644 ... c Min unsat cost LB: 189646 ... c Min unsat cost LB: 189647 ... c Min unsat cost LB: 189648 ... c Min unsat cost LB: 189651 ... c Min unsat cost LB: 189652 ... c Min unsat cost LB: 189653 ... c Min unsat cost LB: 189654 ... c Min unsat cost LB: 189655 ... c Min unsat cost LB: 189656 ... c Min unsat cost LB: 189659 ... c Min unsat cost LB: 189661 ... c Min unsat cost LB: 189662 ... c Min unsat cost LB: 189663 ... c Min unsat cost LB: 189666 ... c Min unsat cost LB: 189667 ... c Min unsat cost LB: 189668 ... c Min unsat cost LB: 189669 ... c Min unsat cost LB: 189670 ... c Min unsat cost LB: 189671 ... c Min unsat cost LB: 189672 ... c Min unsat cost LB: 189673 ... c Min unsat cost LB: 189674 ... c Min unsat cost LB: 189675 ... c Min unsat cost LB: 189676 ... c Min unsat cost LB: 189678 ... c Min unsat cost LB: 189679 ... c Min unsat cost LB: 189682 ... c Min unsat cost LB: 189683 ... c Min unsat cost LB: 189684 ... c Min unsat cost LB: 189685 ... c Min unsat cost LB: 189686 ... c Min unsat cost LB: 189689 ... c Min unsat cost LB: 189690 ... c Min unsat cost LB: 189691 ... c Min unsat cost LB: 189693 ... c Min unsat cost LB: 189694 ... c Min unsat cost LB: 189695 ... c Min unsat cost LB: 189697 ... c Min unsat cost LB: 189706 ... c Min unsat cost LB: 189707 ... c Min unsat cost LB: 189708 ... c Min unsat cost LB: 189710 ... c Min unsat cost LB: 189712 ... c Min unsat cost LB: 189713 ... c Min unsat cost LB: 189714 ... c Min unsat cost LB: 189715 ... c Min unsat cost LB: 189716 ... c Min unsat cost LB: 189717 ... c Min unsat cost LB: 189732 ... c Min unsat cost LB: 189733 ... c Min unsat cost LB: 189735 ... c Min unsat cost LB: 189736 ... c Min unsat cost LB: 189746 ... c Min unsat cost LB: 189749 ... c Min unsat cost LB: 189753 ... c Min unsat cost LB: 189755 ... c Min unsat cost LB: 189783 ... c Min unsat cost LB: 189797 ... c Min unsat cost LB: 189798 ... c Min unsat cost LB: 189799 ... c Min unsat cost LB: 189814 ... c Min unsat cost LB: 189815 ... c Min unsat cost LB: 189816 ... c Min unsat cost LB: 189818 ... c Min unsat cost LB: 189819 ... c Min unsat cost LB: 189821 ... c Min unsat cost LB: 189824 ... c Min unsat cost LB: 189825 ... c Min unsat cost LB: 189829 ... c Min unsat cost LB: 189830 ... c Min unsat cost LB: 189831 ... c Min unsat cost LB: 189832 ... c Min unsat cost LB: 189833 ... c Min unsat cost LB: 189834 ... c Min unsat cost LB: 189835 ... c Min unsat cost LB: 189836 ... c Min unsat cost LB: 189837 ... c Min unsat cost LB: 189838 ... c Min unsat cost LB: 189839 ... c Min unsat cost LB: 189848 ... c Min unsat cost LB: 189849 ... c Min unsat cost LB: 189850 ... c Min unsat cost LB: 189853 ... c Min unsat cost LB: 189854 ... c Min unsat cost LB: 189855 ... c Min unsat cost LB: 189856 ... c Min unsat cost LB: 189857 ... c Min unsat cost LB: 189858 ... c Min unsat cost LB: 189859 ... c Min unsat cost LB: 189860 ... c Min unsat cost LB: 189863 ... c Min unsat cost LB: 189864 ... c Min unsat cost LB: 189865 ... c Min unsat cost LB: 189866 ... c Min unsat cost LB: 189867 ... c Min unsat cost LB: 189868 ... c Min unsat cost LB: 189869 ... c Min unsat cost LB: 189870 ... c Min unsat cost LB: 189871 ... c Min unsat cost LB: 189872 ... c Min unsat cost LB: 189873 ... c Min unsat cost LB: 189874 ... c Min unsat cost LB: 189875 ... c Min unsat cost LB: 189876 ... c Min unsat cost LB: 189877 ... c Min unsat cost LB: 189878 ... c Min unsat cost LB: 189879 ... c Min unsat cost LB: 189880 ... c Min unsat cost LB: 189881 ... c Min unsat cost LB: 189882 ... c Min unsat cost LB: 189883 ... c Min unsat cost LB: 189884 ... c Min unsat cost LB: 189885 ... c Min unsat cost LB: 189886 ... c Min unsat cost LB: 189887 ... c Min unsat cost LB: 189888 ... c Min unsat cost LB: 189889 ... c Min unsat cost LB: 189890 ... c Min unsat cost LB: 189891 ... c Min unsat cost LB: 189892 ... c Min unsat cost LB: 189893 ... c Min unsat cost LB: 189894 ... c Min unsat cost LB: 189895 ... c Min unsat cost LB: 189896 ... c Min unsat cost LB: 190315 ... c Min unsat cost LB: 190329 ... c Min unsat cost LB: 190430 ... c Min unsat cost LB: 190634 ... c Min unsat cost LB: 191422 ... c Min unsat cost LB: 191673 ... c Min unsat cost LB: 191915 ... c Min unsat cost LB: 192342 ... c Min unsat cost LB: 193348 ... c Min unsat cost LB: 193378 ... c Min unsat cost LB: 193481 ... c Min unsat cost LB: 194218 ... c Min unsat cost LB: 194256 ... c Min unsat cost LB: 194360 ... c Min unsat cost LB: 195254 ... c Min unsat cost LB: 195390 ... c Min unsat cost LB: 195573 ... c Min unsat cost LB: 195773 ... c Min unsat cost LB: 195892 ... c Min unsat cost LB: 196178 ... c Min unsat cost LB: 196404 ... c Min unsat cost LB: 196439 ... c Min unsat cost LB: 196516 ... c Min unsat cost LB: 196715 ... c Min unsat cost LB: 196879 ... c Min unsat cost LB: 196907 ... c Min unsat cost LB: 197192 ... c Min unsat cost LB: 197216 ... c Min unsat cost LB: 197655 ... c Min unsat cost LB: 197972 ... c Min unsat cost LB: 198882 ... c Min unsat cost LB: 199080 ... c Min unsat cost LB: 199151 ... c Min unsat cost LB: 199196 ... c Min unsat cost LB: 199571 ... c Min unsat cost LB: 199766 ... c Min unsat cost LB: 199836 ... c Min unsat cost LB: 200230 ... c Min unsat cost LB: 200283 ... c Min unsat cost LB: 200316 ... c Min unsat cost LB: 200413 ... c Min unsat cost LB: 200467 ... c Min unsat cost LB: 200520 ... c Min unsat cost LB: 200545 ... c Min unsat cost LB: 200616 ... c Min unsat cost LB: 200643 ... c Min unsat cost LB: 200741 ... c Min unsat cost LB: 200772 ... c Min unsat cost LB: 200837 ... c Min unsat cost LB: 201113 ... c Min unsat cost LB: 201169 ... c Min unsat cost LB: 201440 ... c Min unsat cost LB: 201459 ... c Min uKilled 1817.356u 2.392s 30:20.12 99.9% 0+0k 0+0io 0pf+0w