Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-240-1_network-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-1.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-1.net.wcnf *** c c Min unsat cost LB: 1446 ... c Min unsat cost LB: 1635 ... c Min unsat cost LB: 2854 ... c Min unsat cost LB: 4096 ... c Min unsat cost LB: 5627 ... c Min unsat cost LB: 6659 ... c Min unsat cost LB: 6792 ... c Min unsat cost LB: 6935 ... c Min unsat cost LB: 8072 ... c Min unsat cost LB: 9510 ... c Min unsat cost LB: 10616 ... c Min unsat cost LB: 11525 ... c Min unsat cost LB: 11873 ... c Min unsat cost LB: 13237 ... c Min unsat cost LB: 13965 ... c Min unsat cost LB: 14241 ... c Min unsat cost LB: 15280 ... c Min unsat cost LB: 17085 ... c Min unsat cost LB: 17194 ... c Min unsat cost LB: 18301 ... c Min unsat cost LB: 18875 ... c Min unsat cost LB: 19523 ... c Min unsat cost LB: 20835 ... c Min unsat cost LB: 21998 ... c Min unsat cost LB: 23311 ... c Min unsat cost LB: 24722 ... c Min unsat cost LB: 24905 ... c Min unsat cost LB: 25330 ... c Min unsat cost LB: 25478 ... c Min unsat cost LB: 26578 ... c Min unsat cost LB: 26897 ... c Min unsat cost LB: 27494 ... c Min unsat cost LB: 28177 ... c Min unsat cost LB: 28532 ... c Min unsat cost LB: 28708 ... c Min unsat cost LB: 28756 ... c Min unsat cost LB: 29248 ... c Min unsat cost LB: 30345 ... c Min unsat cost LB: 30613 ... c Min unsat cost LB: 30693 ... c Min unsat cost LB: 30737 ... c Min unsat cost LB: 30928 ... c Min unsat cost LB: 31364 ... c Min unsat cost LB: 32391 ... c Min unsat cost LB: 34089 ... c Min unsat cost LB: 35273 ... c Min unsat cost LB: 35881 ... c Min unsat cost LB: 37111 ... c Min unsat cost LB: 38741 ... c Min unsat cost LB: 38798 ... c Min unsat cost LB: 40272 ... c Min unsat cost LB: 40812 ... c Min unsat cost LB: 41853 ... c Min unsat cost LB: 42234 ... c Min unsat cost LB: 43414 ... c Min unsat cost LB: 44316 ... c Min unsat cost LB: 45681 ... c Min unsat cost LB: 45724 ... c Min unsat cost LB: 45773 ... c Min unsat cost LB: 45940 ... c Min unsat cost LB: 46959 ... c Min unsat cost LB: 47670 ... c Min unsat cost LB: 48032 ... c Min unsat cost LB: 49203 ... c Min unsat cost LB: 49603 ... c Min unsat cost LB: 49816 ... c Min unsat cost LB: 50193 ... c Min unsat cost LB: 51129 ... c Min unsat cost LB: 51794 ... c Min unsat cost LB: 53424 ... c Min unsat cost LB: 53998 ... c Min unsat cost LB: 54176 ... c Min unsat cost LB: 54255 ... c Min unsat cost LB: 54297 ... c Min unsat cost LB: 54429 ... c Min unsat cost LB: 55150 ... c Min unsat cost LB: 55350 ... c Min unsat cost LB: 55428 ... c Min unsat cost LB: 55587 ... c Min unsat cost LB: 55822 ... c Min unsat cost LB: 56132 ... c Min unsat cost LB: 56305 ... c Min unsat cost LB: 56338 ... c Min unsat cost LB: 56840 ... c Min unsat cost LB: 56954 ... c Min unsat cost LB: 57339 ... c Min unsat cost LB: 57391 ... c Min unsat cost LB: 57629 ... c Min unsat cost LB: 58063 ... c Min unsat cost LB: 58541 ... c Min unsat cost LB: 58857 ... c Min unsat cost LB: 59003 ... c Min unsat cost LB: 59097 ... c Min unsat cost LB: 59522 ... c Min unsat cost LB: 60591 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 61868 ... c Min unsat cost LB: 61921 ... c Min unsat cost LB: 63287 ... c Min unsat cost LB: 64051 ... c Min unsat cost LB: 64274 ... c Min unsat cost LB: 64281 ... c Min unsat cost LB: 65433 ... c Min unsat cost LB: 65680 ... c Min unsat cost LB: 66110 ... c Min unsat cost LB: 66225 ... c Min unsat cost LB: 66638 ... c Min unsat cost LB: 66742 ... c Min unsat cost LB: 66925 ... c Min unsat cost LB: 67377 ... c Min unsat cost LB: 67652 ... c Min unsat cost LB: 67822 ... c Min unsat cost LB: 68253 ... c Min unsat cost LB: 68558 ... c Min unsat cost LB: 69704 ... c Min unsat cost LB: 69715 ... c Min unsat cost LB: 69963 ... c Min unsat cost LB: 70989 ... c Min unsat cost LB: 71572 ... c Min unsat cost LB: 71655 ... c Min unsat cost LB: 71968 ... c Min unsat cost LB: 72156 ... c Min unsat cost LB: 72223 ... c Min unsat cost LB: 72340 ... c Min unsat cost LB: 72751 ... c Min unsat cost LB: 73875 ... c Min unsat cost LB: 74127 ... c Min unsat cost LB: 74277 ... c Min unsat cost LB: 74711 ... c Min unsat cost LB: 74751 ... c Min unsat cost LB: 75245 ... c Min unsat cost LB: 75441 ... c Min unsat cost LB: 76067 ... c Min unsat cost LB: 76225 ... c Min unsat cost LB: 76432 ... c Min unsat cost LB: 76516 ... c Min unsat cost LB: 76729 ... c Min unsat cost LB: 77028 ... c Min unsat cost LB: 77525 ... c Min unsat cost LB: 77541 ... c Min unsat cost LB: 77964 ... c Min unsat cost LB: 77971 ... c Min unsat cost LB: 78720 ... c Min unsat cost LB: 78768 ... c Min unsat cost LB: 79252 ... c Min unsat cost LB: 79399 ... c Min unsat cost LB: 79645 ... c Min unsat cost LB: 80428 ... c Min unsat cost LB: 80787 ... c Min unsat cost LB: 80788 ... c Min unsat cost LB: 80928 ... c Min unsat cost LB: 81035 ... c Min unsat cost LB: 81301 ... c Min unsat cost LB: 82020 ... c Min unsat cost LB: 82750 ... c Min unsat cost LB: 83188 ... c Min unsat cost LB: 83457 ... c Min unsat cost LB: 83468 ... c Min unsat cost LB: 83511 ... c Min unsat cost LB: 83588 ... c Min unsat cost LB: 83670 ... c Min unsat cost LB: 83911 ... c Min unsat cost LB: 83980 ... c Min unsat cost LB: 84257 ... c Min unsat cost LB: 84442 ... c Min unsat cost LB: 85340 ... c Min unsat cost LB: 85518 ... c Min unsat cost LB: 85567 ... c Min unsat cost LB: 85863 ... c Min unsat cost LB: 86475 ... c Min unsat cost LB: 86552 ... c Min unsat cost LB: 87077 ... c Min unsat cost LB: 87421 ... c Min unsat cost LB: 87494 ... c Min unsat cost LB: 87598 ... c Min unsat cost LB: 88100 ... c Min unsat cost LB: 88197 ... c Min unsat cost LB: 88368 ... c Min unsat cost LB: 88385 ... c Min unsat cost LB: 89556 ... c Min unsat cost LB: 89871 ... c Min unsat cost LB: 89929 ... c Min unsat cost LB: 89967 ... c Min unsat cost LB: 90009 ... c Min unsat cost LB: 91481 ... c Min unsat cost LB: 91517 ... c Min unsat cost LB: 91895 ... c Min unsat cost LB: 91936 ... c Min unsat cost LB: 92005 ... c Min unsat cost LB: 92086 ... c Min unsat cost LB: 92470 ... c Min unsat cost LB: 92903 ... c Min unsat cost LB: 93380 ... c Min unsat cost LB: 93566 ... c Min unsat cost LB: 93753 ... c Min unsat cost LB: 93860 ... c Min unsat cost LB: 94029 ... c Min unsat cost LB: 94135 ... c Min unsat cost LB: 94332 ... c Min unsat cost LB: 95446 ... c Min unsat cost LB: 96158 ... c Min unsat cost LB: 96208 ... c Min unsat cost LB: 97096 ... c Min unsat cost LB: 97672 ... c Min unsat cost LB: 97851 ... c Min unsat cost LB: 98124 ... c Min unsat cost LB: 98665 ... c Min unsat cost LB: 98960 ... c Min unsat cost LB: 99009 ... c Min unsat cost LB: 99241 ... c Min unsat cost LB: 99254 ... c Min unsat cost LB: 99303 ... c Min unsat cost LB: 99403 ... c Min unsat cost LB: 99559 ... c Min unsat cost LB: 100475 ... c Min unsat cost LB: 100666 ... c Min unsat cost LB: 100718 ... c Min unsat cost LB: 101109 ... c Min unsat cost LB: 101973 ... c Min unsat cost LB: 102766 ... c Min unsat cost LB: 102810 ... c Min unsat cost LB: 102892 ... c Min unsat cost LB: 103503 ... c Min unsat cost LB: 103694 ... c Min unsat cost LB: 104070 ... c Min unsat cost LB: 104425 ... c Min unsat cost LB: 104681 ... c Min unsat cost LB: 104803 ... c Min unsat cost LB: 104836 ... c Min unsat cost LB: 104887 ... c Min unsat cost LB: 106156 ... c Min unsat cost LB: 106207 ... c Min unsat cost LB: 106227 ... c Min unsat cost LB: 106240 ... c Min unsat cost LB: 106311 ... c Min unsat cost LB: 106412 ... c Min unsat cost LB: 106775 ... c Min unsat cost LB: 106843 ... c Min unsat cost LB: 107215 ... c Min unsat cost LB: 107437 ... c Min unsat cost LB: 107468 ... c Min unsat cost LB: 107632 ... c Min unsat cost LB: 108260 ... c Min unsat cost LB: 108363 ... c Min unsat cost LB: 109503 ... c Min unsat cost LB: 109608 ... c Min unsat cost LB: 109762 ... c Min unsat cost LB: 109931 ... c Min unsat cost LB: 110230 ... c Min unsat cost LB: 110922 ... c Min unsat cost LB: 110944 ... c Min unsat cost LB: 111050 ... c Min unsat cost LB: 111071 ... c Min unsat cost LB: 111998 ... c Min unsat cost LB: 112049 ... c Min unsat cost LB: 112482 ... c Min unsat cost LB: 112729 ... c Min unsat cost LB: 113010 ... c Min unsat cost LB: 113190 ... c Min unsat cost LB: 113319 ... c Min unsat cost LB: 113581 ... c Min unsat cost LB: 113592 ... c Min unsat cost LB: 114189 ... c Min unsat cost LB: 114348 ... c Min unsat cost LB: 114360 ... c Min unsat cost LB: 114419 ... c Min unsat cost LB: 114472 ... c Min unsat cost LB: 114594 ... c Min unsat cost LB: 114652 ... c Min unsat cost LB: 114668 ... c Min unsat cost LB: 114743 ... c Min unsat cost LB: 115013 ... c Min unsat cost LB: 115330 ... c Min unsat cost LB: 115464 ... c Min unsat cost LB: 115813 ... c Min unsat cost LB: 116025 ... c Min unsat cost LB: 117364 ... c Min unsat cost LB: 117794 ... c Min unsat cost LB: 118251 ... c Min unsat cost LB: 118466 ... c Min unsat cost LB: 118982 ... c Min unsat cost LB: 119520 ... c Min unsat cost LB: 120115 ... c Min unsat cost LB: 120279 ... c Min unsat cost LB: 120373 ... c Min unsat cost LB: 120479 ... c Min unsat cost LB: 120693 ... c Min unsat cost LB: 120710 ... c Min unsat cost LB: 121306 ... c Min unsat cost LB: 122192 ... c Min unsat cost LB: 122232 ... c Min unsat cost LB: 122321 ... c Min unsat cost LB: 122351 ... c Min unsat cost LB: 122364 ... c Min unsat cost LB: 122602 ... c Min unsat cost LB: 122711 ... c Min unsat cost LB: 122952 ... c Min unsat cost LB: 123783 ... c Min unsat cost LB: 123785 ... c Min unsat cost LB: 124037 ... c Min unsat cost LB: 124046 ... c Min unsat cost LB: 124282 ... c Min unsat cost LB: 124400 ... c Min unsat cost LB: 124481 ... c Min unsat cost LB: 124891 ... c Min unsat cost LB: 125002 ... c Min unsat cost LB: 125131 ... c Min unsat cost LB: 125754 ... c Min unsat cost LB: 125776 ... c Min unsat cost LB: 125800 ... c Min unsat cost LB: 126106 ... c Min unsat cost LB: 127689 ... c Min unsat cost LB: 127941 ... c Min unsat cost LB: 128198 ... c Min unsat cost LB: 128271 ... c Min unsat cost LB: 128275 ... c Min unsat cost LB: 128439 ... c Min unsat cost LB: 128551 ... c Min unsat cost LB: 128634 ... c Min unsat cost LB: 128645 ... c Min unsat cost LB: 128691 ... c Min unsat cost LB: 130352 ... c Min unsat cost LB: 130395 ... c Min unsat cost LB: 130533 ... c Min unsat cost LB: 130996 ... c Min unsat cost LB: 131110 ... c Min unsat cost LB: 131165 ... c Min unsat cost LB: 131370 ... c Min unsat cost LB: 131472 ... c Min unsat cost LB: 131704 ... c Min unsat cost LB: 131804 ... c Min unsat cost LB: 131914 ... c Min unsat cost LB: 132380 ... c Min unsat cost LB: 132526 ... c Min unsat cost LB: 132950 ... c Min unsat cost LB: 133110 ... c Min unsat cost LB: 133451 ... c Min unsat cost LB: 133600 ... c Min unsat cost LB: 134421 ... c Min unsat cost LB: 134507 ... c Min unsat cost LB: 134608 ... c Min unsat cost LB: 135096 ... c Min unsat cost LB: 135735 ... c Min unsat cost LB: 135848 ... c Min unsat cost LB: 135965 ... c Min unsat cost LB: 136016 ... c Min unsat cost LB: 137358 ... c Min unsat cost LB: 137420 ... c Min unsat cost LB: 137597 ... c Min unsat cost LB: 137660 ... c Min unsat cost LB: 137678 ... c Min unsat cost LB: 137681 ... c Min unsat cost LB: 137717 ... c Min unsat cost LB: 137834 ... c Min unsat cost LB: 137885 ... c Min unsat cost LB: 137966 ... c Min unsat cost LB: 138361 ... c Min unsat cost LB: 138363 ... c Min unsat cost LB: 138375 ... c Min unsat cost LB: 138389 ... c Min unsat cost LB: 138642 ... c Min unsat cost LB: 138656 ... c Min unsat cost LB: 138774 ... c Min unsat cost LB: 138826 ... c Min unsat cost LB: 138848 ... c Min unsat cost LB: 138940 ... c Min unsat cost LB: 138992 ... c Min unsat cost LB: 139194 ... c Min unsat cost LB: 139219 ... c Min unsat cost LB: 139328 ... c Min unsat cost LB: 140724 ... c Min unsat cost LB: 140920 ... c Min unsat cost LB: 140977 ... c Min unsat cost LB: 141419 ... c Min unsat cost LB: 141475 ... c Min unsat cost LB: 141634 ... c Min unsat cost LB: 141940 ... c Min unsat cost LB: 142098 ... c Min unsat cost LB: 142617 ... c Min unsat cost LB: 142867 ... c Min unsat cost LB: 143363 ... c Min unsat cost LB: 144626 ... c Min unsat cost LB: 145043 ... c Min unsat cost LB: 145112 ... c Min unsat cost LB: 145257 ... c Min unsat cost LB: 146459 ... c Min unsat cost LB: 146634 ... c Min unsat cost LB: 146786 ... c Min unsat cost LB: 146881 ... c Min unsat cost LB: 147013 ... c Min unsat cost LB: 147575 ... c Min unsat cost LB: 147982 ... c Min unsat cost LB: 148101 ... c Min unsat cost LB: 148858 ... c Min unsat cost LB: 148862 ... c Min unsat cost LB: 148876 ... c Min unsat cost LB: 148895 ... c Min unsat cost LB: 149290 ... c Min unsat cost LB: 149747 ... c Min unsat cost LB: 149836 ... c Min unsat cost LB: 150136 ... c Min unsat cost LB: 150314 ... c Min unsat cost LB: 151231 ... c Min unsat cost LB: 151359 ... c Min unsat cost LB: 151363 ... c Min unsat cost LB: 151387 ... c Min unsat cost LB: 151521 ... c Min unsat cost LB: 151887 ... c Min unsat cost LB: 153036 ... c Min unsat cost LB: 153109 ... c Min unsat cost LB: 153380 ... c Min unsat cost LB: 153459 ... c Min unsat cost LB: 153618 ... c Min unsat cost LB: 154589 ... c Min unsat cost LB: 154693 ... c Min unsat cost LB: 155222 ... c Min unsat cost LB: 155307 ... c Min unsat cost LB: 155350 ... c Min unsat cost LB: 155820 ... c Min unsat cost LB: 156107 ... c Min unsat cost LB: 156518 ... c Min unsat cost LB: 156709 ... c Min unsat cost LB: 157925 ... c Min unsat cost LB: 157973 ... c Min unsat cost LB: 158299 ... c Min unsat cost LB: 158369 ... c Min unsat cost LB: 158378 ... c Min unsat cost LB: 158622 ... c Min unsat cost LB: 158737 ... c Min unsat cost LB: 158822 ... c Min unsat cost LB: 158830 ... c Min unsat cost LB: 158831 ... c Min unsat cost LB: 158838 ... c Min unsat cost LB: 158913 ... c Min unsat cost LB: 158983 ... c Min unsat cost LB: 159132 ... c Min unsat cost LB: 159134 ... c Min unsat cost LB: 159191 ... c Min unsat cost LB: 159277 ... c Min unsat cost LB: 159327 ... c Min unsat cost LB: 159334 ... c Min unsat cost LB: 159378 ... c Min unsat cost LB: 159380 ... c Min unsat cost LB: 159392 ... c Min unsat cost LB: 159399 ... c Min unsat cost LB: 159413 ... c Min unsat cost LB: 159545 ... c Min unsat cost LB: 159658 ... c Min unsat cost LB: 160267 ... c Min unsat cost LB: 160645 ... c Min unsat cost LB: 161015 ... c Min unsat cost LB: 161186 ... c Min unsat cost LB: 161555 ... c Min unsat cost LB: 161603 ... c Min unsat cost LB: 161876 ... c Min unsat cost LB: 162057 ... c Min unsat cost LB: 162211 ... c Min unsat cost LB: 162289 ... c Min unsat cost LB: 162452 ... c Min unsat cost LB: 162457 ... c Min unsat cost LB: 162630 ... c Min unsat cost LB: 162701 ... c Min unsat cost LB: 163253 ... c Min unsat cost LB: 163347 ... c Min unsat cost LB: 163351 ... c Min unsat cost LB: 163365 ... c Min unsat cost LB: 163368 ... c Min unsat cost LB: 163424 ... c Min unsat cost LB: 163848 ... c Min unsat cost LB: 163916 ... c Min unsat cost LB: 163954 ... c Min unsat cost LB: 164001 ... c Min unsat cost LB: 164641 ... c Min unsat cost LB: 164853 ... c Min unsat cost LB: 165636 ... c Min unsat cost LB: 165646 ... c Min unsat cost LB: 165882 ... c Min unsat cost LB: 166095 ... c Min unsat cost LB: 166163 ... c Min unsat cost LB: 166597 ... c Min unsat cost LB: 166627 ... c Min unsat cost LB: 166684 ... c Min unsat cost LB: 166829 ... c Min unsat cost LB: 167246 ... c Min unsat cost LB: 167449 ... c Min unsat cost LB: 167625 ... c Min unsat cost LB: 167760 ... c Min unsat cost LB: 168512 ... c Min unsat cost LB: 168639 ... c Min unsat cost LB: 168752 ... c Min unsat cost LB: 168940 ... c Min unsat cost LB: 169139 ... c Min unsat cost LB: 169239 ... c Min unsat cost LB: 169745 ... c Min unsat cost LB: 169978 ... c Min unsat cost LB: 169996 ... c Min unsat cost LB: 170023 ... c Min unsat cost LB: 170327 ... c Min unsat cost LB: 170347 ... c Min unsat cost LB: 170428 ... c Min unsat cost LB: 171198 ... c Min unsat cost LB: 171328 ... c Min unsat cost LB: 172385 ... c Min unsat cost LB: 172463 ... c Min unsat cost LB: 172466 ... c Min unsat cost LB: 172474 ... c Min unsat cost LB: 172635 ... c Min unsat cost LB: 173506 ... c Min unsat cost LB: 173930 ... c Min unsat cost LB: 174189 ... c Min unsat cost LB: 174336 ... c Min unsat cost LB: 174724 ... c Min unsat cost LB: 174912 ... c Min unsat cost LB: 175189 ... c Min unsat cost LB: 175469 ... c Min unsat cost LB: 175496 ... c Min unsat cost LB: 176560 ... c Min unsat cost LB: 176623 ... c Min unsat cost LB: 176923 ... c Min unsat cost LB: 176955 ... c Min unsat cost LB: 177221 ... c Min unsat cost LB: 177240 ... c Min unsat cost LB: 177473 ... c Min unsat cost LB: 177581 ... c Min unsat cost LB: 177667 ... c Min unsat cost LB: 178116 ... c Min unsat cost LB: 178154 ... c Min unsat cost LB: 179245 ... c Min unsat cost LB: 179253 ... c Min unsat cost LB: 179488 ... c Min unsat cost LB: 179655 ... c Min unsat cost LB: 179797 ... c Min unsat cost LB: 180026 ... c Min unsat cost LB: 180027 ... c Min unsat cost LB: 180209 ... c Min unsat cost LB: 180390 ... c Min unsat cost LB: 180410 ... c Min unsat cost LB: 180447 ... c Min unsat cost LB: 180459 ... c Min unsat cost LB: 180463 ... c Min unsat cost LB: 180504 ... c Min unsat cost LB: 180676 ... c Min unsat cost LB: 180785 ... c Min unsat cost LB: 180836 ... c Min unsat cost LB: 180925 ... c Min unsat cost LB: 181226 ... c Min unsat cost LB: 181255 ... c Min unsat cost LB: 181308 ... c Min unsat cost LB: 181325 ... c Min unsat cost LB: 181343 ... c Min unsat cost LB: 181397 ... c Min unsat cost LB: 181562 ... c Min unsat cost LB: 181563 ... c Min unsat cost LB: 181622 ... c Min unsat cost LB: 181626 ... c Min unsat cost LB: 181642 ... c Min unsat cost LB: 181657 ... c Min unsat cost LB: 181890 ... c Min unsat cost LB: 182248 ... c Min unsat cost LB: 182293 ... c Min unsat cost LB: 182300 ... c Min unsat cost LB: 182307 ... c Min unsat cost LB: 182707 ... c Min unsat cost LB: 183053 ... c Min unsat cost LB: 183545 ... c Min unsat cost LB: 183830 ... c Min unsat cost LB: 183910 ... c Min unsat cost LB: 183973 ... c Min unsat cost LB: 184772 ... c Min unsat cost LB: 185465 ... c Min unsat cost LB: 185557 ... c Min unsat cost LB: 185675 ... c Min unsat cost LB: 186143 ... c Min unsat cost LB: 186681 ... c Min unsat cost LB: 186747 ... c Min unsat cost LB: 186985 ... c Min unsat cost LB: 187272 ... c Min unsat cost LB: 187291 ... c Min unsat cost LB: 187586 ... c Min unsat cost LB: 187848 ... c Min unsat cost LB: 187982 ... c Min unsat cost LB: 188263 ... c Min unsat cost LB: 188691 ... c Min unsat cost LB: 188709 ... c Min unsat cost LB: 188757 ... c Min unsat cost LB: 188963 ... c Min unsat cost LB: 188964 ... c Min unsat cost LB: 189066 ... c Min unsat cost LB: 189201 ... c Min unsat cost LB: 189335 ... c Min unsat cost LB: 189347 ... c Min unsat cost LB: 189676 ... c Min unsat cost LB: 189780 ... c Min unsat cost LB: 189916 ... c Min unsat cost LB: 190015 ... c Min unsat cost LB: 190103 ... c Min unsat cost LB: 190240 ... c Min unsat cost LB: 191413 ... c Min unsat cost LB: 191782 ... c Min unsat cost LB: 191801 ... c Min unsat cost LB: 191831 ... c Min unsat cost LB: 191928 ... c Min unsat cost LB: 192006 ... c Min unsat cost LB: 192269 ... c Min unsat cost LB: 192376 ... c Min unsat cost LB: 192493 ... c Min unsat cost LB: 192574 ... c Min unsat cost LB: 192698 ... c Min unsat cost LB: 192865 ... c Min unsat cost LB: 192866 ... c Min unsat cost LB: 192922 ... c Min unsat cost LB: 193062 ... c Min unsat cost LB: 193150 ... c Min unsat cost LB: 193151 ... c Min unsat cost LB: 193169 ... c Min unsat cost LB: 193223 ... c Min unsat cost LB: 193227 ... c Min unsat cost LB: 193244 ... c Min unsat cost LB: 193251 ... c Min unsat cost LB: 193695 ... c Min unsat cost LB: 194011 ... c Min unsat cost LB: 194247 ... c Min unsat cost LB: 194253 ... c Min unsat cost LB: 194562 ... c Min unsat cost LB: 194662 ... c Min unsat cost LB: 194678 ... c Min unsat cost LB: 194765 ... c Min unsat cost LB: 194978 ... c Min unsat cost LB: 195162 ... c Min unsat cost LB: 195360 ... c Min unsat cost LB: 196344 ... c Min unsat cost LB: 196417 ... c Min unsat cost LB: 196460 ... c Min unsat cost LB: 196472 ... c Min unsat cost LB: 196486 ... c Min unsat cost LB: 196770 ... c Min unsat cost LB: 197408 ... c Min unsat cost LB: 197430 ... c Min unsat cost LB: 197539 ... c Min unsat cost LB: 198378 ... c Min unsat cost LB: 198729 ... c Min unsat cost LB: 199216 ... c Min unsat cost LB: 199266 ... c Min unsat cost LB: 199399 ... c Min unsat cost LB: 199430 ... c Min unsat cost LB: 199440 ... c Min unsat cost LB: 199643 ... c Min unsat cost LB: 199871 ... c Min unsat cost LB: 199901 ... c Min unsat cost LB: 200549 ... c Min unsat cost LB: 200714 ... c Min unsat cost LB: 200894 ... c Min unsat cost LB: 201986 ... c Min unsat cost LB: 202229 ... c Min unsat cost LB: 202270 ... c Min unsat cost LB: 202490 ... c Min unsat cost LB: 202743 ... c Min unsat cost LB: 203330 ... c Min unsat cost LB: 203455 ... c Min unsat cost LB: 203671 ... c Min unsat cost LB: 203800 ... c Min unsat cost LB: 204345 ... c Min unsat cost LB: 204353 ... c Min unsat cost LB: 204432 ... c Min unsat cost LB: 204630 ... c Min unsat cost LB: 204690 ... c Min unsat cost LB: 204733 ... c Min unsat cost LB: 205275 ... c Min unsat cost LB: 205345 ... c Min unsat cost LB: 205416 ... c Min unsat cost LB: 205451 ... c Min unsat cost LB: 205553 ... c Min unsat cost LB: 205679 ... c Min unsat cost LB: 205753 ... c Min unsat cost LB: 205816 ... c Min unsat cost LB: 205829 ... c Min unsat cost LB: 206018 ... c Min unsat cost LB: 206128 ... c Min unsat cost LB: 206194 ... c Min unsat cost LB: 206231 ... c Min unsat cost LB: 206305 ... c Min unsat cost LB: 206420 ... c Min unsat cost LB: 206429 ... c Min unsat cost LB: 206431 ... c Min unsat cost LB: 206501 ... c Min unsat cost LB: 206503 ... c Min unsat cost LB: 206538 ... c Min unsat cost LB: 206543 ... c Min unsat cost LB: 206561 ... c Min unsat cost LB: 206565 ... c Min unsat cost LB: 206631 ... c Min unsat cost LB: 206727 ... c Min unsat cost LB: 206821 ... c Min unsat cost LB: 207093 ... c Min unsat cost LB: 207548 ... c Min unsat cost LB: 207929 ... c Min unsat cost LB: 208200 ... c Min unsat cost LB: 208202 ... c Min unsat cost LB: 208226 ... c Min unsat cost LB: 208232 ... c Min unsat cost LB: 208233 ... c Min unsat cost LB: 208235 ... c Min unsat cost LB: 208301 ... c Min unsat cost LB: 208302 ... c Min unsat cost LB: 208310 ... c Min unsat cost LB: 208326 ... c Min unsat cost LB: 208339 ... c Min unsat cost LB: 208342 ... c Min unsat cost LB: 208346 ... c Min unsat cost LB: 208360 ... c Min unsat cost LB: 208436 ... c Min unsat cost LB: 208459 ... c Min unsat cost LB: 209224 ... c Min unsat cost LB: 209268 ... c Min unsat cost LB: 209493 ... c Min unsat cost LB: 209494 ... c Min unsat cost LB: 209495 ... c Min unsat cost LB: 209500 ... c Min unsat cost LB: 209501 ... c Min unsat cost LB: 209502 ... c Min unsat cost LB: 209519 ... c Min unsat cost LB: 210623 ... c Min unsat cost LB: 210882 ... c Min unsat cost LB: 210892 ... c Min unsat cost LB: 210917 ... c Min unsat cost LB: 210956 ... c Min unsat cost LB: 211616 ... c Min unsat cost LB: 211646 ... c Min unsat cost LB: 211670 ... c Min unsat cost LB: 212161 ... c Min unsat cost LB: 212165 ... c Min unsat cost LB: 212234 ... c Min unsat cost LB: 212282 ... c Min unsat cost LB: 212495 ... c Min unsat cost LB: 212523 ... c Min unsat cost LB: 212894 ... c Min unsat cost LB: 212984 ... c Min unsat cost LB: 213067 ... c Min unsat cost LB: 213122 ... c Min unsat cost LB: 213173 ... c Min unsat cost LB: 213327 ... c Min unsat cost LB: 213610 ... c Min unsat cost LB: 213645 ... c Min unsat cost LB: 213649 ... c Min unsat cost LB: 213697 ... c Min unsat cost LB: 213739 ... c Min unsat cost LB: 213742 ... c Min unsat cost LB: 213757 ... c Min unsat cost LB: 213791 ... c Min unsat cost LB: 213792 ... c Min unsat cost LB: 213805 ... c Min unsat cost LB: 213809 ... c Min unsat cost LB: 213812 ... c Min unsat cost LB: 213833 ... c Min unsat cost LB: 213843 ... c Min unsat cost LB: 213881 ... c Min unsat cost LB: 213916 ... c Min unsat cost LB: 213920 ... c Min unsat cost LB: 213925 ... c Min unsat cost LB: 214452 ... c Min unsat cost LB: 214456 ... c Min unsat cost LB: 214531 ... c Min unsat cost LB: 214551 ... c Min unsat cost LB: 214552 ... c Min unsat cost LB: 214555 ... c Min unsat cost LB: 214556 ... c Min unsat cost LB: 214572 ... c Min unsat cost LB: 214573 ... c Min unsat cost LB: 214575 ... c Min unsat cost LB: 214581 ... c Min unsat cost LB: 214585 ... c Min unsat cost LB: 214586 ... c Min unsat cost LB: 214587 ... c Min unsat cost LB: 214710 ... c Min unsat cost LB: 214714 ... c Min unsat cost LB: 214789 ... c Min unsat cost LB: 214791 ... c Min unsat cost LB: 214796 ... c Min unsat cost LB: 214992 ... c Min unsat cost LB: 214994 ... c Min unsat cost LB: 215003 ... c Min unsat cost LB: 215125 ... c Min unsat cost LB: 215230 ... c Min unsat cost LB: 215254 ... c Min unsat cost LB: 215382 ... c Min unsat cost LB: 215782 ... c Min unsat cost LB: 215809 ... c Min unsat cost LB: 215900 ... c Min unsat cost LB: 215901 ... c Min unsat cost LB: 215902 ... c Min unsat cost LB: 215906 ... c Min unsat cost LB: 215926 ... c Min unsat cost LB: 215931 ... c Min unsat cost LB: 215934 ... c Min unsat cost LB: 215935 ... c Min unsat cost LB: 215944 ... c Min unsat cost LB: 216958 ... c Min unsat cost LB: 217394 ... c Min unsat cost LB: 217396 ... c Min unsat cost LB: 217798 ... c Min unsat cost LB: 217894 ... c Min unsat cost LB: 217925 ... c Min unsat cost LB: 218177 ... c Min unsat cost LB: 218283 ... c Min unsat cost LB: 218376 ... c Min unsat cost LB: 219111 ... c Min unsat cost LB: 219320 ... c Min unsat cost LB: 219606 ... c Min unsat cost LB: 219619 ... c Min unsat cost LB: 219621 ... c Min unsat cost LB: 219634 ... c Min unsat cost LB: 219639 ... c Min unsat cost LB: 219640 ... c Min unsat cost LB: 219642 ... c Min unsat cost LB: 219690 ... c Min unsat cost LB: 219697 ... c Min unsat cost LB: 219815 ... c Min unsat cost LB: 219954 ... c Min unsat cost LB: 220020 ... c Min unsat cost LB: 220022 ... c Min unsat cost LB: 220027 ... c Min unsat cost LB: 220033 ... c Min unsat cost LB: 220152 ... c Min unsat cost LB: 221100 ... c Min unsat cost LB: 221403 ... c Min unsat cost LB: 221458 ... c Min unsat cost LB: 221484 ... c Min unsat cost LB: 221573 ... c Min unsat cost LB: 221682 ... c Min unsat cost LB: 221706 ... c Min unsat cost LB: 221717 ... c Min unsat cost LB: 221750 ... c Min unsat cost LB: 221776 ... c Min unsat cost LB: 222195 ... c Min unsat cost LB: 222385 ... c Min unsat cost LB: 222559 ... c Min unsat cost LB: 222686 ... c Min unsat cost LB: 222930 ... c Min unsat cost LB: 223043 ... c Min unsat cost LB: 223160 ... c Min unsat cost LB: 223167 ... c Min unsat cost LB: 223231 ... c Min unsat cost LB: 223232 ... c Min unsat cost LB: 223233 ... c Min unsat cost LB: 223234 ... c Min unsat cost LB: 223237 ... c Min unsat cost LB: 223238 ... c Min unsat cost LB: 223240 ... c Min unsat cost LB: 223243 ... c Min unsat cost LB: 223262 ... c Min unsat cost LB: 223264 ... c Min unsat cost LB: 223267 ... c Min unsat cost LB: 223268 ... c Min unsat cost LB: 223269 ... c Min unsat cost LB: 223271 ... c Min unsat cost LB: 223274 ... c Min unsat cost LB: 223278 ... c Min unsat cost LB: 223284 ... c Min unsat cost LB: 223287 ... c Min unsat cost LB: 223291 ... c Min unsat cost LB: 223295 ... c Min unsat cost LB: 223301 ... c Min unsat cost LB: 223303 ... c Min unsat cost LB: 223307 ... c Min unsat cost LB: 223308 ... c Min unsat cost LB: 223309 ... c Min unsat cost LB: 223310 ... c Min unsat cost LB: 223312 ... c Min unsat cost LB: 223313 ... c Min unsat cost LB: 223314 ... c Min unsat cost LB: 223321 ... c Min unsat cost LB: 223322 ... c Min unsat cost LB: 223323 ... c Min unsat cost LB: 223327 ... c Min unsat cost LB: 223337 ... c Min unsat cost LB: 223385 ... c Min unsat cost LB: 223388 ... c Min unsat cost LB: 223390 ... c Min unsat cost LB: 223391 ... c Min unsat cost LB: 223393 ... c Min unsat cost LB: 223394 ... c Min unsat cost LB: 223395 ... c Min unsat cost LB: 223397 ... c Min unsat cost LB: 223399 ... c Min unsat cost LB: 223400 ... c Min unsat cost LB: 223402 ... c Min unsat cost LB: 223404 ... c Min unsat cost LB: 223405 ... c Min unsat cost LB: 223406 ... c Min unsat cost LB: 223407 ... c Min unsat cost LB: 223409 ... c Min unsat cost LB: 223410 ... c Min unsat cost LB: 223411 ... c Min unsat cost LB: 223412 ... c Min unsat cost LB: 223413 ... c Min unsat cost LB: 223416 ... c Min unsat cost LB: 223417 ... c Min unsat cost LB: 223419 ... c Min unsat cost LB: 223423 ... c Min unsat cost LB: 223429 ... c Min unsat cost LB: 223433 ... c Min unsat cost LB: 223434 ... c Min unsat cost LB: 223435 ... c Min unsat cost LB: 223437 ... c Min unsat cost LB: 223439 ... c Min unsat cost LB: 223440 ... c Min unsat cost LB: 223441 ... c Min unsat cost LB: 223458 ... c Min unsat cost LB: 223472 ... c Min unsat cost LB: 223477 ... c Min unsat cost LB: 223479 ... c Min unsat cost LB: 223489 ... c Min unsat cost LB: 223493 ... c Min unsat cost LB: 223497 ... c Min unsat cost LB: 223498 ... c Min unsat cost LB: 223499 ... c Min unsat cost LB: 223501 ... c Min unsat cost LB: 223502 ... c Min unsat cost LB: 223504 ... c Min unsat cost LB: 223505 ... c Min unsat cost LB: 223506 ... c Min unsat cost LB: 223510 ... c Min unsat cost LB: 223511 ... c Min unsat cost LB: 223514 ... c Min unsat cost LB: 223516 ... c Min unsat cost LB: 223522 ... c Min unsat cost LB: 223523 ... c Min unsat cost LB: 223524 ... c Min unsat cost LB: 223525 ... c Min unsat cost LB: 223526 ... c Min unsat cost LB: 223527 ... c Min unsat cost LB: 223528 ... c Min unsat cost LB: 223529 ... c Min unsat cost LB: 223530 ... c Min unsat cost LB: 223531 ... c Min unsat cost LB: 223534 ... c Min unsat cost LB: 223535 ... c Min unsat cost LB: 223536 ... c Min unsat cost LB: 223537 ... c Min unsat cost LB: 223538 ... c Min unsat cost LB: 223539 ... c Min unsat cost LB: 223540 ... c Min unsat cost LB: 223541 ... c Min unsat cost LB: 223542 ... c Min unsat cost LB: 223543 ... c Min unsat cost LB: 223545 ... c Min unsat cost LB: 223546 ... c Min unsat cost LB: 223547 ... c Min unsat cost LB: 223548 ... c Min unsat cost LB: 223549 ... c Min unsat cost LB: 223550 ... c Min unsat cost LB: 223551 ... c Min unsat cost LB: 223552 ... c Min unsat cost LB: 223553 ... c Min unsat cost LB: 223554 ... c Min unsat cost LB: 223555 ... c Min unsat cost LB: 223557 ... c Min unsat cost LB: 223558 ... c Min unsat cost LB: 223559 ... c Min unsat cost LB: 223560 ... c Min unsat cost LB: 223561 ... c Min unsat cost LB: 223562 ... c Min unsat cost LB: 223563 ... c Min unsat cost LB: 223564 ... c Min unsat cost LB: 223565 ... c Min unsat cost LB: 223566 ... c Min unsat cost LB: 223567 ... c Min unsat cost LB: 223568 ... c Min unsat cost LB: 223569 ... c Min unsat cost LB: 223571 ... c Min unsat cost LB: 223575 ... c Min unsat cost LB: 223576 ... c Min unsat cost LB: 223580 ... c Min unsat cost LB: 223582 ... c Min unsat cost LB: 223583 ... c Min unsat cost LB: 223585 ... c Min unsat cost LB: 223586 ... c Min unsat cost LB: 223587 ... c Min unsat cost LB: 223588 ... c Min unsat cost LB: 223589 ... c Min unsat cost LB: 223590 ... c Min unsat cost LB: 223591 ... c Min unsat cost LB: 223592 ... c Min unsat cost LB: 223593 ... c Min unsat cost LB: 223595 ... c Min unsat cost LB: 223612 ... c Min unsat cost LB: 223646 ... c Min unsat cost LB: 223655 ... c Min unsat cost LB: 223688 ... c Min unsat cost LB: 223759 ... c Min unsat cost LB: 223876 ... c Min unsat cost LB: 223887 ... c Min unsat cost LB: 223889 ... c Min unsat cost LB: 223906 ... c Min unsat cost LB: 223981 ... c Min unsat cost LB: 224001 ... c Min unsat cost LB: 224059 ... c Min unsat cost LB: 224064 ... c Min unsat cost LB: 224222 ... c Min unsat cost LB: 2242