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-220-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-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-220-1_network-2.net.wcnf *** c c Min unsat cost LB: 492 ... c Min unsat cost LB: 1948 ... c Min unsat cost LB: 2857 ... c Min unsat cost LB: 4240 ... c Min unsat cost LB: 5014 ... c Min unsat cost LB: 5913 ... c Min unsat cost LB: 7806 ... c Min unsat cost LB: 8316 ... c Min unsat cost LB: 9787 ... c Min unsat cost LB: 10017 ... c Min unsat cost LB: 10481 ... c Min unsat cost LB: 11655 ... c Min unsat cost LB: 11781 ... c Min unsat cost LB: 13009 ... c Min unsat cost LB: 13604 ... c Min unsat cost LB: 13846 ... c Min unsat cost LB: 13854 ... c Min unsat cost LB: 14210 ... c Min unsat cost LB: 14572 ... c Min unsat cost LB: 16099 ... c Min unsat cost LB: 18045 ... c Min unsat cost LB: 19815 ... c Min unsat cost LB: 21663 ... c Min unsat cost LB: 22677 ... c Min unsat cost LB: 24188 ... c Min unsat cost LB: 24270 ... c Min unsat cost LB: 24939 ... c Min unsat cost LB: 25045 ... c Min unsat cost LB: 26100 ... c Min unsat cost LB: 27847 ... c Min unsat cost LB: 28719 ... c Min unsat cost LB: 29192 ... c Min unsat cost LB: 29635 ... c Min unsat cost LB: 29769 ... c Min unsat cost LB: 29937 ... c Min unsat cost LB: 30566 ... c Min unsat cost LB: 31241 ... c Min unsat cost LB: 32175 ... c Min unsat cost LB: 33406 ... c Min unsat cost LB: 34070 ... c Min unsat cost LB: 34335 ... c Min unsat cost LB: 35506 ... c Min unsat cost LB: 35992 ... c Min unsat cost LB: 36103 ... c Min unsat cost LB: 36192 ... c Min unsat cost LB: 36891 ... c Min unsat cost LB: 37823 ... c Min unsat cost LB: 38549 ... c Min unsat cost LB: 38768 ... c Min unsat cost LB: 39563 ... c Min unsat cost LB: 40617 ... c Min unsat cost LB: 40671 ... c Min unsat cost LB: 40978 ... c Min unsat cost LB: 41161 ... c Min unsat cost LB: 41776 ... c Min unsat cost LB: 41926 ... c Min unsat cost LB: 42253 ... c Min unsat cost LB: 42304 ... c Min unsat cost LB: 42476 ... c Min unsat cost LB: 43489 ... c Min unsat cost LB: 43855 ... c Min unsat cost LB: 44083 ... c Min unsat cost LB: 44117 ... c Min unsat cost LB: 44740 ... c Min unsat cost LB: 45222 ... c Min unsat cost LB: 45256 ... c Min unsat cost LB: 45697 ... c Min unsat cost LB: 46096 ... c Min unsat cost LB: 46456 ... c Min unsat cost LB: 46789 ... c Min unsat cost LB: 47317 ... c Min unsat cost LB: 47609 ... c Min unsat cost LB: 48532 ... c Min unsat cost LB: 49046 ... c Min unsat cost LB: 49277 ... c Min unsat cost LB: 49565 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 50015 ... c Min unsat cost LB: 50314 ... c Min unsat cost LB: 51895 ... c Min unsat cost LB: 51968 ... c Min unsat cost LB: 52149 ... c Min unsat cost LB: 52612 ... c Min unsat cost LB: 53057 ... c Min unsat cost LB: 53428 ... c Min unsat cost LB: 54506 ... c Min unsat cost LB: 54559 ... c Min unsat cost LB: 54575 ... c Min unsat cost LB: 54816 ... c Min unsat cost LB: 55309 ... c Min unsat cost LB: 55376 ... c Min unsat cost LB: 55394 ... c Min unsat cost LB: 55553 ... c Min unsat cost LB: 56367 ... c Min unsat cost LB: 56375 ... c Min unsat cost LB: 56660 ... c Min unsat cost LB: 56933 ... c Min unsat cost LB: 57236 ... c Min unsat cost LB: 57973 ... c Min unsat cost LB: 58289 ... c Min unsat cost LB: 58728 ... c Min unsat cost LB: 59402 ... c Min unsat cost LB: 59818 ... c Min unsat cost LB: 59900 ... c Min unsat cost LB: 60134 ... c Min unsat cost LB: 60181 ... c Min unsat cost LB: 60959 ... c Min unsat cost LB: 61202 ... c Min unsat cost LB: 61624 ... c Min unsat cost LB: 61969 ... c Min unsat cost LB: 62414 ... c Min unsat cost LB: 62940 ... c Min unsat cost LB: 62961 ... c Min unsat cost LB: 63865 ... c Min unsat cost LB: 64071 ... c Min unsat cost LB: 64078 ... c Min unsat cost LB: 64155 ... c Min unsat cost LB: 64171 ... c Min unsat cost LB: 65679 ... c Min unsat cost LB: 65702 ... c Min unsat cost LB: 65713 ... c Min unsat cost LB: 65733 ... c Min unsat cost LB: 66145 ... c Min unsat cost LB: 66222 ... c Min unsat cost LB: 66226 ... c Min unsat cost LB: 66242 ... c Min unsat cost LB: 66422 ... c Min unsat cost LB: 66596 ... c Min unsat cost LB: 67173 ... c Min unsat cost LB: 67209 ... c Min unsat cost LB: 67363 ... c Min unsat cost LB: 68392 ... c Min unsat cost LB: 68535 ... c Min unsat cost LB: 68649 ... c Min unsat cost LB: 69267 ... c Min unsat cost LB: 69279 ... c Min unsat cost LB: 69582 ... c Min unsat cost LB: 69871 ... c Min unsat cost LB: 70658 ... c Min unsat cost LB: 70683 ... c Min unsat cost LB: 70760 ... c Min unsat cost LB: 71569 ... c Min unsat cost LB: 71661 ... c Min unsat cost LB: 72433 ... c Min unsat cost LB: 72912 ... c Min unsat cost LB: 72921 ... c Min unsat cost LB: 72925 ... c Min unsat cost LB: 73314 ... c Min unsat cost LB: 73776 ... c Min unsat cost LB: 74382 ... c Min unsat cost LB: 74396 ... c Min unsat cost LB: 74460 ... c Min unsat cost LB: 74483 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 75342 ... c Min unsat cost LB: 75402 ... c Min unsat cost LB: 75477 ... c Min unsat cost LB: 75942 ... c Min unsat cost LB: 76085 ... c Min unsat cost LB: 76121 ... c Min unsat cost LB: 76228 ... c Min unsat cost LB: 76235 ... c Min unsat cost LB: 76351 ... c Min unsat cost LB: 76361 ... c Min unsat cost LB: 76470 ... c Min unsat cost LB: 76937 ... c Min unsat cost LB: 77285 ... c Min unsat cost LB: 77496 ... c Min unsat cost LB: 77908 ... c Min unsat cost LB: 78007 ... c Min unsat cost LB: 78228 ... c Min unsat cost LB: 78484 ... c Min unsat cost LB: 78874 ... c Min unsat cost LB: 79121 ... c Min unsat cost LB: 79555 ... c Min unsat cost LB: 79666 ... c Min unsat cost LB: 79920 ... c Min unsat cost LB: 80474 ... c Min unsat cost LB: 80478 ... c Min unsat cost LB: 80767 ... c Min unsat cost LB: 81446 ... c Min unsat cost LB: 82105 ... c Min unsat cost LB: 82138 ... c Min unsat cost LB: 82408 ... c Min unsat cost LB: 82647 ... c Min unsat cost LB: 82711 ... c Min unsat cost LB: 82924 ... c Min unsat cost LB: 83038 ... c Min unsat cost LB: 83216 ... c Min unsat cost LB: 83371 ... c Min unsat cost LB: 84013 ... c Min unsat cost LB: 84083 ... c Min unsat cost LB: 84606 ... c Min unsat cost LB: 84638 ... c Min unsat cost LB: 85035 ... c Min unsat cost LB: 85057 ... c Min unsat cost LB: 85845 ... c Min unsat cost LB: 86154 ... c Min unsat cost LB: 86416 ... c Min unsat cost LB: 87689 ... c Min unsat cost LB: 87859 ... c Min unsat cost LB: 87881 ... c Min unsat cost LB: 87948 ... c Min unsat cost LB: 88323 ... c Min unsat cost LB: 88714 ... c Min unsat cost LB: 89119 ... c Min unsat cost LB: 89604 ... c Min unsat cost LB: 90049 ... c Min unsat cost LB: 90122 ... c Min unsat cost LB: 90224 ... c Min unsat cost LB: 90419 ... c Min unsat cost LB: 90430 ... c Min unsat cost LB: 90870 ... c Min unsat cost LB: 90925 ... c Min unsat cost LB: 91094 ... c Min unsat cost LB: 91105 ... c Min unsat cost LB: 91346 ... c Min unsat cost LB: 91706 ... c Min unsat cost LB: 92111 ... c Min unsat cost LB: 92210 ... c Min unsat cost LB: 92612 ... c Min unsat cost LB: 92892 ... c Min unsat cost LB: 93311 ... c Min unsat cost LB: 93653 ... c Min unsat cost LB: 94027 ... c Min unsat cost LB: 94068 ... c Min unsat cost LB: 94439 ... c Min unsat cost LB: 94848 ... c Min unsat cost LB: 94853 ... c Min unsat cost LB: 94885 ... c Min unsat cost LB: 95941 ... c Min unsat cost LB: 96113 ... c Min unsat cost LB: 96174 ... c Min unsat cost LB: 96467 ... c Min unsat cost LB: 97047 ... c Min unsat cost LB: 97327 ... c Min unsat cost LB: 97796 ... c Min unsat cost LB: 97801 ... c Min unsat cost LB: 97822 ... c Min unsat cost LB: 97848 ... c Min unsat cost LB: 97953 ... c Min unsat cost LB: 98054 ... c Min unsat cost LB: 98178 ... c Min unsat cost LB: 98213 ... c Min unsat cost LB: 98654 ... c Min unsat cost LB: 98666 ... c Min unsat cost LB: 98693 ... c Min unsat cost LB: 98966 ... c Min unsat cost LB: 98990 ... c Min unsat cost LB: 100196 ... c Min unsat cost LB: 100306 ... c Min unsat cost LB: 100610 ... c Min unsat cost LB: 100722 ... c Min unsat cost LB: 100729 ... c Min unsat cost LB: 100792 ... c Min unsat cost LB: 101278 ... c Min unsat cost LB: 101670 ... c Min unsat cost LB: 102658 ... c Min unsat cost LB: 102714 ... c Min unsat cost LB: 102863 ... c Min unsat cost LB: 103059 ... c Min unsat cost LB: 103114 ... c Min unsat cost LB: 103118 ... c Min unsat cost LB: 103393 ... c Min unsat cost LB: 103775 ... c Min unsat cost LB: 105277 ... c Min unsat cost LB: 105297 ... c Min unsat cost LB: 105528 ... c Min unsat cost LB: 105667 ... c Min unsat cost LB: 105908 ... c Min unsat cost LB: 105935 ... c Min unsat cost LB: 106069 ... c Min unsat cost LB: 106144 ... c Min unsat cost LB: 106194 ... c Min unsat cost LB: 106261 ... c Min unsat cost LB: 106505 ... c Min unsat cost LB: 106508 ... c Min unsat cost LB: 106554 ... c Min unsat cost LB: 106983 ... c Min unsat cost LB: 107131 ... c Min unsat cost LB: 107141 ... c Min unsat cost LB: 107512 ... c Min unsat cost LB: 107867 ... c Min unsat cost LB: 108104 ... c Min unsat cost LB: 108353 ... c Min unsat cost LB: 108777 ... c Min unsat cost LB: 109140 ... c Min unsat cost LB: 109285 ... c Min unsat cost LB: 109398 ... c Min unsat cost LB: 109428 ... c Min unsat cost LB: 110487 ... c Min unsat cost LB: 110556 ... c Min unsat cost LB: 110669 ... c Min unsat cost LB: 110831 ... c Min unsat cost LB: 110962 ... c Min unsat cost LB: 111088 ... c Min unsat cost LB: 111350 ... c Min unsat cost LB: 111720 ... c Min unsat cost LB: 111970 ... c Min unsat cost LB: 112396 ... c Min unsat cost LB: 112571 ... c Min unsat cost LB: 112713 ... c Min unsat cost LB: 112881 ... c Min unsat cost LB: 112998 ... c Min unsat cost LB: 113216 ... c Min unsat cost LB: 113373 ... c Min unsat cost LB: 113434 ... c Min unsat cost LB: 113873 ... c Min unsat cost LB: 113987 ... c Min unsat cost LB: 114036 ... c Min unsat cost LB: 114781 ... c Min unsat cost LB: 115395 ... c Min unsat cost LB: 116145 ... c Min unsat cost LB: 116161 ... c Min unsat cost LB: 116259 ... c Min unsat cost LB: 116348 ... c Min unsat cost LB: 117418 ... c Min unsat cost LB: 117779 ... c Min unsat cost LB: 118843 ... c Min unsat cost LB: 118857 ... c Min unsat cost LB: 118915 ... c Min unsat cost LB: 118968 ... c Min unsat cost LB: 119373 ... c Min unsat cost LB: 120022 ... c Min unsat cost LB: 120254 ... c Min unsat cost LB: 120268 ... c Min unsat cost LB: 120313 ... c Min unsat cost LB: 120979 ... c Min unsat cost LB: 120991 ... c Min unsat cost LB: 121226 ... c Min unsat cost LB: 121227 ... c Min unsat cost LB: 122037 ... c Min unsat cost LB: 122268 ... c Min unsat cost LB: 122442 ... c Min unsat cost LB: 122635 ... c Min unsat cost LB: 122707 ... c Min unsat cost LB: 123121 ... c Min unsat cost LB: 123988 ... c Min unsat cost LB: 124007 ... c Min unsat cost LB: 124291 ... c Min unsat cost LB: 124831 ... c Min unsat cost LB: 124874 ... c Min unsat cost LB: 124984 ... c Min unsat cost LB: 125208 ... c Min unsat cost LB: 125334 ... c Min unsat cost LB: 126556 ... c Min unsat cost LB: 126627 ... c Min unsat cost LB: 126661 ... c Min unsat cost LB: 126729 ... c Min unsat cost LB: 126980 ... c Min unsat cost LB: 127539 ... c Min unsat cost LB: 127648 ... c Min unsat cost LB: 127670 ... c Min unsat cost LB: 127738 ... c Min unsat cost LB: 127794 ... c Min unsat cost LB: 127897 ... c Min unsat cost LB: 128287 ... c Min unsat cost LB: 128390 ... c Min unsat cost LB: 129314 ... c Min unsat cost LB: 129438 ... c Min unsat cost LB: 129647 ... c Min unsat cost LB: 129704 ... c Min unsat cost LB: 129738 ... c Min unsat cost LB: 130041 ... c Min unsat cost LB: 130428 ... c Min unsat cost LB: 130862 ... c Min unsat cost LB: 130965 ... c Min unsat cost LB: 131584 ... c Min unsat cost LB: 132342 ... c Min unsat cost LB: 132757 ... c Min unsat cost LB: 132943 ... c Min unsat cost LB: 133044 ... c Min unsat cost LB: 133492 ... c Min unsat cost LB: 133573 ... c Min unsat cost LB: 133610 ... c Min unsat cost LB: 133713 ... c Min unsat cost LB: 133739 ... c Min unsat cost LB: 133768 ... c Min unsat cost LB: 134592 ... c Min unsat cost LB: 134604 ... c Min unsat cost LB: 135019 ... c Min unsat cost LB: 135746 ... c Min unsat cost LB: 135962 ... c Min unsat cost LB: 136337 ... c Min unsat cost LB: 137244 ... c Min unsat cost LB: 137630 ... c Min unsat cost LB: 137652 ... c Min unsat cost LB: 137711 ... c Min unsat cost LB: 137779 ... c Min unsat cost LB: 137831 ... c Min unsat cost LB: 137877 ... c Min unsat cost LB: 137902 ... c Min unsat cost LB: 138439 ... c Min unsat cost LB: 138535 ... c Min unsat cost LB: 139084 ... c Min unsat cost LB: 139126 ... c Min unsat cost LB: 139139 ... c Min unsat cost LB: 139297 ... c Min unsat cost LB: 139307 ... c Min unsat cost LB: 139332 ... c Min unsat cost LB: 139353 ... c Min unsat cost LB: 139354 ... c Min unsat cost LB: 139363 ... c Min unsat cost LB: 139378 ... c Min unsat cost LB: 140569 ... c Min unsat cost LB: 140602 ... c Min unsat cost LB: 140612 ... c Min unsat cost LB: 140649 ... c Min unsat cost LB: 140658 ... c Min unsat cost LB: 140661 ... c Min unsat cost LB: 140805 ... c Min unsat cost LB: 140929 ... c Min unsat cost LB: 141252 ... c Min unsat cost LB: 141712 ... c Min unsat cost LB: 141766 ... c Min unsat cost LB: 141985 ... c Min unsat cost LB: 142099 ... c Min unsat cost LB: 142397 ... c Min unsat cost LB: 142846 ... c Min unsat cost LB: 142861 ... c Min unsat cost LB: 142968 ... c Min unsat cost LB: 142970 ... c Min unsat cost LB: 143060 ... c Min unsat cost LB: 143228 ... c Min unsat cost LB: 143268 ... c Min unsat cost LB: 143934 ... c Min unsat cost LB: 144029 ... c Min unsat cost LB: 144041 ... c Min unsat cost LB: 144287 ... c Min unsat cost LB: 144659 ... c Min unsat cost LB: 145239 ... c Min unsat cost LB: 145589 ... c Min unsat cost LB: 146031 ... c Min unsat cost LB: 146360 ... c Min unsat cost LB: 146462 ... c Min unsat cost LB: 146963 ... c Min unsat cost LB: 147529 ... c Min unsat cost LB: 147581 ... c Min unsat cost LB: 147841 ... c Min unsat cost LB: 148172 ... c Min unsat cost LB: 148224 ... c Min unsat cost LB: 148266 ... c Min unsat cost LB: 148428 ... c Min unsat cost LB: 148471 ... c Min unsat cost LB: 148540 ... c Min unsat cost LB: 148544 ... c Min unsat cost LB: 148914 ... c Min unsat cost LB: 149488 ... c Min unsat cost LB: 149827 ... c Min unsat cost LB: 150121 ... c Min unsat cost LB: 150526 ... c Min unsat cost LB: 151117 ... c Min unsat cost LB: 151136 ... c Min unsat cost LB: 151318 ... c Min unsat cost LB: 151605 ... c Min unsat cost LB: 151616 ... c Min unsat cost LB: 151754 ... c Min unsat cost LB: 152004 ... c Min unsat cost LB: 152307 ... c Min unsat cost LB: 152326 ... c Min unsat cost LB: 153035 ... c Min unsat cost LB: 153484 ... c Min unsat cost LB: 153888 ... c Min unsat cost LB: 153918 ... c Min unsat cost LB: 153983 ... c Min unsat cost LB: 154317 ... c Min unsat cost LB: 154613 ... c Min unsat cost LB: 154650 ... c Min unsat cost LB: 154753 ... c Min unsat cost LB: 155075 ... c Min unsat cost LB: 155411 ... c Min unsat cost LB: 156099 ... c Min unsat cost LB: 156432 ... c Min unsat cost LB: 156815 ... c Min unsat cost LB: 156881 ... c Min unsat cost LB: 156969 ... c Min unsat cost LB: 157074 ... c Min unsat cost LB: 157151 ... c Min unsat cost LB: 157946 ... c Min unsat cost LB: 158006 ... c Min unsat cost LB: 158029 ... c Min unsat cost LB: 158113 ... c Min unsat cost LB: 158203 ... c Min unsat cost LB: 158260 ... c Min unsat cost LB: 158876 ... c Min unsat cost LB: 158957 ... c Min unsat cost LB: 159066 ... c Min unsat cost LB: 159113 ... c Min unsat cost LB: 159824 ... c Min unsat cost LB: 160321 ... c Min unsat cost LB: 160685 ... c Min unsat cost LB: 160944 ... c Min unsat cost LB: 161020 ... c Min unsat cost LB: 161703 ... c Min unsat cost LB: 162359 ... c Min unsat cost LB: 162948 ... c Min unsat cost LB: 162985 ... c Min unsat cost LB: 163494 ... c Min unsat cost LB: 164002 ... c Min unsat cost LB: 164093 ... c Min unsat cost LB: 164181 ... c Min unsat cost LB: 164404 ... c Min unsat cost LB: 164580 ... c Min unsat cost LB: 165182 ... c Min unsat cost LB: 165772 ... c Min unsat cost LB: 166530 ... c Min unsat cost LB: 166808 ... c Min unsat cost LB: 166833 ... c Min unsat cost LB: 167261 ... c Min unsat cost LB: 167329 ... c Min unsat cost LB: 167681 ... c Min unsat cost LB: 167857 ... c Min unsat cost LB: 168026 ... c Min unsat cost LB: 168072 ... c Min unsat cost LB: 168185 ... c Min unsat cost LB: 168806 ... c Min unsat cost LB: 169682 ... c Min unsat cost LB: 169795 ... c Min unsat cost LB: 169819 ... c Min unsat cost LB: 169982 ... c Min unsat cost LB: 170875 ... c Min unsat cost LB: 171651 ... c Min unsat cost LB: 171811 ... c Min unsat cost LB: 172152 ... c Min unsat cost LB: 172386 ... c Min unsat cost LB: 172511 ... c Min unsat cost LB: 172671 ... c Min unsat cost LB: 172775 ... c Min unsat cost LB: 173020 ... c Min unsat cost LB: 173618 ... c Min unsat cost LB: 173761 ... c Min unsat cost LB: 173808 ... c Min unsat cost LB: 173926 ... c Min unsat cost LB: 174178 ... c Min unsat cost LB: 174649 ... c Min unsat cost LB: 174709 ... c Min unsat cost LB: 174913 ... c Min unsat cost LB: 175079 ... c Min unsat cost LB: 175158 ... c Min unsat cost LB: 175231 ... c Min unsat cost LB: 175283 ... c Min unsat cost LB: 175318 ... c Min unsat cost LB: 175668 ... c Min unsat cost LB: 176007 ... c Min unsat cost LB: 176017 ... c Min unsat cost LB: 176027 ... c Min unsat cost LB: 176160 ... c Min unsat cost LB: 176196 ... c Min unsat cost LB: 176209 ... c Min unsat cost LB: 176231 ... c Min unsat cost LB: 176283 ... c Min unsat cost LB: 176820 ... c Min unsat cost LB: 177175 ... c Min unsat cost LB: 177463 ... c Min unsat cost LB: 177651 ... c Min unsat cost LB: 177655 ... c Min unsat cost LB: 177669 ... c Min unsat cost LB: 177720 ... c Min unsat cost LB: 177741 ... c Min unsat cost LB: 177746 ... c Min unsat cost LB: 178086 ... c Min unsat cost LB: 178266 ... c Min unsat cost LB: 178718 ... c Min unsat cost LB: 179124 ... c Min unsat cost LB: 179234 ... c Min unsat cost LB: 179461 ... c Min unsat cost LB: 179550 ... c Min unsat cost LB: 179552 ... c Min unsat cost LB: 179560 ... c Min unsat cost LB: 179602 ... c Min unsat cost LB: 179604 ... c Min unsat cost LB: 179705 ... c Min unsat cost LB: 179708 ... c Min unsat cost LB: 179718 ... c Min unsat cost LB: 179802 ... c Min unsat cost LB: 180142 ... c Min unsat cost LB: 180627 ... c Min unsat cost LB: 181021 ... c Min unsat cost LB: 181023 ... c Min unsat cost LB: 181113 ... c Min unsat cost LB: 181189 ... c Min unsat cost LB: 181218 ... c Min unsat cost LB: 181227 ... c Min unsat cost LB: 181407 ... c Min unsat cost LB: 181960 ... c Min unsat cost LB: 182060 ... c Min unsat cost LB: 182487 ... c Min unsat cost LB: 182601 ... c Min unsat cost LB: 182940 ... c Min unsat cost LB: 182985 ... c Min unsat cost LB: 183040 ... c Min unsat cost LB: 183342 ... c Min unsat cost LB: 183484 ... c Min unsat cost LB: 183487 ... c Min unsat cost LB: 183643 ... c Min unsat cost LB: 183747 ... c Min unsat cost LB: 183750 ... c Min unsat cost LB: 183752 ... c Min unsat cost LB: 183795 ... c Min unsat cost LB: 183805 ... c Min unsat cost LB: 183834 ... c Min unsat cost LB: 183856 ... c Min unsat cost LB: 183857 ... c Min unsat cost LB: 183870 ... c Min unsat cost LB: 183908 ... c Min unsat cost LB: 183914 ... c Min unsat cost LB: 184380 ... c Min unsat cost LB: 184654 ... c Min unsat cost LB: 184655 ... c Min unsat cost LB: 184659 ... c Min unsat cost LB: 184828 ... c Min unsat cost LB: 184942 ... c Min unsat cost LB: 185214 ... c Min unsat cost LB: 185225 ... c Min unsat cost LB: 185227 ... c Min unsat cost LB: 185228 ... c Min unsat cost LB: 185229 ... c Min unsat cost LB: 185264 ... c Min unsat cost LB: 185265 ... c Min unsat cost LB: 185275 ... c Min unsat cost LB: 185470 ... c Min unsat cost LB: 185980 ... c Min unsat cost LB: 186049 ... c Min unsat cost LB: 186278 ... c Min unsat cost LB: 186785 ... c Min unsat cost LB: 187318 ... c Min unsat cost LB: 187336 ... c Min unsat cost LB: 187387 ... c Min unsat cost LB: 187656 ... c Min unsat cost LB: 187916 ... c Min unsat cost LB: 187921 ... c Min unsat cost LB: 188774 ... c Min unsat cost LB: 188861 ... c Min unsat cost LB: 188871 ... c Min unsat cost LB: 188978 ... c Min unsat cost LB: 189091 ... c Min unsat cost LB: 189684 ... c Min unsat cost LB: 189885 ... c Min unsat cost LB: 190195 ... c Min unsat cost LB: 190252 ... c Min unsat cost LB: 190264 ... c Min unsat cost LB: 190302 ... c Min unsat cost LB: 190343 ... c Min unsat cost LB: 190357 ... c Min unsat cost LB: 190400 ... c Min unsat cost LB: 190404 ... c Min unsat cost LB: 190420 ... c Min unsat cost LB: 190425 ... c Min unsat cost LB: 190429 ... c Min unsat cost LB: 190739 ... c Min unsat cost LB: 190849 ... c Min unsat cost LB: 191086 ... c Min unsat cost LB: 191859 ... c Min unsat cost LB: 192060 ... c Min unsat cost LB: 192087 ... c Min unsat cost LB: 192498 ... c Min unsat cost LB: 192757 ... c Min unsat cost LB: 192766 ... c Min unsat cost LB: 193119 ... c Min unsat cost LB: 193144 ... c Min unsat cost LB: 193571 ... c Min unsat cost LB: 194084 ... c Min unsat cost LB: 194119 ... c Min unsat cost LB: 194149 ... c Min unsat cost LB: 194994 ... c Min unsat cost LB: 195033 ... c Min unsat cost LB: 195346 ... c Min unsat cost LB: 195432 ... c Min unsat cost LB: 195569 ... c Min unsat cost LB: 195596 ... c Min unsat cost LB: 195616 ... c Min unsat cost LB: 196019 ... c Min unsat cost LB: 196179 ... c Min unsat cost LB: 196206 ... c Min unsat cost LB: 196222 ... c Min unsat cost LB: 196242 ... c Min unsat cost LB: 196243 ... c Min unsat cost LB: 196249 ... c Min unsat cost LB: 196254 ... c Min unsat cost LB: 196275 ... c Min unsat cost LB: 196276 ... c Min unsat cost LB: 196298 ... c Min unsat cost LB: 196299 ... c Min unsat cost LB: 196304 ... c Min unsat cost LB: 196305 ... c Min unsat cost LB: 196469 ... c Min unsat cost LB: 196483 ... c Min unsat cost LB: 196523 ... c Min unsat cost LB: 196547 ... c Min unsat cost LB: 196562 ... c Min unsat cost LB: 197087 ... c Min unsat cost LB: 197323 ... c Min unsat cost LB: 197680 ... c Min unsat cost LB: 198176 ... c Min unsat cost LB: 198831 ... c Min unsat cost LB: 199089 ... c Min unsat cost LB: 199110 ... c Min unsat cost LB: 199560 ... c Min unsat cost LB: 199605 ... c Min unsat cost LB: 199609 ... c Min unsat cost LB: 199758 ... c Min unsat cost LB: 199826 ... c Min unsat cost LB: 199838 ... c Min unsat cost LB: 200098 ... c Min unsat cost LB: 200110 ... c Min unsat cost LB: 200266 ... c Min unsat cost LB: 200295 ... c Min unsat cost LB: 200318 ... c Min unsat cost LB: 200332 ... c Min unsat cost LB: 200351 ... c Min unsat cost LB: 200398 ... c Min unsat cost LB: 200421 ... c Min unsat cost LB: 200435 ... c Min unsat cost LB: 200894 ... c Min unsat cost LB: 200921 ... c Min unsat cost LB: 200956 ... c Min unsat cost LB: 202047 ... c Min unsat cost LB: 202413 ... c Min unsat cost LB: 202780 ... c Min unsat cost LB: 202935 ... c Min unsat cost LB: 203138 ... c Min unsat cost LB: 203200 ... c Min unsat cost LB: 203994 ... c Min unsat cost LB: 204419 ... c Min unsat cost LB: 204503 ... c Min unsat cost LB: 204529 ... c Min unsat cost LB: 204531 ... c Min unsat cost LB: 205025 ... c Min unsat cost LB: 205054 ... c Min unsat cost LB: 205182 ... c Min unsat cost LB: 205270 ... c Min unsat cost LB: 205362 ... c Min unsat cost LB: 205395 ... c Min unsat cost LB: 205716 ... c Min unsat cost LB: 206437 ... c Min unsat cost LB: 206470 ... c Min unsat cost LB: 206527 ... c Min unsat cost LB: 207136 ... c Min unsat cost LB: 207284 ... c Min unsat cost LB: 207595 ... c Min unsat cost LB: 208010 ... c Min unsat cost LB: 208040 ... c Min unsat cost LB: 208652 ... c Min unsat cost LB: 208654 ... c Min unsat cost LB: 208656 ... c Min unsat cost LB: 208673 ... c Min unsat cost LB: 208675 ... c Min unsat cost LB: 208683 ... c Min unsat cost LB: 208699 ... c Min unsat cost LB: 209698 ... c Min unsat cost LB: 209737 ... c Min unsat cost LB: 209767 ... c Min unsat cost LB: 209775 ... c Min unsat cost LB: 210003 ... c Min unsat cost LB: 210091 ... c Min unsat cost LB: 210099 ... c Min unsat cost LB: 210138 ... c Min unsat cost LB: 210408 ... c Min unsat cost LB: 210413 ... c Min unsat cost LB: 210431 ... c Min unsat cost LB: 210696 ... c Min unsat cost LB: 211243 ... c Min unsat cost LB: 211265 ... c Min unsat cost LB: 211276 ... c Min unsat cost LB: 211281 ... c Min unsat cost LB: 211282 ... c Min unsat cost LB: 211286 ... c Min unsat cost LB: 211290 ... o 211290 s OPTIMUM FOUND v -1 2 -3 -4 -5 -6 7 -8 -9 10 -11 12 -13 -14 15 -16 -17 -18 -19 -20 21 22 -23 24 -25 -26 -27 -28 29 -30 -31 32 -33 -34 35 -36 -37 -38 39 -40 -41 -42 43 -44 45 -46 47 -48 -49 -50 -51 -52 53 54 -55 -56 -57 58 -59 -60 -61 62 -63 -64 -65 66 -67 -68 -69 70 -71 -72 73 74 -75 -76 -77 78 -79 -80 81 -82 -83 -84 85 -86 87 -88 -89 90 -91 -92 -93 94 -95 -96 97 98 -99 -100 -101 -102 103 -104 105 -106 -107 -108 -109 -110 111 112 -113 -114 -115 -116 117 -118 119 -120 -121 122 -123 124 -125 -126 -127 128 -129 -130 -131 132 -133 -134 -135 136 -137 -138 -139 140 -141 142 -143 -144 145 -146 147 -148 -149 150 -151 -152 -153 -154 155 -156 -157 -158 159 160 -161 -162 -163 -164 -165 166 -167 -168 169 -170 171 -172 173 -174 175 -176 -177 178 -179 -180 181 -182 183 -184 -185 -186 -187 188 -189 -190 191 -192 -193 -194 -195 196 -197 198 -199 -200 201 -202 203 -204 -205 -206 207 208 -209 -210 -211 -212 213 -214 215 -216 -217 -218 219 -220 221 -222 223 224 -225 -226 227 -228 -229 -230 231 232 -233 234 -235 236 -237 -238 -239 -240 -241 242 -243 244 -245 -246 -247 -248 249 -250 -251 -252 253 254 -255 -256 257 -258 -259 -260 -261 262 263 -264 -265 -266 267 -268 -269 -270 271 -272 -273 274 -275 -276 -277 -278 279 -280 281 -282 -283 -284 285 -286 -287 -288 289 -290 -291 -292 293 -294 -295 296 -297 -298 299 -300 -301 302 -303 -304 305 -306 307 -308 309 -310 -311 -312 -313 -314 315 -316 317 -318 -319 -320 -321 -322 323 -324 -325 326 -327 328 -329 -330 -331 -332 333 -334 -335 336 -337 338 -339 340 -341 342 -343 -344 345 -346 -347 348 -349 -350 351 -352 -353 -354 355 356 -357 358 -359 360 -361 -362 -363 -364 -365 366 367 -368 -369 -370 -371 372 -373 -374 375 376 -377 378 -379 -380 -381 -382 -383 384 -385 -386 -387 388 -389 -390 391 -392 -393 394 -395 -396 -397 398 -399 -400 -401 402 -403 404 -405 -406 -407 -408 -409 410 411 -412 -413 -414 -415 416 -417 418 -419 420 -421 -422 -423 424 -425 426 -427 -428 -429 -430 431 -432 -433 434 -435 436 -437 438 -439 440 -441 -442 443 -444 445 -446 447 -448 -449 -450 -451 452 -453 454 -455 -456 457 -458 459 -460 -461 -462 463 -464 465 466 -467 -468 -469 470 -471 -472 473 -474 475 -476 477 -478 -479 -480 -481 -482 -483 484 485 -486 -487 -488 -489 -490 491 -492 493 -494 -495 -496 497 -498 -499 -500 501 -502 -503 504 505 -506 -507 -508 -509 -510 511 512 -513 514 -515 516 -517 -518 -519 -520 -521 522 -523 524 -525 -526 -527 -528 529 -530 -531 532 -533 -534 535 -536 -537 -538 539 540 -541 -542 -543 -544 545 -546 547 -548 -549 -550 -551 552 -553 -554 555 556 -557 -558 -559 -560 561 -562 563 -564 -565 -566 567 -568 -569 570 571 -572 -573 -574 -575 -576 577 578 -579 -580 -581 582 c CPU Time: 49.3955 49.453u 0.210s 0:49.85 99.6% 0+0k 0+0io 0pf+0w