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_150_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_0004.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_150_0004.txt.wcnf *** c c Min unsat cost LB: 1081 ... c Min unsat cost LB: 2162 ... c Min unsat cost LB: 3243 ... c Min unsat cost LB: 4324 ... c Min unsat cost LB: 5330 ... c Min unsat cost LB: 6411 ... c Min unsat cost LB: 6486 ... c Min unsat cost LB: 7567 ... c Min unsat cost LB: 8648 ... c Min unsat cost LB: 9407 ... c Min unsat cost LB: 9729 ... c Min unsat cost LB: 10488 ... c Min unsat cost LB: 10810 ... c Min unsat cost LB: 11569 ... c Min unsat cost LB: 12650 ... c Min unsat cost LB: 13731 ... c Min unsat cost LB: 14490 ... c Min unsat cost LB: 15249 ... c Min unsat cost LB: 15421 ... c Min unsat cost LB: 16052 ... c Min unsat cost LB: 16502 ... c Min unsat cost LB: 17133 ... c Min unsat cost LB: 17892 ... c Min unsat cost LB: 18342 ... c Min unsat cost LB: 18973 ... c Min unsat cost LB: 19604 ... c Min unsat cost LB: 20054 ... c Min unsat cost LB: 20685 ... c Min unsat cost LB: 21691 ... c Min unsat cost LB: 22322 ... c Min unsat cost LB: 22953 ... c Min unsat cost LB: 23584 ... c Min unsat cost LB: 23659 ... c Min unsat cost LB: 24290 ... c Min unsat cost LB: 24664 ... c Min unsat cost LB: 24921 ... c Min unsat cost LB: 25220 ... c Min unsat cost LB: 25295 ... c Min unsat cost LB: 25412 ... c Min unsat cost LB: 25786 ... c Min unsat cost LB: 26160 ... c Min unsat cost LB: 26534 ... c Min unsat cost LB: 27165 ... c Min unsat cost LB: 27176 ... c Min unsat cost LB: 27357 ... c Min unsat cost LB: 27550 ... c Min unsat cost LB: 27898 ... c Min unsat cost LB: 28181 ... c Min unsat cost LB: 28246 ... c Min unsat cost LB: 28362 ... c Min unsat cost LB: 28543 ... c Min unsat cost LB: 28775 ... c Min unsat cost LB: 28906 ... c Min unsat cost LB: 29280 ... c Min unsat cost LB: 29893 ... c Min unsat cost LB: 30524 ... c Min unsat cost LB: 30898 ... c Min unsat cost LB: 31111 ... c Min unsat cost LB: 31410 ... c Min unsat cost LB: 31591 ... c Min unsat cost LB: 31742 ... c Min unsat cost LB: 32355 ... c Min unsat cost LB: 32986 ... c Min unsat cost LB: 33092 ... c Min unsat cost LB: 33542 ... c Min unsat cost LB: 34155 ... c Min unsat cost LB: 34768 ... c Min unsat cost LB: 35142 ... c Min unsat cost LB: 35755 ... c Min unsat cost LB: 35818 ... c Min unsat cost LB: 36431 ... c Min unsat cost LB: 37044 ... c Min unsat cost LB: 37657 ... c Min unsat cost LB: 38270 ... c Min unsat cost LB: 38883 ... c Min unsat cost LB: 39496 ... c Min unsat cost LB: 40109 ... c Min unsat cost LB: 40722 ... c Min unsat cost LB: 41335 ... c Min unsat cost LB: 41498 ... c Min unsat cost LB: 41948 ... c Min unsat cost LB: 42259 ... c Min unsat cost LB: 42696 ... c Min unsat cost LB: 43340 ... c Min unsat cost LB: 43900 ... c Min unsat cost LB: 44015 ... c Min unsat cost LB: 44068 ... c Min unsat cost LB: 44500 ... c Min unsat cost LB: 45113 ... c Min unsat cost LB: 45762 ... c Min unsat cost LB: 46136 ... c Min unsat cost LB: 46172 ... c Min unsat cost LB: 46322 ... c Min unsat cost LB: 46514 ... c Min unsat cost LB: 46696 ... c Min unsat cost LB: 47081 ... c Min unsat cost LB: 47455 ... c Min unsat cost LB: 47757 ... c Min unsat cost LB: 47840 ... c Min unsat cost LB: 47895 ... c Min unsat cost LB: 48425 ... c Min unsat cost LB: 48508 ... c Min unsat cost LB: 48653 ... c Min unsat cost LB: 48654 ... c Min unsat cost LB: 48699 ... c Min unsat cost LB: 48826 ... c Min unsat cost LB: 49267 ... c Min unsat cost LB: 49585 ... c Min unsat cost LB: 49605 ... c Min unsat cost LB: 50198 ... c Min unsat cost LB: 50611 ... c Min unsat cost LB: 50774 ... c Min unsat cost LB: 51224 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 51692 ... c Min unsat cost LB: 51840 ... c Min unsat cost LB: 52390 ... c Min unsat cost LB: 52698 ... c Min unsat cost LB: 52822 ... c Min unsat cost LB: 53471 ... c Min unsat cost LB: 53761 ... c Min unsat cost LB: 53784 ... c Min unsat cost LB: 53899 ... c Min unsat cost LB: 53903 ... c Min unsat cost LB: 54321 ... c Min unsat cost LB: 54371 ... c Min unsat cost LB: 54543 ... c Min unsat cost LB: 54596 ... c Min unsat cost LB: 55452 ... c Min unsat cost LB: 55677 ... c Min unsat cost LB: 56056 ... c Min unsat cost LB: 56290 ... c Min unsat cost LB: 56533 ... c Min unsat cost LB: 56556 ... c Min unsat cost LB: 56671 ... c Min unsat cost LB: 56903 ... c Min unsat cost LB: 56961 ... c Min unsat cost LB: 56965 ... c Min unsat cost LB: 57089 ... c Min unsat cost LB: 57164 ... c Min unsat cost LB: 57795 ... c Min unsat cost LB: 58117 ... c Min unsat cost LB: 58141 ... c Min unsat cost LB: 58379 ... c Min unsat cost LB: 58876 ... c Min unsat cost LB: 58900 ... c Min unsat cost LB: 58930 ... c Min unsat cost LB: 59058 ... c Min unsat cost LB: 59380 ... c Min unsat cost LB: 59391 ... c Min unsat cost LB: 59765 ... c Min unsat cost LB: 60011 ... c Min unsat cost LB: 60135 ... c Min unsat cost LB: 60192 ... c Min unsat cost LB: 60503 ... c Min unsat cost LB: 60548 ... c Min unsat cost LB: 60624 ... c Min unsat cost LB: 60730 ... c Min unsat cost LB: 61029 ... c Min unsat cost LB: 61179 ... c Min unsat cost LB: 61192 ... c Min unsat cost LB: 61237 ... c Min unsat cost LB: 61588 ... c Min unsat cost LB: 61611 ... c Min unsat cost LB: 61634 ... c Min unsat cost LB: 61824 ... c Min unsat cost LB: 61850 ... c Min unsat cost LB: 61851 ... c Min unsat cost LB: 61869 ... c Min unsat cost LB: 61915 ... c Min unsat cost LB: 61922 ... c Min unsat cost LB: 61925 ... c Min unsat cost LB: 61926 ... c Min unsat cost LB: 61949 ... c Min unsat cost LB: 62094 ... c Min unsat cost LB: 62248 ... c Min unsat cost LB: 62323 ... c Min unsat cost LB: 62346 ... c Min unsat cost LB: 62381 ... c Min unsat cost LB: 62544 ... c Min unsat cost LB: 62578 ... c Min unsat cost LB: 62624 ... c Min unsat cost LB: 62707 ... c Min unsat cost LB: 62950 ... c Min unsat cost LB: 62993 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63019 ... c Min unsat cost LB: 63276 ... c Min unsat cost LB: 63392 ... c Min unsat cost LB: 63469 ... c Min unsat cost LB: 63585 ... c Min unsat cost LB: 63632 ... c Min unsat cost LB: 63636 ... c Min unsat cost LB: 63689 ... c Min unsat cost LB: 63739 ... c Min unsat cost LB: 63888 ... c Min unsat cost LB: 64108 ... c Min unsat cost LB: 64139 ... c Min unsat cost LB: 64165 ... c Min unsat cost LB: 64240 ... c Min unsat cost LB: 64338 ... c Min unsat cost LB: 64469 ... c Min unsat cost LB: 64542 ... c Min unsat cost LB: 64663 ... c Min unsat cost LB: 64664 ... c Min unsat cost LB: 64898 ... c Min unsat cost LB: 64951 ... c Min unsat cost LB: 65013 ... c Min unsat cost LB: 65014 ... c Min unsat cost LB: 65207 ... c Min unsat cost LB: 65335 ... c Min unsat cost LB: 65376 ... c Min unsat cost LB: 65388 ... c Min unsat cost LB: 65399 ... c Min unsat cost LB: 65413 ... c Min unsat cost LB: 65417 ... c Min unsat cost LB: 65523 ... c Min unsat cost LB: 65729 ... c Min unsat cost LB: 65793 ... c Min unsat cost LB: 65921 ... c Min unsat cost LB: 65939 ... c Min unsat cost LB: 66219 ... c Min unsat cost LB: 66367 ... c Min unsat cost LB: 66389 ... c Min unsat cost LB: 66394 ... c Min unsat cost LB: 66583 ... c Min unsat cost LB: 66686 ... c Min unsat cost LB: 66720 ... c Min unsat cost LB: 66827 ... c Min unsat cost LB: 66899 ... c Min unsat cost LB: 67458 ... c Min unsat cost LB: 67472 ... c Min unsat cost LB: 67498 ... c Min unsat cost LB: 67537 ... c Min unsat cost LB: 67562 ... c Min unsat cost LB: 67634 ... c Min unsat cost LB: 67820 ... c Min unsat cost LB: 67829 ... c Min unsat cost LB: 67935 ... c Min unsat cost LB: 67936 ... c Min unsat cost LB: 68009 ... c Min unsat cost LB: 68036 ... c Min unsat cost LB: 68048 ... c Min unsat cost LB: 68060 ... c Min unsat cost LB: 68078 ... c Min unsat cost LB: 68143 ... c Min unsat cost LB: 68366 ... c Min unsat cost LB: 68411 ... c Min unsat cost LB: 68489 ... c Min unsat cost LB: 68513 ... c Min unsat cost LB: 68669 ... c Min unsat cost LB: 68822 ... c Min unsat cost LB: 68902 ... c Min unsat cost LB: 69030 ... c Min unsat cost LB: 69039 ... c Min unsat cost LB: 69056 ... c Min unsat cost LB: 69060 ... c Min unsat cost LB: 69166 ... c Min unsat cost LB: 69221 ... c Min unsat cost LB: 69256 ... c Min unsat cost LB: 69382 ... c Min unsat cost LB: 69503 ... c Min unsat cost LB: 69588 ... c Min unsat cost LB: 69629 ... c Min unsat cost LB: 69638 ... c Min unsat cost LB: 69646 ... c Min unsat cost LB: 69656 ... c Min unsat cost LB: 69664 ... c Min unsat cost LB: 69726 ... c Min unsat cost LB: 69755 ... c Min unsat cost LB: 69756 ... c Min unsat cost LB: 69774 ... c Min unsat cost LB: 69775 ... c Min unsat cost LB: 69792 ... c Min unsat cost LB: 69821 ... c Min unsat cost LB: 69828 ... c Min unsat cost LB: 69831 ... c Min unsat cost LB: 69832 ... c Min unsat cost LB: 69835 ... c Min unsat cost LB: 69857 ... c Min unsat cost LB: 69861 ... c Min unsat cost LB: 69867 ... c Min unsat cost LB: 69890 ... c Min unsat cost LB: 69962 ... c Min unsat cost LB: 69976 ... c Min unsat cost LB: 70017 ... c Min unsat cost LB: 70077 ... c Min unsat cost LB: 70086 ... c Min unsat cost LB: 70101 ... c Min unsat cost LB: 70131 ... c Min unsat cost LB: 70140 ... c Min unsat cost LB: 70149 ... c Min unsat cost LB: 70157 ... c Min unsat cost LB: 70160 ... c Min unsat cost LB: 70161 ... c Min unsat cost LB: 70162 ... c Min unsat cost LB: 70181 ... c Min unsat cost LB: 70191 ... c Min unsat cost LB: 70194 ... c Min unsat cost LB: 70197 ... c Min unsat cost LB: 70205 ... c Min unsat cost LB: 70208 ... c Min unsat cost LB: 70209 ... c Min unsat cost LB: 70214 ... c Min unsat cost LB: 70229 ... c Min unsat cost LB: 70233 ... c Min unsat cost LB: 70239 ... c Min unsat cost LB: 70244 ... c Min unsat cost LB: 70247 ... c Min unsat cost LB: 70248 ... c Min unsat cost LB: 70250 ... c Min unsat cost LB: 70254 ... c Min unsat cost LB: 70257 ... c Min unsat cost LB: 70258 ... c Min unsat cost LB: 70262 ... c Min unsat cost LB: 70263 ... c Min unsat cost LB: 70272 ... c Min unsat cost LB: 70274 ... c Min unsat cost LB: 70285 ... c Min unsat cost LB: 70286 ... c Min unsat cost LB: 70358 ... c Min unsat cost LB: 70364 ... c Min unsat cost LB: 70365 ... c Min unsat cost LB: 70367 ... c Min unsat cost LB: 70368 ... c Min unsat cost LB: 70370 ... c Min unsat cost LB: 70373 ... c Min unsat cost LB: 70378 ... c Min unsat cost LB: 70379 ... c Min unsat cost LB: 70380 ... c Min unsat cost LB: 70382 ... c Min unsat cost LB: 70383 ... c Min unsat cost LB: 70384 ... c Min unsat cost LB: 70386 ... c Min unsat cost LB: 70388 ... c Min unsat cost LB: 70404 ... c Min unsat cost LB: 70422 ... c Min unsat cost LB: 70425 ... c Min unsat cost LB: 70429 ... c Min unsat cost LB: 70430 ... c Min unsat cost LB: 70431 ... c Min unsat cost LB: 70449 ... c Min unsat cost LB: 70471 ... c Min unsat cost LB: 70491 ... c Min unsat cost LB: 70494 ... c Min unsat cost LB: 70497 ... c Min unsat cost LB: 70543 ... c Min unsat cost LB: 70577 ... c Min unsat cost LB: 70600 ... c Min unsat cost LB: 70706 ... c Min unsat cost LB: 70711 ... c Min unsat cost LB: 70713 ... c Min unsat cost LB: 70720 ... c Min unsat cost LB: 70729 ... c Min unsat cost LB: 70786 ... c Min unsat cost LB: 70839 ... c Min unsat cost LB: 70841 ... c Min unsat cost LB: 70845 ... c Min unsat cost LB: 70867 ... c Min unsat cost LB: 70871 ... c Min unsat cost LB: 70877 ... c Min unsat cost LB: 70912 ... c Min unsat cost LB: 70924 ... c Min unsat cost LB: 70930 ... c Min unsat cost LB: 70933 ... c Min unsat cost LB: 70934 ... c Min unsat cost LB: 70935 ... c Min unsat cost LB: 70940 ... c Min unsat cost LB: 71149 ... c Min unsat cost LB: 71150 ... c Min unsat cost LB: 71168 ... c Min unsat cost LB: 71174 ... c Min unsat cost LB: 71196 ... c Min unsat cost LB: 71197 ... c Min unsat cost LB: 71199 ... c Min unsat cost LB: 71202 ... c Min unsat cost LB: 71208 ... c Min unsat cost LB: 71210 ... c Min unsat cost LB: 71216 ... c Min unsat cost LB: 71217 ... c Min unsat cost LB: 71261 ... c Min unsat cost LB: 71266 ... c Min unsat cost LB: 71286 ... c Min unsat cost LB: 71314 ... c Min unsat cost LB: 71616 ... c Min unsat cost LB: 71653 ... c Min unsat cost LB: 71698 ... c Min unsat cost LB: 71862 ... c Min unsat cost LB: 71863 ... c Min unsat cost LB: 71864 ... c Min unsat cost LB: 71882 ... c Min unsat cost LB: 71892 ... c Min unsat cost LB: 71982 ... c Min unsat cost LB: 72000 ... c Min unsat cost LB: 72001 ... c Min unsat cost LB: 72002 ... c Min unsat cost LB: 72005 ... c Min unsat cost LB: 72051 ... c Min unsat cost LB: 72052 ... c Min unsat cost LB: 72075 ... c Min unsat cost LB: 72083 ... c Min unsat cost LB: 72084 ... c Min unsat cost LB: 72085 ... c Min unsat cost LB: 72092 ... c Min unsat cost LB: 72093 ... c Min unsat cost LB: 72095 ... c Min unsat cost LB: 72124 ... c Min unsat cost LB: 72125 ... c Min unsat cost LB: 72128 ... c Min unsat cost LB: 72129 ... c Min unsat cost LB: 72135 ... c Min unsat cost LB: 72138 ... c Min unsat cost LB: 72140 ... c Min unsat cost LB: 72141 ... c Min unsat cost LB: 72145 ... c Min unsat cost LB: 72147 ... c Min unsat cost LB: 72148 ... c Min unsat cost LB: 72157 ... c Min unsat cost LB: 72158 ... c Min unsat cost LB: 72162 ... c Min unsat cost LB: 72163 ... c Min unsat cost LB: 72165 ... c Min unsat cost LB: 72166 ... c Min unsat cost LB: 72170 ... c Min unsat cost LB: 72174 ... c Min unsat cost LB: 72178 ... c Min unsat cost LB: 72179 ... c Min unsat cost LB: 72182 ... c Min unsat cost LB: 72193 ... c Min unsat cost LB: 72207 ... c Min unsat cost LB: 72220 ... c Min unsat cost LB: 72224 ... c Min unsat cost LB: 72227 ... c Min unsat cost LB: 72230 ... c Min unsat cost LB: 72231 ... c Min unsat cost LB: 72242 ... c Min unsat cost LB: 72248 ... c Min unsat cost LB: 72255 ... c Min unsat cost LB: 72257 ... c Min unsat cost LB: 72278 ... c Min unsat cost LB: 72279 ... c Min unsat cost LB: 72280 ... c Min unsat cost LB: 72281 ... c Min unsat cost LB: 72282 ... c Min unsat cost LB: 72285 ... c Min unsat cost LB: 72287 ... c Min unsat cost LB: 72288 ... c Min unsat cost LB: 72289 ... c Min unsat cost LB: 72291 ... c Min unsat cost LB: 72292 ... c Min unsat cost LB: 72294 ... c Min unsat cost LB: 72297 ... c Min unsat cost LB: 72301 ... c Min unsat cost LB: 72302 ... c Min unsat cost LB: 72303 ... c Min unsat cost LB: 72304 ... c Min unsat cost LB: 72306 ... c Min unsat cost LB: 72307 ... c Min unsat cost LB: 72308 ... c Min unsat cost LB: 72314 ... c Min unsat cost LB: 72319 ... c Min unsat cost LB: 72320 ... c Min unsat cost LB: 72325 ... c Min unsat cost LB: 72327 ... c Min unsat cost LB: 72392 ... c Min unsat cost LB: 72393 ... c Min unsat cost LB: 72397 ... c Min unsat cost LB: 72398 ... c Min unsat cost LB: 72550 ... c Min unsat cost LB: 72551 ... c Min unsat cost LB: 72553 ... c Min unsat cost LB: 72555 ... c Min unsat cost LB: 72556 ... c Min unsat cost LB: 72562 ... c Min unsat cost LB: 72563 ... c Min unsat cost LB: 72564 ... c Min unsat cost LB: 72567 ... c Min unsat cost LB: 72568 ... c Min unsat cost LB: 72569 ... c Min unsat cost LB: 72572 ... c Min unsat cost LB: 72575 ... c Min unsat cost LB: 72601 ... c Min unsat cost LB: 72621 ... c Min unsat cost LB: 72633 ... c Min unsat cost LB: 72663 ... c Min unsat cost LB: 72736 ... c Min unsat cost LB: 72741 ... c Min unsat cost LB: 72762 ... c Min unsat cost LB: 72771 ... c Min unsat cost LB: 72773 ... c Min unsat cost LB: 72784 ... c Min unsat cost LB: 72785 ... c Min unsat cost LB: 72786 ... c Min unsat cost LB: 72793 ... c Min unsat cost LB: 72921 ... c Min unsat cost LB: 73115 ... c Min unsat cost LB: 73154 ... c Min unsat cost LB: 73160 ... c Min unsat cost LB: 73163 ... c Min unsat cost LB: 73180 ... c Min unsat cost LB: 73186 ... c Min unsat cost LB: 73198 ... c Min unsat cost LB: 73218 ... c Min unsat cost LB: 73254 ... c Min unsat cost LB: 73290 ... c Min unsat cost LB: 73295 ... c Min unsat cost LB: 73296 ... c Min unsat cost LB: 73317 ... c Min unsat cost LB: 73323 ... c Min unsat cost LB: 73324 ... c Min unsat cost LB: 73338 ... c Min unsat cost LB: 73350 ... c Min unsat cost LB: 73367 ... c Min unsat cost LB: 73373 ... c Min unsat cost LB: 73381 ... c Min unsat cost LB: 73385 ... c Min unsat cost LB: 73402 ... c Min unsat cost LB: 73405 ... c Min unsat cost LB: 73424 ... c Min unsat cost LB: 73425 ... c Min unsat cost LB: 73427 ... c Min unsat cost LB: 73430 ... c Min unsat cost LB: 73431 ... c Min unsat cost LB: 73433 ... c Min unsat cost LB: 73438 ... c Min unsat cost LB: 73442 ... c Min unsat cost LB: 73445 ... c Min unsat cost LB: 73449 ... c Min unsat cost LB: 73451 ... c Min unsat cost LB: 73452 ... c Min unsat cost LB: 73454 ... c Min unsat cost LB: 73455 ... c Min unsat cost LB: 73458 ... c Min unsat cost LB: 73459 ... c Min unsat cost LB: 73462 ... c Min unsat cost LB: 73463 ... c Min unsat cost LB: 73464 ... c Min unsat cost LB: 73465 ... c Min unsat cost LB: 73466 ... c Min unsat cost LB: 73467 ... c Min unsat cost LB: 73468 ... c Min unsat cost LB: 73469 ... c Min unsat cost LB: 73470 ... c Min unsat cost LB: 73471 ... c Min unsat cost LB: 73472 ... c Min unsat cost LB: 73473 ... c Min unsat cost LB: 73474 ... c Min unsat cost LB: 73480 ... c Min unsat cost LB: 73481 ... c Min unsat cost LB: 73654 ... c Min unsat cost LB: 73655 ... c Min unsat cost LB: 73657 ... c Min unsat cost LB: 73673 ... c Min unsat cost LB: 73681 ... c Min unsat cost LB: 73685 ... c Min unsat cost LB: 73687 ... c Min unsat cost LB: 73695 ... c Min unsat cost LB: 73696 ... c Min unsat cost LB: 73697 ... c Min unsat cost LB: 73698 ... c Min unsat cost LB: 73703 ... c Min unsat cost LB: 73705 ... c Min unsat cost LB: 73706 ... c Min unsat cost LB: 73707 ... c Min unsat cost LB: 73710 ... c Min unsat cost LB: 73712 ... c Min unsat cost LB: 73714 ... c Min unsat cost LB: 73716 ... c Min unsat cost LB: 73718 ... c Min unsat cost LB: 73719 ... c Min unsat cost LB: 73721 ... c Min unsat cost LB: 73722 ... c Min unsat cost LB: 73725 ... c Min unsat cost LB: 73726 ... c Min unsat cost LB: 73727 ... c Min unsat cost LB: 73728 ... c Min unsat cost LB: 73729 ... c Min unsat cost LB: 73731 ... c Min unsat cost LB: 73732 ... c Min unsat cost LB: 73766 ... c Min unsat cost LB: 73767 ... c Min unsat cost LB: 73768 ... c Min unsat cost LB: 73769 ... c Min unsat cost LB: 73770 ... c Min unsat cost LB: 73771 ... c Min unsat cost LB: 73772 ... c Min unsat cost LB: 73779 ... c Min unsat cost LB: 73780 ... c Min unsat cost LB: 73781 ... c Min unsat cost LB: 73782 ... c Min unsat cost LB: 73783 ... c Min unsat cost LB: 73784 ... c Min unsat cost LB: 73785 ... c Min unsat cost LB: 73831 ... c Min unsat cost LB: 73832 ... c Min unsat cost LB: 73833 ... c Min unsat cost LB: 73834 ... c Min unsat cost LB: 73835 ... c Min unsat cost LB: 73836 ... c Min unsat cost LB: 73837 ... c Min unsat cost LB: 73842 ... c Min unsat cost LB: 73843 ... c Min unsat cost LB: 73845 ... c Min unsat cost LB: 73847 ... c Min unsat cost LB: 73851 ... c Min unsat cost LB: 73854 ... c Min unsat cost LB: 73858 ... c Min unsat cost LB: 73860 ... c Min unsat cost LB: 73861 ... c Min unsat cost LB: 73862 ... c Min unsat cost LB: 73863 ... c Min unsat cost LB: 73864 ... c Min unsat cost LB: 73866 ... c Min unsat cost LB: 73867 ... c Min unsat cost LB: 73868 ... c Min unsat cost LB: 73870 ... c Min unsat cost LB: 73871 ... c Min unsat cost LB: 73872 ... c Min unsat cost LB: 73874 ... c Min unsat cost LB: 73875 ... c Min unsat cost LB: 73877 ... c Min unsat cost LB: 73878 ... c Min unsat cost LB: 73880 ... c Min unsat cost LB: 73881 ... c Min unsat cost LB: 73882 ... c Min unsat cost LB: 73883 ... c Min unsat cost LB: 73885 ... c Min unsat cost LB: 73891 ... c Min unsat cost LB: 73896 ... c Min unsat cost LB: 73905 ... c Min unsat cost LB: 73907 ... c Min unsat cost LB: 73908 ... c Min unsat cost LB: 73912 ... c Min unsat cost LB: 73921 ... c Min unsat cost LB: 73987 ... c Min unsat cost LB: 74012 ... c Min unsat cost LB: 74017 ... c Min unsat cost LB: 74037 ... c Min unsat cost LB: 74038 ... c Min unsat cost LB: 74041 ... c Min unsat cost LB: 74045 ... c Min unsat cost LB: 74049 ... c Min unsat cost LB: 74061 ... c Min unsat cost LB: 74062 ... c Min unsat cost LB: 74063 ... c Min unsat cost LB: 74065 ... c Min unsat cost LB: 74066 ... c Min unsat cost LB: 74070 ... c Min unsat cost LB: 74073 ... c Min unsat cost LB: 74075 ... c Min unsat cost LB: 74077 ... c Min unsat cost LB: 74083 ... c Min unsat cost LB: 74085 ... c Min unsat cost LB: 74105 ... c Min unsat cost LB: 74106 ... c Min unsat cost LB: 74107 ... c Min unsat cost LB: 74108 ... c Min unsat cost LB: 74109 ... c Min unsat cost LB: 74110 ... c Min unsat cost LB: 74111 ... c Min unsat cost LB: 74112 ... c Min unsat cost LB: 74113 ... c Min unsat cost LB: 74115 ... c Min unsat cost LB: 74119 ... c Min unsat cost LB: 74120 ... c Min unsat cost LB: 74121 ... c Min unsat cost LB: 74122 ... c Min unsat cost LB: 74132 ... c Min unsat cost LB: 74133 ... c Min unsat cost LB: 74134 ... c Min unsat cost LB: 74136 ... c Min unsat cost LB: 74137 ... c Min unsat cost LB: 74140 ... c Min unsat cost LB: 74141 ... c Min unsat cost LB: 74145 ... c Min unsat cost LB: 74146 ... c Min unsat cost LB: 74147 ... c Min unsat cost LB: 74203 ... c Min unsat cost LB: 74252 ... c Min unsat cost LB: 74275 ... c Min unsat cost LB: 74284 ... c Min unsat cost LB: 74288 ... c Min unsat cost LB: 74289 ... c Min unsat cost LB: 74290 ... c Min unsat cost LB: 74292 ... c Min unsat cost LB: 74293 ... c Min unsat cost LB: 74294 ... c Min unsat cost LB: 74295 ... c Min unsat cost LB: 74296 ... c Min unsat cost LB: 74299 ... c Min unsat cost LB: 74302 ... c Min unsat cost LB: 74303 ... c Min unsat cost LB: 74304 ... c Min unsat cost LB: 74305 ... c Min unsat cost LB: 74306 ... c Min unsat cost LB: 74307 ... c Min unsat cost LB: 74309 ... c Min unsat cost LB: 74311 ... c Min unsat cost LB: 74315 ... c Min unsat cost LB: 74316 ... c Min unsat cost LB: 74318 ... c Min unsat cost LB: 74321 ... c Min unsat cost LB: 74323 ... c Min unsat cost LB: 74325 ... c Min unsat cost LB: 74326 ... c Min unsat cost LB: 74329 ... c Min unsat cost LB: 74337 ... c Min unsat cost LB: 74338 ... c Min unsat cost LB: 74339 ... c Min unsat cost LB: 74340 ... c Min unsat cost LB: 74341 ... c Min unsat cost LB: 74342 ... c Min unsat cost LB: 74343 ... c Min unsat cost LB: 74344 ... c Min unsat cost LB: 74345 ... c Min unsat cost LB: 74346 ... c Min unsat cost LB: 74347 ... c Min unsat cost LB: 74379 ... c Min unsat cost LB: 74380 ... c Min unsat cost LB: 74381 ... c Min unsat cost LB: 74382 ... c Min unsat cost LB: 74383 ... c Min unsat cost LB: 74386 ... c Min unsat cost LB: 74407 ... c Min unsat cost LB: 74449 ... c Min unsat cost LB: 74450 ... c Min unsat cost LB: 74452 ... c Min unsat cost LB: 74453 ... c Min unsat cost LB: 74454 ... c Min unsat cost LB: 74456 ... c Min unsat cost LB: 74457 ... c Min unsat cost LB: 74458 ... c Min unsat cost LB: 74459 ... c Min unsat cost LB: 74460 ... c Min unsat cost LB: 74461 ... c Min unsat cost LB: 74462 ... c Min unsat cost LB: 74463 ... c Min unsat cost LB: 74464 ... c Min unsat cost LB: 74465 ... c Min unsat cost LB: 74468 ... c Min unsat cost LB: 74469 ... c Min unsat cost LB: 74470 ... c Min unsat cost LB: 74472 ... c Min unsat cost LB: 74473 ... c Min unsat cost LB: 74474 ... c Min unsat cost LB: 74476 ... c Min unsat cost LB: 74478 ... c Min unsat cost LB: 74479 ... c Min unsat cost LB: 74480 ... c Min unsat cost LB: 74481 ... c Min unsat cost LB: 74482 ... c Min unsat cost LB: 74483 ... c Min unsat cost LB: 74484 ... c Min unsat cost LB: 74485 ... c Min unsat cost LB: 74486 ... c Min unsat cost LB: 74496 ... c Min unsat cost LB: 74597 ... c Min unsat cost LB: 74599 ... c Min unsat cost LB: 74601 ... c Min unsat cost LB: 74647 ... c Min unsat cost LB: 74648 ... c Min unsat cost LB: 74650 ... c Min unsat cost LB: 74652 ... c Min unsat cost LB: 74654 ... c Min unsat cost LB: 74655 ... c Min unsat cost LB: 74658 ... c Min unsat cost LB: 74659 ... c Min unsat cost LB: 74660 ... c Min unsat cost LB: 74661 ... c Min unsat cost LB: 74663 ... c Min unsat cost LB: 74665 ... c Min unsat cost LB: 74666 ... c Min unsat cost LB: 74667 ... c Min unsat cost LB: 74668 ... c Min unsat cost LB: 74670 ... c Min unsat cost LB: 74671 ... c Min unsat cost LB: 74673 ... c Min unsat cost LB: 74675 ... c Min unsat cost LB: 74676 ... c Min unsat cost LB: 74677 ... c Min unsat cost LB: 74678 ... c Min unsat cost LB: 74680 ... c Min unsat cost LB: 74681 ... c Min unsat cost LB: 74682 ... c Min unsat cost LB: 74683 ... c Min unsat cost LB: 74684 ... c Min unsat cost LB: 74685 ... c Min unsat cost LB: 74686 ... c Min unsat cost LB: 74687 ... c Min unsat cost LB: 74688 ... c Min unsat cost LB: 74689 ... c Min unsat cost LB: 74690 ... c Min unsat cost LB: 74693 ... c Min unsat cost LB: 74695 ... c Min unsat cost LB: 74696 ... c Min unsat cost LB: 74697 ... c Min unsat cost LB: 74699 ... c Min unsat cost LB: 74700 ... c Min unsat cost LB: 74701 ... c Min unsat cost LB: 74702 ... c Min unsat cost LB: 74703 ... c Min unsat cost LB: 74705 ... c Min unsat cost LB: 74706 ... c Min unsat cost LB: 74707 ... c Min unsat cost LB: 74708 ... c Min unsat cost LB: 74709 ... c Min unsat cost LB: 74710 ... c Min unsat cost LB: 74711 ... c Min unsat cost LB: 74712 ... c Min unsat cost LB: 74713 ... c Min unsat cost LB: 74714 ... c Min unsat cost LB: 74715 ... c Min unsat cost LB: 74716 ... c Min unsat cost LB: 74717 ... c Min unsat cost LB: 74718 ... c Min unsat cost LB: 74719 ... c Min unsat cost LB: 74720 ... c Min unsat cost LB: 74721 ... c Min unsat cost LB: 74722 ... c Min unsat cost LB: 74723 ... c Min unsat cost LB: 74724 ... c Min unsat cost LB: 74725 ... c Min unsat cost LB: 74737 ... c Min unsat cost LB: 74748 ... c Min unsat cost LB: 74783 ... c Min unsat cost LB: 74784 ... c Min unsat cost LB: 74785 ... c Min unsat cost LB: 74787 ... c Min unsat cost LB: 74788 ... c Min unsat cost LB: 74789 ... c Min unsat cost LB: 74790 ... c Min unsat cost LB: 74803 ... c Min unsat cost LB: 74909 ... c Min unsat cost LB: 74911 ... c Min unsat cost LB: 74916 ... c Min unsat cost LB: 74917 ... c Min unsat cost LB: 74922 ... c Min unsat cost LB: 74925 ... c Min unsat cost LB: 74926 ... c Min unsat cost LB: 74927 ... c Min unsat cost LB: 74928 ... c Min unsat cost LB: 74929 ... c Min unsat cost LB: 74930 ... c Min unsat cost LB: 74931 ... c Min unsat cost LB: 74932 ... c Min unsat cost LB: 74933 ... c Min unsat cost LB: 74934 ... c Min unsat cost LB: 74935 ... c Min unsat cost LB: 74936 ... c Min unsat cost LB: 74937 ... c Min unsat cost LB: 74938 ... c Min unsat cost LB: 74939 ... c Min unsat cost LB: 74940 ... c Min unsat cost LB: 74941 ... c Min unsat cost LB: 74942 ... c Min unsat cost LB: 74943 ... c Min unsat cost LB: 74944 ... c Min unsat cost LB: 74945 ... c Min unsat cost LB: 74946 ... c Min unsat cost LB: 74947 ... c Min unsat cost LB: 74948 ... c Min unsat cost LB: 74949 ... c Min unsat cost LB: 74950 ... c Min unsat cost LB: 74951 ... c Min unsat cost LB: 74952 ... c Min unsat cost LB: 74953 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74983 ... c Min unsat cost LB: 74984 ... c Min unsat cost LB: 74985 ... c Min unsat cost LB: 74986 ... c Min unsat cost LB: 75446 ... c Min unsat cost LB: 75447 ... c Min unsat cost LB: 75448 ... c Min unsat cost LB: 75449 ... c Min unsat cost LB: 75450 ... c Min unsat cost LB: 75451 ... c Min unsat cost LB: 75452 ... c Min unsat cost LB: 75453 ... c Min unsat cost LB: 75454 ... c Min unsat cost LB: 75455 ... c Min unsat cost LB: 75456 ... c Min unsat cost LB: 75457 ... c Min unsat cost LB: 75458 ... c Min unsat cost LB: 75459 ... c Min unsat cost LB: 75460 ... c Min unsat cost LB: 75461 ... c Min unsat cost LB: 75462 ... c Min unsat cost LB: 75463 ... c Min unsat cost LB: 75464 ... c Min unsat cost LB: 75465 ... c Min unsat cost LB: 75466 ... c Min unsat cost LB: 75467 ... c Min unsat cost LB: 75468 ... c Min unsat cost LB: 75469 ... c Min unsat cost LB: 75470 ... c Min unsat cost LB: 75471 ... c Min unsat cost LB: 75474 ... c Min unsat cost LB: 75475 ... c Min unsat cost LB: 75476 ... c Min unsat cost LB: 75477 ... c Min unsat cost LB: 75478 ... c Min unsat cost LB: 75479 ... c Min unsat cost LB: 75480 ... c Min unsat cost LB: 75481 ... c Min unsat cost LB: 75482 ... c Min unsat cost LB: 75483 ... c Min unsat cost LB: 75484 ... c Min unsat cost LB: 75486 ... c Min unsat cost LB: 75487 ... c Min unsat cost LB: 75488 ... c Min unsat cost LB: 75489 ... c Min unsat cost LB: 75490 ... c Min unsat cost LB: 75491 ... c Min unsat cost LB: 75492 ... c Min unsat cost LB: 75493 ... c Min unsat cost LB: 75495 ... c Min unsat cost LB: 75496 ... c Min unsat cost LB: 75497 ... c Min unsat cost LB: 75499 ... c Min unsat cost LB: 75500 ... c Min unsat cost LB: 75501 ... c Min unsat cost LB: 75502 ... c Min unsat cost LB: 75503 ... c Min unsat cost LB: 75504 ... c Min unsat cost LB: 75505 ... c Min unsat cost LB: 75506 ... c Min unsat cost LB: 75507 ... c Min unsat cost LB: 75508 ... c Min unsat cost LB: 75509 ... c Min unsat cost LB: 75510 ... c Min unsat cost LB: 75511 ... c Min unsat cost LB: 75512 ... c Min unsat cost LB: 75513 ... c Min unsat cost LB: 75514 ... c Min unsat cost LB: 75515 ... c Min unsat cost LB: 75516 ... c Min unsat cost LB: 75517 ... c Min unsat cost LB: 75518 ... c Min unsat cost LB: 75519 ... c Min unsat cost LB: 75520 ... c Min unsat cost LB: 75521 ... c Min unsat cost LB: 75522 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75524 ... c Min unsat cost LB: 75525 ... c Min unsat cost LB: 75526 ... c Min unsat cost LB: 75527 ... c Min unsat cost LB: 75528 ... c Min unsat cost LB: 75529 ... c Min unsat cost LB: 75530 ... c Min unsat cost LB: 75531 ... c Min unsat cost LB: 75532 ... c Min unsat cost LB: 75533 ... c Min unsat cost LB: 75534 ... c Min unsat cost LB: 75535 ... c Min unsat cost LB: 75536 ... c Min unsat cost LB: 75537 ... c Min unsat cost LB: 75538 ... c Min unsat cost LB: 75539 ... c Min unsat cost LB: 75540 ... c Min unsat cost LB: 75541 ... c Min unsat cost LB: 75542 ... c Min unsat cost LB: 75543 ... c Min unsat cost LB: 75544 ... c Min unsat cost LB: 75545 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75547 ... c Min unsat cost LB: 75548 ... c Min unsat cost LB: 75549 ... c Min unsat cost LB: 75550 ... c Min unsat cost LB: 75551 ... c Min unsat cost LB: 75553 ... c Min unsat cost LB: 75554 ... c Min unsat cost LB: 75555 ... c Min unsat cost LB: 75556 ... c Min unsat cost LB: 75557 ... c Min unsat cost LB: 75558 ... c Min unsat cost LB: 75559 ... c Min unsat cost LB: 75560 ... c Min unsat cost LB: 75561 ... c Min unsat cost LB: 75562 ... c Min unsat cost LB: 75563 ... c Min unsat cost LB: 75564 ... c Min unsat cost LB: 75565 ... c Min unsat cost LB: 75566 ... c Min unsat cost LB: 75567 ... c Min unsat cost LB: 75568 ... c Min unsat cost LB: 75569 ... c Min unsat cost LB: 75570 ... c Min unsat cost LB: 75571 ... c Min unsat cost LB: 75574 ... c Min unsat cost LB: 75575 ... c Min unsat cost LB: 75576 ... c Min unsat cost LB: 75577 ... c Min unsat cost LB: 75578 ... c Min unsat cost LB: 75579 ... c Min unsat cost LB: 75580 ... c Min unsat cost LB: 75581 ... c Min unsat cost LB: 75582 ... c Min unsat cost LB: 75583 ... c Min unsat cost LB: 75584 ... c Min unsat cost LB: 75585 ... c Min unsat cost LB: 75586 ... c Min unsat cost LB: 75587 ... c Min unsat cost LB: 75588 ... c Min unsat cost LB: 75589 ... c Min unsat cost LB: 75590 ... c Min unsat cost LB: 75591 ... c Min unsat cost LB: 75592 ... c Min unsat cost LB: 75593 ... c Min unsat cost LB: 75595 ... c Min unsat cost LB: 75596 ... c Min unsat cost LB: 75597 ... c Min unsat cost LB: 75598 ... c Min unsat cost LB: 75599 ... c Min unsat cost LB: 75600 ... c Min unsat cost LB: 75601 ... c Min unsat cost LB: 75602 ... c Min unsat cost LB: 75619 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75621 ... c Min unsat cost LB: 75622 ... c Min unsat cost LB: 75623 ... c Min unsatKilled 1814.662u 5.075s 30:22.23 99.8% 0+0k 0+0io 0pf+0w