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-180-1_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-3.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-180-1_network-3.net.wcnf *** c c Min unsat cost LB: 229 ... c Min unsat cost LB: 1205 ... c Min unsat cost LB: 1724 ... c Min unsat cost LB: 2979 ... c Min unsat cost LB: 4281 ... c Min unsat cost LB: 4425 ... c Min unsat cost LB: 5914 ... c Min unsat cost LB: 6421 ... c Min unsat cost LB: 6451 ... c Min unsat cost LB: 7609 ... c Min unsat cost LB: 7611 ... c Min unsat cost LB: 8375 ... c Min unsat cost LB: 8582 ... c Min unsat cost LB: 8654 ... c Min unsat cost LB: 8673 ... c Min unsat cost LB: 10322 ... c Min unsat cost LB: 12001 ... c Min unsat cost LB: 13473 ... c Min unsat cost LB: 14243 ... c Min unsat cost LB: 15255 ... c Min unsat cost LB: 16946 ... c Min unsat cost LB: 19136 ... c Min unsat cost LB: 20506 ... c Min unsat cost LB: 21591 ... c Min unsat cost LB: 21956 ... c Min unsat cost LB: 22655 ... c Min unsat cost LB: 23067 ... c Min unsat cost LB: 23911 ... c Min unsat cost LB: 24156 ... c Min unsat cost LB: 24262 ... c Min unsat cost LB: 24287 ... c Min unsat cost LB: 25129 ... c Min unsat cost LB: 26377 ... c Min unsat cost LB: 26474 ... c Min unsat cost LB: 27939 ... c Min unsat cost LB: 29081 ... c Min unsat cost LB: 29222 ... c Min unsat cost LB: 29521 ... c Min unsat cost LB: 30078 ... c Min unsat cost LB: 30197 ... c Min unsat cost LB: 30971 ... c Min unsat cost LB: 31510 ... c Min unsat cost LB: 31638 ... c Min unsat cost LB: 31958 ... c Min unsat cost LB: 31963 ... c Min unsat cost LB: 32018 ... c Min unsat cost LB: 32415 ... c Min unsat cost LB: 32530 ... c Min unsat cost LB: 32619 ... c Min unsat cost LB: 33100 ... c Min unsat cost LB: 33401 ... c Min unsat cost LB: 33989 ... c Min unsat cost LB: 34226 ... c Min unsat cost LB: 34368 ... c Min unsat cost LB: 34627 ... c Min unsat cost LB: 35078 ... c Min unsat cost LB: 35209 ... c Min unsat cost LB: 35850 ... c Min unsat cost LB: 35957 ... c Min unsat cost LB: 35993 ... c Min unsat cost LB: 36195 ... c Min unsat cost LB: 36416 ... c Min unsat cost LB: 36544 ... c Min unsat cost LB: 36904 ... c Min unsat cost LB: 36980 ... c Min unsat cost LB: 37405 ... c Min unsat cost LB: 37460 ... c Min unsat cost LB: 37663 ... c Min unsat cost LB: 37669 ... c Min unsat cost LB: 37863 ... c Min unsat cost LB: 37978 ... c Min unsat cost LB: 38395 ... c Min unsat cost LB: 38562 ... c Min unsat cost LB: 38914 ... c Min unsat cost LB: 39205 ... c Min unsat cost LB: 39256 ... c Min unsat cost LB: 40116 ... c Min unsat cost LB: 40280 ... c Min unsat cost LB: 40314 ... c Min unsat cost LB: 40674 ... c Min unsat cost LB: 40874 ... c Min unsat cost LB: 41068 ... c Min unsat cost LB: 41122 ... c Min unsat cost LB: 41988 ... c Min unsat cost LB: 42147 ... c Min unsat cost LB: 42235 ... c Min unsat cost LB: 42564 ... c Min unsat cost LB: 42679 ... c Min unsat cost LB: 42893 ... c Min unsat cost LB: 43556 ... c Min unsat cost LB: 43960 ... c Min unsat cost LB: 44554 ... c Min unsat cost LB: 44564 ... c Min unsat cost LB: 45216 ... c Min unsat cost LB: 45233 ... c Min unsat cost LB: 45665 ... c Min unsat cost LB: 46151 ... c Min unsat cost LB: 46169 ... c Min unsat cost LB: 46433 ... c Min unsat cost LB: 46580 ... c Min unsat cost LB: 46682 ... c Min unsat cost LB: 47119 ... c Min unsat cost LB: 47426 ... c Min unsat cost LB: 47522 ... c Min unsat cost LB: 47589 ... c Min unsat cost LB: 47758 ... c Min unsat cost LB: 47917 ... c Min unsat cost LB: 49189 ... c Min unsat cost LB: 49441 ... c Min unsat cost LB: 49481 ... c Min unsat cost LB: 49504 ... c Min unsat cost LB: 50119 ... c Min unsat cost LB: 50122 ... c Min unsat cost LB: 50440 ... c Min unsat cost LB: 50791 ... c Min unsat cost LB: 50876 ... c Min unsat cost LB: 51891 ... c Min unsat cost LB: 52184 ... c Min unsat cost LB: 52417 ... c Min unsat cost LB: 52696 ... c Min unsat cost LB: 52730 ... c Min unsat cost LB: 53076 ... c Min unsat cost LB: 53077 ... c Min unsat cost LB: 53094 ... c Min unsat cost LB: 53215 ... c Min unsat cost LB: 53629 ... c Min unsat cost LB: 53655 ... c Min unsat cost LB: 53888 ... c Min unsat cost LB: 54178 ... c Min unsat cost LB: 54903 ... c Min unsat cost LB: 55056 ... c Min unsat cost LB: 56060 ... c Min unsat cost LB: 56419 ... c Min unsat cost LB: 57715 ... c Min unsat cost LB: 57886 ... c Min unsat cost LB: 58106 ... c Min unsat cost LB: 58203 ... c Min unsat cost LB: 58941 ... c Min unsat cost LB: 59173 ... c Min unsat cost LB: 59692 ... c Min unsat cost LB: 60073 ... c Min unsat cost LB: 60299 ... c Min unsat cost LB: 61208 ... c Min unsat cost LB: 61353 ... c Min unsat cost LB: 61998 ... c Min unsat cost LB: 62300 ... c Min unsat cost LB: 62896 ... c Min unsat cost LB: 63076 ... c Min unsat cost LB: 63136 ... c Min unsat cost LB: 63221 ... c Min unsat cost LB: 63340 ... c Min unsat cost LB: 63605 ... c Min unsat cost LB: 63648 ... c Min unsat cost LB: 63961 ... c Min unsat cost LB: 64330 ... c Min unsat cost LB: 64664 ... c Min unsat cost LB: 64948 ... c Min unsat cost LB: 65611 ... c Min unsat cost LB: 65973 ... c Min unsat cost LB: 66063 ... c Min unsat cost LB: 66400 ... c Min unsat cost LB: 66916 ... c Min unsat cost LB: 66937 ... c Min unsat cost LB: 67082 ... c Min unsat cost LB: 67174 ... c Min unsat cost LB: 67817 ... c Min unsat cost LB: 67860 ... c Min unsat cost LB: 68523 ... c Min unsat cost LB: 68540 ... c Min unsat cost LB: 68681 ... c Min unsat cost LB: 69089 ... c Min unsat cost LB: 69349 ... c Min unsat cost LB: 69390 ... c Min unsat cost LB: 70292 ... c Min unsat cost LB: 70638 ... c Min unsat cost LB: 70644 ... c Min unsat cost LB: 70680 ... c Min unsat cost LB: 71349 ... c Min unsat cost LB: 71496 ... c Min unsat cost LB: 71556 ... c Min unsat cost LB: 71677 ... c Min unsat cost LB: 71698 ... c Min unsat cost LB: 71715 ... c Min unsat cost LB: 71762 ... c Min unsat cost LB: 71774 ... c Min unsat cost LB: 71788 ... c Min unsat cost LB: 71800 ... c Min unsat cost LB: 72270 ... c Min unsat cost LB: 72275 ... c Min unsat cost LB: 72554 ... c Min unsat cost LB: 72977 ... c Min unsat cost LB: 73233 ... c Min unsat cost LB: 74054 ... c Min unsat cost LB: 74065 ... c Min unsat cost LB: 75003 ... c Min unsat cost LB: 75170 ... c Min unsat cost LB: 75623 ... c Min unsat cost LB: 76264 ... c Min unsat cost LB: 76265 ... c Min unsat cost LB: 76601 ... c Min unsat cost LB: 76649 ... c Min unsat cost LB: 76795 ... c Min unsat cost LB: 77031 ... c Min unsat cost LB: 77109 ... c Min unsat cost LB: 77155 ... c Min unsat cost LB: 77800 ... c Min unsat cost LB: 77909 ... c Min unsat cost LB: 77990 ... c Min unsat cost LB: 78474 ... c Min unsat cost LB: 79289 ... c Min unsat cost LB: 79426 ... c Min unsat cost LB: 79515 ... c Min unsat cost LB: 80099 ... c Min unsat cost LB: 80131 ... c Min unsat cost LB: 80266 ... c Min unsat cost LB: 80656 ... c Min unsat cost LB: 81255 ... c Min unsat cost LB: 81484 ... c Min unsat cost LB: 81710 ... c Min unsat cost LB: 81987 ... c Min unsat cost LB: 82379 ... c Min unsat cost LB: 82860 ... c Min unsat cost LB: 83188 ... c Min unsat cost LB: 83564 ... c Min unsat cost LB: 83617 ... c Min unsat cost LB: 83699 ... c Min unsat cost LB: 83960 ... c Min unsat cost LB: 83961 ... c Min unsat cost LB: 84058 ... c Min unsat cost LB: 84279 ... c Min unsat cost LB: 84459 ... c Min unsat cost LB: 84604 ... c Min unsat cost LB: 84991 ... c Min unsat cost LB: 85023 ... c Min unsat cost LB: 86073 ... c Min unsat cost LB: 86104 ... c Min unsat cost LB: 86441 ... c Min unsat cost LB: 87037 ... c Min unsat cost LB: 87348 ... c Min unsat cost LB: 87445 ... c Min unsat cost LB: 88475 ... c Min unsat cost LB: 88855 ... c Min unsat cost LB: 88903 ... c Min unsat cost LB: 89398 ... c Min unsat cost LB: 89456 ... c Min unsat cost LB: 89602 ... c Min unsat cost LB: 89612 ... c Min unsat cost LB: 89695 ... c Min unsat cost LB: 89834 ... c Min unsat cost LB: 90327 ... c Min unsat cost LB: 90638 ... c Min unsat cost LB: 90651 ... c Min unsat cost LB: 91670 ... c Min unsat cost LB: 91799 ... c Min unsat cost LB: 91882 ... c Min unsat cost LB: 91968 ... c Min unsat cost LB: 91977 ... c Min unsat cost LB: 92044 ... c Min unsat cost LB: 92101 ... c Min unsat cost LB: 92291 ... c Min unsat cost LB: 92485 ... c Min unsat cost LB: 92649 ... c Min unsat cost LB: 93344 ... c Min unsat cost LB: 93818 ... c Min unsat cost LB: 93835 ... c Min unsat cost LB: 94258 ... c Min unsat cost LB: 94318 ... c Min unsat cost LB: 94319 ... c Min unsat cost LB: 94389 ... c Min unsat cost LB: 94555 ... c Min unsat cost LB: 94946 ... c Min unsat cost LB: 94989 ... c Min unsat cost LB: 95030 ... c Min unsat cost LB: 95401 ... c Min unsat cost LB: 95420 ... c Min unsat cost LB: 96058 ... c Min unsat cost LB: 96111 ... c Min unsat cost LB: 96169 ... c Min unsat cost LB: 96350 ... c Min unsat cost LB: 96357 ... c Min unsat cost LB: 97296 ... c Min unsat cost LB: 97494 ... c Min unsat cost LB: 97557 ... c Min unsat cost LB: 97572 ... c Min unsat cost LB: 97625 ... c Min unsat cost LB: 97644 ... c Min unsat cost LB: 97651 ... c Min unsat cost LB: 97830 ... c Min unsat cost LB: 97886 ... c Min unsat cost LB: 97898 ... c Min unsat cost LB: 98134 ... c Min unsat cost LB: 99306 ... c Min unsat cost LB: 99320 ... c Min unsat cost LB: 99686 ... c Min unsat cost LB: 99747 ... c Min unsat cost LB: 99753 ... c Min unsat cost LB: 99789 ... c Min unsat cost LB: 99803 ... c Min unsat cost LB: 99857 ... c Min unsat cost LB: 99934 ... c Min unsat cost LB: 99999 ... c Min unsat cost LB: 100387 ... c Min unsat cost LB: 100899 ... c Min unsat cost LB: 101036 ... c Min unsat cost LB: 101618 ... c Min unsat cost LB: 102315 ... c Min unsat cost LB: 102543 ... c Min unsat cost LB: 102681 ... c Min unsat cost LB: 103132 ... c Min unsat cost LB: 103155 ... c Min unsat cost LB: 104070 ... c Min unsat cost LB: 104390 ... c Min unsat cost LB: 104582 ... c Min unsat cost LB: 104637 ... c Min unsat cost LB: 104817 ... c Min unsat cost LB: 105038 ... c Min unsat cost LB: 105204 ... c Min unsat cost LB: 105216 ... c Min unsat cost LB: 105252 ... c Min unsat cost LB: 105847 ... c Min unsat cost LB: 106416 ... c Min unsat cost LB: 106708 ... c Min unsat cost LB: 106806 ... c Min unsat cost LB: 106871 ... c Min unsat cost LB: 106889 ... c Min unsat cost LB: 107091 ... c Min unsat cost LB: 107855 ... c Min unsat cost LB: 108166 ... c Min unsat cost LB: 108555 ... c Min unsat cost LB: 108734 ... c Min unsat cost LB: 108827 ... c Min unsat cost LB: 109676 ... c Min unsat cost LB: 109781 ... c Min unsat cost LB: 110279 ... c Min unsat cost LB: 111765 ... c Min unsat cost LB: 111888 ... c Min unsat cost LB: 112035 ... c Min unsat cost LB: 112929 ... c Min unsat cost LB: 113213 ... c Min unsat cost LB: 113275 ... c Min unsat cost LB: 113278 ... c Min unsat cost LB: 113743 ... c Min unsat cost LB: 114036 ... c Min unsat cost LB: 114182 ... c Min unsat cost LB: 114324 ... c Min unsat cost LB: 114594 ... c Min unsat cost LB: 115777 ... c Min unsat cost LB: 116074 ... c Min unsat cost LB: 116132 ... c Min unsat cost LB: 116475 ... c Min unsat cost LB: 116486 ... c Min unsat cost LB: 116686 ... c Min unsat cost LB: 116739 ... c Min unsat cost LB: 116770 ... c Min unsat cost LB: 117103 ... c Min unsat cost LB: 117689 ... c Min unsat cost LB: 117708 ... c Min unsat cost LB: 117825 ... c Min unsat cost LB: 117830 ... c Min unsat cost LB: 117889 ... c Min unsat cost LB: 117901 ... c Min unsat cost LB: 118212 ... c Min unsat cost LB: 118654 ... c Min unsat cost LB: 118700 ... c Min unsat cost LB: 118768 ... c Min unsat cost LB: 118792 ... c Min unsat cost LB: 119187 ... c Min unsat cost LB: 119613 ... c Min unsat cost LB: 119996 ... c Min unsat cost LB: 120173 ... c Min unsat cost LB: 120201 ... c Min unsat cost LB: 120326 ... c Min unsat cost LB: 120712 ... c Min unsat cost LB: 120985 ... c Min unsat cost LB: 121367 ... c Min unsat cost LB: 121393 ... c Min unsat cost LB: 121396 ... c Min unsat cost LB: 122060 ... c Min unsat cost LB: 122127 ... c Min unsat cost LB: 122150 ... c Min unsat cost LB: 122198 ... c Min unsat cost LB: 122652 ... c Min unsat cost LB: 123073 ... c Min unsat cost LB: 123420 ... c Min unsat cost LB: 124019 ... c Min unsat cost LB: 124238 ... c Min unsat cost LB: 124334 ... c Min unsat cost LB: 124670 ... c Min unsat cost LB: 124778 ... c Min unsat cost LB: 124841 ... c Min unsat cost LB: 125037 ... c Min unsat cost LB: 125594 ... c Min unsat cost LB: 125839 ... c Min unsat cost LB: 126240 ... c Min unsat cost LB: 126760 ... c Min unsat cost LB: 127137 ... c Min unsat cost LB: 127176 ... c Min unsat cost LB: 127437 ... c Min unsat cost LB: 127448 ... c Min unsat cost LB: 128215 ... c Min unsat cost LB: 128457 ... c Min unsat cost LB: 128514 ... c Min unsat cost LB: 129146 ... c Min unsat cost LB: 129202 ... c Min unsat cost LB: 129268 ... c Min unsat cost LB: 129825 ... c Min unsat cost LB: 130677 ... c Min unsat cost LB: 130896 ... c Min unsat cost LB: 130947 ... c Min unsat cost LB: 131059 ... c Min unsat cost LB: 131082 ... c Min unsat cost LB: 131123 ... c Min unsat cost LB: 131193 ... c Min unsat cost LB: 131231 ... c Min unsat cost LB: 131266 ... c Min unsat cost LB: 131496 ... c Min unsat cost LB: 131520 ... c Min unsat cost LB: 131572 ... c Min unsat cost LB: 131660 ... c Min unsat cost LB: 132246 ... c Min unsat cost LB: 132504 ... c Min unsat cost LB: 132582 ... c Min unsat cost LB: 132714 ... c Min unsat cost LB: 132765 ... c Min unsat cost LB: 132768 ... c Min unsat cost LB: 132792 ... c Min unsat cost LB: 132890 ... c Min unsat cost LB: 132895 ... c Min unsat cost LB: 132898 ... c Min unsat cost LB: 132904 ... c Min unsat cost LB: 132905 ... c Min unsat cost LB: 132910 ... c Min unsat cost LB: 132914 ... c Min unsat cost LB: 132917 ... c Min unsat cost LB: 132924 ... c Min unsat cost LB: 132955 ... c Min unsat cost LB: 132957 ... c Min unsat cost LB: 133008 ... c Min unsat cost LB: 133072 ... c Min unsat cost LB: 133077 ... c Min unsat cost LB: 133094 ... c Min unsat cost LB: 133259 ... c Min unsat cost LB: 133386 ... c Min unsat cost LB: 133405 ... c Min unsat cost LB: 133412 ... c Min unsat cost LB: 133487 ... c Min unsat cost LB: 134260 ... c Min unsat cost LB: 134288 ... c Min unsat cost LB: 134475 ... c Min unsat cost LB: 135274 ... c Min unsat cost LB: 135475 ... c Min unsat cost LB: 135774 ... c Min unsat cost LB: 136084 ... c Min unsat cost LB: 136104 ... c Min unsat cost LB: 136257 ... c Min unsat cost LB: 136261 ... c Min unsat cost LB: 136549 ... c Min unsat cost LB: 136777 ... c Min unsat cost LB: 136859 ... c Min unsat cost LB: 137044 ... c Min unsat cost LB: 137205 ... c Min unsat cost LB: 137314 ... c Min unsat cost LB: 137432 ... c Min unsat cost LB: 137452 ... c Min unsat cost LB: 137455 ... c Min unsat cost LB: 137458 ... c Min unsat cost LB: 137459 ... c Min unsat cost LB: 137464 ... c Min unsat cost LB: 137470 ... c Min unsat cost LB: 137474 ... c Min unsat cost LB: 137637 ... c Min unsat cost LB: 138034 ... c Min unsat cost LB: 138145 ... c Min unsat cost LB: 138150 ... c Min unsat cost LB: 138152 ... c Min unsat cost LB: 138154 ... c Min unsat cost LB: 138245 ... c Min unsat cost LB: 138250 ... c Min unsat cost LB: 138264 ... c Min unsat cost LB: 138265 ... c Min unsat cost LB: 138270 ... c Min unsat cost LB: 138468 ... c Min unsat cost LB: 138491 ... c Min unsat cost LB: 138493 ... c Min unsat cost LB: 138543 ... c Min unsat cost LB: 139227 ... c Min unsat cost LB: 139278 ... c Min unsat cost LB: 139280 ... c Min unsat cost LB: 139550 ... c Min unsat cost LB: 139565 ... c Min unsat cost LB: 140272 ... c Min unsat cost LB: 140360 ... c Min unsat cost LB: 140413 ... c Min unsat cost LB: 140415 ... c Min unsat cost LB: 140416 ... c Min unsat cost LB: 140439 ... c Min unsat cost LB: 140448 ... c Min unsat cost LB: 140450 ... c Min unsat cost LB: 140516 ... c Min unsat cost LB: 141240 ... c Min unsat cost LB: 141243 ... c Min unsat cost LB: 141245 ... c Min unsat cost LB: 141385 ... c Min unsat cost LB: 141574 ... c Min unsat cost LB: 141576 ... c Min unsat cost LB: 141589 ... c Min unsat cost LB: 141680 ... c Min unsat cost LB: 142271 ... c Min unsat cost LB: 142273 ... c Min unsat cost LB: 143484 ... c Min unsat cost LB: 143485 ... c Min unsat cost LB: 143486 ... c Min unsat cost LB: 143493 ... c Min unsat cost LB: 143562 ... c Min unsat cost LB: 143570 ... c Min unsat cost LB: 144258 ... c Min unsat cost LB: 144329 ... c Min unsat cost LB: 144384 ... c Min unsat cost LB: 144402 ... c Min unsat cost LB: 144482 ... c Min unsat cost LB: 144536 ... c Min unsat cost LB: 145049 ... c Min unsat cost LB: 145072 ... c Min unsat cost LB: 145706 ... c Min unsat cost LB: 146075 ... c Min unsat cost LB: 146080 ... c Min unsat cost LB: 146093 ... c Min unsat cost LB: 146096 ... c Min unsat cost LB: 146147 ... c Min unsat cost LB: 146700 ... c Min unsat cost LB: 147199 ... c Min unsat cost LB: 148158 ... c Min unsat cost LB: 148555 ... c Min unsat cost LB: 148626 ... c Min unsat cost LB: 149002 ... c Min unsat cost LB: 149380 ... c Min unsat cost LB: 149400 ... c Min unsat cost LB: 149423 ... c Min unsat cost LB: 149508 ... c Min unsat cost LB: 150160 ... c Min unsat cost LB: 150375 ... c Min unsat cost LB: 150501 ... c Min unsat cost LB: 151893 ... c Min unsat cost LB: 152101 ... c Min unsat cost LB: 152113 ... c Min unsat cost LB: 152169 ... c Min unsat cost LB: 152258 ... c Min unsat cost LB: 152287 ... c Min unsat cost LB: 152295 ... c Min unsat cost LB: 152640 ... c Min unsat cost LB: 153138 ... c Min unsat cost LB: 153206 ... c Min unsat cost LB: 153227 ... c Min unsat cost LB: 153235 ... c Min unsat cost LB: 153243 ... c Min unsat cost LB: 153264 ... c Min unsat cost LB: 153315 ... c Min unsat cost LB: 153688 ... c Min unsat cost LB: 154105 ... c Min unsat cost LB: 154260 ... c Min unsat cost LB: 154483 ... c Min unsat cost LB: 154690 ... c Min unsat cost LB: 155065 ... c Min unsat cost LB: 155362 ... c Min unsat cost LB: 155363 ... c Min unsat cost LB: 155486 ... c Min unsat cost LB: 156325 ... c Min unsat cost LB: 156727 ... c Min unsat cost LB: 156841 ... c Min unsat cost LB: 157663 ... c Min unsat cost LB: 157791 ... c Min unsat cost LB: 157975 ... c Min unsat cost LB: 158638 ... c Min unsat cost LB: 158893 ... c Min unsat cost LB: 159921 ... c Min unsat cost LB: 160001 ... c Min unsat cost LB: 160130 ... c Min unsat cost LB: 160414 ... c Min unsat cost LB: 160889 ... c Min unsat cost LB: 161017 ... c Min unsat cost LB: 161037 ... c Min unsat cost LB: 161089 ... c Min unsat cost LB: 161204 ... c Min unsat cost LB: 161208 ... c Min unsat cost LB: 161259 ... c Min unsat cost LB: 161356 ... c Min unsat cost LB: 161542 ... c Min unsat cost LB: 161543 ... c Min unsat cost LB: 161547 ... c Min unsat cost LB: 161550 ... c Min unsat cost LB: 161563 ... c Min unsat cost LB: 161628 ... c Min unsat cost LB: 162068 ... c Min unsat cost LB: 162129 ... c Min unsat cost LB: 162293 ... c Min unsat cost LB: 162408 ... c Min unsat cost LB: 162567 ... c Min unsat cost LB: 162614 ... c Min unsat cost LB: 162616 ... c Min unsat cost LB: 162680 ... c Min unsat cost LB: 162924 ... c Min unsat cost LB: 163089 ... c Min unsat cost LB: 163136 ... c Min unsat cost LB: 163242 ... c Min unsat cost LB: 163447 ... o 163447 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 c CPU Time: 27.3898 27.423u 0.162s 0:29.82 92.4% 0+0k 0+0io 0pf+0w