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-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-3.net.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-3.net.wcnf *** c c Min unsat cost LB: 1294 ... c Min unsat cost LB: 1445 ... c Min unsat cost LB: 3193 ... c Min unsat cost LB: 3852 ... c Min unsat cost LB: 4560 ... c Min unsat cost LB: 5817 ... c Min unsat cost LB: 6466 ... c Min unsat cost LB: 7482 ... c Min unsat cost LB: 7572 ... c Min unsat cost LB: 9180 ... c Min unsat cost LB: 10431 ... c Min unsat cost LB: 11632 ... c Min unsat cost LB: 12278 ... c Min unsat cost LB: 12832 ... c Min unsat cost LB: 14234 ... c Min unsat cost LB: 15708 ... c Min unsat cost LB: 15888 ... c Min unsat cost LB: 16102 ... c Min unsat cost LB: 16516 ... c Min unsat cost LB: 17085 ... c Min unsat cost LB: 17279 ... c Min unsat cost LB: 17500 ... c Min unsat cost LB: 17607 ... c Min unsat cost LB: 18199 ... c Min unsat cost LB: 18456 ... c Min unsat cost LB: 18637 ... c Min unsat cost LB: 19317 ... c Min unsat cost LB: 19949 ... c Min unsat cost LB: 20602 ... c Min unsat cost LB: 21481 ... c Min unsat cost LB: 21745 ... c Min unsat cost LB: 21999 ... c Min unsat cost LB: 22375 ... c Min unsat cost LB: 24027 ... c Min unsat cost LB: 26488 ... c Min unsat cost LB: 26568 ... c Min unsat cost LB: 26679 ... c Min unsat cost LB: 27085 ... c Min unsat cost LB: 28419 ... c Min unsat cost LB: 29272 ... c Min unsat cost LB: 29566 ... c Min unsat cost LB: 30461 ... c Min unsat cost LB: 31776 ... c Min unsat cost LB: 32764 ... c Min unsat cost LB: 32999 ... c Min unsat cost LB: 33365 ... c Min unsat cost LB: 34028 ... c Min unsat cost LB: 35022 ... c Min unsat cost LB: 36315 ... c Min unsat cost LB: 36518 ... c Min unsat cost LB: 37396 ... c Min unsat cost LB: 37583 ... c Min unsat cost LB: 38421 ... c Min unsat cost LB: 38708 ... c Min unsat cost LB: 38828 ... c Min unsat cost LB: 39318 ... c Min unsat cost LB: 39501 ... c Min unsat cost LB: 40869 ... c Min unsat cost LB: 42131 ... c Min unsat cost LB: 43965 ... c Min unsat cost LB: 44350 ... c Min unsat cost LB: 44527 ... c Min unsat cost LB: 45660 ... c Min unsat cost LB: 46064 ... c Min unsat cost LB: 46069 ... c Min unsat cost LB: 46501 ... c Min unsat cost LB: 46873 ... c Min unsat cost LB: 47616 ... c Min unsat cost LB: 48003 ... c Min unsat cost LB: 48007 ... c Min unsat cost LB: 48208 ... c Min unsat cost LB: 48339 ... c Min unsat cost LB: 48889 ... c Min unsat cost LB: 49026 ... c Min unsat cost LB: 49734 ... c Min unsat cost LB: 49854 ... c Min unsat cost LB: 50687 ... c Min unsat cost LB: 50839 ... c Min unsat cost LB: 51388 ... c Min unsat cost LB: 51804 ... c Min unsat cost LB: 52644 ... c Min unsat cost LB: 52652 ... c Min unsat cost LB: 52778 ... c Min unsat cost LB: 53295 ... c Min unsat cost LB: 53491 ... c Min unsat cost LB: 53512 ... c Min unsat cost LB: 53762 ... c Min unsat cost LB: 54332 ... c Min unsat cost LB: 54568 ... c Min unsat cost LB: 55717 ... c Min unsat cost LB: 55779 ... c Min unsat cost LB: 56497 ... c Min unsat cost LB: 56694 ... c Min unsat cost LB: 56977 ... c Min unsat cost LB: 56996 ... c Min unsat cost LB: 57011 ... c Min unsat cost LB: 57775 ... c Min unsat cost LB: 57970 ... c Min unsat cost LB: 58605 ... c Min unsat cost LB: 58803 ... c Min unsat cost LB: 58894 ... c Min unsat cost LB: 59222 ... c Min unsat cost LB: 60008 ... c Min unsat cost LB: 60387 ... c Min unsat cost LB: 60958 ... c Min unsat cost LB: 61517 ... c Min unsat cost LB: 61918 ... c Min unsat cost LB: 62370 ... c Min unsat cost LB: 62470 ... c Min unsat cost LB: 62700 ... c Min unsat cost LB: 62798 ... c Min unsat cost LB: 62941 ... c Min unsat cost LB: 63050 ... c Min unsat cost LB: 63951 ... c Min unsat cost LB: 64241 ... c Min unsat cost LB: 64286 ... c Min unsat cost LB: 65436 ... c Min unsat cost LB: 65831 ... c Min unsat cost LB: 66002 ... c Min unsat cost LB: 66254 ... c Min unsat cost LB: 66334 ... c Min unsat cost LB: 66375 ... c Min unsat cost LB: 66788 ... c Min unsat cost LB: 66845 ... c Min unsat cost LB: 66870 ... c Min unsat cost LB: 66901 ... c Min unsat cost LB: 67030 ... c Min unsat cost LB: 67113 ... c Min unsat cost LB: 67172 ... c Min unsat cost LB: 67413 ... c Min unsat cost LB: 67610 ... c Min unsat cost LB: 68690 ... c Min unsat cost LB: 68759 ... c Min unsat cost LB: 68953 ... c Min unsat cost LB: 69105 ... c Min unsat cost LB: 69238 ... c Min unsat cost LB: 69596 ... c Min unsat cost LB: 70011 ... c Min unsat cost LB: 70320 ... c Min unsat cost LB: 70475 ... c Min unsat cost LB: 70888 ... c Min unsat cost LB: 71353 ... c Min unsat cost LB: 71543 ... c Min unsat cost LB: 72097 ... c Min unsat cost LB: 72167 ... c Min unsat cost LB: 72298 ... c Min unsat cost LB: 72656 ... c Min unsat cost LB: 72991 ... c Min unsat cost LB: 73306 ... c Min unsat cost LB: 73368 ... c Min unsat cost LB: 73689 ... c Min unsat cost LB: 73942 ... c Min unsat cost LB: 74558 ... c Min unsat cost LB: 74879 ... c Min unsat cost LB: 75302 ... c Min unsat cost LB: 76082 ... c Min unsat cost LB: 76251 ... c Min unsat cost LB: 76672 ... c Min unsat cost LB: 76692 ... c Min unsat cost LB: 77901 ... c Min unsat cost LB: 77950 ... c Min unsat cost LB: 79412 ... c Min unsat cost LB: 79521 ... c Min unsat cost LB: 79622 ... c Min unsat cost LB: 80178 ... c Min unsat cost LB: 80427 ... c Min unsat cost LB: 80543 ... c Min unsat cost LB: 80593 ... c Min unsat cost LB: 81282 ... c Min unsat cost LB: 81458 ... c Min unsat cost LB: 81566 ... c Min unsat cost LB: 81621 ... c Min unsat cost LB: 81624 ... c Min unsat cost LB: 81741 ... c Min unsat cost LB: 82763 ... c Min unsat cost LB: 83138 ... c Min unsat cost LB: 83217 ... c Min unsat cost LB: 83541 ... c Min unsat cost LB: 83822 ... c Min unsat cost LB: 83911 ... c Min unsat cost LB: 84064 ... c Min unsat cost LB: 84337 ... c Min unsat cost LB: 84404 ... c Min unsat cost LB: 84459 ... c Min unsat cost LB: 84612 ... c Min unsat cost LB: 84935 ... c Min unsat cost LB: 85262 ... c Min unsat cost LB: 85290 ... c Min unsat cost LB: 85314 ... c Min unsat cost LB: 85405 ... c Min unsat cost LB: 85687 ... c Min unsat cost LB: 85842 ... c Min unsat cost LB: 86094 ... c Min unsat cost LB: 86271 ... c Min unsat cost LB: 86423 ... c Min unsat cost LB: 86686 ... c Min unsat cost LB: 86718 ... c Min unsat cost LB: 87239 ... c Min unsat cost LB: 87764 ... c Min unsat cost LB: 87807 ... c Min unsat cost LB: 87824 ... c Min unsat cost LB: 87961 ... c Min unsat cost LB: 88121 ... c Min unsat cost LB: 88460 ... c Min unsat cost LB: 88724 ... c Min unsat cost LB: 88872 ... c Min unsat cost LB: 89016 ... c Min unsat cost LB: 89593 ... c Min unsat cost LB: 89791 ... c Min unsat cost LB: 89878 ... c Min unsat cost LB: 90072 ... c Min unsat cost LB: 91112 ... c Min unsat cost LB: 91237 ... c Min unsat cost LB: 91487 ... c Min unsat cost LB: 92300 ... c Min unsat cost LB: 92317 ... c Min unsat cost LB: 92371 ... c Min unsat cost LB: 92378 ... c Min unsat cost LB: 92560 ... c Min unsat cost LB: 92948 ... c Min unsat cost LB: 93041 ... c Min unsat cost LB: 93966 ... c Min unsat cost LB: 94417 ... c Min unsat cost LB: 94595 ... c Min unsat cost LB: 95285 ... c Min unsat cost LB: 96012 ... c Min unsat cost LB: 96170 ... c Min unsat cost LB: 96320 ... c Min unsat cost LB: 96940 ... c Min unsat cost LB: 96983 ... c Min unsat cost LB: 96996 ... c Min unsat cost LB: 97199 ... c Min unsat cost LB: 97625 ... c Min unsat cost LB: 97826 ... c Min unsat cost LB: 97939 ... c Min unsat cost LB: 98569 ... c Min unsat cost LB: 98771 ... c Min unsat cost LB: 99451 ... c Min unsat cost LB: 99713 ... c Min unsat cost LB: 99720 ... c Min unsat cost LB: 100627 ... c Min unsat cost LB: 100907 ... c Min unsat cost LB: 100992 ... c Min unsat cost LB: 101787 ... c Min unsat cost LB: 102197 ... c Min unsat cost LB: 102456 ... c Min unsat cost LB: 102661 ... c Min unsat cost LB: 103197 ... c Min unsat cost LB: 103249 ... c Min unsat cost LB: 103407 ... c Min unsat cost LB: 103453 ... c Min unsat cost LB: 103641 ... c Min unsat cost LB: 103756 ... c Min unsat cost LB: 103861 ... c Min unsat cost LB: 103891 ... c Min unsat cost LB: 104288 ... c Min unsat cost LB: 104772 ... c Min unsat cost LB: 105379 ... c Min unsat cost LB: 105910 ... c Min unsat cost LB: 105914 ... c Min unsat cost LB: 106114 ... c Min unsat cost LB: 106581 ... c Min unsat cost LB: 107325 ... c Min unsat cost LB: 107514 ... c Min unsat cost LB: 107923 ... c Min unsat cost LB: 108039 ... c Min unsat cost LB: 108139 ... c Min unsat cost LB: 108260 ... c Min unsat cost LB: 108325 ... c Min unsat cost LB: 108842 ... c Min unsat cost LB: 108874 ... c Min unsat cost LB: 109901 ... c Min unsat cost LB: 110187 ... c Min unsat cost LB: 110638 ... c Min unsat cost LB: 110875 ... c Min unsat cost LB: 110964 ... c Min unsat cost LB: 110985 ... c Min unsat cost LB: 111307 ... c Min unsat cost LB: 111326 ... c Min unsat cost LB: 111356 ... c Min unsat cost LB: 111470 ... c Min unsat cost LB: 111780 ... c Min unsat cost LB: 111869 ... c Min unsat cost LB: 112591 ... c Min unsat cost LB: 112927 ... c Min unsat cost LB: 113124 ... c Min unsat cost LB: 113221 ... c Min unsat cost LB: 113843 ... c Min unsat cost LB: 114075 ... c Min unsat cost LB: 114218 ... c Min unsat cost LB: 114432 ... c Min unsat cost LB: 114593 ... c Min unsat cost LB: 114957 ... c Min unsat cost LB: 115520 ... c Min unsat cost LB: 115894 ... c Min unsat cost LB: 116224 ... c Min unsat cost LB: 116590 ... c Min unsat cost LB: 117136 ... c Min unsat cost LB: 117473 ... c Min unsat cost LB: 117593 ... c Min unsat cost LB: 117832 ... c Min unsat cost LB: 117853 ... c Min unsat cost LB: 118412 ... c Min unsat cost LB: 118524 ... c Min unsat cost LB: 118527 ... c Min unsat cost LB: 118573 ... c Min unsat cost LB: 118624 ... c Min unsat cost LB: 118681 ... c Min unsat cost LB: 118697 ... c Min unsat cost LB: 118736 ... c Min unsat cost LB: 118766 ... c Min unsat cost LB: 118816 ... c Min unsat cost LB: 118835 ... c Min unsat cost LB: 119417 ... c Min unsat cost LB: 119491 ... c Min unsat cost LB: 119546 ... c Min unsat cost LB: 119693 ... c Min unsat cost LB: 119843 ... c Min unsat cost LB: 119845 ... c Min unsat cost LB: 120107 ... c Min unsat cost LB: 120301 ... c Min unsat cost LB: 120340 ... c Min unsat cost LB: 120762 ... c Min unsat cost LB: 121319 ... c Min unsat cost LB: 121498 ... c Min unsat cost LB: 121553 ... c Min unsat cost LB: 122704 ... c Min unsat cost LB: 122718 ... c Min unsat cost LB: 122989 ... c Min unsat cost LB: 123292 ... c Min unsat cost LB: 123394 ... c Min unsat cost LB: 123902 ... c Min unsat cost LB: 124153 ... c Min unsat cost LB: 124647 ... c Min unsat cost LB: 125580 ... c Min unsat cost LB: 126464 ... c Min unsat cost LB: 126554 ... c Min unsat cost LB: 126691 ... c Min unsat cost LB: 126798 ... c Min unsat cost LB: 126843 ... c Min unsat cost LB: 127298 ... c Min unsat cost LB: 127822 ... c Min unsat cost LB: 128223 ... c Min unsat cost LB: 128471 ... c Min unsat cost LB: 128753 ... c Min unsat cost LB: 128965 ... c Min unsat cost LB: 129047 ... c Min unsat cost LB: 129199 ... c Min unsat cost LB: 129271 ... c Min unsat cost LB: 129537 ... c Min unsat cost LB: 129737 ... c Min unsat cost LB: 129754 ... c Min unsat cost LB: 129766 ... c Min unsat cost LB: 129858 ... c Min unsat cost LB: 130239 ... c Min unsat cost LB: 130279 ... c Min unsat cost LB: 131321 ... c Min unsat cost LB: 131374 ... c Min unsat cost LB: 131888 ... c Min unsat cost LB: 132066 ... c Min unsat cost LB: 132158 ... c Min unsat cost LB: 132340 ... c Min unsat cost LB: 132682 ... c Min unsat cost LB: 132825 ... c Min unsat cost LB: 133135 ... c Min unsat cost LB: 133326 ... c Min unsat cost LB: 133329 ... c Min unsat cost LB: 133955 ... c Min unsat cost LB: 134580 ... c Min unsat cost LB: 134781 ... c Min unsat cost LB: 135897 ... c Min unsat cost LB: 135989 ... c Min unsat cost LB: 136166 ... c Min unsat cost LB: 136176 ... c Min unsat cost LB: 136306 ... c Min unsat cost LB: 137021 ... c Min unsat cost LB: 137326 ... c Min unsat cost LB: 137337 ... c Min unsat cost LB: 137381 ... c Min unsat cost LB: 137428 ... c Min unsat cost LB: 137454 ... c Min unsat cost LB: 137456 ... c Min unsat cost LB: 137463 ... c Min unsat cost LB: 137535 ... c Min unsat cost LB: 137547 ... c Min unsat cost LB: 137564 ... c Min unsat cost LB: 137723 ... c Min unsat cost LB: 138934 ... c Min unsat cost LB: 139057 ... c Min unsat cost LB: 139081 ... c Min unsat cost LB: 139316 ... c Min unsat cost LB: 139633 ... c Min unsat cost LB: 139832 ... c Min unsat cost LB: 140243 ... c Min unsat cost LB: 140380 ... c Min unsat cost LB: 141064 ... c Min unsat cost LB: 141650 ... c Min unsat cost LB: 141652 ... c Min unsat cost LB: 142938 ... c Min unsat cost LB: 143072 ... c Min unsat cost LB: 143550 ... c Min unsat cost LB: 143640 ... c Min unsat cost LB: 143890 ... c Min unsat cost LB: 144063 ... c Min unsat cost LB: 144197 ... c Min unsat cost LB: 144329 ... c Min unsat cost LB: 144682 ... c Min unsat cost LB: 144790 ... c Min unsat cost LB: 145087 ... c Min unsat cost LB: 145355 ... c Min unsat cost LB: 145651 ... c Min unsat cost LB: 145998 ... c Min unsat cost LB: 146072 ... c Min unsat cost LB: 146524 ... c Min unsat cost LB: 146626 ... c Min unsat cost LB: 147456 ... c Min unsat cost LB: 148139 ... c Min unsat cost LB: 148223 ... c Min unsat cost LB: 148353 ... c Min unsat cost LB: 148469 ... c Min unsat cost LB: 148590 ... c Min unsat cost LB: 148663 ... c Min unsat cost LB: 148694 ... c Min unsat cost LB: 148986 ... c Min unsat cost LB: 149361 ... c Min unsat cost LB: 149400 ... c Min unsat cost LB: 149538 ... c Min unsat cost LB: 149943 ... c Min unsat cost LB: 150555 ... c Min unsat cost LB: 150559 ... c Min unsat cost LB: 150629 ... c Min unsat cost LB: 151427 ... c Min unsat cost LB: 151527 ... c Min unsat cost LB: 151615 ... c Min unsat cost LB: 152550 ... c Min unsat cost LB: 152680 ... c Min unsat cost LB: 152755 ... c Min unsat cost LB: 153573 ... c Min unsat cost LB: 153644 ... c Min unsat cost LB: 154117 ... c Min unsat cost LB: 154282 ... c Min unsat cost LB: 154564 ... c Min unsat cost LB: 154983 ... c Min unsat cost LB: 154989 ... c Min unsat cost LB: 155077 ... c Min unsat cost LB: 155296 ... c Min unsat cost LB: 155515 ... c Min unsat cost LB: 155531 ... c Min unsat cost LB: 155696 ... c Min unsat cost LB: 156328 ... c Min unsat cost LB: 156351 ... c Min unsat cost LB: 156701 ... c Min unsat cost LB: 156750 ... c Min unsat cost LB: 157140 ... c Min unsat cost LB: 157242 ... c Min unsat cost LB: 158058 ... c Min unsat cost LB: 158192 ... c Min unsat cost LB: 158296 ... c Min unsat cost LB: 158374 ... c Min unsat cost LB: 159171 ... c Min unsat cost LB: 159188 ... c Min unsat cost LB: 159399 ... c Min unsat cost LB: 159688 ... c Min unsat cost LB: 159746 ... c Min unsat cost LB: 160103 ... c Min unsat cost LB: 160828 ... c Min unsat cost LB: 160885 ... c Min unsat cost LB: 160893 ... c Min unsat cost LB: 161029 ... c Min unsat cost LB: 161376 ... c Min unsat cost LB: 161922 ... c Min unsat cost LB: 161937 ... c Min unsat cost LB: 162071 ... c Min unsat cost LB: 162429 ... c Min unsat cost LB: 162513 ... c Min unsat cost LB: 162766 ... c Min unsat cost LB: 162826 ... c Min unsat cost LB: 162932 ... c Min unsat cost LB: 163177 ... c Min unsat cost LB: 163790 ... c Min unsat cost LB: 163823 ... c Min unsat cost LB: 163843 ... c Min unsat cost LB: 164034 ... c Min unsat cost LB: 164114 ... c Min unsat cost LB: 164154 ... c Min unsat cost LB: 164236 ... c Min unsat cost LB: 164360 ... c Min unsat cost LB: 165778 ... c Min unsat cost LB: 166037 ... c Min unsat cost LB: 166051 ... c Min unsat cost LB: 166126 ... c Min unsat cost LB: 166143 ... c Min unsat cost LB: 166214 ... c Min unsat cost LB: 166450 ... c Min unsat cost LB: 166457 ... c Min unsat cost LB: 166517 ... c Min unsat cost LB: 166546 ... c Min unsat cost LB: 166676 ... c Min unsat cost LB: 166724 ... c Min unsat cost LB: 166797 ... c Min unsat cost LB: 166821 ... c Min unsat cost LB: 166827 ... c Min unsat cost LB: 166851 ... c Min unsat cost LB: 167009 ... c Min unsat cost LB: 167019 ... c Min unsat cost LB: 167358 ... c Min unsat cost LB: 167368 ... c Min unsat cost LB: 167375 ... c Min unsat cost LB: 167391 ... c Min unsat cost LB: 167392 ... c Min unsat cost LB: 167399 ... c Min unsat cost LB: 167456 ... c Min unsat cost LB: 167467 ... c Min unsat cost LB: 167474 ... c Min unsat cost LB: 167481 ... c Min unsat cost LB: 168316 ... c Min unsat cost LB: 168693 ... c Min unsat cost LB: 169252 ... c Min unsat cost LB: 169476 ... c Min unsat cost LB: 169746 ... c Min unsat cost LB: 170033 ... c Min unsat cost LB: 170253 ... c Min unsat cost LB: 170256 ... c Min unsat cost LB: 171111 ... c Min unsat cost LB: 171395 ... c Min unsat cost LB: 171484 ... c Min unsat cost LB: 171633 ... c Min unsat cost LB: 171636 ... c Min unsat cost LB: 171658 ... c Min unsat cost LB: 171660 ... c Min unsat cost LB: 171954 ... c Min unsat cost LB: 172001 ... c Min unsat cost LB: 172615 ... c Min unsat cost LB: 173515 ... c Min unsat cost LB: 173694 ... c Min unsat cost LB: 173701 ... c Min unsat cost LB: 173811 ... c Min unsat cost LB: 173861 ... c Min unsat cost LB: 173973 ... c Min unsat cost LB: 174129 ... c Min unsat cost LB: 174651 ... c Min unsat cost LB: 174959 ... c Min unsat cost LB: 175110 ... c Min unsat cost LB: 175459 ... c Min unsat cost LB: 175524 ... c Min unsat cost LB: 175585 ... c Min unsat cost LB: 175595 ... c Min unsat cost LB: 175782 ... c Min unsat cost LB: 175974 ... c Min unsat cost LB: 176822 ... c Min unsat cost LB: 177047 ... c Min unsat cost LB: 177132 ... c Min unsat cost LB: 177222 ... c Min unsat cost LB: 177230 ... c Min unsat cost LB: 178264 ... c Min unsat cost LB: 178314 ... c Min unsat cost LB: 179675 ... c Min unsat cost LB: 179700 ... c Min unsat cost LB: 179764 ... c Min unsat cost LB: 179836 ... c Min unsat cost LB: 179922 ... c Min unsat cost LB: 180395 ... c Min unsat cost LB: 180420 ... c Min unsat cost LB: 180504 ... c Min unsat cost LB: 180576 ... c Min unsat cost LB: 180583 ... c Min unsat cost LB: 180606 ... c Min unsat cost LB: 180607 ... c Min unsat cost LB: 180699 ... c Min unsat cost LB: 181839 ... c Min unsat cost LB: 182055 ... c Min unsat cost LB: 182072 ... c Min unsat cost LB: 182297 ... c Min unsat cost LB: 182311 ... c Min unsat cost LB: 182523 ... c Min unsat cost LB: 182641 ... c Min unsat cost LB: 182700 ... c Min unsat cost LB: 183319 ... c Min unsat cost LB: 183388 ... c Min unsat cost LB: 183587 ... c Min unsat cost LB: 183849 ... c Min unsat cost LB: 184036 ... c Min unsat cost LB: 184576 ... c Min unsat cost LB: 184619 ... c Min unsat cost LB: 184960 ... c Min unsat cost LB: 185392 ... c Min unsat cost LB: 185653 ... c Min unsat cost LB: 185747 ... c Min unsat cost LB: 186107 ... c Min unsat cost LB: 186790 ... c Min unsat cost LB: 186901 ... c Min unsat cost LB: 187320 ... c Min unsat cost LB: 187375 ... c Min unsat cost LB: 187764 ... c Min unsat cost LB: 187870 ... c Min unsat cost LB: 188749 ... c Min unsat cost LB: 189154 ... c Min unsat cost LB: 189220 ... c Min unsat cost LB: 189267 ... c Min unsat cost LB: 189354 ... c Min unsat cost LB: 189635 ... c Min unsat cost LB: 190115 ... c Min unsat cost LB: 190181 ... c Min unsat cost LB: 190228 ... c Min unsat cost LB: 190254 ... c Min unsat cost LB: 190274 ... c Min unsat cost LB: 191221 ... c Min unsat cost LB: 191441 ... c Min unsat cost LB: 191592 ... c Min unsat cost LB: 191776 ... c Min unsat cost LB: 192361 ... c Min unsat cost LB: 192528 ... c Min unsat cost LB: 192879 ... c Min unsat cost LB: 192964 ... c Min unsat cost LB: 193038 ... c Min unsat cost LB: 193280 ... c Min unsat cost LB: 193500 ... c Min unsat cost LB: 193504 ... c Min unsat cost LB: 193521 ... c Min unsat cost LB: 194138 ... c Min unsat cost LB: 194170 ... c Min unsat cost LB: 194195 ... c Min unsat cost LB: 194226 ... c Min unsat cost LB: 194276 ... c Min unsat cost LB: 194466 ... c Min unsat cost LB: 194622 ... c Min unsat cost LB: 194643 ... c Min unsat cost LB: 194825 ... c Min unsat cost LB: 194858 ... c Min unsat cost LB: 195174 ... c Min unsat cost LB: 195425 ... c Min unsat cost LB: 195747 ... c Min unsat cost LB: 195843 ... c Min unsat cost LB: 196390 ... c Min unsat cost LB: 196489 ... c Min unsat cost LB: 196811 ... c Min unsat cost LB: 197062 ... c Min unsat cost LB: 197515 ... c Min unsat cost LB: 197959 ... c Min unsat cost LB: 198113 ... c Min unsat cost LB: 198287 ... c Min unsat cost LB: 198439 ... c Min unsat cost LB: 198725 ... c Min unsat cost LB: 198928 ... c Min unsat cost LB: 199692 ... c Min unsat cost LB: 199828 ... c Min unsat cost LB: 199902 ... c Min unsat cost LB: 199913 ... c Min unsat cost LB: 199954 ... c Min unsat cost LB: 199979 ... c Min unsat cost LB: 200019 ... c Min unsat cost LB: 200035 ... c Min unsat cost LB: 200053 ... c Min unsat cost LB: 200100 ... c Min unsat cost LB: 200495 ... c Min unsat cost LB: 200564 ... c Min unsat cost LB: 200573 ... c Min unsat cost LB: 200579 ... c Min unsat cost LB: 200619 ... c Min unsat cost LB: 200647 ... c Min unsat cost LB: 200651 ... c Min unsat cost LB: 200666 ... c Min unsat cost LB: 200668 ... c Min unsat cost LB: 200792 ... c Min unsat cost LB: 200810 ... c Min unsat cost LB: 200854 ... c Min unsat cost LB: 200861 ... c Min unsat cost LB: 200911 ... c Min unsat cost LB: 200920 ... c Min unsat cost LB: 200926 ... c Min unsat cost LB: 200955 ... c Min unsat cost LB: 200984 ... c Min unsat cost LB: 201156 ... c Min unsat cost LB: 201249 ... c Min unsat cost LB: 201266 ... c Min unsat cost LB: 201381 ... c Min unsat cost LB: 201389 ... c Min unsat cost LB: 201479 ... c Min unsat cost LB: 201811 ... c Min unsat cost LB: 202061 ... c Min unsat cost LB: 202067 ... c Min unsat cost LB: 202086 ... c Min unsat cost LB: 202666 ... c Min unsat cost LB: 203011 ... c Min unsat cost LB: 203105 ... c Min unsat cost LB: 203624 ... c Min unsat cost LB: 203687 ... c Min unsat cost LB: 204251 ... c Min unsat cost LB: 204449 ... c Min unsat cost LB: 204889 ... c Min unsat cost LB: 205446 ... c Min unsat cost LB: 205613 ... c Min unsat cost LB: 205619 ... c Min unsat cost LB: 206649 ... c Min unsat cost LB: 206695 ... c Min unsat cost LB: 206889 ... c Min unsat cost LB: 207322 ... c Min unsat cost LB: 207330 ... c Min unsat cost LB: 207410 ... c Min unsat cost LB: 208219 ... c Min unsat cost LB: 208981 ... c Min unsat cost LB: 209025 ... c Min unsat cost LB: 209124 ... c Min unsat cost LB: 209321 ... c Min unsat cost LB: 210675 ... c Min unsat cost LB: 210722 ... c Min unsat cost LB: 210780 ... c Min unsat cost LB: 210795 ... c Min unsat cost LB: 210939 ... c Min unsat cost LB: 211038 ... c Min unsat cost LB: 211286 ... c Min unsat cost LB: 211820 ... c Min unsat cost LB: 211853 ... c Min unsat cost LB: 212679 ... c Min unsat cost LB: 212712 ... c Min unsat cost LB: 212811 ... c Min unsat cost LB: 212858 ... c Min unsat cost LB: 212916 ... c Min unsat cost LB: 212931 ... c Min unsat cost LB: 213601 ... c Min unsat cost LB: 213885 ... c Min unsat cost LB: 214228 ... c Min unsat cost LB: 214897 ... c Min unsat cost LB: 215179 ... c Min unsat cost LB: 215215 ... c Min unsat cost LB: 215272 ... c Min unsat cost LB: 215378 ... c Min unsat cost LB: 216072 ... c Min unsat cost LB: 216641 ... c Min unsat cost LB: 216772 ... c Min unsat cost LB: 216804 ... c Min unsat cost LB: 216875 ... c Min unsat cost LB: 217636 ... c Min unsat cost LB: 217704 ... c Min unsat cost LB: 218079 ... c Min unsat cost LB: 218318 ... c Min unsat cost LB: 218451 ... c Min unsat cost LB: 218753 ... c Min unsat cost LB: 218970 ... c Min unsat cost LB: 219200 ... c Min unsat cost LB: 219589 ... c Min unsat cost LB: 219621 ... c Min unsat cost LB: 219996 ... c Min unsat cost LB: 220361 ... c Min unsat cost LB: 220704 ... c Min unsat cost LB: 221015 ... c Min unsat cost LB: 221297 ... c Min unsat cost LB: 221299 ... c Min unsat cost LB: 221305 ... c Min unsat cost LB: 221309 ... c Min unsat cost LB: 221487 ... c Min unsat cost LB: 221489 ... c Min unsat cost LB: 221492 ... c Min unsat cost LB: 221870 ... c Min unsat cost LB: 222040 ... c Min unsat cost LB: 222114 ... c Min unsat cost LB: 222568 ... c Min unsat cost LB: 222774 ... c Min unsat cost LB: 223188 ... c Min unsat cost LB: 223217 ... c Min unsat cost LB: 223541 ... c Min unsat cost LB: 223621 ... c Min unsat cost LB: 223885 ... c Min unsat cost LB: 224005 ... c Min unsat cost LB: 224138 ... c Min unsat cost LB: 224246 ... c Min unsat cost LB: 224318 ... c Min unsat cost LB: 224469 ... c Min unsat cost LB: 224603 ... c Min unsat cost LB: 224699 ... c Min unsat cost LB: 225051 ... c Min unsat cost LB: 225066 ... c Min unsat cost LB: 225083 ... c Min unsat cost LB: 225459 ... c Min unsat cost LB: 225500 ... c Min unsat cost LB: 225670 ... c Min unsat cost LB: 225822 ... c Min unsat cost LB: 226280 ... c Min unsat cost LB: 226499 ... c Min unsat cost LB: 226833 ... c Min unsat cost LB: 226891 ... c Min unsat cost LB: 227198 ... c Min unsat cost LB: 227898 ... c Min unsat cost LB: 228117 ... c Min unsat cost LB: 228295 ... c Min unsat cost LB: 228448 ... c Min unsat cost LB: 228682 ... c Min unsat cost LB: 228792 ... c Min unsat cost LB: 228876 ... c Min unsat cost LB: 229734 ... c Min unsat cost LB: 229757 ... c Min unsat cost LB: 229825 ... c Min unsat cost LB: 230123 ... c Min unsat cost LB: 230157 ... c Min unsat cost LB: 230173 ... c Min unsat cost LB: 231093 ... c Min unsat cost LB: 231512 ... c Min unsat cost LB: 231635 ... c Min unsat cost LB: 231735 ... c Min unsat cost LB: 231977 ... c Min unsat cost LB: 232012 ... c Min unsat cost LB: 232194 ... c Min unsat cost LB: 232914 ... c Min unsat cost LB: 233120 ... c Min unsat cost LB: 233441 ... c Min unsat cost LB: 233459 ... c Min unsat cost LB: 233463 ... c Min unsat cost LB: 233645 ... c Min unsat cost LB: 233676 ... c Min unsat cost LB: 233819 ... c Min unsat cost LB: 234024 ... c Min unsat cost LB: 234061 ... c Min unsat cost LB: 234241 ... c Min unsat cost LB: 234981 ... c Min unsat cost LB: 235055 ... c Min unsat cost LB: 235582 ... c Min unsat cost LB: 235600 ... c Min unsat cost LB: 235998 ... c Min unsat cost LB: 236107 ... c Min unsat cost LB: 236131 ... c Min unsat cost LB: 236143 ... c Min unsat cost LB: 236387 ... c Min unsat cost LB: 236671 ... c Min unsat cost LB: 236942 ... c Min unsat cost LB: 237109 ... c Min unsat cost LB: 237123 ... c Min unsat cost LB: 237248 ... c Min unsat cost LB: 238477 ... c Min unsat cost LB: 238489 ... c Min unsat cost LB: 238501 ... c Min unsat cost LB: 238505 ... c Min unsat cost LB: 238595 ... c Min unsat cost LB: 238599 ... c Min unsat cost LB: 238611 ... c Min unsat cost LB: 238623 ... c Min unsat cost LB: 238685 ... c Min unsat cost LB: 238802 ... c Min unsat cost LB: 238900 ... c Min unsat cost LB: 238912 ... c Min unsat cost LB: 238914 ... c Min unsat cost LB: 238948 ... c Min unsat cost LB: 238974 ... c Min unsat cost LB: 239004 ... c Min unsat cost LB: 239006 ... c Min unsat cost LB: 239123 ... c Min unsat cost LB: 239399 ... c Min unsat cost LB: 239411 ... c Min unsat cost LB: 239433 ... c Min unsat cost LB: 239508 ... c Min unsat cost LB: 239543 ... c Min unsat cost LB: 239563 ... c Min unsat cost LB: 239565 ... c Min unsat cost LB: 239577 ... c Min unsat cost LB: 239592 ... c Min unsat cost LB: 239617 ... c Min unsat cost LB: 239651 ... c Min unsat cost LB: 239694 ... c Min unsat cost LB: 239706 ... c Min unsat cost LB: 239757 ... c Min unsat cost LB: 239775 ... c Min unsat cost LB: 239805 ... c Min unsat cost LB: 239820 ... c Min unsat cost LB: 239823 ... c Min unsat cost LB: 239845 ... c Min unsat cost LB: 239856 ... c Min unsat cost LB: 239865 ... c Min unsat cost LB: 239867 ... c Min unsat cost LB: 239874 ... c Min unsat cost LB: 239881 ... c Min unsat cost LB: 239892 ... c Min unsat cost LB: 240212 ... c Min unsat cost LB: 240213 ... c Min unsat cost LB: 240224 ... c Min unsat cost LB: 240225 ... c Min unsat cost LB: 240229 ... c Min unsat cost LB: 240607 ... c Min unsat cost LB: 240888 ... c Min unsat cost LB: 240968 ... c Min unsat cost LB: 241612 ... c Min unsat cost LB: 241847 ... c Min unsat cost LB: 241869 ... c Min unsat cost LB: 242283 ... c Min unsat cost LB: 242920 ... c Min unsat cost LB: 242976 ... c Min unsat cost LB: 242983 ... c Min unsat cost LB: 242986 ... c Min unsat cost LB: 243316 ... c Min unsat cost LB: 243467 ... c Min unsat cost LB: 244278 ... c Min unsat cost LB: 244594 ... c Min unsat cost LB: 244719 ... c Min unsat cost LB: 244998 ... c Min unsat cost LB: 245296 ... c Min unsat cost LB: 245384 ... c Min unsat cost LB: 245387 ... c Min unsat cost LB: 245394 ... c Min unsat cost LB: 245404 ... c Min unsat cost LB: 245413 ... c Min unsat cost LB: 245419 ... c Min unsat cost LB: 245426 ... c Min unsat cost LB: 245428 ... c Min unsat cost LB: 245439 ... c Min unsat cost LB: 245443 ... c Min unsat cost LB: 245449 ... c Min unsat cost LB: 245450 ... c Min unsat cost LB: 245457 ... c Min unsat cost LB: 245458 ... c Min unsat cost LB: 245460 ... c Min unsat cost LB: 245461 ... c Min unsat cost LB: 245463 ... c Min unsat cost LB: 245468 ... c Min unsat cost LB: 245470 ... c Min unsat cost LB: 245471 ... c Min unsat cost LB: 245474 ... c Min unsat cost LB: 245475 ... c Min unsat cost LB: 245479 ... c Min unsat cost LB: 245480 ... c Min unsat cost LB: 245481 ... c Min unsat cost LB: 245483 ... c Min unsat cost LB: 245484 ... c Min unsat cost LB: 245485 ... c Min unsat cost LB: 245486 ... c Min unsat cost LB: 245487 ... c Min unsat cost LB: 245488 ... c Min unsat cost LB: 245489 ... c Min unsat cost LB: 245490 ... c Min unsat cost LB: 246523 ... c Min unsat cost LB: 246881 ... c Min unsat cost LB: 246903 ... c Min unsat cost LB: 246904 ... c Min unsat cost LB: 246906 ... c Min unsat cost LB: 246907 ... c Min unsat cost LB: 247005 ... c Min unsat cost LB: 247080 ... c Min unsat cost LB: 247111 ... c Min unsat cost LB: 247458 ... c Min unsat cost LB: 247659 ... c Min unsat cost LB: 248136 ... c Min unsat cost LB: 248629 ... c Min unsat cost LB: 248745 ... c Min unsat cost LB: 249056 ... c Min unsat cost LB: 249119 ... c Min unsat cost LB: 249179 ... c Min unsat cost LB: 249311 ... c Min unsat cost LB: 250312 ... c Min unsat cost LB: 250472 ... c Min unsat cost LB: 250661 ... c Min unsat cost LB: 250929 ... c Min unsat cost LB: 251089 ... c Min unsat cost LB: 251231 ... c Min unsat cost LB: 251232 ... c Min unsat cost LB: 251234 ... c Min unsat cost LB: 251235 ... c Min unsat cost LB: 251237 ... c Min unsat cost LB: 251238 ... c Min unsat cost LB: 251239 ... c Min unsat cost LB: 251240 ... c Min unsat cost LB: 251241 ... c Min unsat cost LB: 251242 ... c Min unsat cost LB: 251243 ... c Min unsat cost LB: 251244 ... c Min unsat cost LB: 251245 ... c Min unsat cost LB: 251246 ... c Min unsat cost LB: 251247 ... c Min unsat cost LB: 251248 ... c Min unsat cost LB: 251249 ... c Min unsat cost LB: 251250 ... c Min unsat cost LB: 251251 ... c Min unsat cost LB: 251252 ... c Min unsat cost LB: 251253 ... c Min unsat cost LB: 251254 ... c Min unsat cost LB: 251255 ... c Min unsat cost LB: 251256 ... c Min unsat cost LB: 251257 ... c Min unsat cost LB: 251258 ... c Min unsat cost LB: 251259 ... c Min unsat cost LB: 251310 ... c Min unsat cost LB: 251439 ... c Min unsat cost LB: 251599 ... c Min unsat cost LB: 251635 ... c Min unsat cost LB: 251636 ... c Min unsat cost LB: 251637 ... c Min unsat cost LB: 251638 ... c Min unsat cost LB: 251639 ... c Min unsat cost LB: 251640 ... c Min unsat cost LB: 251641 ... c Min unsat cost LB: 251642 ... c Min unsat cost LB: 251643 ... c Min unsat cost LB: 251677 ... c Min unsat cost LB: 252162 ... c Min unsat cost LB: 252241 ... c Min unsat cost LB: 252570 ... c Min unsat cost LB: 253126 ... c Min unsat cost LB: 253304 ... c Min unsat cost LB: 253423 ... c Min unsat cost LB: 253440 ... c Min unsat cost LB: 253441 ... c Min unsat cost LB: 253442 ... c Min unsat cost LB: 253443 ... c Min unsat cost LB: 253698 ... c Min unsat cost L