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-300-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-300-1_network-10.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-300-1_network-10.net.wcnf *** c c Min unsat cost LB: 1203 ... c Min unsat cost LB: 2717 ... c Min unsat cost LB: 3217 ... c Min unsat cost LB: 4646 ... c Min unsat cost LB: 4682 ... c Min unsat cost LB: 6264 ... c Min unsat cost LB: 8095 ... c Min unsat cost LB: 9627 ... c Min unsat cost LB: 10106 ... c Min unsat cost LB: 11600 ... c Min unsat cost LB: 11736 ... c Min unsat cost LB: 12372 ... c Min unsat cost LB: 13445 ... c Min unsat cost LB: 14689 ... c Min unsat cost LB: 15395 ... c Min unsat cost LB: 17032 ... c Min unsat cost LB: 17564 ... c Min unsat cost LB: 17683 ... c Min unsat cost LB: 17760 ... c Min unsat cost LB: 17917 ... c Min unsat cost LB: 18386 ... c Min unsat cost LB: 18752 ... c Min unsat cost LB: 19295 ... c Min unsat cost LB: 19385 ... c Min unsat cost LB: 21436 ... c Min unsat cost LB: 22546 ... c Min unsat cost LB: 22697 ... c Min unsat cost LB: 22982 ... c Min unsat cost LB: 23653 ... c Min unsat cost LB: 24662 ... c Min unsat cost LB: 27347 ... c Min unsat cost LB: 27877 ... c Min unsat cost LB: 28213 ... c Min unsat cost LB: 28952 ... c Min unsat cost LB: 29546 ... c Min unsat cost LB: 30033 ... c Min unsat cost LB: 30214 ... c Min unsat cost LB: 31617 ... c Min unsat cost LB: 33150 ... c Min unsat cost LB: 34466 ... c Min unsat cost LB: 34635 ... c Min unsat cost LB: 34681 ... c Min unsat cost LB: 36003 ... c Min unsat cost LB: 36679 ... c Min unsat cost LB: 37310 ... c Min unsat cost LB: 38250 ... c Min unsat cost LB: 38297 ... c Min unsat cost LB: 39141 ... c Min unsat cost LB: 40260 ... c Min unsat cost LB: 40525 ... c Min unsat cost LB: 41657 ... c Min unsat cost LB: 42335 ... c Min unsat cost LB: 43017 ... c Min unsat cost LB: 44623 ... c Min unsat cost LB: 44683 ... c Min unsat cost LB: 44891 ... c Min unsat cost LB: 44991 ... c Min unsat cost LB: 45925 ... c Min unsat cost LB: 46507 ... c Min unsat cost LB: 46553 ... c Min unsat cost LB: 46885 ... c Min unsat cost LB: 46995 ... c Min unsat cost LB: 47140 ... c Min unsat cost LB: 47321 ... c Min unsat cost LB: 48026 ... c Min unsat cost LB: 48651 ... c Min unsat cost LB: 48907 ... c Min unsat cost LB: 49567 ... c Min unsat cost LB: 49996 ... c Min unsat cost LB: 50950 ... c Min unsat cost LB: 51327 ... c Min unsat cost LB: 51399 ... c Min unsat cost LB: 51461 ... c Min unsat cost LB: 52095 ... c Min unsat cost LB: 52957 ... c Min unsat cost LB: 53615 ... c Min unsat cost LB: 53684 ... c Min unsat cost LB: 54083 ... c Min unsat cost LB: 54427 ... c Min unsat cost LB: 54898 ... c Min unsat cost LB: 55296 ... c Min unsat cost LB: 56298 ... c Min unsat cost LB: 56649 ... c Min unsat cost LB: 57045 ... c Min unsat cost LB: 58007 ... c Min unsat cost LB: 58491 ... c Min unsat cost LB: 58716 ... c Min unsat cost LB: 59249 ... c Min unsat cost LB: 59747 ... c Min unsat cost LB: 59985 ... c Min unsat cost LB: 60095 ... c Min unsat cost LB: 60372 ... c Min unsat cost LB: 60767 ... c Min unsat cost LB: 60879 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 63393 ... c Min unsat cost LB: 63428 ... c Min unsat cost LB: 63897 ... c Min unsat cost LB: 64254 ... c Min unsat cost LB: 65163 ... c Min unsat cost LB: 65186 ... c Min unsat cost LB: 65477 ... c Min unsat cost LB: 65625 ... c Min unsat cost LB: 66362 ... c Min unsat cost LB: 66778 ... c Min unsat cost LB: 67048 ... c Min unsat cost LB: 67060 ... c Min unsat cost LB: 67390 ... c Min unsat cost LB: 67459 ... c Min unsat cost LB: 67509 ... c Min unsat cost LB: 67595 ... c Min unsat cost LB: 67623 ... c Min unsat cost LB: 67708 ... c Min unsat cost LB: 67777 ... c Min unsat cost LB: 68211 ... c Min unsat cost LB: 68480 ... c Min unsat cost LB: 68517 ... c Min unsat cost LB: 68669 ... c Min unsat cost LB: 69581 ... c Min unsat cost LB: 69931 ... c Min unsat cost LB: 70314 ... c Min unsat cost LB: 70953 ... c Min unsat cost LB: 71387 ... c Min unsat cost LB: 71409 ... c Min unsat cost LB: 72365 ... c Min unsat cost LB: 72541 ... c Min unsat cost LB: 72579 ... c Min unsat cost LB: 72750 ... c Min unsat cost LB: 73049 ... c Min unsat cost LB: 73777 ... c Min unsat cost LB: 74285 ... c Min unsat cost LB: 75154 ... c Min unsat cost LB: 75555 ... c Min unsat cost LB: 75730 ... c Min unsat cost LB: 75736 ... c Min unsat cost LB: 77169 ... c Min unsat cost LB: 77286 ... c Min unsat cost LB: 77613 ... c Min unsat cost LB: 77655 ... c Min unsat cost LB: 78306 ... c Min unsat cost LB: 78352 ... c Min unsat cost LB: 78502 ... c Min unsat cost LB: 78647 ... c Min unsat cost LB: 78880 ... c Min unsat cost LB: 80198 ... c Min unsat cost LB: 80280 ... c Min unsat cost LB: 80298 ... c Min unsat cost LB: 80426 ... c Min unsat cost LB: 80719 ... c Min unsat cost LB: 80788 ... c Min unsat cost LB: 80836 ... c Min unsat cost LB: 80843 ... c Min unsat cost LB: 80876 ... c Min unsat cost LB: 81264 ... c Min unsat cost LB: 81494 ... c Min unsat cost LB: 82099 ... c Min unsat cost LB: 82150 ... c Min unsat cost LB: 82517 ... c Min unsat cost LB: 82910 ... c Min unsat cost LB: 83030 ... c Min unsat cost LB: 83375 ... c Min unsat cost LB: 83887 ... c Min unsat cost LB: 84326 ... c Min unsat cost LB: 84348 ... c Min unsat cost LB: 84456 ... c Min unsat cost LB: 84738 ... c Min unsat cost LB: 85101 ... c Min unsat cost LB: 85333 ... c Min unsat cost LB: 85902 ... c Min unsat cost LB: 87391 ... c Min unsat cost LB: 87443 ... c Min unsat cost LB: 87489 ... c Min unsat cost LB: 87500 ... c Min unsat cost LB: 87537 ... c Min unsat cost LB: 87924 ... c Min unsat cost LB: 88128 ... c Min unsat cost LB: 88159 ... c Min unsat cost LB: 88569 ... c Min unsat cost LB: 88593 ... c Min unsat cost LB: 88647 ... c Min unsat cost LB: 88695 ... c Min unsat cost LB: 89002 ... c Min unsat cost LB: 89054 ... c Min unsat cost LB: 89718 ... c Min unsat cost LB: 89784 ... c Min unsat cost LB: 89871 ... c Min unsat cost LB: 90034 ... c Min unsat cost LB: 90805 ... c Min unsat cost LB: 90853 ... c Min unsat cost LB: 90989 ... c Min unsat cost LB: 91052 ... c Min unsat cost LB: 91070 ... c Min unsat cost LB: 91872 ... c Min unsat cost LB: 92050 ... c Min unsat cost LB: 92216 ... c Min unsat cost LB: 92430 ... c Min unsat cost LB: 92454 ... c Min unsat cost LB: 92485 ... c Min unsat cost LB: 92507 ... c Min unsat cost LB: 92587 ... c Min unsat cost LB: 92664 ... c Min unsat cost LB: 92889 ... c Min unsat cost LB: 93158 ... c Min unsat cost LB: 93302 ... c Min unsat cost LB: 93484 ... c Min unsat cost LB: 93693 ... c Min unsat cost LB: 93961 ... c Min unsat cost LB: 94151 ... c Min unsat cost LB: 94231 ... c Min unsat cost LB: 94463 ... c Min unsat cost LB: 94792 ... c Min unsat cost LB: 95053 ... c Min unsat cost LB: 95789 ... c Min unsat cost LB: 95816 ... c Min unsat cost LB: 96018 ... c Min unsat cost LB: 96121 ... c Min unsat cost LB: 96324 ... c Min unsat cost LB: 96775 ... c Min unsat cost LB: 96966 ... c Min unsat cost LB: 96988 ... c Min unsat cost LB: 97268 ... c Min unsat cost LB: 97689 ... c Min unsat cost LB: 97731 ... c Min unsat cost LB: 97879 ... c Min unsat cost LB: 97891 ... c Min unsat cost LB: 97952 ... c Min unsat cost LB: 98285 ... c Min unsat cost LB: 98884 ... c Min unsat cost LB: 99534 ... c Min unsat cost LB: 99825 ... c Min unsat cost LB: 100023 ... c Min unsat cost LB: 100425 ... c Min unsat cost LB: 100768 ... c Min unsat cost LB: 101333 ... c Min unsat cost LB: 102106 ... c Min unsat cost LB: 102242 ... c Min unsat cost LB: 103001 ... c Min unsat cost LB: 103010 ... c Min unsat cost LB: 103241 ... c Min unsat cost LB: 103852 ... c Min unsat cost LB: 103853 ... c Min unsat cost LB: 103885 ... c Min unsat cost LB: 103897 ... c Min unsat cost LB: 104191 ... c Min unsat cost LB: 104268 ... c Min unsat cost LB: 104595 ... c Min unsat cost LB: 104736 ... c Min unsat cost LB: 105421 ... c Min unsat cost LB: 105972 ... c Min unsat cost LB: 105986 ... c Min unsat cost LB: 106736 ... c Min unsat cost LB: 107004 ... c Min unsat cost LB: 107175 ... c Min unsat cost LB: 107359 ... c Min unsat cost LB: 107621 ... c Min unsat cost LB: 107631 ... c Min unsat cost LB: 107838 ... c Min unsat cost LB: 107916 ... c Min unsat cost LB: 108331 ... c Min unsat cost LB: 108426 ... c Min unsat cost LB: 108489 ... c Min unsat cost LB: 109334 ... c Min unsat cost LB: 109936 ... c Min unsat cost LB: 109995 ... c Min unsat cost LB: 111233 ... c Min unsat cost LB: 111235 ... c Min unsat cost LB: 111269 ... c Min unsat cost LB: 111332 ... c Min unsat cost LB: 111497 ... c Min unsat cost LB: 111794 ... c Min unsat cost LB: 112220 ... c Min unsat cost LB: 112226 ... c Min unsat cost LB: 112516 ... c Min unsat cost LB: 112569 ... c Min unsat cost LB: 112590 ... c Min unsat cost LB: 112596 ... c Min unsat cost LB: 112665 ... c Min unsat cost LB: 112717 ... c Min unsat cost LB: 112800 ... c Min unsat cost LB: 112962 ... c Min unsat cost LB: 113184 ... c Min unsat cost LB: 113528 ... c Min unsat cost LB: 113786 ... c Min unsat cost LB: 114431 ... c Min unsat cost LB: 115170 ... c Min unsat cost LB: 116116 ... c Min unsat cost LB: 116926 ... c Min unsat cost LB: 116964 ... c Min unsat cost LB: 116989 ... c Min unsat cost LB: 117686 ... c Min unsat cost LB: 117719 ... c Min unsat cost LB: 117993 ... c Min unsat cost LB: 118066 ... c Min unsat cost LB: 118247 ... c Min unsat cost LB: 118262 ... c Min unsat cost LB: 118424 ... c Min unsat cost LB: 118712 ... c Min unsat cost LB: 118934 ... c Min unsat cost LB: 118964 ... c Min unsat cost LB: 119033 ... c Min unsat cost LB: 119330 ... c Min unsat cost LB: 119661 ... c Min unsat cost LB: 119689 ... c Min unsat cost LB: 119967 ... c Min unsat cost LB: 120032 ... c Min unsat cost LB: 120311 ... c Min unsat cost LB: 120980 ... c Min unsat cost LB: 121029 ... c Min unsat cost LB: 121639 ... c Min unsat cost LB: 121700 ... c Min unsat cost LB: 121783 ... c Min unsat cost LB: 122031 ... c Min unsat cost LB: 123283 ... c Min unsat cost LB: 123510 ... c Min unsat cost LB: 123712 ... c Min unsat cost LB: 123729 ... c Min unsat cost LB: 124277 ... c Min unsat cost LB: 124440 ... c Min unsat cost LB: 124879 ... c Min unsat cost LB: 125611 ... c Min unsat cost LB: 125651 ... c Min unsat cost LB: 125792 ... c Min unsat cost LB: 125895 ... c Min unsat cost LB: 126181 ... c Min unsat cost LB: 126219 ... c Min unsat cost LB: 126461 ... c Min unsat cost LB: 126501 ... c Min unsat cost LB: 126691 ... c Min unsat cost LB: 126703 ... c Min unsat cost LB: 126871 ... c Min unsat cost LB: 127444 ... c Min unsat cost LB: 127494 ... c Min unsat cost LB: 127686 ... c Min unsat cost LB: 127728 ... c Min unsat cost LB: 127838 ... c Min unsat cost LB: 128339 ... c Min unsat cost LB: 128475 ... c Min unsat cost LB: 129236 ... c Min unsat cost LB: 129255 ... c Min unsat cost LB: 129470 ... c Min unsat cost LB: 129688 ... c Min unsat cost LB: 129753 ... c Min unsat cost LB: 130375 ... c Min unsat cost LB: 130980 ... c Min unsat cost LB: 131123 ... c Min unsat cost LB: 131871 ... c Min unsat cost LB: 132103 ... c Min unsat cost LB: 132700 ... c Min unsat cost LB: 133278 ... c Min unsat cost LB: 133717 ... c Min unsat cost LB: 134393 ... c Min unsat cost LB: 134403 ... c Min unsat cost LB: 134847 ... c Min unsat cost LB: 134978 ... c Min unsat cost LB: 135064 ... c Min unsat cost LB: 135606 ... c Min unsat cost LB: 136660 ... c Min unsat cost LB: 137218 ... c Min unsat cost LB: 137259 ... c Min unsat cost LB: 137633 ... c Min unsat cost LB: 137699 ... c Min unsat cost LB: 137972 ... c Min unsat cost LB: 138469 ... c Min unsat cost LB: 138609 ... c Min unsat cost LB: 138616 ... c Min unsat cost LB: 138810 ... c Min unsat cost LB: 139002 ... c Min unsat cost LB: 139121 ... c Min unsat cost LB: 139218 ... c Min unsat cost LB: 139232 ... c Min unsat cost LB: 139257 ... c Min unsat cost LB: 139343 ... c Min unsat cost LB: 139415 ... c Min unsat cost LB: 140631 ... c Min unsat cost LB: 140672 ... c Min unsat cost LB: 140683 ... c Min unsat cost LB: 140930 ... c Min unsat cost LB: 140956 ... c Min unsat cost LB: 141006 ... c Min unsat cost LB: 141163 ... c Min unsat cost LB: 141175 ... c Min unsat cost LB: 141187 ... c Min unsat cost LB: 141216 ... c Min unsat cost LB: 141221 ... c Min unsat cost LB: 141304 ... c Min unsat cost LB: 142106 ... c Min unsat cost LB: 142444 ... c Min unsat cost LB: 142761 ... c Min unsat cost LB: 142949 ... c Min unsat cost LB: 143461 ... c Min unsat cost LB: 143492 ... c Min unsat cost LB: 143508 ... c Min unsat cost LB: 143509 ... c Min unsat cost LB: 143526 ... c Min unsat cost LB: 143565 ... c Min unsat cost LB: 144208 ... c Min unsat cost LB: 144463 ... c Min unsat cost LB: 144674 ... c Min unsat cost LB: 145029 ... c Min unsat cost LB: 145168 ... c Min unsat cost LB: 145535 ... c Min unsat cost LB: 145536 ... c Min unsat cost LB: 145557 ... c Min unsat cost LB: 145580 ... c Min unsat cost LB: 146083 ... c Min unsat cost LB: 146771 ... c Min unsat cost LB: 146887 ... c Min unsat cost LB: 146929 ... c Min unsat cost LB: 147003 ... c Min unsat cost LB: 147059 ... c Min unsat cost LB: 147077 ... c Min unsat cost LB: 147133 ... c Min unsat cost LB: 147138 ... c Min unsat cost LB: 147467 ... c Min unsat cost LB: 147742 ... c Min unsat cost LB: 147999 ... c Min unsat cost LB: 148238 ... c Min unsat cost LB: 148388 ... c Min unsat cost LB: 148508 ... c Min unsat cost LB: 148534 ... c Min unsat cost LB: 148540 ... c Min unsat cost LB: 148542 ... c Min unsat cost LB: 148572 ... c Min unsat cost LB: 148793 ... c Min unsat cost LB: 149152 ... c Min unsat cost LB: 149601 ... c Min unsat cost LB: 149767 ... c Min unsat cost LB: 149957 ... c Min unsat cost LB: 149959 ... c Min unsat cost LB: 150126 ... c Min unsat cost LB: 150245 ... c Min unsat cost LB: 151063 ... c Min unsat cost LB: 151314 ... c Min unsat cost LB: 151739 ... c Min unsat cost LB: 152285 ... c Min unsat cost LB: 152298 ... c Min unsat cost LB: 152369 ... c Min unsat cost LB: 153430 ... c Min unsat cost LB: 153504 ... c Min unsat cost LB: 153559 ... c Min unsat cost LB: 153869 ... c Min unsat cost LB: 154042 ... c Min unsat cost LB: 154268 ... c Min unsat cost LB: 154533 ... c Min unsat cost LB: 154744 ... c Min unsat cost LB: 155133 ... c Min unsat cost LB: 155220 ... c Min unsat cost LB: 155228 ... c Min unsat cost LB: 155500 ... c Min unsat cost LB: 155813 ... c Min unsat cost LB: 155998 ... c Min unsat cost LB: 156585 ... c Min unsat cost LB: 156936 ... c Min unsat cost LB: 157285 ... c Min unsat cost LB: 157359 ... c Min unsat cost LB: 158224 ... c Min unsat cost LB: 158539 ... c Min unsat cost LB: 158603 ... c Min unsat cost LB: 159031 ... c Min unsat cost LB: 160477 ... c Min unsat cost LB: 160673 ... c Min unsat cost LB: 160811 ... c Min unsat cost LB: 160872 ... c Min unsat cost LB: 161073 ... c Min unsat cost LB: 161155 ... c Min unsat cost LB: 161977 ... c Min unsat cost LB: 161995 ... c Min unsat cost LB: 162245 ... c Min unsat cost LB: 162263 ... c Min unsat cost LB: 163099 ... c Min unsat cost LB: 163451 ... c Min unsat cost LB: 163499 ... c Min unsat cost LB: 163894 ... c Min unsat cost LB: 163922 ... c Min unsat cost LB: 163968 ... c Min unsat cost LB: 164067 ... c Min unsat cost LB: 164083 ... c Min unsat cost LB: 164889 ... c Min unsat cost LB: 165566 ... c Min unsat cost LB: 166466 ... c Min unsat cost LB: 166677 ... c Min unsat cost LB: 166765 ... c Min unsat cost LB: 166968 ... c Min unsat cost LB: 167392 ... c Min unsat cost LB: 167625 ... c Min unsat cost LB: 168421 ... c Min unsat cost LB: 168595 ... c Min unsat cost LB: 168885 ... c Min unsat cost LB: 168896 ... c Min unsat cost LB: 169249 ... c Min unsat cost LB: 169358 ... c Min unsat cost LB: 169364 ... c Min unsat cost LB: 169810 ... c Min unsat cost LB: 170504 ... c Min unsat cost LB: 170515 ... c Min unsat cost LB: 170543 ... c Min unsat cost LB: 170560 ... c Min unsat cost LB: 170566 ... c Min unsat cost LB: 170571 ... c Min unsat cost LB: 170573 ... c Min unsat cost LB: 170577 ... c Min unsat cost LB: 170597 ... c Min unsat cost LB: 170599 ... c Min unsat cost LB: 170607 ... c Min unsat cost LB: 171194 ... c Min unsat cost LB: 171790 ... c Min unsat cost LB: 172473 ... c Min unsat cost LB: 172497 ... c Min unsat cost LB: 172638 ... c Min unsat cost LB: 172796 ... c Min unsat cost LB: 173045 ... c Min unsat cost LB: 173602 ... c Min unsat cost LB: 173887 ... c Min unsat cost LB: 174215 ... c Min unsat cost LB: 174862 ... c Min unsat cost LB: 175020 ... c Min unsat cost LB: 175354 ... c Min unsat cost LB: 175433 ... c Min unsat cost LB: 175661 ... c Min unsat cost LB: 175783 ... c Min unsat cost LB: 176392 ... c Min unsat cost LB: 176513 ... c Min unsat cost LB: 177132 ... c Min unsat cost LB: 177209 ... c Min unsat cost LB: 177484 ... c Min unsat cost LB: 178081 ... c Min unsat cost LB: 178232 ... c Min unsat cost LB: 178237 ... c Min unsat cost LB: 178511 ... c Min unsat cost LB: 178711 ... c Min unsat cost LB: 178736 ... c Min unsat cost LB: 179169 ... c Min unsat cost LB: 179560 ... c Min unsat cost LB: 179819 ... c Min unsat cost LB: 179938 ... c Min unsat cost LB: 180432 ... c Min unsat cost LB: 180443 ... c Min unsat cost LB: 180763 ... c Min unsat cost LB: 181207 ... c Min unsat cost LB: 181231 ... c Min unsat cost LB: 181287 ... c Min unsat cost LB: 181307 ... c Min unsat cost LB: 181327 ... c Min unsat cost LB: 181367 ... c Min unsat cost LB: 181373 ... c Min unsat cost LB: 182523 ... c Min unsat cost LB: 182730 ... c Min unsat cost LB: 183090 ... c Min unsat cost LB: 183110 ... c Min unsat cost LB: 183129 ... c Min unsat cost LB: 183138 ... c Min unsat cost LB: 183166 ... c Min unsat cost LB: 183220 ... c Min unsat cost LB: 183273 ... c Min unsat cost LB: 183276 ... c Min unsat cost LB: 183369 ... c Min unsat cost LB: 183417 ... c Min unsat cost LB: 183651 ... c Min unsat cost LB: 184051 ... c Min unsat cost LB: 184634 ... c Min unsat cost LB: 184835 ... c Min unsat cost LB: 184865 ... c Min unsat cost LB: 185032 ... c Min unsat cost LB: 185189 ... c Min unsat cost LB: 185203 ... c Min unsat cost LB: 185283 ... c Min unsat cost LB: 185285 ... c Min unsat cost LB: 185432 ... c Min unsat cost LB: 185435 ... c Min unsat cost LB: 185452 ... c Min unsat cost LB: 185454 ... c Min unsat cost LB: 185465 ... c Min unsat cost LB: 185493 ... c Min unsat cost LB: 185570 ... c Min unsat cost LB: 186401 ... c Min unsat cost LB: 186420 ... c Min unsat cost LB: 186554 ... c Min unsat cost LB: 186643 ... c Min unsat cost LB: 186838 ... c Min unsat cost LB: 187337 ... c Min unsat cost LB: 187365 ... c Min unsat cost LB: 187375 ... c Min unsat cost LB: 188306 ... c Min unsat cost LB: 188616 ... c Min unsat cost LB: 188742 ... c Min unsat cost LB: 188804 ... c Min unsat cost LB: 189122 ... c Min unsat cost LB: 189217 ... c Min unsat cost LB: 189248 ... c Min unsat cost LB: 189497 ... c Min unsat cost LB: 189560 ... c Min unsat cost LB: 189652 ... c Min unsat cost LB: 190361 ... c Min unsat cost LB: 191179 ... c Min unsat cost LB: 192196 ... c Min unsat cost LB: 192595 ... c Min unsat cost LB: 192829 ... c Min unsat cost LB: 192934 ... c Min unsat cost LB: 193109 ... c Min unsat cost LB: 194388 ... c Min unsat cost LB: 194531 ... c Min unsat cost LB: 194548 ... c Min unsat cost LB: 195841 ... c Min unsat cost LB: 195846 ... c Min unsat cost LB: 196207 ... c Min unsat cost LB: 196316 ... c Min unsat cost LB: 196363 ... c Min unsat cost LB: 196420 ... c Min unsat cost LB: 196425 ... c Min unsat cost LB: 196546 ... c Min unsat cost LB: 196568 ... c Min unsat cost LB: 196887 ... c Min unsat cost LB: 196905 ... c Min unsat cost LB: 197295 ... c Min unsat cost LB: 197536 ... c Min unsat cost LB: 198105 ... c Min unsat cost LB: 198217 ... c Min unsat cost LB: 198556 ... c Min unsat cost LB: 198812 ... c Min unsat cost LB: 198947 ... c Min unsat cost LB: 199593 ... c Min unsat cost LB: 200558 ... c Min unsat cost LB: 200570 ... c Min unsat cost LB: 201089 ... c Min unsat cost LB: 201142 ... c Min unsat cost LB: 201370 ... c Min unsat cost LB: 201395 ... c Min unsat cost LB: 201819 ... c Min unsat cost LB: 202587 ... c Min unsat cost LB: 203384 ... c Min unsat cost LB: 203413 ... c Min unsat cost LB: 203486 ... c Min unsat cost LB: 203567 ... c Min unsat cost LB: 203606 ... c Min unsat cost LB: 203679 ... c Min unsat cost LB: 203751 ... c Min unsat cost LB: 203840 ... c Min unsat cost LB: 203879 ... c Min unsat cost LB: 204179 ... c Min unsat cost LB: 204221 ... c Min unsat cost LB: 204238 ... c Min unsat cost LB: 204426 ... c Min unsat cost LB: 204852 ... c Min unsat cost LB: 205120 ... c Min unsat cost LB: 205641 ... c Min unsat cost LB: 206023 ... c Min unsat cost LB: 206250 ... c Min unsat cost LB: 206373 ... c Min unsat cost LB: 206533 ... c Min unsat cost LB: 206741 ... c Min unsat cost LB: 207316 ... c Min unsat cost LB: 207389 ... c Min unsat cost LB: 207722 ... c Min unsat cost LB: 207799 ... c Min unsat cost LB: 207904 ... c Min unsat cost LB: 208084 ... c Min unsat cost LB: 208199 ... c Min unsat cost LB: 208208 ... c Min unsat cost LB: 208228 ... c Min unsat cost LB: 208249 ... c Min unsat cost LB: 208254 ... c Min unsat cost LB: 208270 ... c Min unsat cost LB: 208292 ... c Min unsat cost LB: 208310 ... c Min unsat cost LB: 209005 ... c Min unsat cost LB: 209120 ... c Min unsat cost LB: 209431 ... c Min unsat cost LB: 209653 ... c Min unsat cost LB: 209655 ... c Min unsat cost LB: 209675 ... c Min unsat cost LB: 209737 ... c Min unsat cost LB: 209743 ... c Min unsat cost LB: 209762 ... c Min unsat cost LB: 209775 ... c Min unsat cost LB: 209808 ... c Min unsat cost LB: 209873 ... c Min unsat cost LB: 210168 ... c Min unsat cost LB: 210367 ... c Min unsat cost LB: 211210 ... c Min unsat cost LB: 211954 ... c Min unsat cost LB: 212224 ... c Min unsat cost LB: 212265 ... c Min unsat cost LB: 212950 ... c Min unsat cost LB: 213072 ... c Min unsat cost LB: 213488 ... c Min unsat cost LB: 213608 ... c Min unsat cost LB: 213662 ... c Min unsat cost LB: 213668 ... c Min unsat cost LB: 213673 ... c Min unsat cost LB: 213808 ... c Min unsat cost LB: 214140 ... c Min unsat cost LB: 214325 ... c Min unsat cost LB: 214447 ... c Min unsat cost LB: 214448 ... c Min unsat cost LB: 214454 ... c Min unsat cost LB: 214455 ... c Min unsat cost LB: 214456 ... c Min unsat cost LB: 214460 ... c Min unsat cost LB: 214461 ... c Min unsat cost LB: 214462 ... c Min unsat cost LB: 214471 ... c Min unsat cost LB: 214673 ... c Min unsat cost LB: 214751 ... c Min unsat cost LB: 215189 ... c Min unsat cost LB: 215308 ... c Min unsat cost LB: 215834 ... c Min unsat cost LB: 216208 ... c Min unsat cost LB: 216210 ... c Min unsat cost LB: 216215 ... c Min unsat cost LB: 216230 ... c Min unsat cost LB: 216246 ... c Min unsat cost LB: 216522 ... c Min unsat cost LB: 216832 ... c Min unsat cost LB: 217467 ... c Min unsat cost LB: 217566 ... c Min unsat cost LB: 217732 ... c Min unsat cost LB: 217871 ... c Min unsat cost LB: 217946 ... c Min unsat cost LB: 217966 ... c Min unsat cost LB: 218018 ... c Min unsat cost LB: 218028 ... c Min unsat cost LB: 218083 ... c Min unsat cost LB: 218168 ... c Min unsat cost LB: 218624 ... c Min unsat cost LB: 218739 ... c Min unsat cost LB: 218759 ... c Min unsat cost LB: 218769 ... c Min unsat cost LB: 218818 ... c Min unsat cost LB: 219366 ... c Min unsat cost LB: 219831 ... c Min unsat cost LB: 219884 ... c Min unsat cost LB: 219887 ... c Min unsat cost LB: 219897 ... c Min unsat cost LB: 219903 ... c Min unsat cost LB: 220845 ... c Min unsat cost LB: 220848 ... c Min unsat cost LB: 220849 ... c Min unsat cost LB: 220888 ... c Min unsat cost LB: 221415 ... c Min unsat cost LB: 221917 ... c Min unsat cost LB: 222090 ... c Min unsat cost LB: 222093 ... c Min unsat cost LB: 222096 ... c Min unsat cost LB: 222100 ... c Min unsat cost LB: 222103 ... c Min unsat cost LB: 222108 ... c Min unsat cost LB: 222128 ... c Min unsat cost LB: 222130 ... c Min unsat cost LB: 222131 ... c Min unsat cost LB: 222158 ... c Min unsat cost LB: 222622 ... c Min unsat cost LB: 222699 ... c Min unsat cost LB: 223296 ... c Min unsat cost LB: 223298 ... c Min unsat cost LB: 223301 ... c Min unsat cost LB: 223302 ... c Min unsat cost LB: 223327 ... c Min unsat cost LB: 223328 ... c Min unsat cost LB: 223619 ... c Min unsat cost LB: 223719 ... c Min unsat cost LB: 224002 ... c Min unsat cost LB: 224251 ... c Min unsat cost LB: 224942 ... c Min unsat cost LB: 225097 ... c Min unsat cost LB: 225102 ... c Min unsat cost LB: 225211 ... c Min unsat cost LB: 225232 ... c Min unsat cost LB: 225322 ... c Min unsat cost LB: 225567 ... c Min unsat cost LB: 226144 ... c Min unsat cost LB: 226292 ... c Min unsat cost LB: 226401 ... c Min unsat cost LB: 226523 ... c Min unsat cost LB: 226907 ... c Min unsat cost LB: 227053 ... c Min unsat cost LB: 227218 ... c Min unsat cost LB: 227414 ... c Min unsat cost LB: 227531 ... c Min unsat cost LB: 227536 ... c Min unsat cost LB: 227637 ... c Min unsat cost LB: 227964 ... c Min unsat cost LB: 228128 ... c Min unsat cost LB: 228165 ... c Min unsat cost LB: 228199 ... c Min unsat cost LB: 228499 ... c Min unsat cost LB: 228540 ... c Min unsat cost LB: 228728 ... c Min unsat cost LB: 228741 ... c Min unsat cost LB: 228924 ... c Min unsat cost LB: 228986 ... c Min unsat cost LB: 229278 ... c Min unsat cost LB: 229426 ... c Min unsat cost LB: 229474 ... c Min unsat cost LB: 230485 ... c Min unsat cost LB: 230531 ... c Min unsat cost LB: 230813 ... c Min unsat cost LB: 231324 ... c Min unsat cost LB: 231497 ... c Min unsat cost LB: 232590 ... c Min unsat cost LB: 232792 ... c Min unsat cost LB: 232833 ... c Min unsat cost LB: 233049 ... c Min unsat cost LB: 233908 ... c Min unsat cost LB: 233936 ... c Min unsat cost LB: 234234 ... c Min unsat cost LB: 234757 ... c Min unsat cost LB: 234759 ... c Min unsat cost LB: 234773 ... c Min unsat cost LB: 234801 ... c Min unsat cost LB: 234900 ... c Min unsat cost LB: 234902 ... c Min unsat cost LB: 234905 ... c Min unsat cost LB: 235004 ... c Min unsat cost LB: 235006 ... c Min unsat cost LB: 235764 ... c Min unsat cost LB: 236062 ... c Min unsat cost LB: 237257 ... c Min unsat cost LB: 237357 ... c Min unsat cost LB: 237359 ... c Min unsat cost LB: 237635 ... c Min unsat cost LB: 237966 ... c Min unsat cost LB: 238220 ... c Min unsat cost LB: 238301 ... c Min unsat cost LB: 238319 ... c Min unsat cost LB: 238403 ... c Min unsat cost LB: 239259 ... c Min unsat cost LB: 239267 ... c Min unsat cost LB: 239487 ... c Min unsat cost LB: 239773 ... c Min unsat cost LB: 240739 ... c Min unsat cost LB: 241088 ... c Min unsat cost LB: 241101 ... c Min unsat cost LB: 241501 ... c Min unsat cost LB: 241534 ... c Min unsat cost LB: 241548 ... c Min unsat cost LB: 241899 ... c Min unsat cost LB: 241926 ... c Min unsat cost LB: 241933 ... c Min unsat cost LB: 241937 ... c Min unsat cost LB: 241970 ... c Min unsat cost LB: 241981 ... c Min unsat cost LB: 242069 ... c Min unsat cost LB: 242076 ... c Min unsat cost LB: 242092 ... c Min unsat cost LB: 242096 ... c Min unsat cost LB: 242099 ... c Min unsat cost LB: 242110 ... c Min unsat cost LB: 242160 ... c Min unsat cost LB: 242541 ... c Min unsat cost LB: 243013 ... c Min unsat cost LB: 243197 ... c Min unsat cost LB: 243518 ... c Min unsat cost LB: 243593 ... c Min unsat cost LB: 244265 ... c Min unsat cost LB: 244388 ... c Min unsat cost LB: 244424 ... c Min unsat cost LB: 244473 ... c Min unsat cost LB: 245270 ... c Min unsat cost LB: 245362 ... c Min unsat cost LB: 246258 ... c Min unsat cost LB: 246312 ... c Min unsat cost LB: 246927 ... c Min unsat cost LB: 247290 ... c Min unsat cost LB: 247347 ... c Min unsat cost LB: 247670 ... c Min unsat cost LB: 247716 ... c Min unsat cost LB: 247926 ... c Min unsat cost LB: 248001 ... c Min unsat cost LB: 248373 ... c Min unsat cost LB: 248598 ... c Min unsat cost LB: 248934 ... c Min unsat cost LB: 249220 ... c Min unsat cost LB: 249254 ... c Min unsat cost LB: 249343 ... c Min unsat cost LB: 249494 ... c Min unsat cost LB: 249583 ... c Min unsat cost LB: 249617 ... c Min unsat cost LB: 250976 ... c Min unsat cost LB: 251030 ... c Min unsat cost LB: 251086 ... c Min unsat cost LB: 251341 ... c Min unsat cost LB: 251420 ... c Min unsat cost LB: 251627 ... c Min unsat cost LB: 251643 ... c Min unsat cost LB: 251946 ... c Min unsat cost LB: 252092 ... c Min unsat cost LB: 252336 ... c Min unsat cost LB: 252473 ... c Min unsat cost LB: 252553 ... c Min unsat cost LB: 252596 ... c Min unsat cost LB: 253086 ... c Min unsat cost LB: 253209 ... c Min unsat cost LB: 253480 ... c Min unsat cost LB: 253812 ... c Min unsat cost LB: 253909 ... c Min unsat cost LB: 254048 ... c Min unsat cost LB: 254610 ... c Min unsat cost LB: 254651 ... c Min unsat cost LB: 255313 ... c Min unsat cost LB: 255537 ... c Min unsat cost LB: 255597 ... c Min unsat cost LB: 255821 ... c Min unsat cost LB: 256010 ... c Min unsat cost LB: 256120 ... c Min unsat cost LB: 256142 ... c Min unsat cost LB: 256417 ... c Min unsat cost LB: 256467 ... c Min unsat cost LB: 257309 ... c Min unsat cost LB: 257384 ... c Min unsat cost LB: 257450 ... c Min unsat cost LB: 257723 ... c Min unsat cost LB: 257884 ... c Min unsat cost LB: 257943 ... c Min unsat cost LB: 258066 ... c Min unsat cost LB: 258429 ... c Min unsat cost LB: 258502 ... c Min unsat cost LB: 259042 ... c Min unsat cost LB: 259060 ... c Min unsat cost LB: 259604 ... c Min unsat cost LB: 259756 ... c Min unsat cost LB: 259767 ... c Min unsat cost LB: 259795 ... c Min unsat cost LB: 259799 ... c Min unsat cost LB: 259801 ... c Min unsat cost LB: 259803 ... c Min unsat cost LB: 259805 ... c Min unsat cost LB: 259807 ... c Min unsat cost LB: 259808 ... c Min unsat cost LB: 259809 ... c Min unsat cost LB: 259814 ... c Min unsat cost LB: 259821 ... c Min unsat cost LB: 259826 ... c Min unsat cost LB: 259828 ... c Min unsat cost LB: 259832 ... c Min unsat cost LB: 259833 ... c Min unsat cost LB: 259837 ... c Min unsat cost LB: 259844 ... c Min unsat cost LB: 259848 ... c Min unsat cost LB: 259853 ... c Min unsat cost LB: 259854 ... c Min unsat cost LB: 259858 ... c Min unsat cost LB: 259861 ... c Min unsat cost LB: 259862 ... c Min unsat cost LB: 259865 ... c Min unsat cost LB: 259866 ... c Min unsat cost LB: 259867 ... c Min unsat cost LB: 259871 ... c Min unsat cost LB: 259874 ... c Min unsat cost LB: 259876 ... c Min unsat cost LB: 259878 ... c Min unsat cost LB: 259880 ... c Min unsat cost LB: 259885 ... c Min unsat cost LB: 259887 ... c Min unsat cost LB: 259888 ... c Min unsat cost LB: 259889 ... c Min unsat cost LB: 259891 ... c Min unsat cost LB: 259896 ... c Min unsat cost LB: 259898 ... c Min unsat cost LB: 259899 ... c Min unsat cost LB: 259907 ... c Min unsat cost LB: 259912 ... c Min unsat cost LB: 259913 ... c Min unsat cost LB: 259914 ... c Min unsat cost LB: 259915 ... c Min unsat cost LB: 259916 ... c Min unsat cost LB: 259917 ... c Min unsat cost LB: 259918 ... c Min unsat cost LB: 259919 ... c Min unsat cost LB: 259920 ... c Min unsat cost LB: 259924 ... c Min unsat cost LB: 259925 ... c Min unsat cost LB: 259930 ... c Min unsat cost LB: 260424 ... c Min unsat cost LB: 260434 ... c Min unsat cost LB: 260536 ... c Min unsat cost LB: 260707 ... c Min unsat cost LB: 260708 ... c Min unsat cost LB: 261102 ... c Min unsat cost LB: 262312 ... c Min unsat cost LB: 262339 ... c Min unsat cost LB: 262341 ... c Min unsat cost LB: 262366 ... c Min unsat cost LB: 262381 ... c Min unsat cost LB: 262385 ... c Min unsat cost LB: 262387 ... c Min unsat cost LB: 262422 ... c Min unsat cost LB: 262435 ... c Min unsat cost LB: 262436 ... c Min unsat cost LB: 262438 ... c Min unsat cost LB: 262439 ... c Min unsat cost LB: 262440 ... c Min unsat cost LB: 262445 ... c Min unsat cost LB: 262451 ... c Min unsat cost LB: 262452 ... c Min unsat cost LB: 262464 ... c Min unsat cost LB: 262468 ... c Min unsat cost LB: 262469 ... c Min unsat cost LB: 262470 ... c Min unsat cost LB: 262479 ... c Min unsat cost LB: 262480 ... c Min