Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-260-1_network-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-4.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-4.net.wcnf *** c c Min unsat cost LB: 245 ... c Min unsat cost LB: 982 ... c Min unsat cost LB: 2575 ... c Min unsat cost LB: 3466 ... c Min unsat cost LB: 4391 ... c Min unsat cost LB: 5412 ... c Min unsat cost LB: 6073 ... c Min unsat cost LB: 6855 ... c Min unsat cost LB: 9094 ... c Min unsat cost LB: 9530 ... c Min unsat cost LB: 9531 ... c Min unsat cost LB: 10895 ... c Min unsat cost LB: 11891 ... c Min unsat cost LB: 12999 ... c Min unsat cost LB: 14171 ... c Min unsat cost LB: 14594 ... c Min unsat cost LB: 15106 ... c Min unsat cost LB: 16222 ... c Min unsat cost LB: 16597 ... c Min unsat cost LB: 16701 ... c Min unsat cost LB: 18140 ... c Min unsat cost LB: 18710 ... c Min unsat cost LB: 19491 ... c Min unsat cost LB: 19727 ... c Min unsat cost LB: 20201 ... c Min unsat cost LB: 20228 ... c Min unsat cost LB: 20251 ... c Min unsat cost LB: 20628 ... c Min unsat cost LB: 21930 ... c Min unsat cost LB: 21964 ... c Min unsat cost LB: 22515 ... c Min unsat cost LB: 22706 ... c Min unsat cost LB: 23674 ... c Min unsat cost LB: 23739 ... c Min unsat cost LB: 24927 ... c Min unsat cost LB: 26239 ... c Min unsat cost LB: 27738 ... c Min unsat cost LB: 28068 ... c Min unsat cost LB: 29201 ... c Min unsat cost LB: 29709 ... c Min unsat cost LB: 30265 ... c Min unsat cost LB: 31590 ... c Min unsat cost LB: 32658 ... c Min unsat cost LB: 33136 ... c Min unsat cost LB: 33320 ... c Min unsat cost LB: 33606 ... c Min unsat cost LB: 34392 ... c Min unsat cost LB: 34637 ... c Min unsat cost LB: 34988 ... c Min unsat cost LB: 36553 ... c Min unsat cost LB: 36948 ... c Min unsat cost LB: 37502 ... c Min unsat cost LB: 37825 ... c Min unsat cost LB: 40001 ... c Min unsat cost LB: 40512 ... c Min unsat cost LB: 41522 ... c Min unsat cost LB: 41528 ... c Min unsat cost LB: 42871 ... c Min unsat cost LB: 43015 ... c Min unsat cost LB: 43214 ... c Min unsat cost LB: 43890 ... c Min unsat cost LB: 44457 ... c Min unsat cost LB: 45337 ... c Min unsat cost LB: 45647 ... c Min unsat cost LB: 46254 ... c Min unsat cost LB: 47554 ... c Min unsat cost LB: 47882 ... c Min unsat cost LB: 48582 ... c Min unsat cost LB: 48914 ... c Min unsat cost LB: 49418 ... c Min unsat cost LB: 50601 ... c Min unsat cost LB: 52075 ... c Min unsat cost LB: 52199 ... c Min unsat cost LB: 52344 ... c Min unsat cost LB: 53192 ... c Min unsat cost LB: 53457 ... c Min unsat cost LB: 54631 ... c Min unsat cost LB: 54874 ... c Min unsat cost LB: 55632 ... c Min unsat cost LB: 56034 ... c Min unsat cost LB: 56919 ... c Min unsat cost LB: 57561 ... c Min unsat cost LB: 58062 ... c Min unsat cost LB: 58510 ... c Min unsat cost LB: 58801 ... c Min unsat cost LB: 59168 ... c Min unsat cost LB: 59662 ... c Min unsat cost LB: 60481 ... c Min unsat cost LB: 60484 ... c Min unsat cost LB: 60523 ... c Min unsat cost LB: 60593 ... c Min unsat cost LB: 61157 ... c Min unsat cost LB: 62295 ... c Min unsat cost LB: 62421 ... c Min unsat cost LB: 62989 ... c Min unsat cost LB: 62992 ... c Min unsat cost LB: 63212 ... c Min unsat cost LB: 63885 ... c Min unsat cost LB: 64548 ... c Min unsat cost LB: 64604 ... c Min unsat cost LB: 65438 ... c Min unsat cost LB: 65442 ... c Min unsat cost LB: 65606 ... c Min unsat cost LB: 66169 ... c Min unsat cost LB: 67042 ... c Min unsat cost LB: 67303 ... c Min unsat cost LB: 67474 ... c Min unsat cost LB: 67619 ... c Min unsat cost LB: 67861 ... c Min unsat cost LB: 68479 ... c Min unsat cost LB: 68566 ... c Min unsat cost LB: 68631 ... c Min unsat cost LB: 68669 ... c Min unsat cost LB: 68746 ... c Min unsat cost LB: 69227 ... c Min unsat cost LB: 69301 ... c Min unsat cost LB: 69473 ... c Min unsat cost LB: 69881 ... c Min unsat cost LB: 70100 ... c Min unsat cost LB: 70286 ... c Min unsat cost LB: 70927 ... c Min unsat cost LB: 70975 ... c Min unsat cost LB: 71629 ... c Min unsat cost LB: 71979 ... c Min unsat cost LB: 72136 ... c Min unsat cost LB: 72514 ... c Min unsat cost LB: 72687 ... c Min unsat cost LB: 73289 ... c Min unsat cost LB: 73623 ... c Min unsat cost LB: 73671 ... c Min unsat cost LB: 74026 ... c Min unsat cost LB: 74113 ... c Min unsat cost LB: 74811 ... c Min unsat cost LB: 75450 ... c Min unsat cost LB: 75839 ... c Min unsat cost LB: 76240 ... c Min unsat cost LB: 76560 ... c Min unsat cost LB: 76645 ... c Min unsat cost LB: 76906 ... c Min unsat cost LB: 77044 ... c Min unsat cost LB: 77580 ... c Min unsat cost LB: 78179 ... c Min unsat cost LB: 78212 ... c Min unsat cost LB: 78593 ... c Min unsat cost LB: 79206 ... c Min unsat cost LB: 79238 ... c Min unsat cost LB: 79529 ... c Min unsat cost LB: 80029 ... c Min unsat cost LB: 80041 ... c Min unsat cost LB: 80860 ... c Min unsat cost LB: 81016 ... c Min unsat cost LB: 81043 ... c Min unsat cost LB: 81110 ... c Min unsat cost LB: 81269 ... c Min unsat cost LB: 81451 ... c Min unsat cost LB: 81801 ... c Min unsat cost LB: 81961 ... c Min unsat cost LB: 82267 ... c Min unsat cost LB: 82299 ... c Min unsat cost LB: 82365 ... c Min unsat cost LB: 82536 ... c Min unsat cost LB: 82714 ... c Min unsat cost LB: 82980 ... c Min unsat cost LB: 83146 ... c Min unsat cost LB: 83431 ... c Min unsat cost LB: 83818 ... c Min unsat cost LB: 84571 ... c Min unsat cost LB: 84925 ... c Min unsat cost LB: 85059 ... c Min unsat cost LB: 85451 ... c Min unsat cost LB: 86164 ... c Min unsat cost LB: 86172 ... c Min unsat cost LB: 86196 ... c Min unsat cost LB: 86230 ... c Min unsat cost LB: 86251 ... c Min unsat cost LB: 86644 ... c Min unsat cost LB: 86727 ... c Min unsat cost LB: 86964 ... c Min unsat cost LB: 87053 ... c Min unsat cost LB: 87086 ... c Min unsat cost LB: 87314 ... c Min unsat cost LB: 87371 ... c Min unsat cost LB: 87581 ... c Min unsat cost LB: 87692 ... c Min unsat cost LB: 88522 ... c Min unsat cost LB: 88744 ... c Min unsat cost LB: 89252 ... c Min unsat cost LB: 90571 ... c Min unsat cost LB: 90946 ... c Min unsat cost LB: 91075 ... c Min unsat cost LB: 91356 ... c Min unsat cost LB: 91544 ... c Min unsat cost LB: 91750 ... c Min unsat cost LB: 92375 ... c Min unsat cost LB: 92437 ... c Min unsat cost LB: 92568 ... c Min unsat cost LB: 92743 ... c Min unsat cost LB: 93031 ... c Min unsat cost LB: 93940 ... c Min unsat cost LB: 94055 ... c Min unsat cost LB: 94120 ... c Min unsat cost LB: 94146 ... c Min unsat cost LB: 94359 ... c Min unsat cost LB: 94484 ... c Min unsat cost LB: 94700 ... c Min unsat cost LB: 95357 ... c Min unsat cost LB: 95581 ... c Min unsat cost LB: 95829 ... c Min unsat cost LB: 96150 ... c Min unsat cost LB: 96295 ... c Min unsat cost LB: 96738 ... c Min unsat cost LB: 97412 ... c Min unsat cost LB: 97489 ... c Min unsat cost LB: 97650 ... c Min unsat cost LB: 98994 ... c Min unsat cost LB: 99033 ... c Min unsat cost LB: 99343 ... c Min unsat cost LB: 99844 ... c Min unsat cost LB: 100331 ... c Min unsat cost LB: 100494 ... c Min unsat cost LB: 101603 ... c Min unsat cost LB: 101718 ... c Min unsat cost LB: 101940 ... c Min unsat cost LB: 102387 ... c Min unsat cost LB: 102441 ... c Min unsat cost LB: 102589 ... c Min unsat cost LB: 102664 ... c Min unsat cost LB: 102987 ... c Min unsat cost LB: 103040 ... c Min unsat cost LB: 103406 ... c Min unsat cost LB: 103542 ... c Min unsat cost LB: 103743 ... c Min unsat cost LB: 104406 ... c Min unsat cost LB: 105233 ... c Min unsat cost LB: 105259 ... c Min unsat cost LB: 105544 ... c Min unsat cost LB: 105691 ... c Min unsat cost LB: 105801 ... c Min unsat cost LB: 106686 ... c Min unsat cost LB: 106817 ... c Min unsat cost LB: 107224 ... c Min unsat cost LB: 107955 ... c Min unsat cost LB: 108065 ... c Min unsat cost LB: 108394 ... c Min unsat cost LB: 109056 ... c Min unsat cost LB: 109066 ... c Min unsat cost LB: 109344 ... c Min unsat cost LB: 109839 ... c Min unsat cost LB: 110321 ... c Min unsat cost LB: 110389 ... c Min unsat cost LB: 110569 ... c Min unsat cost LB: 111174 ... c Min unsat cost LB: 111609 ... c Min unsat cost LB: 111796 ... c Min unsat cost LB: 112352 ... c Min unsat cost LB: 112519 ... c Min unsat cost LB: 113409 ... c Min unsat cost LB: 113966 ... c Min unsat cost LB: 115243 ... c Min unsat cost LB: 115345 ... c Min unsat cost LB: 115563 ... c Min unsat cost LB: 115602 ... c Min unsat cost LB: 116115 ... c Min unsat cost LB: 116857 ... c Min unsat cost LB: 116897 ... c Min unsat cost LB: 117005 ... c Min unsat cost LB: 117007 ... c Min unsat cost LB: 117444 ... c Min unsat cost LB: 117985 ... c Min unsat cost LB: 118050 ... c Min unsat cost LB: 118150 ... c Min unsat cost LB: 118251 ... c Min unsat cost LB: 118289 ... c Min unsat cost LB: 118345 ... c Min unsat cost LB: 118661 ... c Min unsat cost LB: 119378 ... c Min unsat cost LB: 119414 ... c Min unsat cost LB: 119418 ... c Min unsat cost LB: 119465 ... c Min unsat cost LB: 120314 ... c Min unsat cost LB: 120379 ... c Min unsat cost LB: 120779 ... c Min unsat cost LB: 121101 ... c Min unsat cost LB: 121180 ... c Min unsat cost LB: 122667 ... c Min unsat cost LB: 122672 ... c Min unsat cost LB: 122773 ... c Min unsat cost LB: 122829 ... c Min unsat cost LB: 122836 ... c Min unsat cost LB: 122988 ... c Min unsat cost LB: 124111 ... c Min unsat cost LB: 124277 ... c Min unsat cost LB: 124343 ... c Min unsat cost LB: 124466 ... c Min unsat cost LB: 124898 ... c Min unsat cost LB: 125062 ... c Min unsat cost LB: 125071 ... c Min unsat cost LB: 125195 ... c Min unsat cost LB: 125224 ... c Min unsat cost LB: 125428 ... c Min unsat cost LB: 126141 ... c Min unsat cost LB: 126328 ... c Min unsat cost LB: 126425 ... c Min unsat cost LB: 126442 ... c Min unsat cost LB: 126687 ... c Min unsat cost LB: 126930 ... c Min unsat cost LB: 127372 ... c Min unsat cost LB: 127704 ... c Min unsat cost LB: 127804 ... c Min unsat cost LB: 128086 ... c Min unsat cost LB: 128362 ... c Min unsat cost LB: 128436 ... c Min unsat cost LB: 128454 ... c Min unsat cost LB: 129113 ... c Min unsat cost LB: 129859 ... c Min unsat cost LB: 129875 ... c Min unsat cost LB: 130095 ... c Min unsat cost LB: 130233 ... c Min unsat cost LB: 130288 ... c Min unsat cost LB: 130293 ... c Min unsat cost LB: 130973 ... c Min unsat cost LB: 131346 ... c Min unsat cost LB: 131474 ... c Min unsat cost LB: 131606 ... c Min unsat cost LB: 132023 ... c Min unsat cost LB: 132061 ... c Min unsat cost LB: 132083 ... c Min unsat cost LB: 132572 ... c Min unsat cost LB: 133079 ... c Min unsat cost LB: 133485 ... c Min unsat cost LB: 133936 ... c Min unsat cost LB: 134225 ... c Min unsat cost LB: 134273 ... c Min unsat cost LB: 134635 ... c Min unsat cost LB: 134712 ... c Min unsat cost LB: 134883 ... c Min unsat cost LB: 134886 ... c Min unsat cost LB: 135256 ... c Min unsat cost LB: 135582 ... c Min unsat cost LB: 136042 ... c Min unsat cost LB: 136228 ... c Min unsat cost LB: 136706 ... c Min unsat cost LB: 137078 ... c Min unsat cost LB: 137287 ... c Min unsat cost LB: 137356 ... c Min unsat cost LB: 137821 ... c Min unsat cost LB: 138615 ... c Min unsat cost LB: 138735 ... c Min unsat cost LB: 138751 ... c Min unsat cost LB: 139007 ... c Min unsat cost LB: 139034 ... c Min unsat cost LB: 139101 ... c Min unsat cost LB: 139183 ... c Min unsat cost LB: 139883 ... c Min unsat cost LB: 140201 ... c Min unsat cost LB: 140416 ... c Min unsat cost LB: 140540 ... c Min unsat cost LB: 140542 ... c Min unsat cost LB: 140577 ... c Min unsat cost LB: 140580 ... c Min unsat cost LB: 140730 ... c Min unsat cost LB: 140772 ... c Min unsat cost LB: 141096 ... c Min unsat cost LB: 141133 ... c Min unsat cost LB: 142004 ... c Min unsat cost LB: 142007 ... c Min unsat cost LB: 142054 ... c Min unsat cost LB: 142461 ... c Min unsat cost LB: 142588 ... c Min unsat cost LB: 144292 ... c Min unsat cost LB: 144332 ... c Min unsat cost LB: 144356 ... c Min unsat cost LB: 144418 ... c Min unsat cost LB: 144611 ... c Min unsat cost LB: 144959 ... c Min unsat cost LB: 145175 ... c Min unsat cost LB: 145461 ... c Min unsat cost LB: 145805 ... c Min unsat cost LB: 145940 ... c Min unsat cost LB: 145995 ... c Min unsat cost LB: 146122 ... c Min unsat cost LB: 146165 ... c Min unsat cost LB: 146264 ... c Min unsat cost LB: 147221 ... c Min unsat cost LB: 147347 ... c Min unsat cost LB: 147497 ... c Min unsat cost LB: 147747 ... c Min unsat cost LB: 147880 ... c Min unsat cost LB: 148259 ... c Min unsat cost LB: 148418 ... c Min unsat cost LB: 148849 ... c Min unsat cost LB: 148940 ... c Min unsat cost LB: 148948 ... c Min unsat cost LB: 149009 ... c Min unsat cost LB: 149151 ... c Min unsat cost LB: 149185 ... c Min unsat cost LB: 149209 ... c Min unsat cost LB: 149217 ... c Min unsat cost LB: 149238 ... c Min unsat cost LB: 149834 ... c Min unsat cost LB: 150039 ... c Min unsat cost LB: 150305 ... c Min unsat cost LB: 150739 ... c Min unsat cost LB: 150964 ... c Min unsat cost LB: 151320 ... c Min unsat cost LB: 152069 ... c Min unsat cost LB: 152626 ... c Min unsat cost LB: 152749 ... c Min unsat cost LB: 153137 ... c Min unsat cost LB: 153165 ... c Min unsat cost LB: 153231 ... c Min unsat cost LB: 153286 ... c Min unsat cost LB: 153291 ... c Min unsat cost LB: 153687 ... c Min unsat cost LB: 153721 ... c Min unsat cost LB: 153901 ... c Min unsat cost LB: 153934 ... c Min unsat cost LB: 154016 ... c Min unsat cost LB: 154151 ... c Min unsat cost LB: 154663 ... c Min unsat cost LB: 155106 ... c Min unsat cost LB: 155482 ... c Min unsat cost LB: 155588 ... c Min unsat cost LB: 155827 ... c Min unsat cost LB: 155858 ... c Min unsat cost LB: 155906 ... c Min unsat cost LB: 156727 ... c Min unsat cost LB: 156867 ... c Min unsat cost LB: 157022 ... c Min unsat cost LB: 158243 ... c Min unsat cost LB: 158756 ... c Min unsat cost LB: 158841 ... c Min unsat cost LB: 158889 ... c Min unsat cost LB: 158975 ... c Min unsat cost LB: 159007 ... c Min unsat cost LB: 159151 ... c Min unsat cost LB: 160139 ... c Min unsat cost LB: 160381 ... c Min unsat cost LB: 160455 ... c Min unsat cost LB: 160468 ... c Min unsat cost LB: 160717 ... c Min unsat cost LB: 160822 ... c Min unsat cost LB: 160824 ... c Min unsat cost LB: 161154 ... c Min unsat cost LB: 161589 ... c Min unsat cost LB: 161612 ... c Min unsat cost LB: 161675 ... c Min unsat cost LB: 161686 ... c Min unsat cost LB: 161707 ... c Min unsat cost LB: 161792 ... c Min unsat cost LB: 161840 ... c Min unsat cost LB: 161857 ... c Min unsat cost LB: 161868 ... c Min unsat cost LB: 161920 ... c Min unsat cost LB: 161931 ... c Min unsat cost LB: 162221 ... c Min unsat cost LB: 162691 ... c Min unsat cost LB: 163061 ... c Min unsat cost LB: 163830 ... c Min unsat cost LB: 163918 ... c Min unsat cost LB: 164204 ... c Min unsat cost LB: 164257 ... c Min unsat cost LB: 164516 ... c Min unsat cost LB: 164547 ... c Min unsat cost LB: 164658 ... c Min unsat cost LB: 164693 ... c Min unsat cost LB: 164743 ... c Min unsat cost LB: 164847 ... c Min unsat cost LB: 165409 ... c Min unsat cost LB: 165675 ... c Min unsat cost LB: 165707 ... c Min unsat cost LB: 165797 ... c Min unsat cost LB: 165828 ... c Min unsat cost LB: 165842 ... c Min unsat cost LB: 166046 ... c Min unsat cost LB: 166435 ... c Min unsat cost LB: 166446 ... c Min unsat cost LB: 166450 ... c Min unsat cost LB: 166498 ... c Min unsat cost LB: 166521 ... c Min unsat cost LB: 166523 ... c Min unsat cost LB: 166613 ... c Min unsat cost LB: 167067 ... c Min unsat cost LB: 167112 ... c Min unsat cost LB: 167126 ... c Min unsat cost LB: 168028 ... c Min unsat cost LB: 168420 ... c Min unsat cost LB: 168479 ... c Min unsat cost LB: 168528 ... c Min unsat cost LB: 169755 ... c Min unsat cost LB: 169797 ... c Min unsat cost LB: 169809 ... c Min unsat cost LB: 169911 ... c Min unsat cost LB: 170104 ... c Min unsat cost LB: 170389 ... c Min unsat cost LB: 170401 ... c Min unsat cost LB: 170513 ... c Min unsat cost LB: 170665 ... c Min unsat cost LB: 170675 ... c Min unsat cost LB: 170944 ... c Min unsat cost LB: 170995 ... c Min unsat cost LB: 171003 ... c Min unsat cost LB: 171013 ... c Min unsat cost LB: 171054 ... c Min unsat cost LB: 171348 ... c Min unsat cost LB: 171515 ... c Min unsat cost LB: 171527 ... c Min unsat cost LB: 171557 ... c Min unsat cost LB: 173061 ... c Min unsat cost LB: 173103 ... c Min unsat cost LB: 173173 ... c Min unsat cost LB: 173346 ... c Min unsat cost LB: 173546 ... c Min unsat cost LB: 173634 ... c Min unsat cost LB: 173781 ... c Min unsat cost LB: 173832 ... c Min unsat cost LB: 173952 ... c Min unsat cost LB: 174097 ... c Min unsat cost LB: 174160 ... c Min unsat cost LB: 174850 ... c Min unsat cost LB: 174874 ... c Min unsat cost LB: 175160 ... c Min unsat cost LB: 175958 ... c Min unsat cost LB: 176075 ... c Min unsat cost LB: 176470 ... c Min unsat cost LB: 176594 ... c Min unsat cost LB: 176620 ... c Min unsat cost LB: 176685 ... c Min unsat cost LB: 176842 ... c Min unsat cost LB: 176858 ... c Min unsat cost LB: 176869 ... c Min unsat cost LB: 177281 ... c Min unsat cost LB: 177676 ... c Min unsat cost LB: 177901 ... c Min unsat cost LB: 177995 ... c Min unsat cost LB: 178096 ... c Min unsat cost LB: 178142 ... c Min unsat cost LB: 178262 ... c Min unsat cost LB: 178356 ... c Min unsat cost LB: 178415 ... c Min unsat cost LB: 178741 ... c Min unsat cost LB: 178851 ... c Min unsat cost LB: 179013 ... c Min unsat cost LB: 179496 ... c Min unsat cost LB: 179990 ... c Min unsat cost LB: 180088 ... c Min unsat cost LB: 180115 ... c Min unsat cost LB: 180466 ... c Min unsat cost LB: 180861 ... c Min unsat cost LB: 180936 ... c Min unsat cost LB: 180945 ... c Min unsat cost LB: 180981 ... c Min unsat cost LB: 181051 ... c Min unsat cost LB: 181167 ... c Min unsat cost LB: 181220 ... c Min unsat cost LB: 181366 ... c Min unsat cost LB: 181546 ... c Min unsat cost LB: 181677 ... c Min unsat cost LB: 181689 ... c Min unsat cost LB: 181740 ... c Min unsat cost LB: 181750 ... c Min unsat cost LB: 181791 ... c Min unsat cost LB: 181803 ... c Min unsat cost LB: 181811 ... c Min unsat cost LB: 181953 ... c Min unsat cost LB: 182060 ... c Min unsat cost LB: 182065 ... c Min unsat cost LB: 182104 ... c Min unsat cost LB: 182174 ... c Min unsat cost LB: 182177 ... c Min unsat cost LB: 182200 ... c Min unsat cost LB: 182215 ... c Min unsat cost LB: 182242 ... c Min unsat cost LB: 182246 ... c Min unsat cost LB: 182284 ... c Min unsat cost LB: 182669 ... c Min unsat cost LB: 183153 ... c Min unsat cost LB: 183258 ... c Min unsat cost LB: 184043 ... c Min unsat cost LB: 184256 ... c Min unsat cost LB: 184310 ... c Min unsat cost LB: 184686 ... c Min unsat cost LB: 184852 ... c Min unsat cost LB: 184968 ... c Min unsat cost LB: 185424 ... c Min unsat cost LB: 185435 ... c Min unsat cost LB: 185438 ... c Min unsat cost LB: 185562 ... c Min unsat cost LB: 185735 ... c Min unsat cost LB: 185736 ... c Min unsat cost LB: 185772 ... c Min unsat cost LB: 185781 ... c Min unsat cost LB: 185783 ... c Min unsat cost LB: 185784 ... c Min unsat cost LB: 185786 ... c Min unsat cost LB: 185799 ... c Min unsat cost LB: 185807 ... c Min unsat cost LB: 185808 ... c Min unsat cost LB: 185811 ... c Min unsat cost LB: 185830 ... c Min unsat cost LB: 185847 ... c Min unsat cost LB: 185870 ... c Min unsat cost LB: 186118 ... c Min unsat cost LB: 186159 ... c Min unsat cost LB: 186784 ... c Min unsat cost LB: 187055 ... c Min unsat cost LB: 187915 ... c Min unsat cost LB: 188028 ... c Min unsat cost LB: 188119 ... c Min unsat cost LB: 188185 ... c Min unsat cost LB: 188326 ... c Min unsat cost LB: 188343 ... c Min unsat cost LB: 188363 ... c Min unsat cost LB: 189024 ... c Min unsat cost LB: 189098 ... c Min unsat cost LB: 189236 ... c Min unsat cost LB: 190060 ... c Min unsat cost LB: 190480 ... c Min unsat cost LB: 190736 ... c Min unsat cost LB: 190816 ... c Min unsat cost LB: 192486 ... c Min unsat cost LB: 192617 ... c Min unsat cost LB: 192689 ... c Min unsat cost LB: 192837 ... c Min unsat cost LB: 192869 ... c Min unsat cost LB: 192951 ... c Min unsat cost LB: 193145 ... c Min unsat cost LB: 193270 ... c Min unsat cost LB: 193389 ... c Min unsat cost LB: 193601 ... c Min unsat cost LB: 193621 ... c Min unsat cost LB: 193981 ... c Min unsat cost LB: 193984 ... c Min unsat cost LB: 194465 ... c Min unsat cost LB: 194488 ... c Min unsat cost LB: 194491 ... c Min unsat cost LB: 194499 ... c Min unsat cost LB: 194500 ... c Min unsat cost LB: 194501 ... c Min unsat cost LB: 194504 ... c Min unsat cost LB: 194505 ... c Min unsat cost LB: 194512 ... c Min unsat cost LB: 194556 ... c Min unsat cost LB: 194712 ... c Min unsat cost LB: 195299 ... c Min unsat cost LB: 195616 ... c Min unsat cost LB: 195617 ... c Min unsat cost LB: 195635 ... c Min unsat cost LB: 195640 ... c Min unsat cost LB: 195643 ... c Min unsat cost LB: 195694 ... c Min unsat cost LB: 195749 ... c Min unsat cost LB: 195845 ... c Min unsat cost LB: 195892 ... c Min unsat cost LB: 195895 ... c Min unsat cost LB: 195898 ... c Min unsat cost LB: 196308 ... c Min unsat cost LB: 196524 ... c Min unsat cost LB: 196731 ... c Min unsat cost LB: 197005 ... c Min unsat cost LB: 197278 ... c Min unsat cost LB: 197308 ... c Min unsat cost LB: 197342 ... c Min unsat cost LB: 197347 ... c Min unsat cost LB: 197437 ... c Min unsat cost LB: 197447 ... c Min unsat cost LB: 197545 ... c Min unsat cost LB: 197553 ... c Min unsat cost LB: 197576 ... c Min unsat cost LB: 197593 ... c Min unsat cost LB: 197722 ... c Min unsat cost LB: 197761 ... c Min unsat cost LB: 197773 ... c Min unsat cost LB: 197823 ... c Min unsat cost LB: 197840 ... c Min unsat cost LB: 197916 ... c Min unsat cost LB: 198135 ... c Min unsat cost LB: 198165 ... c Min unsat cost LB: 198332 ... c Min unsat cost LB: 198611 ... c Min unsat cost LB: 198721 ... c Min unsat cost LB: 198885 ... c Min unsat cost LB: 199578 ... c Min unsat cost LB: 199938 ... c Min unsat cost LB: 200268 ... c Min unsat cost LB: 200302 ... c Min unsat cost LB: 200306 ... c Min unsat cost LB: 200318 ... c Min unsat cost LB: 201076 ... c Min unsat cost LB: 201450 ... c Min unsat cost LB: 201478 ... c Min unsat cost LB: 201483 ... c Min unsat cost LB: 201488 ... c Min unsat cost LB: 201491 ... c Min unsat cost LB: 201496 ... c Min unsat cost LB: 201802 ... c Min unsat cost LB: 201854 ... c Min unsat cost LB: 201878 ... c Min unsat cost LB: 201881 ... c Min unsat cost LB: 201884 ... c Min unsat cost LB: 201887 ... c Min unsat cost LB: 201890 ... c Min unsat cost LB: 201893 ... c Min unsat cost LB: 201897 ... c Min unsat cost LB: 201905 ... c Min unsat cost LB: 201906 ... c Min unsat cost LB: 201929 ... c Min unsat cost LB: 201932 ... c Min unsat cost LB: 201935 ... c Min unsat cost LB: 201940 ... c Min unsat cost LB: 201952 ... c Min unsat cost LB: 201966 ... c Min unsat cost LB: 201970 ... c Min unsat cost LB: 201971 ... c Min unsat cost LB: 201973 ... c Min unsat cost LB: 201975 ... c Min unsat cost LB: 201976 ... c Min unsat cost LB: 201977 ... c Min unsat cost LB: 201987 ... c Min unsat cost LB: 201991 ... c Min unsat cost LB: 201992 ... c Min unsat cost LB: 202070 ... c Min unsat cost LB: 202724 ... c Min unsat cost LB: 202988 ... c Min unsat cost LB: 202990 ... c Min unsat cost LB: 202991 ... c Min unsat cost LB: 202997 ... c Min unsat cost LB: 202998 ... c Min unsat cost LB: 202999 ... c Min unsat cost LB: 203001 ... c Min unsat cost LB: 203170 ... c Min unsat cost LB: 203171 ... c Min unsat cost LB: 203172 ... c Min unsat cost LB: 203174 ... c Min unsat cost LB: 203175 ... c Min unsat cost LB: 203176 ... c Min unsat cost LB: 203177 ... c Min unsat cost LB: 203181 ... c Min unsat cost LB: 203182 ... c Min unsat cost LB: 203183 ... c Min unsat cost LB: 203185 ... c Min unsat cost LB: 203211 ... c Min unsat cost LB: 203223 ... c Min unsat cost LB: 203224 ... c Min unsat cost LB: 203227 ... c Min unsat cost LB: 203228 ... c Min unsat cost LB: 203231 ... c Min unsat cost LB: 203237 ... c Min unsat cost LB: 203254 ... c Min unsat cost LB: 203762 ... c Min unsat cost LB: 204466 ... c Min unsat cost LB: 204880 ... c Min unsat cost LB: 204923 ... c Min unsat cost LB: 204924 ... c Min unsat cost LB: 204960 ... c Min unsat cost LB: 205520 ... c Min unsat cost LB: 205895 ... c Min unsat cost LB: 205900 ... c Min unsat cost LB: 206088 ... c Min unsat cost LB: 206095 ... c Min unsat cost LB: 206117 ... c Min unsat cost LB: 206120 ... c Min unsat cost LB: 206121 ... c Min unsat cost LB: 206124 ... c Min unsat cost LB: 206127 ... c Min unsat cost LB: 206128 ... c Min unsat cost LB: 206133 ... c Min unsat cost LB: 206146 ... c Min unsat cost LB: 206151 ... c Min unsat cost LB: 206158 ... c Min unsat cost LB: 206160 ... c Min unsat cost LB: 206166 ... c Min unsat cost LB: 206169 ... c Min unsat cost LB: 206170 ... c Min unsat cost LB: 206171 ... c Min unsat cost LB: 206172 ... c Min unsat cost LB: 206176 ... c Min unsat cost LB: 206177 ... c Min unsat cost LB: 206178 ... c Min unsat cost LB: 206184 ... c Min unsat cost LB: 206185 ... c Min unsat cost LB: 206217 ... c Min unsat cost LB: 206218 ... c Min unsat cost LB: 206331 ... c Min unsat cost LB: 206332 ... c Min unsat cost LB: 206333 ... c Min unsat cost LB: 206335 ... c Min unsat cost LB: 206336 ... c Min unsat cost LB: 206337 ... c Min unsat cost LB: 206338 ... c Min unsat cost LB: 206339 ... c Min unsat cost LB: 206342 ... c Min unsat cost LB: 206343 ... c Min unsat cost LB: 206344 ... c Min unsat cost LB: 206345 ... c Min unsat cost LB: 206347 ... c Min unsat cost LB: 206349 ... c Min unsat cost LB: 206351 ... c Min unsat cost LB: 206352 ... c Min unsat cost LB: 206354 ... c Min unsat cost LB: 206355 ... c Min unsat cost LB: 206356 ... c Min unsat cost LB: 206357 ... c Min unsat cost LB: 206358 ... c Min unsat cost LB: 206359 ... c Min unsat cost LB: 206360 ... c Min unsat cost LB: 206361 ... c Min unsat cost LB: 206362 ... c Min unsat cost LB: 206363 ... c Min unsat cost LB: 206364 ... c Min unsat cost LB: 206365 ... c Min unsat cost LB: 206366 ... c Min unsat cost LB: 206367 ... c Min unsat cost LB: 206368 ... c Min unsat cost LB: 206369 ... c Min unsat cost LB: 206371 ... c Min unsat cost LB: 206372 ... c Min unsat cost LB: 206373 ... c Min unsat cost LB: 206374 ... c Min unsat cost LB: 206375 ... c Min unsat cost LB: 206376 ... c Min unsat cost LB: 206377 ... c Min unsat cost LB: 206378 ... c Min unsat cost LB: 206379 ... c Min unsat cost LB: 206380 ... c Min unsat cost LB: 206381 ... c Min unsat cost LB: 206430 ... c Min unsat cost LB: 206431 ... c Min unsat cost LB: 206432 ... c Min unsat cost LB: 206435 ... c Min unsat cost LB: 206797 ... c Min unsat cost LB: 206799 ... c Min unsat cost LB: 206989 ... c Min unsat cost LB: 207266 ... c Min unsat cost LB: 207622 ... c Min unsat cost LB: 207624 ... c Min unsat cost LB: 207627 ... c Min unsat cost LB: 207628 ... c Min unsat cost LB: 207629 ... c Min unsat cost LB: 207798 ... c Min unsat cost LB: 207803 ... c Min unsat cost LB: 207892 ... c Min unsat cost LB: 207920 ... c Min unsat cost LB: 207924 ... c Min unsat cost LB: 207925 ... c Min unsat cost LB: 208178 ... c Min unsat cost LB: 208183 ... c Min unsat cost LB: 208200 ... c Min unsat cost LB: 208221 ... c Min unsat cost LB: 208390 ... c Min unsat cost LB: 208393 ... c Min unsat cost LB: 208507 ... c Min unsat cost LB: 208508 ... c Min unsat cost LB: 208510 ... c Min unsat cost LB: 208523 ... c Min unsat cost LB: 208562 ... c Min unsat cost LB: 208563 ... c Min unsat cost LB: 208565 ... c Min unsat cost LB: 208568 ... c Min unsat cost LB: 208672 ... c Min unsat cost LB: 208673 ... c Min unsat cost LB: 208697 ... c Min unsat cost LB: 208747 ... c Min unsat cost LB: 208748 ... c Min unsat cost LB: 208964 ... c Min unsat cost LB: 208989 ... c Min unsat cost LB: 208990 ... c Min unsat cost LB: 208991 ... c Min unsat cost LB: 208992 ... c Min unsat cost LB: 208993 ... c Min unsat cost LB: 208994 ... c Min unsat cost LB: 208995 ... c Min unsat cost LB: 208997 ... c Min unsat cost LB: 208998 ... c Min unsat cost LB: 208999 ... c Min unsat cost LB: 209456 ... c Min unsat cost LB: 209512 ... c Min unsat cost LB: 209900 ... c Min unsat cost LB: 209958 ... c Min unsat cost LB: 210708 ... c Min unsat cost LB: 210740 ... c Min unsat cost LB: 210779 ... c Min unsat cost LB: 210791 ... c Min unsat cost LB: 210792 ... c Min unsat cost LB: 210795 ... c Min unsat cost LB: 210801 ... c Min unsat cost LB: 210808 ... c Min unsat cost LB: 210809 ... c Min unsat cost LB: 210820 ... c Min unsat cost LB: 210960 ... c Min unsat cost LB: 211237 ... c Min unsat cost LB: 211762 ... c Min unsat cost LB: 211845 ... c Min unsat cost LB: 211846 ... c Min unsat cost LB: 211847 ... c Min unsat cost LB: 211848 ... c Min unsat cost LB: 211849 ... c Min unsat cost LB: 211850 ... c Min unsat cost LB: 211851 ... c Min unsat cost LB: 211852 ... c Min unsat cost LB: 211853 ... c Min unsat cost LB: 211854 ... c Min unsat cost LB: 211855 ... c Min unsat cost LB: 211856 ... c Min unsat cost LB: 212014 ... c Min unsat cost LB: 212918 ... c Min unsat cost LB: 212922 ... c Min unsat cost LB: 212923 ... c Min unsat cost LB: 212924 ... c Min unsat cost LB: 212925 ... c Min unsat cost LB: 213029 ... c Min unsat cost LB: 213030 ... c Min unsat cost LB: 213031 ... c Min unsat cost LB: 213032 ... c Min unsat cost LB: 213033 ... c Min unsat cost LB: 213034 ... c Min unsat cost LB: 213035 ... c Min unsat cost LB: 213881 ... c Min unsat cost LB: 213882 ... c Min unsat cost LB: 213883 ... c Min unsat cost LB: 213884 ... c Min unsat cost LB: 213885 ... c Min unsat cost LB: 213886 ... c Min unsat cost LB: 213887 ... c Min unsat cost LB: 213918 ... c Min unsat cost LB: 213919 ... c Min unsat cost LB: 213945 ... c Min unsat cost LB: 214239 ... c Min unsat cost LB: 214382 ... c Min unsat cost LB: 214400 ... c Min unsat cost LB: 214509 ... c Min unsat cost LB: 214745 ... c Min unsat cost LB: 214856 ... c Min unsat cost LB: 214857 ... c Min unsat cost LB: 214858 ... c Min unsat cost LB: 214859 ... c Min unsat cost LB: 214860 ... c Min unsat cost LB: 214861 ... c Min unsat cost LB: 214862 ... c Min unsat cost LB: 214863 ... c Min unsat cost LB: 214864 ... c Min unsat cost LB: 214865 ... c Min unsat cost LB: 214866 ... c Min unsat cost LB: 214867 ... c Min unsat cost LB: 214868 ... c Min unsat cost LB: 214869 ... c Min unsat cost LB: 214870 ... c Min unsat cost LB: 214871 ... c Min unsat cost LB: 214872 ... c Min unsat cost LB: 214873 ... c Min unsat cost LB: 214874 ... c Min unsat cost LB: 214875 ... c Min unsat cost LB: 214876 ... c Min unsat cost LB: 214877 ... c Min unsat cost LB: 214878 ... c Min unsat cost LB: 214879 ... c Min unsat cost LB: 214880 ... c Min unsat cost LB: 214881 ... c Min unsat cost LB: 214882 ... c Min unsat cost LB: 214883 ... c Min unsat cost LB: 214884 ... c Min unsat cost LB: 214885 ... c Min unsat cost LB: 214886 ... c Min unsat cost LB: 214887 ... c Min unsat cost LB: 214888 ... c Min unsat cost LB: 214889 ... c Min unsat cost LB: 214890 ... c Min unsat cost LB: 214891 ... c Min unsat cost LB: 214892 ... c Min unsat cost LB: 215574 ... c Min unsat cost LB: 216090 ... c Min unsat cost LB: 216227 ... c Min unsat cost LB: 216709 ... c Min unsat cost LB: 217257 ... c Min unsat cost LB: 218466 ... c Min unsat cost LB: 218885 ... c Min unsat cost LB: 218958 ... c Min unsat cost LB: 219010 ... c Min unsat cost LB: 219304 ... c Min unsat cost LB: 219582 ... c Min unsat cost LB: 220228 ... c Min unsat cost LB: 220291 ... c Min unsat cost LB: 220328 ... c Min unsat cost LB: 220330 ... c Min unsat cost LB: 220398 ... c Min unsat cost LB: 220410 ... c Min unsat cost LB: 220487 ... c Min unsat cost LB: 220664 ... c Min unsat cost LB: 220674 ... c Min unsat cost LB: 220676 ... c Min unsat cost LB: 220678 ... c Min unsat cost LB: 220683 ... c Min unsat cost LB: 220684 ... c Min unsat cost LB: 220695 ... c Min unsat cost LB: 220710 ... c Min unsat cost LB: 220712 ... c Min unsat cost LB: 220715 ... c Min unsat cost LB: 220722 ... c Min unsat cost LB: 220734 ... c Min unsat cost LB: 220736 ... Killed 1816.544u 3.215s 30:23.76 99.7% 0+0k 0+0io 0pf+0w