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-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-2.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-2.net.wcnf *** c c Min unsat cost LB: 1031 ... c Min unsat cost LB: 2895 ... c Min unsat cost LB: 3850 ... c Min unsat cost LB: 5206 ... c Min unsat cost LB: 5317 ... c Min unsat cost LB: 5766 ... c Min unsat cost LB: 6579 ... c Min unsat cost LB: 6711 ... c Min unsat cost LB: 7181 ... c Min unsat cost LB: 7346 ... c Min unsat cost LB: 9323 ... c Min unsat cost LB: 10701 ... c Min unsat cost LB: 11518 ... c Min unsat cost LB: 11732 ... c Min unsat cost LB: 13476 ... c Min unsat cost LB: 15574 ... c Min unsat cost LB: 16484 ... c Min unsat cost LB: 18038 ... c Min unsat cost LB: 19186 ... c Min unsat cost LB: 20117 ... c Min unsat cost LB: 20342 ... c Min unsat cost LB: 21899 ... c Min unsat cost LB: 23269 ... c Min unsat cost LB: 24925 ... c Min unsat cost LB: 26009 ... c Min unsat cost LB: 26543 ... c Min unsat cost LB: 26627 ... c Min unsat cost LB: 27279 ... c Min unsat cost LB: 27390 ... c Min unsat cost LB: 27487 ... c Min unsat cost LB: 27899 ... c Min unsat cost LB: 29143 ... c Min unsat cost LB: 29852 ... c Min unsat cost LB: 31190 ... c Min unsat cost LB: 31703 ... c Min unsat cost LB: 32498 ... c Min unsat cost LB: 34459 ... c Min unsat cost LB: 35362 ... c Min unsat cost LB: 35435 ... c Min unsat cost LB: 36875 ... c Min unsat cost LB: 36901 ... c Min unsat cost LB: 37431 ... c Min unsat cost LB: 38194 ... c Min unsat cost LB: 38554 ... c Min unsat cost LB: 38932 ... c Min unsat cost LB: 39334 ... c Min unsat cost LB: 40223 ... c Min unsat cost LB: 40987 ... c Min unsat cost LB: 41042 ... c Min unsat cost LB: 41195 ... c Min unsat cost LB: 43334 ... c Min unsat cost LB: 43407 ... c Min unsat cost LB: 44304 ... c Min unsat cost LB: 45501 ... c Min unsat cost LB: 45503 ... c Min unsat cost LB: 46090 ... c Min unsat cost LB: 46254 ... c Min unsat cost LB: 46355 ... c Min unsat cost LB: 46779 ... c Min unsat cost LB: 46783 ... c Min unsat cost LB: 47419 ... c Min unsat cost LB: 47884 ... c Min unsat cost LB: 47958 ... c Min unsat cost LB: 48064 ... c Min unsat cost LB: 48575 ... c Min unsat cost LB: 49116 ... c Min unsat cost LB: 49298 ... c Min unsat cost LB: 49677 ... c Min unsat cost LB: 50167 ... c Min unsat cost LB: 50473 ... c Min unsat cost LB: 51664 ... c Min unsat cost LB: 52563 ... c Min unsat cost LB: 52682 ... c Min unsat cost LB: 53118 ... c Min unsat cost LB: 53211 ... c Min unsat cost LB: 53749 ... c Min unsat cost LB: 54170 ... c Min unsat cost LB: 54525 ... c Min unsat cost LB: 54569 ... c Min unsat cost LB: 55317 ... c Min unsat cost LB: 55475 ... c Min unsat cost LB: 55698 ... c Min unsat cost LB: 55757 ... c Min unsat cost LB: 55851 ... c Min unsat cost LB: 56084 ... c Min unsat cost LB: 56474 ... c Min unsat cost LB: 56672 ... c Min unsat cost LB: 56700 ... c Min unsat cost LB: 56752 ... c Min unsat cost LB: 57151 ... c Min unsat cost LB: 57766 ... c Min unsat cost LB: 57902 ... c Min unsat cost LB: 57970 ... c Min unsat cost LB: 58013 ... c Min unsat cost LB: 58737 ... c Min unsat cost LB: 58875 ... c Min unsat cost LB: 58953 ... c Min unsat cost LB: 59521 ... c Min unsat cost LB: 59657 ... c Min unsat cost LB: 59763 ... c Min unsat cost LB: 60037 ... c Min unsat cost LB: 60592 ... c Min unsat cost LB: 60684 ... c Min unsat cost LB: 60783 ... c Min unsat cost LB: 61379 ... c Min unsat cost LB: 61404 ... c Min unsat cost LB: 61886 ... c Min unsat cost LB: 62133 ... c Min unsat cost LB: 62330 ... c Min unsat cost LB: 62551 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 63096 ... c Min unsat cost LB: 63917 ... c Min unsat cost LB: 64009 ... c Min unsat cost LB: 64342 ... c Min unsat cost LB: 64628 ... c Min unsat cost LB: 64965 ... c Min unsat cost LB: 65016 ... c Min unsat cost LB: 65142 ... c Min unsat cost LB: 65376 ... c Min unsat cost LB: 65932 ... c Min unsat cost LB: 66090 ... c Min unsat cost LB: 66230 ... c Min unsat cost LB: 66970 ... c Min unsat cost LB: 67103 ... c Min unsat cost LB: 67356 ... c Min unsat cost LB: 67743 ... c Min unsat cost LB: 67830 ... c Min unsat cost LB: 68067 ... c Min unsat cost LB: 68352 ... c Min unsat cost LB: 68855 ... c Min unsat cost LB: 68981 ... c Min unsat cost LB: 68997 ... c Min unsat cost LB: 70055 ... c Min unsat cost LB: 70262 ... c Min unsat cost LB: 70356 ... c Min unsat cost LB: 70405 ... c Min unsat cost LB: 71411 ... c Min unsat cost LB: 71659 ... c Min unsat cost LB: 71848 ... c Min unsat cost LB: 72508 ... c Min unsat cost LB: 72634 ... c Min unsat cost LB: 73671 ... c Min unsat cost LB: 74114 ... c Min unsat cost LB: 75049 ... c Min unsat cost LB: 75657 ... c Min unsat cost LB: 76457 ... c Min unsat cost LB: 76762 ... c Min unsat cost LB: 76938 ... c Min unsat cost LB: 77043 ... c Min unsat cost LB: 77226 ... c Min unsat cost LB: 77619 ... c Min unsat cost LB: 77710 ... c Min unsat cost LB: 77967 ... c Min unsat cost LB: 77998 ... c Min unsat cost LB: 78013 ... c Min unsat cost LB: 78147 ... c Min unsat cost LB: 78388 ... c Min unsat cost LB: 78436 ... c Min unsat cost LB: 78846 ... c Min unsat cost LB: 79132 ... c Min unsat cost LB: 79300 ... c Min unsat cost LB: 79608 ... c Min unsat cost LB: 79899 ... c Min unsat cost LB: 80512 ... c Min unsat cost LB: 80535 ... c Min unsat cost LB: 80668 ... c Min unsat cost LB: 80743 ... c Min unsat cost LB: 80788 ... c Min unsat cost LB: 80808 ... c Min unsat cost LB: 81146 ... c Min unsat cost LB: 81149 ... c Min unsat cost LB: 81635 ... c Min unsat cost LB: 82505 ... c Min unsat cost LB: 82527 ... c Min unsat cost LB: 82618 ... c Min unsat cost LB: 83118 ... c Min unsat cost LB: 83291 ... c Min unsat cost LB: 83716 ... c Min unsat cost LB: 83788 ... c Min unsat cost LB: 84431 ... c Min unsat cost LB: 84635 ... c Min unsat cost LB: 84693 ... c Min unsat cost LB: 84815 ... c Min unsat cost LB: 84859 ... c Min unsat cost LB: 84950 ... c Min unsat cost LB: 85332 ... c Min unsat cost LB: 85837 ... c Min unsat cost LB: 86238 ... c Min unsat cost LB: 86351 ... c Min unsat cost LB: 86517 ... c Min unsat cost LB: 87096 ... c Min unsat cost LB: 87176 ... c Min unsat cost LB: 87413 ... c Min unsat cost LB: 87637 ... c Min unsat cost LB: 87796 ... c Min unsat cost LB: 87866 ... c Min unsat cost LB: 88014 ... c Min unsat cost LB: 88614 ... c Min unsat cost LB: 88703 ... c Min unsat cost LB: 89182 ... c Min unsat cost LB: 89445 ... c Min unsat cost LB: 90137 ... c Min unsat cost LB: 90159 ... c Min unsat cost LB: 90659 ... c Min unsat cost LB: 90676 ... c Min unsat cost LB: 91196 ... c Min unsat cost LB: 91284 ... c Min unsat cost LB: 91911 ... c Min unsat cost LB: 91992 ... c Min unsat cost LB: 92047 ... c Min unsat cost LB: 92128 ... c Min unsat cost LB: 92376 ... c Min unsat cost LB: 92701 ... c Min unsat cost LB: 93303 ... c Min unsat cost LB: 93318 ... c Min unsat cost LB: 93557 ... c Min unsat cost LB: 93585 ... c Min unsat cost LB: 93767 ... c Min unsat cost LB: 93802 ... c Min unsat cost LB: 93817 ... c Min unsat cost LB: 93850 ... c Min unsat cost LB: 93952 ... c Min unsat cost LB: 94650 ... c Min unsat cost LB: 95000 ... c Min unsat cost LB: 95417 ... c Min unsat cost LB: 95473 ... c Min unsat cost LB: 95662 ... c Min unsat cost LB: 96245 ... c Min unsat cost LB: 96267 ... c Min unsat cost LB: 96278 ... c Min unsat cost LB: 97018 ... c Min unsat cost LB: 97195 ... c Min unsat cost LB: 97213 ... c Min unsat cost LB: 97480 ... c Min unsat cost LB: 97964 ... c Min unsat cost LB: 98255 ... c Min unsat cost LB: 98859 ... c Min unsat cost LB: 99445 ... c Min unsat cost LB: 99788 ... c Min unsat cost LB: 99800 ... c Min unsat cost LB: 99839 ... c Min unsat cost LB: 99860 ... c Min unsat cost LB: 99864 ... c Min unsat cost LB: 99868 ... c Min unsat cost LB: 100349 ... c Min unsat cost LB: 100696 ... c Min unsat cost LB: 101109 ... c Min unsat cost LB: 101846 ... c Min unsat cost LB: 102211 ... c Min unsat cost LB: 102225 ... c Min unsat cost LB: 102281 ... c Min unsat cost LB: 102425 ... c Min unsat cost LB: 102680 ... c Min unsat cost LB: 102974 ... c Min unsat cost LB: 103061 ... c Min unsat cost LB: 103680 ... c Min unsat cost LB: 103716 ... c Min unsat cost LB: 103938 ... c Min unsat cost LB: 104707 ... c Min unsat cost LB: 104821 ... c Min unsat cost LB: 105413 ... c Min unsat cost LB: 105790 ... c Min unsat cost LB: 105968 ... c Min unsat cost LB: 105980 ... c Min unsat cost LB: 105992 ... c Min unsat cost LB: 106131 ... c Min unsat cost LB: 106182 ... c Min unsat cost LB: 106250 ... c Min unsat cost LB: 106262 ... c Min unsat cost LB: 106285 ... c Min unsat cost LB: 106297 ... c Min unsat cost LB: 106305 ... c Min unsat cost LB: 106330 ... c Min unsat cost LB: 106483 ... c Min unsat cost LB: 106821 ... c Min unsat cost LB: 107007 ... c Min unsat cost LB: 107037 ... c Min unsat cost LB: 107843 ... c Min unsat cost LB: 107984 ... c Min unsat cost LB: 108193 ... c Min unsat cost LB: 108545 ... c Min unsat cost LB: 108710 ... c Min unsat cost LB: 109178 ... c Min unsat cost LB: 109717 ... c Min unsat cost LB: 109833 ... c Min unsat cost LB: 109907 ... c Min unsat cost LB: 109952 ... c Min unsat cost LB: 109991 ... c Min unsat cost LB: 110152 ... c Min unsat cost LB: 110154 ... c Min unsat cost LB: 110155 ... c Min unsat cost LB: 110161 ... c Min unsat cost LB: 110393 ... c Min unsat cost LB: 110566 ... c Min unsat cost LB: 110833 ... c Min unsat cost LB: 111634 ... c Min unsat cost LB: 111807 ... c Min unsat cost LB: 112438 ... c Min unsat cost LB: 112631 ... c Min unsat cost LB: 112835 ... c Min unsat cost LB: 113260 ... c Min unsat cost LB: 113302 ... c Min unsat cost LB: 113337 ... c Min unsat cost LB: 113931 ... c Min unsat cost LB: 114003 ... c Min unsat cost LB: 114034 ... c Min unsat cost LB: 114279 ... c Min unsat cost LB: 114543 ... c Min unsat cost LB: 114598 ... c Min unsat cost LB: 114896 ... c Min unsat cost LB: 115145 ... c Min unsat cost LB: 115179 ... c Min unsat cost LB: 116061 ... c Min unsat cost LB: 117448 ... c Min unsat cost LB: 117524 ... c Min unsat cost LB: 118604 ... c Min unsat cost LB: 118610 ... c Min unsat cost LB: 118839 ... c Min unsat cost LB: 119180 ... c Min unsat cost LB: 119233 ... c Min unsat cost LB: 119574 ... c Min unsat cost LB: 119599 ... c Min unsat cost LB: 119714 ... c Min unsat cost LB: 119920 ... c Min unsat cost LB: 119924 ... c Min unsat cost LB: 120239 ... c Min unsat cost LB: 120490 ... c Min unsat cost LB: 120544 ... c Min unsat cost LB: 120680 ... c Min unsat cost LB: 120701 ... c Min unsat cost LB: 120717 ... c Min unsat cost LB: 120758 ... c Min unsat cost LB: 120819 ... c Min unsat cost LB: 121015 ... c Min unsat cost LB: 121078 ... c Min unsat cost LB: 121187 ... c Min unsat cost LB: 121827 ... c Min unsat cost LB: 121978 ... c Min unsat cost LB: 122214 ... c Min unsat cost LB: 122482 ... c Min unsat cost LB: 122653 ... c Min unsat cost LB: 122968 ... c Min unsat cost LB: 123064 ... c Min unsat cost LB: 123162 ... c Min unsat cost LB: 123204 ... c Min unsat cost LB: 123226 ... c Min unsat cost LB: 123274 ... c Min unsat cost LB: 123740 ... c Min unsat cost LB: 124089 ... c Min unsat cost LB: 124284 ... c Min unsat cost LB: 124568 ... c Min unsat cost LB: 124580 ... c Min unsat cost LB: 124792 ... c Min unsat cost LB: 125695 ... c Min unsat cost LB: 125776 ... c Min unsat cost LB: 125918 ... c Min unsat cost LB: 125957 ... c Min unsat cost LB: 126648 ... c Min unsat cost LB: 127028 ... c Min unsat cost LB: 127029 ... c Min unsat cost LB: 127158 ... c Min unsat cost LB: 127285 ... c Min unsat cost LB: 127332 ... c Min unsat cost LB: 127384 ... c Min unsat cost LB: 128746 ... c Min unsat cost LB: 129260 ... c Min unsat cost LB: 129261 ... c Min unsat cost LB: 129416 ... c Min unsat cost LB: 130644 ... c Min unsat cost LB: 130897 ... c Min unsat cost LB: 131052 ... c Min unsat cost LB: 131275 ... c Min unsat cost LB: 131649 ... c Min unsat cost LB: 131703 ... c Min unsat cost LB: 132060 ... c Min unsat cost LB: 132153 ... c Min unsat cost LB: 132400 ... c Min unsat cost LB: 132469 ... c Min unsat cost LB: 132831 ... c Min unsat cost LB: 132882 ... c Min unsat cost LB: 132886 ... c Min unsat cost LB: 132903 ... c Min unsat cost LB: 132995 ... c Min unsat cost LB: 133047 ... c Min unsat cost LB: 133061 ... c Min unsat cost LB: 133313 ... c Min unsat cost LB: 133448 ... c Min unsat cost LB: 133859 ... c Min unsat cost LB: 133990 ... c Min unsat cost LB: 134009 ... c Min unsat cost LB: 134081 ... c Min unsat cost LB: 134567 ... c Min unsat cost LB: 134587 ... c Min unsat cost LB: 134612 ... c Min unsat cost LB: 134614 ... c Min unsat cost LB: 135225 ... c Min unsat cost LB: 135575 ... c Min unsat cost LB: 135868 ... c Min unsat cost LB: 135915 ... c Min unsat cost LB: 136178 ... c Min unsat cost LB: 136288 ... c Min unsat cost LB: 136800 ... c Min unsat cost LB: 136817 ... c Min unsat cost LB: 137094 ... c Min unsat cost LB: 137113 ... c Min unsat cost LB: 137160 ... c Min unsat cost LB: 137179 ... c Min unsat cost LB: 137621 ... c Min unsat cost LB: 138312 ... c Min unsat cost LB: 138327 ... c Min unsat cost LB: 138345 ... c Min unsat cost LB: 139532 ... c Min unsat cost LB: 139755 ... c Min unsat cost LB: 139851 ... c Min unsat cost LB: 140471 ... c Min unsat cost LB: 140602 ... c Min unsat cost LB: 140783 ... c Min unsat cost LB: 141248 ... c Min unsat cost LB: 141378 ... c Min unsat cost LB: 141531 ... c Min unsat cost LB: 141660 ... c Min unsat cost LB: 141662 ... c Min unsat cost LB: 141798 ... c Min unsat cost LB: 141800 ... c Min unsat cost LB: 141806 ... c Min unsat cost LB: 141813 ... c Min unsat cost LB: 142331 ... c Min unsat cost LB: 142608 ... c Min unsat cost LB: 142714 ... c Min unsat cost LB: 142716 ... c Min unsat cost LB: 142729 ... c Min unsat cost LB: 142782 ... c Min unsat cost LB: 142935 ... c Min unsat cost LB: 142941 ... c Min unsat cost LB: 142959 ... c Min unsat cost LB: 142966 ... c Min unsat cost LB: 142968 ... c Min unsat cost LB: 143590 ... c Min unsat cost LB: 143910 ... c Min unsat cost LB: 144160 ... c Min unsat cost LB: 144279 ... c Min unsat cost LB: 144411 ... c Min unsat cost LB: 144652 ... c Min unsat cost LB: 144714 ... c Min unsat cost LB: 144770 ... c Min unsat cost LB: 145284 ... c Min unsat cost LB: 145343 ... c Min unsat cost LB: 145374 ... c Min unsat cost LB: 145378 ... c Min unsat cost LB: 145431 ... c Min unsat cost LB: 146242 ... c Min unsat cost LB: 146426 ... c Min unsat cost LB: 147114 ... c Min unsat cost LB: 147525 ... c Min unsat cost LB: 147760 ... c Min unsat cost LB: 147773 ... c Min unsat cost LB: 148159 ... c Min unsat cost LB: 148197 ... c Min unsat cost LB: 148218 ... c Min unsat cost LB: 148249 ... c Min unsat cost LB: 148364 ... c Min unsat cost LB: 148442 ... c Min unsat cost LB: 148469 ... c Min unsat cost LB: 148477 ... c Min unsat cost LB: 148603 ... c Min unsat cost LB: 148690 ... c Min unsat cost LB: 148721 ... c Min unsat cost LB: 148731 ... c Min unsat cost LB: 148737 ... c Min unsat cost LB: 149124 ... c Min unsat cost LB: 149128 ... c Min unsat cost LB: 149599 ... c Min unsat cost LB: 150287 ... c Min unsat cost LB: 150315 ... c Min unsat cost LB: 151025 ... c Min unsat cost LB: 151091 ... c Min unsat cost LB: 151241 ... c Min unsat cost LB: 151458 ... c Min unsat cost LB: 151649 ... c Min unsat cost LB: 152042 ... c Min unsat cost LB: 152094 ... c Min unsat cost LB: 152411 ... c Min unsat cost LB: 152558 ... c Min unsat cost LB: 152635 ... c Min unsat cost LB: 152708 ... c Min unsat cost LB: 152757 ... c Min unsat cost LB: 153048 ... c Min unsat cost LB: 153112 ... c Min unsat cost LB: 153427 ... c Min unsat cost LB: 153598 ... c Min unsat cost LB: 153846 ... c Min unsat cost LB: 153853 ... c Min unsat cost LB: 153873 ... c Min unsat cost LB: 153888 ... c Min unsat cost LB: 153925 ... c Min unsat cost LB: 154074 ... c Min unsat cost LB: 154077 ... c Min unsat cost LB: 154079 ... c Min unsat cost LB: 154179 ... c Min unsat cost LB: 154202 ... c Min unsat cost LB: 154224 ... c Min unsat cost LB: 154274 ... c Min unsat cost LB: 154630 ... c Min unsat cost LB: 154782 ... c Min unsat cost LB: 154909 ... c Min unsat cost LB: 155299 ... c Min unsat cost LB: 155682 ... c Min unsat cost LB: 155826 ... c Min unsat cost LB: 156238 ... c Min unsat cost LB: 156365 ... c Min unsat cost LB: 156450 ... c Min unsat cost LB: 156520 ... c Min unsat cost LB: 156584 ... c Min unsat cost LB: 156590 ... c Min unsat cost LB: 156607 ... c Min unsat cost LB: 156611 ... c Min unsat cost LB: 156634 ... c Min unsat cost LB: 156640 ... c Min unsat cost LB: 157516 ... c Min unsat cost LB: 157972 ... c Min unsat cost LB: 157979 ... c Min unsat cost LB: 157983 ... c Min unsat cost LB: 158189 ... c Min unsat cost LB: 158193 ... c Min unsat cost LB: 158199 ... c Min unsat cost LB: 158225 ... c Min unsat cost LB: 158558 ... c Min unsat cost LB: 158644 ... c Min unsat cost LB: 158691 ... c Min unsat cost LB: 158707 ... c Min unsat cost LB: 158711 ... c Min unsat cost LB: 158716 ... c Min unsat cost LB: 158718 ... c Min unsat cost LB: 158738 ... c Min unsat cost LB: 158744 ... c Min unsat cost LB: 158748 ... c Min unsat cost LB: 158754 ... c Min unsat cost LB: 158764 ... c Min unsat cost LB: 158772 ... c Min unsat cost LB: 159457 ... c Min unsat cost LB: 159469 ... c Min unsat cost LB: 159730 ... c Min unsat cost LB: 159746 ... c Min unsat cost LB: 159815 ... c Min unsat cost LB: 160058 ... c Min unsat cost LB: 160157 ... c Min unsat cost LB: 160967 ... c Min unsat cost LB: 161420 ... c Min unsat cost LB: 161538 ... c Min unsat cost LB: 161608 ... c Min unsat cost LB: 161738 ... c Min unsat cost LB: 161740 ... c Min unsat cost LB: 161748 ... c Min unsat cost LB: 161935 ... c Min unsat cost LB: 163101 ... c Min unsat cost LB: 163113 ... c Min unsat cost LB: 163128 ... c Min unsat cost LB: 163138 ... c Min unsat cost LB: 163803 ... c Min unsat cost LB: 164106 ... c Min unsat cost LB: 164411 ... c Min unsat cost LB: 164450 ... c Min unsat cost LB: 164466 ... c Min unsat cost LB: 164498 ... c Min unsat cost LB: 164745 ... c Min unsat cost LB: 165369 ... c Min unsat cost LB: 165374 ... c Min unsat cost LB: 165875 ... c Min unsat cost LB: 166589 ... c Min unsat cost LB: 166957 ... c Min unsat cost LB: 167037 ... c Min unsat cost LB: 167596 ... c Min unsat cost LB: 167980 ... c Min unsat cost LB: 167988 ... c Min unsat cost LB: 168389 ... c Min unsat cost LB: 168540 ... c Min unsat cost LB: 168563 ... c Min unsat cost LB: 168584 ... c Min unsat cost LB: 168725 ... c Min unsat cost LB: 168798 ... c Min unsat cost LB: 170409 ... c Min unsat cost LB: 170563 ... c Min unsat cost LB: 171169 ... c Min unsat cost LB: 171360 ... c Min unsat cost LB: 171453 ... c Min unsat cost LB: 171473 ... c Min unsat cost LB: 171485 ... c Min unsat cost LB: 171513 ... c Min unsat cost LB: 171524 ... c Min unsat cost LB: 171530 ... c Min unsat cost LB: 171536 ... c Min unsat cost LB: 171540 ... c Min unsat cost LB: 171548 ... c Min unsat cost LB: 171551 ... c Min unsat cost LB: 171573 ... c Min unsat cost LB: 171575 ... c Min unsat cost LB: 171583 ... c Min unsat cost LB: 171590 ... c Min unsat cost LB: 171592 ... c Min unsat cost LB: 171604 ... c Min unsat cost LB: 171647 ... c Min unsat cost LB: 171658 ... c Min unsat cost LB: 171671 ... c Min unsat cost LB: 171675 ... c Min unsat cost LB: 171677 ... c Min unsat cost LB: 171679 ... c Min unsat cost LB: 171681 ... c Min unsat cost LB: 171683 ... c Min unsat cost LB: 171687 ... c Min unsat cost LB: 171691 ... c Min unsat cost LB: 171693 ... c Min unsat cost LB: 171696 ... c Min unsat cost LB: 171697 ... c Min unsat cost LB: 171698 ... c Min unsat cost LB: 171700 ... c Min unsat cost LB: 171702 ... c Min unsat cost LB: 171706 ... c Min unsat cost LB: 171707 ... c Min unsat cost LB: 171709 ... c Min unsat cost LB: 171710 ... c Min unsat cost LB: 171712 ... c Min unsat cost LB: 171720 ... c Min unsat cost LB: 171721 ... c Min unsat cost LB: 171722 ... c Min unsat cost LB: 171724 ... c Min unsat cost LB: 171726 ... c Min unsat cost LB: 171733 ... c Min unsat cost LB: 171739 ... c Min unsat cost LB: 171747 ... c Min unsat cost LB: 172884 ... c Min unsat cost LB: 173089 ... c Min unsat cost LB: 173274 ... c Min unsat cost LB: 173673 ... c Min unsat cost LB: 174020 ... c Min unsat cost LB: 174105 ... c Min unsat cost LB: 174825 ... c Min unsat cost LB: 174983 ... c Min unsat cost LB: 174997 ... c Min unsat cost LB: 175042 ... c Min unsat cost LB: 175388 ... c Min unsat cost LB: 175512 ... c Min unsat cost LB: 175822 ... c Min unsat cost LB: 176500 ... c Min unsat cost LB: 176798 ... c Min unsat cost LB: 177686 ... c Min unsat cost LB: 177696 ... c Min unsat cost LB: 178557 ... c Min unsat cost LB: 178566 ... c Min unsat cost LB: 178603 ... c Min unsat cost LB: 178911 ... c Min unsat cost LB: 179068 ... c Min unsat cost LB: 179133 ... c Min unsat cost LB: 179261 ... c Min unsat cost LB: 179358 ... c Min unsat cost LB: 179456 ... c Min unsat cost LB: 179496 ... c Min unsat cost LB: 179593 ... c Min unsat cost LB: 179675 ... c Min unsat cost LB: 180094 ... c Min unsat cost LB: 180464 ... c Min unsat cost LB: 181271 ... c Min unsat cost LB: 181323 ... c Min unsat cost LB: 181620 ... c Min unsat cost LB: 181802 ... c Min unsat cost LB: 181835 ... c Min unsat cost LB: 182700 ... c Min unsat cost LB: 182825 ... c Min unsat cost LB: 183049 ... c Min unsat cost LB: 183113 ... c Min unsat cost LB: 183168 ... c Min unsat cost LB: 183538 ... c Min unsat cost LB: 183604 ... c Min unsat cost LB: 183620 ... c Min unsat cost LB: 183786 ... c Min unsat cost LB: 184334 ... c Min unsat cost LB: 184387 ... c Min unsat cost LB: 185707 ... c Min unsat cost LB: 185756 ... c Min unsat cost LB: 185791 ... c Min unsat cost LB: 186184 ... c Min unsat cost LB: 186728 ... c Min unsat cost LB: 186794 ... c Min unsat cost LB: 186851 ... c Min unsat cost LB: 186908 ... c Min unsat cost LB: 187637 ... c Min unsat cost LB: 187807 ... c Min unsat cost LB: 187966 ... c Min unsat cost LB: 187970 ... c Min unsat cost LB: 188536 ... c Min unsat cost LB: 188591 ... c Min unsat cost LB: 188743 ... c Min unsat cost LB: 188806 ... c Min unsat cost LB: 189126 ... c Min unsat cost LB: 189238 ... c Min unsat cost LB: 189267 ... c Min unsat cost LB: 189278 ... c Min unsat cost LB: 189371 ... c Min unsat cost LB: 189855 ... c Min unsat cost LB: 189881 ... c Min unsat cost LB: 190483 ... c Min unsat cost LB: 190562 ... c Min unsat cost LB: 190847 ... c Min unsat cost LB: 190860 ... c Min unsat cost LB: 190952 ... c Min unsat cost LB: 190958 ... c Min unsat cost LB: 190966 ... c Min unsat cost LB: 191029 ... c Min unsat cost LB: 191535 ... c Min unsat cost LB: 191539 ... c Min unsat cost LB: 191569 ... c Min unsat cost LB: 191576 ... c Min unsat cost LB: 191673 ... c Min unsat cost LB: 191955 ... c Min unsat cost LB: 192648 ... c Min unsat cost LB: 192831 ... c Min unsat cost LB: 193119 ... c Min unsat cost LB: 193806 ... c Min unsat cost LB: 193919 ... c Min unsat cost LB: 193921 ... c Min unsat cost LB: 194294 ... c Min unsat cost LB: 195063 ... c Min unsat cost LB: 195246 ... c Min unsat cost LB: 195254 ... c Min unsat cost LB: 195256 ... c Min unsat cost LB: 195272 ... c Min unsat cost LB: 195437 ... c Min unsat cost LB: 195785 ... c Min unsat cost LB: 196333 ... c Min unsat cost LB: 196336 ... c Min unsat cost LB: 196346 ... c Min unsat cost LB: 196402 ... c Min unsat cost LB: 196424 ... c Min unsat cost LB: 196432 ... c Min unsat cost LB: 196435 ... c Min unsat cost LB: 196571 ... c Min unsat cost LB: 196576 ... c Min unsat cost LB: 196611 ... c Min unsat cost LB: 196613 ... c Min unsat cost LB: 196623 ... c Min unsat cost LB: 196624 ... c Min unsat cost LB: 196627 ... c Min unsat cost LB: 196637 ... c Min unsat cost LB: 196643 ... c Min unsat cost LB: 196645 ... c Min unsat cost LB: 196646 ... c Min unsat cost LB: 196649 ... c Min unsat cost LB: 196650 ... c Min unsat cost LB: 196653 ... c Min unsat cost LB: 196655 ... c Min unsat cost LB: 196657 ... c Min unsat cost LB: 196712 ... c Min unsat cost LB: 196727 ... c Min unsat cost LB: 196737 ... c Min unsat cost LB: 196753 ... c Min unsat cost LB: 196776 ... c Min unsat cost LB: 196777 ... c Min unsat cost LB: 198006 ... c Min unsat cost LB: 198010 ... c Min unsat cost LB: 198012 ... c Min unsat cost LB: 198027 ... c Min unsat cost LB: 198029 ... c Min unsat cost LB: 198031 ... c Min unsat cost LB: 198034 ... c Min unsat cost LB: 198052 ... c Min unsat cost LB: 198123 ... c Min unsat cost LB: 198140 ... c Min unsat cost LB: 198142 ... c Min unsat cost LB: 198144 ... c Min unsat cost LB: 198154 ... c Min unsat cost LB: 198160 ... c Min unsat cost LB: 198163 ... c Min unsat cost LB: 198181 ... c Min unsat cost LB: 198252 ... c Min unsat cost LB: 198253 ... c Min unsat cost LB: 198260 ... c Min unsat cost LB: 198281 ... c Min unsat cost LB: 198291 ... c Min unsat cost LB: 198337 ... c Min unsat cost LB: 198407 ... c Min unsat cost LB: 198417 ... c Min unsat cost LB: 198419 ... c Min unsat cost LB: 198425 ... c Min unsat cost LB: 198642 ... c Min unsat cost LB: 199141 ... c Min unsat cost LB: 199151 ... c Min unsat cost LB: 199153 ... c Min unsat cost LB: 199159 ... c Min unsat cost LB: 199434 ... c Min unsat cost LB: 199826 ... c Min unsat cost LB: 199863 ... c Min unsat cost LB: 199876 ... c Min unsat cost LB: 200120 ... c Min unsat cost LB: 200348 ... c Min unsat cost LB: 200874 ... c Min unsat cost LB: 200888 ... c Min unsat cost LB: 200908 ... c Min unsat cost LB: 200984 ... c Min unsat cost LB: 200985 ... c Min unsat cost LB: 201168 ... c Min unsat cost LB: 201766 ... c Min unsat cost LB: 201771 ... c Min unsat cost LB: 202728 ... c Min unsat cost LB: 202817 ... c Min unsat cost LB: 203695 ... c Min unsat cost LB: 203943 ... c Min unsat cost LB: 203963 ... c Min unsat cost LB: 204361 ... c Min unsat cost LB: 204457 ... c Min unsat cost LB: 204658 ... c Min unsat cost LB: 204937 ... c Min unsat cost LB: 205804 ... c Min unsat cost LB: 205979 ... c Min unsat cost LB: 205999 ... c Min unsat cost LB: 206322 ... c Min unsat cost LB: 206330 ... c Min unsat cost LB: 206336 ... c Min unsat cost LB: 206374 ... c Min unsat cost LB: 206381 ... c Min unsat cost LB: 206784 ... c Min unsat cost LB: 206894 ... c Min unsat cost LB: 207359 ... c Min unsat cost LB: 207568 ... c Min unsat cost LB: 207871 ... c Min unsat cost LB: 208069 ... c Min unsat cost LB: 208303 ... c Min unsat cost LB: 208429 ... c Min unsat cost LB: 208878 ... c Min unsat cost LB: 208887 ... c Min unsat cost LB: 209413 ... c Min unsat cost LB: 209515 ... c Min unsat cost LB: 209698 ... c Min unsat cost LB: 209799 ... c Min unsat cost LB: 210350 ... c Min unsat cost LB: 210606 ... c Min unsat cost LB: 210661 ... c Min unsat cost LB: 210662 ... c Min unsat cost LB: 210867 ... c Min unsat cost LB: 211015 ... c Min unsat cost LB: 211339 ... c Min unsat cost LB: 211364 ... c Min unsat cost LB: 211404 ... c Min unsat cost LB: 211518 ... c Min unsat cost LB: 211569 ... c Min unsat cost LB: 211590 ... c Min unsat cost LB: 211615 ... c Min unsat cost LB: 211632 ... c Min unsat cost LB: 211653 ... c Min unsat cost LB: 211888 ... c Min unsat cost LB: 211889 ... c Min unsat cost LB: 211944 ... c Min unsat cost LB: 212001 ... c Min unsat cost LB: 212130 ... c Min unsat cost LB: 212635 ... c Min unsat cost LB: 213172 ... c Min unsat cost LB: 213309 ... c Min unsat cost LB: 214276 ... c Min unsat cost LB: 214297 ... c Min unsat cost LB: 214319 ... c Min unsat cost LB: 214589 ... c Min unsat cost LB: 214634 ... c Min unsat cost LB: 214942 ... c Min unsat cost LB: 215058 ... c Min unsat cost LB: 215869 ... c Min unsat cost LB: 216148 ... c Min unsat cost LB: 216219 ... c Min unsat cost LB: 216604 ... c Min unsat cost LB: 216810 ... c Min unsat cost LB: 216837 ... c Min unsat cost LB: 217644 ... c Min unsat cost LB: 217676 ... c Min unsat cost LB: 217784 ... c Min unsat cost LB: 218146 ... c Min unsat cost LB: 218190 ... c Min unsat cost LB: 218653 ... c Min unsat cost LB: 219248 ... c Min unsat cost LB: 219404 ... c Min unsat cost LB: 219606 ... c Min unsat cost LB: 220492 ... c Min unsat cost LB: 220627 ... c Min unsat cost LB: 220628 ... c Min unsat cost LB: 220630 ... c Min unsat cost LB: 220632 ... c Min unsat cost LB: 220633 ... c Min unsat cost LB: 220640 ... c Min unsat cost LB: 220642 ... c Min unsat cost LB: 220644 ... c Min unsat cost LB: 220646 ... c Min unsat cost LB: 220651 ... c Min unsat cost LB: 220653 ... c Min unsat cost LB: 220654 ... c Min unsat cost LB: 220655 ... c Min unsat cost LB: 220657 ... c Min unsat cost LB: 220658 ... c Min unsat cost LB: 220659 ... c Min unsat cost LB: 220660 ... c Min unsat cost LB: 220661 ... c Min unsat cost LB: 220662 ... c Min unsat cost LB: 220663 ... c Min unsat cost LB: 220664 ... c Min unsat cost LB: 220665 ... c Min unsat cost LB: 220666 ... c Min unsat cost LB: 220667 ... c Min unsat cost LB: 220668 ... c Min unsat cost LB: 220670 ... c Min unsat cost LB: 220672 ... c Min unsat cost LB: 220674 ... c Min unsat cost LB: 220675 ... c Min unsat cost LB: 220676 ... c Min unsat cost LB: 220677 ... c Min unsat cost LB: 220678 ... c Min unsat cost LB: 220679 ... c Min unsat cost LB: 220680 ... c Min unsat cost LB: 220682 ... c Min unsat cost LB: 220683 ... c Min unsat cost LB: 220684 ... c Min unsat cost LB: 220685 ... c Min unsat cost LB: 220686 ... c Min unsat cost LB: 220687 ... c Min unsat cost LB: 220688 ... c Min unsat cost LB: 220689 ... c Min unsat cost LB: 220690 ... c Min unsat cost LB: 220691 ... c Min unsat cost LB: 220692 ... c Min unsat cost LB: 220693 ... c Min unsat cost LB: 220694 ... c Min unsat cost LB: 220695 ... c Min unsat cost LB: 220696 ... c Min unsat cost LB: 220698 ... c Min unsat cost LB: 220699 ... c Min unsat cost LB: 220700 ... c Min unsat cost LB: 220701 ... c Min unsat cost LB: 220702 ... c Min unsat cost LB: 220704 ... c Min unsat cost LB: 220705 ... c Min unsat cost LB: 220706 ... c Min unsat cost LB: 220707 ... c Min unsat cost LB: 220708 ... c Min unsat cost LB: 220709 ... c Min unsat cost LB: 220710 ... c Min unsat cost LB: 220711 ... c Min unsat cost LB: 220712 ... c Min unsat cost LB: 220713 ... c Min unsat cost LB: 220714 ... c Min unsat cost LB: 220715 ... c Min unsat cost LB: 220716 ... c Min unsat cost LB: 220717 ... c Min unsat cost LB: 220718 ... c Min unsat cost LB: 220719 ... c Min unsat cost LB: 220720 ... c Min unsat cost LB: 220721 ... c Min unsat cost LB: 220722 ... c Min unsat cost LB: 220723 ... c Min unsat cost LB: 220724 ... c Min unsat cost LB: 220725 ... c Min unsat cost LB: 220726 ... c Min unsat cost LB: 220727 ... c Min unsat cost LB: 220728 ... c Min unsat cost LB: 220729 ... c Min unsat cost LB: 220730 ... c Min unsat cost LB: 220731 ... c Min unsat cost LB: 220732 ... c Min unsat cost LB: 220733 ... c Min unsat cost LB: 220734 ... c Min unsat cost LB: 220735 ... c Min unsat cost LB: 220736 ... c Min unsat cost LB: 220737 ... c Min unsat cost LB: 220738 ... c Min unsat cost LB: 220739 ... c Min unsat cost LB: 220740 ... c Min unsat cost LB: 220741 ... c Min unsat cost LB: 220742 ... c Min unsat cost LB: 220743 ... c Min unsat cost LB: 220744 ... c Min unsat cost LB: 220745 ... c Min unsat cost LB: 220746 ... c Min unsat cost LB: 220747 ... c Min unsat cost LB: 220748 ... c Min unsat cost LB: 220749 ... c Min unsat cost LB: 220750 ... c Min unsat cost LB: 220751 ... c Min unsat cost LB: 220752 ... c Min unsat cost LB: 220753 ... c Min unsat cost LB: 220754 ... c Min unsat cost LB: 220755 ... c Min unsat cost LB: 220756 ... c Min unsat cost LB: 220757 ... c Min unsat cost LB: 220758 ... c Min unsat cost LB: 220759 ... c Min unsat cost LB: 220760 ... c Min unsat cost LB: 220761 ... c Min unsat cost LB: 220762 ... c Min unsat cost LB: 220763 ... c Min unsat cost LB: 220764 ... c Min unsat cost LB: 220765 ... c Min unsat cost LB: 220766 ... c Min unsat cost LB: 220767 ... c Min unsat cost LB: 220768 ... c Min unsat cost LB: 220769 ... c Min unsat cost LB: 220770 ... c Min unsat cost LB: 220Killed 1816.701u 3.055s 30:20.09 99.9% 0+0k 0+0io 0pf+0w