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_AUCTIONS_AUC_SCHEDULING_cat_sched_60_170_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0003.txt.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/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0003.txt.wcnf *** c c Min unsat cost LB: 714 ... c Min unsat cost LB: 1487 ... c Min unsat cost LB: 2260 ... c Min unsat cost LB: 2974 ... c Min unsat cost LB: 3747 ... c Min unsat cost LB: 4461 ... c Min unsat cost LB: 4520 ... c Min unsat cost LB: 5234 ... c Min unsat cost LB: 6007 ... c Min unsat cost LB: 6721 ... c Min unsat cost LB: 7494 ... c Min unsat cost LB: 7553 ... c Min unsat cost LB: 8326 ... c Min unsat cost LB: 9040 ... c Min unsat cost LB: 9813 ... c Min unsat cost LB: 10527 ... c Min unsat cost LB: 11300 ... c Min unsat cost LB: 11717 ... c Min unsat cost LB: 12073 ... c Min unsat cost LB: 12846 ... c Min unsat cost LB: 13336 ... c Min unsat cost LB: 14109 ... c Min unsat cost LB: 14882 ... c Min unsat cost LB: 15106 ... c Min unsat cost LB: 15820 ... c Min unsat cost LB: 16310 ... c Min unsat cost LB: 16369 ... c Min unsat cost LB: 16635 ... c Min unsat cost LB: 17290 ... c Min unsat cost LB: 17573 ... c Min unsat cost LB: 17780 ... c Min unsat cost LB: 18494 ... c Min unsat cost LB: 18934 ... c Min unsat cost LB: 18993 ... c Min unsat cost LB: 19707 ... c Min unsat cost LB: 19774 ... c Min unsat cost LB: 20147 ... c Min unsat cost LB: 20920 ... c Min unsat cost LB: 21360 ... c Min unsat cost LB: 21800 ... c Min unsat cost LB: 22133 ... c Min unsat cost LB: 22573 ... c Min unsat cost LB: 22906 ... c Min unsat cost LB: 22965 ... c Min unsat cost LB: 23405 ... c Min unsat cost LB: 24178 ... c Min unsat cost LB: 24452 ... c Min unsat cost LB: 24618 ... c Min unsat cost LB: 25058 ... c Min unsat cost LB: 25772 ... c Min unsat cost LB: 25996 ... c Min unsat cost LB: 26055 ... c Min unsat cost LB: 26495 ... c Min unsat cost LB: 26544 ... c Min unsat cost LB: 26984 ... c Min unsat cost LB: 27424 ... c Min unsat cost LB: 27864 ... c Min unsat cost LB: 28197 ... c Min unsat cost LB: 28363 ... c Min unsat cost LB: 28578 ... c Min unsat cost LB: 28803 ... c Min unsat cost LB: 29243 ... c Min unsat cost LB: 29517 ... c Min unsat cost LB: 30006 ... c Min unsat cost LB: 30172 ... c Min unsat cost LB: 30446 ... c Min unsat cost LB: 30886 ... c Min unsat cost LB: 31326 ... c Min unsat cost LB: 31542 ... c Min unsat cost LB: 31816 ... c Min unsat cost LB: 32256 ... c Min unsat cost LB: 32422 ... c Min unsat cost LB: 32862 ... c Min unsat cost LB: 33195 ... c Min unsat cost LB: 33635 ... c Min unsat cost LB: 33968 ... c Min unsat cost LB: 34408 ... c Min unsat cost LB: 35122 ... c Min unsat cost LB: 35562 ... c Min unsat cost LB: 35895 ... c Min unsat cost LB: 36070 ... c Min unsat cost LB: 36745 ... c Min unsat cost LB: 36852 ... c Min unsat cost LB: 37292 ... c Min unsat cost LB: 37625 ... c Min unsat cost LB: 37958 ... c Min unsat cost LB: 38057 ... c Min unsat cost LB: 38497 ... c Min unsat cost LB: 38937 ... c Min unsat cost LB: 39377 ... c Min unsat cost LB: 39817 ... c Min unsat cost LB: 40307 ... c Min unsat cost LB: 42362 ... c Min unsat cost LB: 42743 ... c Min unsat cost LB: 44358 ... c Min unsat cost LB: 44798 ... c Min unsat cost LB: 44905 ... c Min unsat cost LB: 45345 ... c Min unsat cost LB: 47400 ... c Min unsat cost LB: 47459 ... c Min unsat cost LB: 47876 ... c Min unsat cost LB: 49931 ... c Min unsat cost LB: 51546 ... c Min unsat cost LB: 52905 ... c Min unsat cost LB: 53286 ... c Min unsat cost LB: 54901 ... c Min unsat cost LB: 55008 ... c Min unsat cost LB: 55115 ... c Min unsat cost LB: 56326 ... c Min unsat cost LB: 58381 ... c Min unsat cost LB: 58488 ... c Min unsat cost LB: 59699 ... c Min unsat cost LB: 60543 ... c Min unsat cost LB: 60566 ... c Min unsat cost LB: 61777 ... c Min unsat cost LB: 62550 ... c Min unsat cost LB: 63761 ... c Min unsat cost LB: 64605 ... c Min unsat cost LB: 65194 ... c Min unsat cost LB: 65967 ... c Min unsat cost LB: 66074 ... c Min unsat cost LB: 67285 ... c Min unsat cost LB: 67618 ... c Min unsat cost LB: 68058 ... c Min unsat cost LB: 68902 ... c Min unsat cost LB: 69675 ... c Min unsat cost LB: 70886 ... c Min unsat cost LB: 71376 ... c Min unsat cost LB: 71865 ... c Min unsat cost LB: 72520 ... c Min unsat cost LB: 72579 ... c Min unsat cost LB: 73352 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74125 ... c Min unsat cost LB: 74146 ... c Min unsat cost LB: 74174 ... c Min unsat cost LB: 74888 ... c Min unsat cost LB: 74947 ... c Min unsat cost LB: 75487 ... c Min unsat cost LB: 75661 ... c Min unsat cost LB: 75994 ... c Min unsat cost LB: 76053 ... c Min unsat cost LB: 76228 ... c Min unsat cost LB: 76895 ... c Min unsat cost LB: 77119 ... c Min unsat cost LB: 77402 ... c Min unsat cost LB: 77461 ... c Min unsat cost LB: 78116 ... c Min unsat cost LB: 78323 ... c Min unsat cost LB: 78370 ... c Min unsat cost LB: 78751 ... c Min unsat cost LB: 79115 ... c Min unsat cost LB: 79233 ... c Min unsat cost LB: 79723 ... c Min unsat cost LB: 80006 ... c Min unsat cost LB: 80352 ... c Min unsat cost LB: 80446 ... c Min unsat cost LB: 80518 ... c Min unsat cost LB: 80720 ... c Min unsat cost LB: 80886 ... c Min unsat cost LB: 80993 ... c Min unsat cost LB: 81217 ... c Min unsat cost LB: 81267 ... c Min unsat cost LB: 81361 ... c Min unsat cost LB: 81365 ... c Min unsat cost LB: 81428 ... c Min unsat cost LB: 81433 ... c Min unsat cost LB: 81595 ... c Min unsat cost LB: 81667 ... c Min unsat cost LB: 81761 ... c Min unsat cost LB: 81828 ... c Min unsat cost LB: 82534 ... c Min unsat cost LB: 82646 ... c Min unsat cost LB: 82974 ... c Min unsat cost LB: 83086 ... c Min unsat cost LB: 83248 ... c Min unsat cost LB: 83414 ... c Min unsat cost LB: 84021 ... c Min unsat cost LB: 84088 ... c Min unsat cost LB: 84861 ... c Min unsat cost LB: 84973 ... c Min unsat cost LB: 85065 ... c Min unsat cost LB: 85207 ... c Min unsat cost LB: 85398 ... c Min unsat cost LB: 85422 ... c Min unsat cost LB: 85575 ... c Min unsat cost LB: 85908 ... c Min unsat cost LB: 86230 ... c Min unsat cost LB: 86289 ... c Min unsat cost LB: 86348 ... c Min unsat cost LB: 86838 ... c Min unsat cost LB: 86979 ... c Min unsat cost LB: 87278 ... c Min unsat cost LB: 87397 ... c Min unsat cost LB: 87618 ... c Min unsat cost LB: 87671 ... c Min unsat cost LB: 87837 ... c Min unsat cost LB: 87936 ... c Min unsat cost LB: 87944 ... c Min unsat cost LB: 88051 ... c Min unsat cost LB: 88111 ... c Min unsat cost LB: 88145 ... c Min unsat cost LB: 88444 ... c Min unsat cost LB: 88491 ... c Min unsat cost LB: 88632 ... c Min unsat cost LB: 88668 ... c Min unsat cost LB: 88767 ... c Min unsat cost LB: 88941 ... c Min unsat cost LB: 89147 ... c Min unsat cost LB: 89514 ... c Min unsat cost LB: 89564 ... c Min unsat cost LB: 90335 ... c Min unsat cost LB: 90337 ... c Min unsat cost LB: 90693 ... c Min unsat cost LB: 90704 ... c Min unsat cost LB: 90723 ... c Min unsat cost LB: 91133 ... c Min unsat cost LB: 91142 ... c Min unsat cost LB: 91249 ... c Min unsat cost LB: 91934 ... c Min unsat cost LB: 92022 ... c Min unsat cost LB: 92194 ... c Min unsat cost LB: 92346 ... c Min unsat cost LB: 92679 ... c Min unsat cost LB: 93119 ... c Min unsat cost LB: 93405 ... c Min unsat cost LB: 93559 ... c Min unsat cost LB: 93997 ... c Min unsat cost LB: 93999 ... c Min unsat cost LB: 94437 ... c Min unsat cost LB: 94772 ... c Min unsat cost LB: 94884 ... c Min unsat cost LB: 94976 ... c Min unsat cost LB: 95011 ... c Min unsat cost LB: 95142 ... c Min unsat cost LB: 95447 ... c Min unsat cost LB: 95793 ... c Min unsat cost LB: 95900 ... c Min unsat cost LB: 96300 ... c Min unsat cost LB: 96435 ... c Min unsat cost LB: 96516 ... c Min unsat cost LB: 96520 ... c Min unsat cost LB: 96534 ... c Min unsat cost LB: 96567 ... c Min unsat cost LB: 96599 ... c Min unsat cost LB: 96626 ... c Min unsat cost LB: 96646 ... c Min unsat cost LB: 96667 ... c Min unsat cost LB: 96674 ... c Min unsat cost LB: 96738 ... c Min unsat cost LB: 97042 ... c Min unsat cost LB: 97114 ... c Min unsat cost LB: 97208 ... c Min unsat cost LB: 97251 ... c Min unsat cost LB: 97310 ... c Min unsat cost LB: 97500 ... c Min unsat cost LB: 97502 ... c Min unsat cost LB: 97525 ... c Min unsat cost LB: 97731 ... c Min unsat cost LB: 97854 ... c Min unsat cost LB: 97913 ... c Min unsat cost LB: 97940 ... c Min unsat cost LB: 98142 ... c Min unsat cost LB: 98161 ... c Min unsat cost LB: 98172 ... c Min unsat cost LB: 98297 ... c Min unsat cost LB: 98544 ... c Min unsat cost LB: 98601 ... c Min unsat cost LB: 99018 ... c Min unsat cost LB: 99077 ... c Min unsat cost LB: 99082 ... c Min unsat cost LB: 99506 ... c Min unsat cost LB: 99567 ... c Min unsat cost LB: 99626 ... c Min unsat cost LB: 99734 ... c Min unsat cost LB: 99758 ... c Min unsat cost LB: 99911 ... c Min unsat cost LB: 99967 ... c Min unsat cost LB: 99992 ... c Min unsat cost LB: 100021 ... c Min unsat cost LB: 100198 ... c Min unsat cost LB: 100210 ... c Min unsat cost LB: 100392 ... c Min unsat cost LB: 100773 ... c Min unsat cost LB: 100775 ... c Min unsat cost LB: 100834 ... c Min unsat cost LB: 100884 ... c Min unsat cost LB: 101115 ... c Min unsat cost LB: 101174 ... c Min unsat cost LB: 101496 ... c Min unsat cost LB: 101507 ... c Min unsat cost LB: 101650 ... c Min unsat cost LB: 102088 ... c Min unsat cost LB: 102619 ... c Min unsat cost LB: 102797 ... c Min unsat cost LB: 103032 ... c Min unsat cost LB: 103572 ... c Min unsat cost LB: 103750 ... c Min unsat cost LB: 104056 ... c Min unsat cost LB: 104264 ... c Min unsat cost LB: 104555 ... c Min unsat cost LB: 104645 ... c Min unsat cost LB: 104877 ... c Min unsat cost LB: 104886 ... c Min unsat cost LB: 105654 ... c Min unsat cost LB: 105764 ... c Min unsat cost LB: 106011 ... c Min unsat cost LB: 106132 ... c Min unsat cost LB: 106236 ... c Min unsat cost LB: 106608 ... c Min unsat cost LB: 106715 ... c Min unsat cost LB: 106753 ... c Min unsat cost LB: 107597 ... c Min unsat cost LB: 107964 ... c Min unsat cost LB: 108181 ... c Min unsat cost LB: 108751 ... c Min unsat cost LB: 108759 ... c Min unsat cost LB: 109105 ... c Min unsat cost LB: 109165 ... c Min unsat cost LB: 109264 ... c Min unsat cost LB: 109325 ... c Min unsat cost LB: 109471 ... c Min unsat cost LB: 109499 ... c Min unsat cost LB: 109832 ... c Min unsat cost LB: 109853 ... c Min unsat cost LB: 109860 ... c Min unsat cost LB: 109967 ... c Min unsat cost LB: 110026 ... c Min unsat cost LB: 110203 ... c Min unsat cost LB: 110272 ... c Min unsat cost LB: 110291 ... c Min unsat cost LB: 110340 ... c Min unsat cost LB: 110344 ... c Min unsat cost LB: 110385 ... c Min unsat cost LB: 110389 ... c Min unsat cost LB: 110423 ... c Min unsat cost LB: 110445 ... c Min unsat cost LB: 110470 ... c Min unsat cost LB: 110512 ... c Min unsat cost LB: 110547 ... c Min unsat cost LB: 110558 ... c Min unsat cost LB: 110614 ... c Min unsat cost LB: 110619 ... c Min unsat cost LB: 110621 ... c Min unsat cost LB: 110752 ... c Min unsat cost LB: 110926 ... c Min unsat cost LB: 110954 ... c Min unsat cost LB: 110957 ... c Min unsat cost LB: 111012 ... c Min unsat cost LB: 111015 ... c Min unsat cost LB: 111018 ... c Min unsat cost LB: 111023 ... c Min unsat cost LB: 111031 ... c Min unsat cost LB: 111210 ... c Min unsat cost LB: 111257 ... c Min unsat cost LB: 111324 ... c Min unsat cost LB: 111338 ... c Min unsat cost LB: 111376 ... c Min unsat cost LB: 111509 ... c Min unsat cost LB: 111568 ... c Min unsat cost LB: 111637 ... c Min unsat cost LB: 111653 ... c Min unsat cost LB: 111661 ... c Min unsat cost LB: 111712 ... c Min unsat cost LB: 111749 ... c Min unsat cost LB: 111796 ... c Min unsat cost LB: 111832 ... c Min unsat cost LB: 111887 ... c Min unsat cost LB: 111975 ... c Min unsat cost LB: 111983 ... c Min unsat cost LB: 112139 ... c Min unsat cost LB: 112194 ... c Min unsat cost LB: 112246 ... c Min unsat cost LB: 112353 ... c Min unsat cost LB: 112358 ... c Min unsat cost LB: 112412 ... c Min unsat cost LB: 112463 ... c Min unsat cost LB: 112615 ... c Min unsat cost LB: 112746 ... c Min unsat cost LB: 112845 ... c Min unsat cost LB: 112895 ... c Min unsat cost LB: 112906 ... c Min unsat cost LB: 112956 ... c Min unsat cost LB: 113003 ... c Min unsat cost LB: 113012 ... c Min unsat cost LB: 113019 ... c Min unsat cost LB: 113037 ... c Min unsat cost LB: 113088 ... c Min unsat cost LB: 113117 ... c Min unsat cost LB: 113160 ... c Min unsat cost LB: 113177 ... c Min unsat cost LB: 113187 ... c Min unsat cost LB: 113256 ... c Min unsat cost LB: 113258 ... c Min unsat cost LB: 113263 ... c Min unsat cost LB: 113266 ... c Min unsat cost LB: 113268 ... c Min unsat cost LB: 113271 ... c Min unsat cost LB: 113274 ... c Min unsat cost LB: 113286 ... c Min unsat cost LB: 113297 ... c Min unsat cost LB: 113301 ... c Min unsat cost LB: 113336 ... c Min unsat cost LB: 113343 ... c Min unsat cost LB: 113347 ... c Min unsat cost LB: 113349 ... c Min unsat cost LB: 113398 ... c Min unsat cost LB: 113423 ... c Min unsat cost LB: 113457 ... c Min unsat cost LB: 113514 ... c Min unsat cost LB: 113525 ... c Min unsat cost LB: 113604 ... c Min unsat cost LB: 113615 ... c Min unsat cost LB: 113847 ... c Min unsat cost LB: 113926 ... c Min unsat cost LB: 113931 ... c Min unsat cost LB: 113934 ... c Min unsat cost LB: 113935 ... c Min unsat cost LB: 113944 ... c Min unsat cost LB: 113951 ... c Min unsat cost LB: 113987 ... c Min unsat cost LB: 113999 ... c Min unsat cost LB: 114007 ... c Min unsat cost LB: 114010 ... c Min unsat cost LB: 114013 ... c Min unsat cost LB: 114014 ... c Min unsat cost LB: 114015 ... c Min unsat cost LB: 114018 ... c Min unsat cost LB: 114025 ... c Min unsat cost LB: 114027 ... c Min unsat cost LB: 114030 ... c Min unsat cost LB: 114034 ... c Min unsat cost LB: 114036 ... c Min unsat cost LB: 114039 ... c Min unsat cost LB: 114040 ... c Min unsat cost LB: 114048 ... c Min unsat cost LB: 114049 ... c Min unsat cost LB: 114050 ... c Min unsat cost LB: 114053 ... c Min unsat cost LB: 114055 ... c Min unsat cost LB: 114062 ... c Min unsat cost LB: 114073 ... c Min unsat cost LB: 114077 ... c Min unsat cost LB: 114079 ... c Min unsat cost LB: 114082 ... c Min unsat cost LB: 114086 ... c Min unsat cost LB: 114091 ... c Min unsat cost LB: 114094 ... c Min unsat cost LB: 114098 ... c Min unsat cost LB: 114099 ... c Min unsat cost LB: 114102 ... c Min unsat cost LB: 114107 ... c Min unsat cost LB: 114108 ... c Min unsat cost LB: 114114 ... c Min unsat cost LB: 114119 ... c Min unsat cost LB: 114120 ... c Min unsat cost LB: 114122 ... c Min unsat cost LB: 114124 ... c Min unsat cost LB: 114126 ... c Min unsat cost LB: 114130 ... c Min unsat cost LB: 114133 ... c Min unsat cost LB: 114134 ... c Min unsat cost LB: 114135 ... c Min unsat cost LB: 114139 ... c Min unsat cost LB: 114141 ... c Min unsat cost LB: 114145 ... c Min unsat cost LB: 114147 ... c Min unsat cost LB: 114156 ... c Min unsat cost LB: 114157 ... c Min unsat cost LB: 114162 ... c Min unsat cost LB: 114163 ... c Min unsat cost LB: 114164 ... c Min unsat cost LB: 114165 ... c Min unsat cost LB: 114167 ... c Min unsat cost LB: 114170 ... c Min unsat cost LB: 114172 ... c Min unsat cost LB: 114173 ... c Min unsat cost LB: 114174 ... c Min unsat cost LB: 114175 ... c Min unsat cost LB: 114177 ... c Min unsat cost LB: 114182 ... c Min unsat cost LB: 114211 ... c Min unsat cost LB: 114219 ... c Min unsat cost LB: 114239 ... c Min unsat cost LB: 114259 ... c Min unsat cost LB: 114262 ... c Min unsat cost LB: 114263 ... c Min unsat cost LB: 114264 ... c Min unsat cost LB: 114267 ... c Min unsat cost LB: 114269 ... c Min unsat cost LB: 114271 ... c Min unsat cost LB: 114273 ... c Min unsat cost LB: 114274 ... c Min unsat cost LB: 114275 ... c Min unsat cost LB: 114276 ... c Min unsat cost LB: 114279 ... c Min unsat cost LB: 114280 ... c Min unsat cost LB: 114281 ... c Min unsat cost LB: 114283 ... c Min unsat cost LB: 114285 ... c Min unsat cost LB: 114286 ... c Min unsat cost LB: 114293 ... c Min unsat cost LB: 114296 ... c Min unsat cost LB: 114301 ... c Min unsat cost LB: 114304 ... c Min unsat cost LB: 114306 ... c Min unsat cost LB: 114313 ... c Min unsat cost LB: 114320 ... c Min unsat cost LB: 114321 ... c Min unsat cost LB: 114322 ... c Min unsat cost LB: 114323 ... c Min unsat cost LB: 114324 ... c Min unsat cost LB: 114325 ... c Min unsat cost LB: 114326 ... c Min unsat cost LB: 114327 ... c Min unsat cost LB: 114330 ... c Min unsat cost LB: 114360 ... c Min unsat cost LB: 114363 ... c Min unsat cost LB: 114381 ... c Min unsat cost LB: 114388 ... c Min unsat cost LB: 114401 ... c Min unsat cost LB: 114420 ... c Min unsat cost LB: 114449 ... c Min unsat cost LB: 114460 ... c Min unsat cost LB: 114485 ... c Min unsat cost LB: 114502 ... c Min unsat cost LB: 114567 ... c Min unsat cost LB: 114572 ... c Min unsat cost LB: 114591 ... c Min unsat cost LB: 114594 ... c Min unsat cost LB: 114598 ... c Min unsat cost LB: 114603 ... c Min unsat cost LB: 114604 ... c Min unsat cost LB: 114605 ... c Min unsat cost LB: 114606 ... c Min unsat cost LB: 114609 ... c Min unsat cost LB: 114610 ... c Min unsat cost LB: 114611 ... c Min unsat cost LB: 114612 ... c Min unsat cost LB: 114613 ... c Min unsat cost LB: 114614 ... c Min unsat cost LB: 114615 ... c Min unsat cost LB: 114616 ... c Min unsat cost LB: 114619 ... c Min unsat cost LB: 114620 ... c Min unsat cost LB: 114621 ... c Min unsat cost LB: 114627 ... c Min unsat cost LB: 114628 ... c Min unsat cost LB: 114641 ... c Min unsat cost LB: 114651 ... c Min unsat cost LB: 114654 ... c Min unsat cost LB: 114661 ... c Min unsat cost LB: 114665 ... c Min unsat cost LB: 114666 ... c Min unsat cost LB: 114667 ... c Min unsat cost LB: 114671 ... c Min unsat cost LB: 114672 ... c Min unsat cost LB: 114673 ... c Min unsat cost LB: 114674 ... c Min unsat cost LB: 114675 ... c Min unsat cost LB: 114676 ... c Min unsat cost LB: 114677 ... c Min unsat cost LB: 114678 ... c Min unsat cost LB: 114687 ... c Min unsat cost LB: 114688 ... c Min unsat cost LB: 114689 ... c Min unsat cost LB: 114690 ... c Min unsat cost LB: 114691 ... c Min unsat cost LB: 114692 ... c Min unsat cost LB: 114693 ... c Min unsat cost LB: 114694 ... c Min unsat cost LB: 114696 ... c Min unsat cost LB: 114697 ... c Min unsat cost LB: 114698 ... c Min unsat cost LB: 114699 ... c Min unsat cost LB: 114702 ... c Min unsat cost LB: 114704 ... c Min unsat cost LB: 114705 ... c Min unsat cost LB: 114706 ... c Min unsat cost LB: 114708 ... c Min unsat cost LB: 114709 ... c Min unsat cost LB: 114710 ... c Min unsat cost LB: 114711 ... c Min unsat cost LB: 114712 ... c Min unsat cost LB: 114722 ... c Min unsat cost LB: 114724 ... c Min unsat cost LB: 114725 ... c Min unsat cost LB: 114733 ... c Min unsat cost LB: 114735 ... c Min unsat cost LB: 114736 ... c Min unsat cost LB: 114738 ... c Min unsat cost LB: 114742 ... c Min unsat cost LB: 114745 ... c Min unsat cost LB: 114746 ... c Min unsat cost LB: 114749 ... c Min unsat cost LB: 114750 ... c Min unsat cost LB: 114753 ... c Min unsat cost LB: 114754 ... c Min unsat cost LB: 114759 ... c Min unsat cost LB: 114762 ... c Min unsat cost LB: 114769 ... c Min unsat cost LB: 114773 ... c Min unsat cost LB: 114776 ... c Min unsat cost LB: 114778 ... c Min unsat cost LB: 114779 ... c Min unsat cost LB: 114780 ... c Min unsat cost LB: 114882 ... c Min unsat cost LB: 114883 ... c Min unsat cost LB: 114884 ... c Min unsat cost LB: 114885 ... c Min unsat cost LB: 114886 ... c Min unsat cost LB: 114888 ... c Min unsat cost LB: 114889 ... c Min unsat cost LB: 114891 ... c Min unsat cost LB: 114892 ... c Min unsat cost LB: 114893 ... c Min unsat cost LB: 114894 ... c Min unsat cost LB: 114895 ... c Min unsat cost LB: 114896 ... c Min unsat cost LB: 114898 ... c Min unsat cost LB: 114899 ... c Min unsat cost LB: 114900 ... c Min unsat cost LB: 114901 ... c Min unsat cost LB: 114902 ... c Min unsat cost LB: 114903 ... c Min unsat cost LB: 114904 ... c Min unsat cost LB: 114905 ... c Min unsat cost LB: 114910 ... c Min unsat cost LB: 114925 ... c Min unsat cost LB: 114929 ... c Min unsat cost LB: 114964 ... c Min unsat cost LB: 114976 ... c Min unsat cost LB: 115013 ... c Min unsat cost LB: 115037 ... c Min unsat cost LB: 115041 ... c Min unsat cost LB: 115042 ... c Min unsat cost LB: 115043 ... c Min unsat cost LB: 115050 ... c Min unsat cost LB: 115053 ... c Min unsat cost LB: 115073 ... c Min unsat cost LB: 115097 ... c Min unsat cost LB: 115119 ... c Min unsat cost LB: 115139 ... c Min unsat cost LB: 115142 ... c Min unsat cost LB: 115149 ... c Min unsat cost LB: 115162 ... c Min unsat cost LB: 115169 ... c Min unsat cost LB: 115172 ... c Min unsat cost LB: 115173 ... c Min unsat cost LB: 115199 ... c Min unsat cost LB: 115200 ... c Min unsat cost LB: 115213 ... c Min unsat cost LB: 115214 ... c Min unsat cost LB: 115225 ... c Min unsat cost LB: 115234 ... c Min unsat cost LB: 115264 ... c Min unsat cost LB: 115312 ... c Min unsat cost LB: 115319 ... c Min unsat cost LB: 115333 ... c Min unsat cost LB: 115354 ... c Min unsat cost LB: 115356 ... c Min unsat cost LB: 115357 ... c Min unsat cost LB: 115358 ... c Min unsat cost LB: 115359 ... c Min unsat cost LB: 115360 ... c Min unsat cost LB: 115362 ... c Min unsat cost LB: 115363 ... c Min unsat cost LB: 115365 ... c Min unsat cost LB: 115367 ... c Min unsat cost LB: 115369 ... c Min unsat cost LB: 115371 ... c Min unsat cost LB: 115372 ... c Min unsat cost LB: 115373 ... c Min unsat cost LB: 115378 ... c Min unsat cost LB: 115379 ... c Min unsat cost LB: 115380 ... c Min unsat cost LB: 115381 ... c Min unsat cost LB: 115382 ... c Min unsat cost LB: 115383 ... c Min unsat cost LB: 115384 ... c Min unsat cost LB: 115385 ... c Min unsat cost LB: 115386 ... c Min unsat cost LB: 115387 ... c Min unsat cost LB: 115416 ... c Min unsat cost LB: 115425 ... c Min unsat cost LB: 115438 ... c Min unsat cost LB: 115449 ... c Min unsat cost LB: 115467 ... c Min unsat cost LB: 115505 ... c Min unsat cost LB: 115548 ... c Min unsat cost LB: 115564 ... c Min unsat cost LB: 115569 ... c Min unsat cost LB: 115577 ... c Min unsat cost LB: 115578 ... c Min unsat cost LB: 115583 ... c Min unsat cost LB: 115588 ... c Min unsat cost LB: 115590 ... c Min unsat cost LB: 115640 ... c Min unsat cost LB: 115699 ... c Min unsat cost LB: 115702 ... c Min unsat cost LB: 115707 ... c Min unsat cost LB: 115754 ... c Min unsat cost LB: 115811 ... c Min unsat cost LB: 115828 ... c Min unsat cost LB: 115834 ... c Min unsat cost LB: 115836 ... c Min unsat cost LB: 115843 ... c Min unsat cost LB: 115846 ... c Min unsat cost LB: 115965 ... c Min unsat cost LB: 115971 ... c Min unsat cost LB: 115977 ... c Min unsat cost LB: 116024 ... c Min unsat cost LB: 116029 ... c Min unsat cost LB: 116030 ... c Min unsat cost LB: 116032 ... c Min unsat cost LB: 116043 ... c Min unsat cost LB: 116049 ... c Min unsat cost LB: 116055 ... c Min unsat cost LB: 116061 ... c Min unsat cost LB: 116067 ... c Min unsat cost LB: 116124 ... c Min unsat cost LB: 116130 ... c Min unsat cost LB: 116131 ... c Min unsat cost LB: 116132 ... c Min unsat cost LB: 116172 ... c Min unsat cost LB: 116173 ... c Min unsat cost LB: 116194 ... c Min unsat cost LB: 116196 ... c Min unsat cost LB: 116197 ... c Min unsat cost LB: 116199 ... c Min unsat cost LB: 116201 ... c Min unsat cost LB: 116203 ... c Min unsat cost LB: 116204 ... c Min unsat cost LB: 116206 ... c Min unsat cost LB: 116208 ... c Min unsat cost LB: 116210 ... c Min unsat cost LB: 116410 ... c Min unsat cost LB: 116411 ... c Min unsat cost LB: 116412 ... c Min unsat cost LB: 116420 ... c Min unsat cost LB: 116421 ... c Min unsat cost LB: 116449 ... c Min unsat cost LB: 116450 ... c Min unsat cost LB: 116468 ... c Min unsat cost LB: 116470 ... c Min unsat cost LB: 116475 ... c Min unsat cost LB: 116484 ... c Min unsat cost LB: 116485 ... c Min unsat cost LB: 116503 ... c Min unsat cost LB: 116534 ... c Min unsat cost LB: 116541 ... c Min unsat cost LB: 116567 ... c Min unsat cost LB: 116568 ... c Min unsat cost LB: 116569 ... c Min unsat cost LB: 116570 ... c Min unsat cost LB: 116571 ... c Min unsat cost LB: 116575 ... c Min unsat cost LB: 116578 ... c Min unsat cost LB: 116580 ... c Min unsat cost LB: 116583 ... c Min unsat cost LB: 116626 ... c Min unsat cost LB: 116655 ... c Min unsat cost LB: 116657 ... c Min unsat cost LB: 116661 ... c Min unsat cost LB: 116662 ... c Min unsat cost LB: 116663 ... c Min unsat cost LB: 116664 ... c Min unsat cost LB: 116665 ... c Min unsat cost LB: 116667 ... c Min unsat cost LB: 116668 ... c Min unsat cost LB: 116682 ... c Min unsat cost LB: 116689 ... c Min unsat cost LB: 116692 ... c Min unsat cost LB: 116695 ... c Min unsat cost LB: 116702 ... c Min unsat cost LB: 116703 ... c Min unsat cost LB: 116704 ... c Min unsat cost LB: 116705 ... c Min unsat cost LB: 116706 ... c Min unsat cost LB: 116707 ... c Min unsat cost LB: 116708 ... c Min unsat cost LB: 116709 ... c Min unsat cost LB: 116710 ... c Min unsat cost LB: 116711 ... c Min unsat cost LB: 116712 ... c Min unsat cost LB: 116713 ... c Min unsat cost LB: 116715 ... c Min unsat cost LB: 116716 ... c Min unsat cost LB: 116717 ... c Min unsat cost LB: 116719 ... c Min unsat cost LB: 116720 ... c Min unsat cost LB: 116721 ... c Min unsat cost LB: 116722 ... c Min unsat cost LB: 116723 ... c Min unsat cost LB: 116734 ... c Min unsat cost LB: 116738 ... c Min unsat cost LB: 116739 ... c Min unsat cost LB: 116740 ... c Min unsat cost LB: 116741 ... c Min unsat cost LB: 116742 ... c Min unsat cost LB: 116744 ... c Min unsat cost LB: 116745 ... c Min unsat cost LB: 116754 ... c Min unsat cost LB: 116763 ... c Min unsat cost LB: 116877 ... c Min unsat cost LB: 116994 ... c Min unsat cost LB: 117001 ... c Min unsat cost LB: 117030 ... c Min unsat cost LB: 117032 ... c Min unsat cost LB: 117042 ... c Min unsat cost LB: 117043 ... c Min unsat cost LB: 117044 ... c Min unsat cost LB: 117045 ... c Min unsat cost LB: 117046 ... c Min unsat cost LB: 117047 ... c Min unsat cost LB: 117048 ... c Min unsat cost LB: 117049 ... c Min unsat cost LB: 117050 ... c Min unsat cost LB: 117051 ... c Min unsat cost LB: 117052 ... c Min unsat cost LB: 117053 ... c Min unsat cost LB: 117054 ... c Min unsat cost LB: 117055 ... c Min unsat cost LB: 117056 ... c Min unsat cost LB: 117057 ... c Min unsat cost LB: 117058 ... c Min unsat cost LB: 117059 ... c Min unsat cost LB: 117060 ... c Min unsat cost LB: 117061 ... c Min unsat cost LB: 117062 ... c Min unsat cost LB: 117063 ... c Min unsat cost LB: 117064 ... c Min unsat cost LB: 117065 ... c Min unsat cost LB: 117066 ... c Min unsat cost LB: 117067 ... c Min unsat cost LB: 117068 ... c Min unsat cost LB: 117069 ... c Min unsat cost LB: 117070 ... c Min unsat cost LB: 117074 ... c Min unsat cost LB: 117075 ... c Min unsat cost LB: 117076 ... c Min unsat cost LB: 117077 ... c Min unsat cost LB: 117080 ... c Min unsat cost LB: 117081 ... c Min unsat cost LB: 117082 ... c Min unsat cost LB: 117083 ... c Min unsat cost LB: 117086 ... c Min unsat cost LB: 117087 ... c Min unsat cost LB: 117088 ... c Min unsat cost LB: 117089 ... c Min unsat cost LB: 117090 ... c Min unsat cost LB: 117091 ... c Min unsat cost LB: 117092 ... c Min unsat cost LB: 117093 ... c Min unsat cost LB: 117094 ... c Min unsat cost LB: 117095 ... c Min unsat cost LB: 117096 ... c Min unsat cost LB: 117097 ... c Min unsat cost LB: 117098 ... c Min unsat cost LB: 117099 ... c Min unsat cost LB: 117100 ... c Min unsat cost LB: 117101 ... c Min unsat cost LB: 117102 ... c Min unsat cost LB: 117103 ... c Min unsat cost LB: 117104 ... c Min unsat cost LB: 117105 ... c Min unsat cost LB: 117106 ... c Min unsat cost LB: 117107 ... c Min unsat cost LB: 117108 ... c Min unsat cost LB: 117109 ... c Min unsat cost LB: 117110 ... c Min unsat cost LB: 117111 ... c Min unsat cost LB: 117289 ... c Min unsat cost LB: 117290 ... c Min unsat cost LB: 117291 ... c Min unsat cost LB: 117292 ... c Min unsat cost LB: 117293 ... c Min unsat cost LB: 117294 ... c Min unsat cost LB: 117295 ... c Min unsat cost LB: 117296 ... c Min unsat cost LB: 117297 ... c Min unsat cost LB: 117300 ... c Min unsat cost LB: 117310 ... c Min unsat cost LB: 117313 ... c Min unsat cost LB: 117315 ... c Min unsat cost LB: 117318 ... c Min unsat cost LB: 117319 ... c Min unsat cost LB: 117320 ... c Min unsat cost LB: 117330 ... c Min unsat cost LB: 117331 ... c Min unsat cost LB: 117332 ... c Min unsat cost LB: 117333 ... c Min unsat cost LB: 117334 ... c Min unsat cost LB: 117335 ... c Min unsat cost LB: 117336 ... c Min unsat cost LB: 117337 ... c Min unsat cost LB: 117338 ... c Min unsat cost LB: 117339 ... c Min unsat cost LB: 117340 ... c Min unsat cost LB: 117341 ... c Min unsat cost LB: 117342 ... c Min unsat cost LB: 117343 ... c Min unsat cost LB: 117344 ... c Min unsat cost LB: 117345 ... c Min unsat cost LB: 117346 ... c Min unsat cost LB: 117347 ... c Min unsat cost LB: 117360 ... c Min unsat cost LB: 117368 ... c Min unsat cost LB: 117369 ... c Min unsat cost LB: 117370 ... c Min unsat cost LB: 117371 ... c Min unsat cost LB: 117372 ... c Min unsat cost LB: 117374 ... c Min unsat cost LB: 117378 ... c Min unsat cost LB: 117381 ... c Min unsat cost LB: 117383 ... c Min unsat cost LB: 117385 ... c Min unsat cost LB: 117387 ... c Min unsat cost LB: 117388 ... c Min unsat cost LB: 117389 ... c Min unsat cost LB: 117390 ... c Min unsat cost LB: 117395 ... c Min unsat cost LB: 117399 ... c Min unsat cost LB: 117411 ... c Min unsat cost LB: 117418 ... c Min unsat cost LB: 117419 ... c Min unsat cost LB: 117422 ... c Min unsat cost LB: 117423 ... c Min unsat cost LB: 117426 ... c Min unsat cost LB: 117430 ... c Min unsat cost LB: 117431 ... c Min unsat cost LB: 117432 ... c Min unsat cost LB: 117434 ... c Min unsat cost LB: 117436 ... c Min unsat cost LB: 117438 ... c Min unsat cost LB: 117439 ... c Min unsat cost LB: 117440 ... c Min unsat cost LB: 117441 ... c Min unsat cost LB: 117442 ... c Min unsat cost LB: 117443 ... c Min unsat cost LB: 117444 ... c Min unsat cost LB: 117457 ... c Min unsat cost LB: 117737 ... c Min unsat cost LB: 117738 ... c Min unsat cost LB: 117739 ... c Min unsat cost LB: 117741 ... c Min unsat cost LB: 117742 ... c Min unsat cost LB: 117746 ... c Min unsat cost LB: 117750 ... c Min unsat cost LB: 117759 ... c Min unsat cost LB: 117763 ... c Min unsat cost LB: 117764 ... c Min unsat cost LB: 117765 ... c Min unsat cost LB: 117766 ... c Min unsat cost LB: 117767 ... c Min unsat cost LB: 117768 ... c Min unsat cost LB: 117769 ... c Min unsat cost LB: 117770 ... c Min unsat cost LB: 117772 ... c Min unsat cost LB: 117776 ... c Min unsat cost LB: 117777 ... c Min unsat cost LB: 117798 ... c Min unsat cost LB: 117799 ... c Min unsat cost LB: 117801 ... c Min unsat cost LB: 117802 ... c Min unsat cost LB: 117803 ... c Min unsat cost LB: 117804 ... c Min unsat cost LB: 117805 ... c Min unsat cost LB: 117806 ... c Min unsat cost LB: 117807 ... c Min unsat cost LB: 117808 ... c Min unsat cost LB: 117809 ... c Min unsat cost LB: 117818 ... c Min unsat cost LB: 117820 ... c Min unsat cost LB: 117823 ... c Min unsat cost LB: 117826 ... c Min unsat cost LB: 117828 ... c Min unsat cost LB: 117831 ... c Min unsat cost LB: 117832 ... c Min unsat cost LB: 117833 ... c Min unsat cost LB: 117834 ... c Min unsat cost LB: 117954 ... c Min unsat cost LB: 117957 ... c Min unsat cost LB: 117958 ... c Min unsat cost LB: 117960 ... c Min unsat cost LB: 117961 ... c Min unsat cost LB: 117962 ... c Min unsat cost LB: 117968 ... c Min unsat cost LB: 117973 ... c Min unsat cost LB: 117974 ... c Min unsat cost LB: 117975 ... c Min unsat cost LB: 117976 ... c Min unsat cost LB: 117979 ... c Min unsat cost LB: 117980 ... c Min unsat cost LB: 117981 ... c Min unsat cost LB: 117982 ... c Min unsat cost LB: 117984 ... c Min unsat cost LB: 117986 ... c Min unsat cost LB: 117988 ... c Min unsat cost LB: 117997 ... c Min unsat cost LB: 117998 ... c Min unsat cost LB: 117999 ..Killed 1813.887u 5.852s 30:19.79 99.9% 0+0k 0+0io 0pf+0w