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-280-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-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-280-1_network-10.net.wcnf *** c c Min unsat cost LB: 579 ... c Min unsat cost LB: 1551 ... c Min unsat cost LB: 2883 ... c Min unsat cost LB: 4061 ... c Min unsat cost LB: 4950 ... c Min unsat cost LB: 5263 ... c Min unsat cost LB: 7159 ... c Min unsat cost LB: 8165 ... c Min unsat cost LB: 8390 ... c Min unsat cost LB: 9697 ... c Min unsat cost LB: 10757 ... c Min unsat cost LB: 11326 ... c Min unsat cost LB: 12651 ... c Min unsat cost LB: 15173 ... c Min unsat cost LB: 15952 ... c Min unsat cost LB: 17424 ... c Min unsat cost LB: 17824 ... c Min unsat cost LB: 18058 ... c Min unsat cost LB: 18077 ... c Min unsat cost LB: 18257 ... c Min unsat cost LB: 18600 ... c Min unsat cost LB: 19049 ... c Min unsat cost LB: 19135 ... c Min unsat cost LB: 19497 ... c Min unsat cost LB: 19802 ... c Min unsat cost LB: 20152 ... c Min unsat cost LB: 20768 ... c Min unsat cost LB: 21226 ... c Min unsat cost LB: 22599 ... c Min unsat cost LB: 23147 ... c Min unsat cost LB: 23309 ... c Min unsat cost LB: 24553 ... c Min unsat cost LB: 24806 ... c Min unsat cost LB: 25978 ... c Min unsat cost LB: 26110 ... c Min unsat cost LB: 27312 ... c Min unsat cost LB: 28278 ... c Min unsat cost LB: 29121 ... c Min unsat cost LB: 29890 ... c Min unsat cost LB: 30039 ... c Min unsat cost LB: 30127 ... c Min unsat cost LB: 30742 ... c Min unsat cost LB: 31716 ... c Min unsat cost LB: 32651 ... c Min unsat cost LB: 32784 ... c Min unsat cost LB: 34038 ... c Min unsat cost LB: 34914 ... c Min unsat cost LB: 35137 ... c Min unsat cost LB: 35830 ... c Min unsat cost LB: 37438 ... c Min unsat cost LB: 37832 ... c Min unsat cost LB: 38597 ... c Min unsat cost LB: 40602 ... c Min unsat cost LB: 42073 ... c Min unsat cost LB: 42850 ... c Min unsat cost LB: 43690 ... c Min unsat cost LB: 44351 ... c Min unsat cost LB: 46068 ... c Min unsat cost LB: 46982 ... c Min unsat cost LB: 47604 ... c Min unsat cost LB: 48962 ... c Min unsat cost LB: 49314 ... c Min unsat cost LB: 49644 ... c Min unsat cost LB: 49894 ... c Min unsat cost LB: 50563 ... c Min unsat cost LB: 51316 ... c Min unsat cost LB: 51505 ... c Min unsat cost LB: 51749 ... c Min unsat cost LB: 51914 ... c Min unsat cost LB: 52287 ... c Min unsat cost LB: 53120 ... c Min unsat cost LB: 53456 ... c Min unsat cost LB: 54406 ... c Min unsat cost LB: 54810 ... c Min unsat cost LB: 55110 ... c Min unsat cost LB: 55391 ... c Min unsat cost LB: 55507 ... c Min unsat cost LB: 56012 ... c Min unsat cost LB: 56224 ... c Min unsat cost LB: 56414 ... c Min unsat cost LB: 56895 ... c Min unsat cost LB: 56954 ... c Min unsat cost LB: 56983 ... c Min unsat cost LB: 57634 ... c Min unsat cost LB: 57981 ... c Min unsat cost LB: 58551 ... c Min unsat cost LB: 58604 ... c Min unsat cost LB: 59140 ... c Min unsat cost LB: 59456 ... c Min unsat cost LB: 60029 ... c Min unsat cost LB: 60305 ... c Min unsat cost LB: 61228 ... c Min unsat cost LB: 61371 ... c Min unsat cost LB: 61490 ... c Min unsat cost LB: 61519 ... c Min unsat cost LB: 61765 ... c Min unsat cost LB: 62988 ... c Min unsat cost LB: 63573 ... c Min unsat cost LB: 63773 ... c Min unsat cost LB: 63826 ... c Min unsat cost LB: 64084 ... c Min unsat cost LB: 64500 ... c Min unsat cost LB: 65002 ... c Min unsat cost LB: 65008 ... c Min unsat cost LB: 65232 ... c Min unsat cost LB: 65346 ... c Min unsat cost LB: 66720 ... c Min unsat cost LB: 66895 ... c Min unsat cost LB: 67135 ... c Min unsat cost LB: 68193 ... c Min unsat cost LB: 68433 ... c Min unsat cost LB: 68538 ... c Min unsat cost LB: 69015 ... c Min unsat cost LB: 69611 ... c Min unsat cost LB: 69768 ... c Min unsat cost LB: 70061 ... c Min unsat cost LB: 70192 ... c Min unsat cost LB: 70549 ... c Min unsat cost LB: 71433 ... c Min unsat cost LB: 71552 ... c Min unsat cost LB: 71592 ... c Min unsat cost LB: 71809 ... c Min unsat cost LB: 71852 ... c Min unsat cost LB: 71944 ... c Min unsat cost LB: 71989 ... c Min unsat cost LB: 72072 ... c Min unsat cost LB: 72361 ... c Min unsat cost LB: 72800 ... c Min unsat cost LB: 73124 ... c Min unsat cost LB: 73153 ... c Min unsat cost LB: 73175 ... c Min unsat cost LB: 73285 ... c Min unsat cost LB: 73953 ... c Min unsat cost LB: 74009 ... c Min unsat cost LB: 75127 ... c Min unsat cost LB: 75437 ... c Min unsat cost LB: 75462 ... c Min unsat cost LB: 75533 ... c Min unsat cost LB: 75677 ... c Min unsat cost LB: 75762 ... c Min unsat cost LB: 75871 ... c Min unsat cost LB: 76611 ... c Min unsat cost LB: 77180 ... c Min unsat cost LB: 77979 ... c Min unsat cost LB: 78192 ... c Min unsat cost LB: 78205 ... c Min unsat cost LB: 78277 ... c Min unsat cost LB: 78415 ... c Min unsat cost LB: 78418 ... c Min unsat cost LB: 79081 ... c Min unsat cost LB: 79187 ... c Min unsat cost LB: 79226 ... c Min unsat cost LB: 79556 ... c Min unsat cost LB: 80207 ... c Min unsat cost LB: 80280 ... c Min unsat cost LB: 80481 ... c Min unsat cost LB: 80512 ... c Min unsat cost LB: 81388 ... c Min unsat cost LB: 81595 ... c Min unsat cost LB: 81970 ... c Min unsat cost LB: 82053 ... c Min unsat cost LB: 82104 ... c Min unsat cost LB: 82329 ... c Min unsat cost LB: 82646 ... c Min unsat cost LB: 82956 ... c Min unsat cost LB: 84130 ... c Min unsat cost LB: 84161 ... c Min unsat cost LB: 84416 ... c Min unsat cost LB: 84977 ... c Min unsat cost LB: 85209 ... c Min unsat cost LB: 85279 ... c Min unsat cost LB: 85561 ... c Min unsat cost LB: 85771 ... c Min unsat cost LB: 85902 ... c Min unsat cost LB: 85940 ... c Min unsat cost LB: 85971 ... c Min unsat cost LB: 85984 ... c Min unsat cost LB: 86075 ... c Min unsat cost LB: 87109 ... c Min unsat cost LB: 87148 ... c Min unsat cost LB: 87311 ... c Min unsat cost LB: 87350 ... c Min unsat cost LB: 87434 ... c Min unsat cost LB: 87439 ... c Min unsat cost LB: 87961 ... c Min unsat cost LB: 88332 ... c Min unsat cost LB: 88475 ... c Min unsat cost LB: 88796 ... c Min unsat cost LB: 88882 ... c Min unsat cost LB: 89616 ... c Min unsat cost LB: 90173 ... c Min unsat cost LB: 91213 ... c Min unsat cost LB: 91252 ... c Min unsat cost LB: 91300 ... c Min unsat cost LB: 91332 ... c Min unsat cost LB: 91376 ... c Min unsat cost LB: 91585 ... c Min unsat cost LB: 91656 ... c Min unsat cost LB: 91695 ... c Min unsat cost LB: 92088 ... c Min unsat cost LB: 92205 ... c Min unsat cost LB: 93066 ... c Min unsat cost LB: 93122 ... c Min unsat cost LB: 93460 ... c Min unsat cost LB: 94265 ... c Min unsat cost LB: 94590 ... c Min unsat cost LB: 94784 ... c Min unsat cost LB: 95112 ... c Min unsat cost LB: 95735 ... c Min unsat cost LB: 95915 ... c Min unsat cost LB: 95920 ... c Min unsat cost LB: 96001 ... c Min unsat cost LB: 96135 ... c Min unsat cost LB: 96137 ... c Min unsat cost LB: 96148 ... c Min unsat cost LB: 96345 ... c Min unsat cost LB: 96347 ... c Min unsat cost LB: 96349 ... c Min unsat cost LB: 96360 ... c Min unsat cost LB: 96509 ... c Min unsat cost LB: 96736 ... c Min unsat cost LB: 96841 ... c Min unsat cost LB: 97241 ... c Min unsat cost LB: 97549 ... c Min unsat cost LB: 98329 ... c Min unsat cost LB: 98471 ... c Min unsat cost LB: 98494 ... c Min unsat cost LB: 98517 ... c Min unsat cost LB: 99064 ... c Min unsat cost LB: 99465 ... c Min unsat cost LB: 100606 ... c Min unsat cost LB: 100741 ... c Min unsat cost LB: 101313 ... c Min unsat cost LB: 101574 ... c Min unsat cost LB: 101629 ... c Min unsat cost LB: 101927 ... c Min unsat cost LB: 102340 ... c Min unsat cost LB: 102470 ... c Min unsat cost LB: 102855 ... c Min unsat cost LB: 103381 ... c Min unsat cost LB: 103528 ... c Min unsat cost LB: 103695 ... c Min unsat cost LB: 103775 ... c Min unsat cost LB: 103881 ... c Min unsat cost LB: 104130 ... c Min unsat cost LB: 104722 ... c Min unsat cost LB: 105760 ... c Min unsat cost LB: 105871 ... c Min unsat cost LB: 106363 ... c Min unsat cost LB: 106562 ... c Min unsat cost LB: 106608 ... c Min unsat cost LB: 106686 ... c Min unsat cost LB: 107457 ... c Min unsat cost LB: 107513 ... c Min unsat cost LB: 107688 ... c Min unsat cost LB: 108047 ... c Min unsat cost LB: 108234 ... c Min unsat cost LB: 108512 ... c Min unsat cost LB: 108609 ... c Min unsat cost LB: 108810 ... c Min unsat cost LB: 109172 ... c Min unsat cost LB: 109364 ... c Min unsat cost LB: 109404 ... c Min unsat cost LB: 109549 ... c Min unsat cost LB: 109576 ... c Min unsat cost LB: 109701 ... c Min unsat cost LB: 109777 ... c Min unsat cost LB: 109805 ... c Min unsat cost LB: 110124 ... c Min unsat cost LB: 111337 ... c Min unsat cost LB: 111389 ... c Min unsat cost LB: 111722 ... c Min unsat cost LB: 111973 ... c Min unsat cost LB: 112508 ... c Min unsat cost LB: 113626 ... c Min unsat cost LB: 113786 ... c Min unsat cost LB: 113878 ... c Min unsat cost LB: 114588 ... c Min unsat cost LB: 115180 ... c Min unsat cost LB: 115324 ... c Min unsat cost LB: 115577 ... c Min unsat cost LB: 115909 ... c Min unsat cost LB: 116113 ... c Min unsat cost LB: 116975 ... c Min unsat cost LB: 117089 ... c Min unsat cost LB: 117151 ... c Min unsat cost LB: 117241 ... c Min unsat cost LB: 117473 ... c Min unsat cost LB: 117747 ... c Min unsat cost LB: 117892 ... c Min unsat cost LB: 118059 ... c Min unsat cost LB: 118160 ... c Min unsat cost LB: 118467 ... c Min unsat cost LB: 118802 ... c Min unsat cost LB: 119327 ... c Min unsat cost LB: 119634 ... c Min unsat cost LB: 119925 ... c Min unsat cost LB: 120092 ... c Min unsat cost LB: 120470 ... c Min unsat cost LB: 121104 ... c Min unsat cost LB: 121514 ... c Min unsat cost LB: 121633 ... c Min unsat cost LB: 122374 ... c Min unsat cost LB: 122626 ... c Min unsat cost LB: 122876 ... c Min unsat cost LB: 123804 ... c Min unsat cost LB: 124162 ... c Min unsat cost LB: 124865 ... c Min unsat cost LB: 125204 ... c Min unsat cost LB: 125431 ... c Min unsat cost LB: 125566 ... c Min unsat cost LB: 125995 ... c Min unsat cost LB: 126545 ... c Min unsat cost LB: 127271 ... c Min unsat cost LB: 127340 ... c Min unsat cost LB: 127403 ... c Min unsat cost LB: 127414 ... c Min unsat cost LB: 127963 ... c Min unsat cost LB: 128212 ... c Min unsat cost LB: 128451 ... c Min unsat cost LB: 128615 ... c Min unsat cost LB: 129243 ... c Min unsat cost LB: 129545 ... c Min unsat cost LB: 129694 ... c Min unsat cost LB: 129701 ... c Min unsat cost LB: 129806 ... c Min unsat cost LB: 129819 ... c Min unsat cost LB: 129830 ... c Min unsat cost LB: 130295 ... c Min unsat cost LB: 130768 ... c Min unsat cost LB: 131550 ... c Min unsat cost LB: 131655 ... c Min unsat cost LB: 131718 ... c Min unsat cost LB: 131817 ... c Min unsat cost LB: 132101 ... c Min unsat cost LB: 132281 ... c Min unsat cost LB: 132360 ... c Min unsat cost LB: 132429 ... c Min unsat cost LB: 132652 ... c Min unsat cost LB: 133105 ... c Min unsat cost LB: 133146 ... c Min unsat cost LB: 133213 ... c Min unsat cost LB: 133257 ... c Min unsat cost LB: 133715 ... c Min unsat cost LB: 134479 ... c Min unsat cost LB: 136101 ... c Min unsat cost LB: 136136 ... c Min unsat cost LB: 136369 ... c Min unsat cost LB: 136456 ... c Min unsat cost LB: 136671 ... c Min unsat cost LB: 136687 ... c Min unsat cost LB: 136823 ... c Min unsat cost LB: 137275 ... c Min unsat cost LB: 138366 ... c Min unsat cost LB: 138448 ... c Min unsat cost LB: 138522 ... c Min unsat cost LB: 138624 ... c Min unsat cost LB: 138660 ... c Min unsat cost LB: 138755 ... c Min unsat cost LB: 139472 ... c Min unsat cost LB: 139488 ... c Min unsat cost LB: 139628 ... c Min unsat cost LB: 139853 ... c Min unsat cost LB: 139919 ... c Min unsat cost LB: 140114 ... c Min unsat cost LB: 140624 ... c Min unsat cost LB: 141110 ... c Min unsat cost LB: 141302 ... c Min unsat cost LB: 141343 ... c Min unsat cost LB: 141842 ... c Min unsat cost LB: 141960 ... c Min unsat cost LB: 142158 ... c Min unsat cost LB: 142269 ... c Min unsat cost LB: 142447 ... c Min unsat cost LB: 142498 ... c Min unsat cost LB: 143144 ... c Min unsat cost LB: 143152 ... c Min unsat cost LB: 143546 ... c Min unsat cost LB: 143725 ... c Min unsat cost LB: 144222 ... c Min unsat cost LB: 144631 ... c Min unsat cost LB: 145029 ... c Min unsat cost LB: 145694 ... c Min unsat cost LB: 146073 ... c Min unsat cost LB: 146359 ... c Min unsat cost LB: 146380 ... c Min unsat cost LB: 147100 ... c Min unsat cost LB: 147107 ... c Min unsat cost LB: 147348 ... c Min unsat cost LB: 147852 ... c Min unsat cost LB: 148418 ... c Min unsat cost LB: 148548 ... c Min unsat cost LB: 149071 ... c Min unsat cost LB: 149238 ... c Min unsat cost LB: 149550 ... c Min unsat cost LB: 150005 ... c Min unsat cost LB: 150463 ... c Min unsat cost LB: 150879 ... c Min unsat cost LB: 151070 ... c Min unsat cost LB: 151404 ... c Min unsat cost LB: 151576 ... c Min unsat cost LB: 152137 ... c Min unsat cost LB: 152233 ... c Min unsat cost LB: 152692 ... c Min unsat cost LB: 153098 ... c Min unsat cost LB: 154128 ... c Min unsat cost LB: 154143 ... c Min unsat cost LB: 154285 ... c Min unsat cost LB: 154364 ... c Min unsat cost LB: 154577 ... c Min unsat cost LB: 155132 ... c Min unsat cost LB: 155188 ... c Min unsat cost LB: 155969 ... c Min unsat cost LB: 155975 ... c Min unsat cost LB: 156108 ... c Min unsat cost LB: 156288 ... c Min unsat cost LB: 156361 ... c Min unsat cost LB: 156633 ... c Min unsat cost LB: 156657 ... c Min unsat cost LB: 157316 ... c Min unsat cost LB: 157849 ... c Min unsat cost LB: 158360 ... c Min unsat cost LB: 158500 ... c Min unsat cost LB: 159071 ... c Min unsat cost LB: 159482 ... c Min unsat cost LB: 159643 ... c Min unsat cost LB: 160003 ... c Min unsat cost LB: 160470 ... c Min unsat cost LB: 161115 ... c Min unsat cost LB: 161642 ... c Min unsat cost LB: 161829 ... c Min unsat cost LB: 162361 ... c Min unsat cost LB: 162580 ... c Min unsat cost LB: 163520 ... c Min unsat cost LB: 163553 ... c Min unsat cost LB: 163894 ... c Min unsat cost LB: 163945 ... c Min unsat cost LB: 163983 ... c Min unsat cost LB: 164021 ... c Min unsat cost LB: 164113 ... c Min unsat cost LB: 164186 ... c Min unsat cost LB: 164319 ... c Min unsat cost LB: 164414 ... c Min unsat cost LB: 164801 ... c Min unsat cost LB: 166014 ... c Min unsat cost LB: 166160 ... c Min unsat cost LB: 166321 ... c Min unsat cost LB: 166373 ... c Min unsat cost LB: 166384 ... c Min unsat cost LB: 166473 ... c Min unsat cost LB: 166502 ... c Min unsat cost LB: 166663 ... c Min unsat cost LB: 166689 ... c Min unsat cost LB: 166748 ... c Min unsat cost LB: 166856 ... c Min unsat cost LB: 167383 ... c Min unsat cost LB: 167723 ... c Min unsat cost LB: 168493 ... c Min unsat cost LB: 168669 ... c Min unsat cost LB: 169184 ... c Min unsat cost LB: 169481 ... c Min unsat cost LB: 169533 ... c Min unsat cost LB: 169799 ... c Min unsat cost LB: 169902 ... c Min unsat cost LB: 170038 ... c Min unsat cost LB: 170102 ... c Min unsat cost LB: 170115 ... c Min unsat cost LB: 170126 ... c Min unsat cost LB: 170141 ... c Min unsat cost LB: 170159 ... c Min unsat cost LB: 170174 ... c Min unsat cost LB: 170283 ... c Min unsat cost LB: 170472 ... c Min unsat cost LB: 170950 ... c Min unsat cost LB: 171157 ... c Min unsat cost LB: 171350 ... c Min unsat cost LB: 172029 ... c Min unsat cost LB: 172266 ... c Min unsat cost LB: 172932 ... c Min unsat cost LB: 172986 ... c Min unsat cost LB: 173001 ... c Min unsat cost LB: 173027 ... c Min unsat cost LB: 173272 ... c Min unsat cost LB: 173305 ... c Min unsat cost LB: 173382 ... c Min unsat cost LB: 173387 ... c Min unsat cost LB: 174017 ... c Min unsat cost LB: 174169 ... c Min unsat cost LB: 174243 ... c Min unsat cost LB: 174286 ... c Min unsat cost LB: 175074 ... c Min unsat cost LB: 175317 ... c Min unsat cost LB: 175525 ... c Min unsat cost LB: 175553 ... c Min unsat cost LB: 175616 ... c Min unsat cost LB: 175673 ... c Min unsat cost LB: 175676 ... c Min unsat cost LB: 175697 ... c Min unsat cost LB: 175799 ... c Min unsat cost LB: 175850 ... c Min unsat cost LB: 175918 ... c Min unsat cost LB: 176034 ... c Min unsat cost LB: 176240 ... c Min unsat cost LB: 176369 ... c Min unsat cost LB: 176917 ... c Min unsat cost LB: 177509 ... c Min unsat cost LB: 177611 ... c Min unsat cost LB: 177625 ... c Min unsat cost LB: 177727 ... c Min unsat cost LB: 177731 ... c Min unsat cost LB: 177767 ... c Min unsat cost LB: 178212 ... c Min unsat cost LB: 178322 ... c Min unsat cost LB: 178455 ... c Min unsat cost LB: 178697 ... c Min unsat cost LB: 178887 ... c Min unsat cost LB: 178891 ... c Min unsat cost LB: 179147 ... c Min unsat cost LB: 179352 ... c Min unsat cost LB: 179654 ... c Min unsat cost LB: 179664 ... c Min unsat cost LB: 179752 ... c Min unsat cost LB: 180050 ... c Min unsat cost LB: 181079 ... c Min unsat cost LB: 181119 ... c Min unsat cost LB: 181263 ... c Min unsat cost LB: 181305 ... c Min unsat cost LB: 182199 ... c Min unsat cost LB: 182275 ... c Min unsat cost LB: 182292 ... c Min unsat cost LB: 182749 ... c Min unsat cost LB: 183551 ... c Min unsat cost LB: 183693 ... c Min unsat cost LB: 184104 ... c Min unsat cost LB: 184368 ... c Min unsat cost LB: 184472 ... c Min unsat cost LB: 184617 ... c Min unsat cost LB: 184635 ... c Min unsat cost LB: 185060 ... c Min unsat cost LB: 185084 ... c Min unsat cost LB: 185506 ... c Min unsat cost LB: 185580 ... c Min unsat cost LB: 185655 ... c Min unsat cost LB: 186272 ... c Min unsat cost LB: 186312 ... c Min unsat cost LB: 186318 ... c Min unsat cost LB: 186358 ... c Min unsat cost LB: 186489 ... c Min unsat cost LB: 186561 ... c Min unsat cost LB: 186562 ... c Min unsat cost LB: 186602 ... c Min unsat cost LB: 186644 ... c Min unsat cost LB: 186668 ... c Min unsat cost LB: 186672 ... c Min unsat cost LB: 186711 ... c Min unsat cost LB: 186724 ... c Min unsat cost LB: 187048 ... c Min unsat cost LB: 187069 ... c Min unsat cost LB: 187072 ... c Min unsat cost LB: 187101 ... c Min unsat cost LB: 187126 ... c Min unsat cost LB: 187134 ... c Min unsat cost LB: 188362 ... c Min unsat cost LB: 188435 ... c Min unsat cost LB: 188441 ... c Min unsat cost LB: 188515 ... c Min unsat cost LB: 189339 ... c Min unsat cost LB: 189394 ... c Min unsat cost LB: 189911 ... c Min unsat cost LB: 189923 ... c Min unsat cost LB: 190430 ... c Min unsat cost LB: 190673 ... c Min unsat cost LB: 190778 ... c Min unsat cost LB: 191432 ... c Min unsat cost LB: 191513 ... c Min unsat cost LB: 191652 ... c Min unsat cost LB: 191813 ... c Min unsat cost LB: 192493 ... c Min unsat cost LB: 193246 ... c Min unsat cost LB: 193367 ... c Min unsat cost LB: 193664 ... c Min unsat cost LB: 193819 ... c Min unsat cost LB: 193977 ... c Min unsat cost LB: 194437 ... c Min unsat cost LB: 194457 ... c Min unsat cost LB: 195524 ... c Min unsat cost LB: 195690 ... c Min unsat cost LB: 196001 ... c Min unsat cost LB: 196196 ... c Min unsat cost LB: 196609 ... c Min unsat cost LB: 197346 ... c Min unsat cost LB: 197592 ... c Min unsat cost LB: 197918 ... c Min unsat cost LB: 197989 ... c Min unsat cost LB: 198007 ... c Min unsat cost LB: 198090 ... c Min unsat cost LB: 198700 ... c Min unsat cost LB: 199681 ... c Min unsat cost LB: 199887 ... c Min unsat cost LB: 199982 ... c Min unsat cost LB: 200198 ... c Min unsat cost LB: 201601 ... c Min unsat cost LB: 201639 ... c Min unsat cost LB: 201866 ... c Min unsat cost LB: 201947 ... c Min unsat cost LB: 202019 ... c Min unsat cost LB: 202042 ... c Min unsat cost LB: 202676 ... c Min unsat cost LB: 202831 ... c Min unsat cost LB: 203219 ... c Min unsat cost LB: 203522 ... c Min unsat cost LB: 203755 ... c Min unsat cost LB: 204059 ... c Min unsat cost LB: 204366 ... c Min unsat cost LB: 204571 ... c Min unsat cost LB: 204625 ... c Min unsat cost LB: 204649 ... c Min unsat cost LB: 205231 ... c Min unsat cost LB: 205244 ... c Min unsat cost LB: 205250 ... c Min unsat cost LB: 205306 ... c Min unsat cost LB: 205565 ... c Min unsat cost LB: 205614 ... c Min unsat cost LB: 206529 ... c Min unsat cost LB: 206830 ... c Min unsat cost LB: 207267 ... c Min unsat cost LB: 207504 ... c Min unsat cost LB: 208317 ... c Min unsat cost LB: 208550 ... c Min unsat cost LB: 208891 ... c Min unsat cost LB: 208908 ... c Min unsat cost LB: 208963 ... c Min unsat cost LB: 208971 ... c Min unsat cost LB: 209100 ... c Min unsat cost LB: 209164 ... c Min unsat cost LB: 209197 ... c Min unsat cost LB: 209466 ... c Min unsat cost LB: 209749 ... c Min unsat cost LB: 209772 ... c Min unsat cost LB: 210136 ... c Min unsat cost LB: 210170 ... c Min unsat cost LB: 210436 ... c Min unsat cost LB: 210457 ... c Min unsat cost LB: 210704 ... c Min unsat cost LB: 210712 ... c Min unsat cost LB: 210977 ... c Min unsat cost LB: 210980 ... c Min unsat cost LB: 211842 ... c Min unsat cost LB: 212082 ... c Min unsat cost LB: 212286 ... c Min unsat cost LB: 212303 ... c Min unsat cost LB: 212342 ... c Min unsat cost LB: 212375 ... c Min unsat cost LB: 212475 ... c Min unsat cost LB: 212511 ... c Min unsat cost LB: 212630 ... c Min unsat cost LB: 212747 ... c Min unsat cost LB: 213465 ... c Min unsat cost LB: 213719 ... c Min unsat cost LB: 214613 ... c Min unsat cost LB: 214787 ... c Min unsat cost LB: 215167 ... c Min unsat cost LB: 215282 ... c Min unsat cost LB: 215792 ... c Min unsat cost LB: 216217 ... c Min unsat cost LB: 216652 ... c Min unsat cost LB: 216655 ... c Min unsat cost LB: 216988 ... c Min unsat cost LB: 218374 ... c Min unsat cost LB: 218397 ... c Min unsat cost LB: 218462 ... c Min unsat cost LB: 218777 ... c Min unsat cost LB: 218898 ... c Min unsat cost LB: 218912 ... c Min unsat cost LB: 219054 ... c Min unsat cost LB: 219666 ... c Min unsat cost LB: 219713 ... c Min unsat cost LB: 219852 ... c Min unsat cost LB: 220466 ... c Min unsat cost LB: 220885 ... c Min unsat cost LB: 220889 ... c Min unsat cost LB: 220957 ... c Min unsat cost LB: 220979 ... c Min unsat cost LB: 221130 ... c Min unsat cost LB: 221134 ... c Min unsat cost LB: 221202 ... c Min unsat cost LB: 221215 ... c Min unsat cost LB: 221220 ... c Min unsat cost LB: 221235 ... c Min unsat cost LB: 221916 ... c Min unsat cost LB: 222047 ... c Min unsat cost LB: 222174 ... c Min unsat cost LB: 222189 ... c Min unsat cost LB: 222192 ... c Min unsat cost LB: 222202 ... c Min unsat cost LB: 222207 ... c Min unsat cost LB: 222228 ... c Min unsat cost LB: 222244 ... c Min unsat cost LB: 222301 ... c Min unsat cost LB: 222316 ... c Min unsat cost LB: 222423 ... c Min unsat cost LB: 223114 ... c Min unsat cost LB: 223184 ... c Min unsat cost LB: 223962 ... c Min unsat cost LB: 223975 ... c Min unsat cost LB: 223992 ... c Min unsat cost LB: 224018 ... c Min unsat cost LB: 224021 ... c Min unsat cost LB: 224029 ... c Min unsat cost LB: 224059 ... c Min unsat cost LB: 224072 ... c Min unsat cost LB: 224139 ... c Min unsat cost LB: 224502 ... c Min unsat cost LB: 225326 ... c Min unsat cost LB: 225565 ... c Min unsat cost LB: 225973 ... c Min unsat cost LB: 226450 ... c Min unsat cost LB: 227187 ... c Min unsat cost LB: 227398 ... c Min unsat cost LB: 227504 ... c Min unsat cost LB: 227540 ... c Min unsat cost LB: 227544 ... c Min unsat cost LB: 227565 ... c Min unsat cost LB: 227588 ... c Min unsat cost LB: 227615 ... c Min unsat cost LB: 227632 ... c Min unsat cost LB: 227956 ... c Min unsat cost LB: 228050 ... c Min unsat cost LB: 228457 ... c Min unsat cost LB: 228861 ... c Min unsat cost LB: 228872 ... c Min unsat cost LB: 228880 ... c Min unsat cost LB: 228885 ... c Min unsat cost LB: 228902 ... c Min unsat cost LB: 228915 ... c Min unsat cost LB: 228938 ... c Min unsat cost LB: 228941 ... c Min unsat cost LB: 228944 ... c Min unsat cost LB: 228949 ... c Min unsat cost LB: 228952 ... c Min unsat cost LB: 228957 ... c Min unsat cost LB: 228961 ... c Min unsat cost LB: 228964 ... c Min unsat cost LB: 228967 ... c Min unsat cost LB: 228970 ... c Min unsat cost LB: 228972 ... c Min unsat cost LB: 228984 ... c Min unsat cost LB: 228987 ... c Min unsat cost LB: 228990 ... c Min unsat cost LB: 228993 ... c Min unsat cost LB: 228996 ... c Min unsat cost LB: 228998 ... c Min unsat cost LB: 229001 ... c Min unsat cost LB: 229002 ... c Min unsat cost LB: 229435 ... c Min unsat cost LB: 229439 ... c Min unsat cost LB: 229442 ... c Min unsat cost LB: 229444 ... c Min unsat cost LB: 229447 ... c Min unsat cost LB: 230101 ... c Min unsat cost LB: 230230 ... c Min unsat cost LB: 230233 ... c Min unsat cost LB: 230234 ... c Min unsat cost LB: 230238 ... c Min unsat cost LB: 230680 ... c Min unsat cost LB: 230838 ... c Min unsat cost LB: 230857 ... c Min unsat cost LB: 230961 ... c Min unsat cost LB: 231656 ... c Min unsat cost LB: 231659 ... c Min unsat cost LB: 231661 ... c Min unsat cost LB: 231664 ... c Min unsat cost LB: 231667 ... c Min unsat cost LB: 231670 ... c Min unsat cost LB: 231673 ... c Min unsat cost LB: 231679 ... c Min unsat cost LB: 231797 ... c Min unsat cost LB: 232458 ... c Min unsat cost LB: 232902 ... c Min unsat cost LB: 232909 ... c Min unsat cost LB: 232948 ... c Min unsat cost LB: 232978 ... c Min unsat cost LB: 233006 ... c Min unsat cost LB: 233008 ... c Min unsat cost LB: 233012 ... c Min unsat cost LB: 233013 ... c Min unsat cost LB: 233015 ... c Min unsat cost LB: 233018 ... c Min unsat cost LB: 233019 ... c Min unsat cost LB: 233025 ... c Min unsat cost LB: 233054 ... c Min unsat cost LB: 233058 ... c Min unsat cost LB: 233060 ... c Min unsat cost LB: 233063 ... c Min unsat cost LB: 233065 ... c Min unsat cost LB: 233066 ... c Min unsat cost LB: 233069 ... c Min unsat cost LB: 233072 ... c Min unsat cost LB: 233073 ... c Min unsat cost LB: 233075 ... c Min unsat cost LB: 233077 ... c Min unsat cost LB: 233082 ... c Min unsat cost LB: 233085 ... c Min unsat cost LB: 233088 ... c Min unsat cost LB: 233091 ... c Min unsat cost LB: 233092 ... c Min unsat cost LB: 233093 ... c Min unsat cost LB: 233095 ... c Min unsat cost LB: 233097 ... c Min unsat cost LB: 233098 ... c Min unsat cost LB: 233101 ... c Min unsat cost LB: 233104 ... c Min unsat cost LB: 233112 ... c Min unsat cost LB: 233115 ... c Min unsat cost LB: 233121 ... c Min unsat cost LB: 233143 ... c Min unsat cost LB: 233146 ... c Min unsat cost LB: 233152 ... c Min unsat cost LB: 233153 ... c Min unsat cost LB: 233156 ... c Min unsat cost LB: 233157 ... c Min unsat cost LB: 233159 ... c Min unsat cost LB: 233165 ... c Min unsat cost LB: 233168 ... c Min unsat cost LB: 233172 ... c Min unsat cost LB: 233174 ... c Min unsat cost LB: 233175 ... c Min unsat cost LB: 233177 ... c Min unsat cost LB: 233178 ... c Min unsat cost LB: 233181 ... c Min unsat cost LB: 233182 ... c Min unsat cost LB: 233183 ... c Min unsat cost LB: 233184 ... c Min unsat cost LB: 233185 ... c Min unsat cost LB: 233186 ... c Min unsat cost LB: 233189 ... c Min unsat cost LB: 233444 ... c Min unsat cost LB: 233538 ... c Min unsat cost LB: 233641 ... c Min unsat cost LB: 233645 ... c Min unsat cost LB: 233651 ... c Min unsat cost LB: 233657 ... c Min unsat cost LB: 233665 ... c Min unsat cost LB: 233694 ... c Min unsat cost LB: 233696 ... c Min unsat cost LB: 233697 ... c Min unsat cost LB: 233699 ... c Min unsat cost LB: 233700 ... c Min unsat cost LB: 233703 ... c Min unsat cost LB: 233704 ... c Min unsat cost LB: 233705 ... c Min unsat cost LB: 233706 ... c Min unsat cost LB: 233707 ... c Min unsat cost LB: 233708 ... c Min unsat cost LB: 233713 ... c Min unsat cost LB: 233714 ... c Min unsat cost LB: 233715 ... c Min unsat cost LB: 233716 ... c Min unsat cost LB: 233717 ... c Min unsat cost LB: 233718 ... c Min unsat cost LB: 234463 ... c Min unsat cost LB: 234569 ... c Min unsat cost LB: 234682 ... c Min unsat cost LB: 235092 ... c Min unsat cost LB: 235389 ... c Min unsat cost LB: 235504 ... c Min unsat cost LB: 236468 ... c Min unsat cost LB: 236625 ... c Min unsat cost LB: 236926 ... c Min unsat cost LB: 236943 ... c Min unsat cost LB: 237140 ... c Min unsat cost LB: 237193 ... c Min unsat cost LB: 237310 ... c Min unsat cost LB: 237403 ... c Min unsat cost LB: 237455 ... c Min unsat cost LB: 237682 ... c Min unsat cost LB: 238090 ... c Min unsat cost LB: 238399 ... c Min unsat cost LB: 238619 ... c Min unsat cost LB: 238806 ... c Min unsat cost LB: 238951 ... c Min unsat cost LB: 239013 ... c Min unsat cost LB: 239024 ... c Min unsat cost LB: 239032 ... c Min unsat cost LB: 239244 ... c Min unsat cost LB: 239553 ... c Min unsat cost LB: 239561 ... c Min unsat cost LB: 240172 ... c Min unsat cost LB: 240457 ... c Min unsat cost LB: 240794 ... c Min unsat cost LB: 241517 ... c Min unsat cost LB: 241676 ... c Min unsat cost LB: 241691 ... c Min unsat cost LB: 242186 ... c Min unsat cost LB: 242401 ... c Min unsat cost LB: 242606 ... c Min unsat cost LB: 242811 ... c Min unsat cost LB: 242838 ... c Min unsat cost LB: 243037 ... c Min unsat cost LB: 243341 ... c Min unsat cost LB: 243510 ... c Min unsat cost LB: 243854 ... c Min unsat cost LB: 244175 ... c Min unsat cost LB: 244579 ... c Min unsat cost LB: 244739 ... c Min unsat cost LB: 244782 ... c Min unsat cost LB: 245439 ... c Min unsat cost LB: 245491 ... c Min unsat cost LB: 245982 ... c Min unsat cost LB: 246019 ... c Min unsat cost LB: 246084 ... c Min unsat cost LB: 246108 ... c Min unsat cost LB: 246136 ... c Min unsat cost LB: 246249 ... c Min unsat cost LB: 246795 ... c Min unsat cost LB: 247093 ... c Min unsat cost LB: 247401 ... c Min unsat cost LB: 247422 ... c Min unsat cost LB: 247445 ... c Min unsat cost LB: 247453 ... c Min unsat cost LB: 247466 ... c Min unsat cost LB: 247484 ... c Min unsat cost LB: 247596 ... c Min unsat cost LB: 247685 ... c Min unsat cost LB: 247699 ... c Min unsat cost LB: 247711 ... c Min unsat cost LB: 247714 ... c Min unsat cost LB: 247717 ... c Min unsat cost LB: 247719 ... c Min unsat cost LB: 247734 ... c Min unsat cost LB: 247978 ... c Min unsat cost LB: 248633 ... c Min unsat cost LB: 248636 ... c Min unsat cost LB: 248638 ... c Min unsat cost LB: 248651 ... c Min unsat cost LB: 248654 ... c Min unsat cost LB: 248666 ... c Min unsat cost LB: 248680 ... c Min unsat cost LB: 248682 ... c Min unsat cost LB: 249014 ... c Min unsat cost LB: 249183 ... c Min unsat cost LB: 249300 ... c Min unsat cost LB: 249954 ... c Min unsat cost LB: 250857 ... c Min unsat cost LB: 251465 ... c Min unsat cost LB: 251529 ... c Min unsat cost LB: 251804 ... c Min unsat cost LB: 252271 ... c Min unsat cost LB: 253502 ... c Min unsat cost LB: 253955 ... c Min unsat cost LB: 254101 ... c Min unsat cost LB: 254361 ... c Min unsat cost LB: 254390 ... c Min unsat cost LB: 254405 ... c Min unsat cost LB: 254551 ... c Min unsat cost LB: 254666 ... c Min unsat cost LB: 254714 ... c Min unsat cost LB: 254727 ... c Min unsat cost LB: 254729 ... c Min unsat cost LB: 254758 ... c Min unsat cost LB: 254859 ... c Min unsat cost LB: 254871 ... c Min unsat cost LB: 254873 ... c Min unsat cost LB: 254882 ... c Min unsat cost LB: 254886 ... c Min unsat cost LB: 254965 ... c Min unsat cost LB: 254969 ... c Min unsat cost LB: 254981 ... c Min unsat cost LB: 255004 ... c Min unsat cost LB: 255012 ... c Min unsat cost LB: 255031 ... c Min unsat cost LB: 255046 ... c Min unsat cost LB: 255049 ... c Min unsat cost LB: 255056 ... c Min unsat cost LB: 255469 ... c Min unsat cost LB: 255474 ... c Min unsat cost LB: 255544 ... c Min unsat cost LB: 255547 ... c Min unsat cost LB: 255556 ... c Min unsat cost LB: 255577 ... c Min unsat cost LB: 255806 ... c Min unsat cost LB: 255812 ... c Min unsat cost LB: 255815 ... c Min unsat cost LB: 255903 ... c Min unsat cost LB: 256055 ... c Min unsat cost LB: 256065 ... c Min unsat cost LB: 256066 ... c Min unsat cost LB: 256067 ... c Min unsat cost LB: 256068 ... c Min unsat cost LB: 256069 ... c Min unsat cost LB: 256071 ... c Min unsat cost LB: 256072 ... c Min unsat cost LB: 256077 ... c Min unsat cost LB: 256079 ... c Min unsat cost LB: 256081 ... c Min unsat cost LB: 256082 ... c Min unsat cost LB: 256089 ... c Min unsat cost LB: 256142 ... c Min unsat cost LB: 256143 ... c Min unsat cost LB: 256144 ... c Min unsKilled 1818.283u 1.465s 30:19.68 100.0% 0+0k 0+0io 0pf+0w