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_110_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_0001.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_110_0001.txt.wcnf *** c c Min unsat cost LB: 402 ... c Min unsat cost LB: 522 ... c Min unsat cost LB: 642 ... c Min unsat cost LB: 762 ... c Min unsat cost LB: 1164 ... c Min unsat cost LB: 1566 ... c Min unsat cost LB: 1686 ... c Min unsat cost LB: 2088 ... c Min unsat cost LB: 2204 ... c Min unsat cost LB: 2324 ... c Min unsat cost LB: 2726 ... c Min unsat cost LB: 4221 ... c Min unsat cost LB: 4623 ... c Min unsat cost LB: 6118 ... c Min unsat cost LB: 6520 ... c Min unsat cost LB: 6922 ... c Min unsat cost LB: 7324 ... c Min unsat cost LB: 8819 ... c Min unsat cost LB: 9501 ... c Min unsat cost LB: 9903 ... c Min unsat cost LB: 10183 ... c Min unsat cost LB: 10716 ... c Min unsat cost LB: 10865 ... c Min unsat cost LB: 11547 ... c Min unsat cost LB: 11949 ... c Min unsat cost LB: 12631 ... c Min unsat cost LB: 12762 ... c Min unsat cost LB: 13313 ... c Min unsat cost LB: 13995 ... c Min unsat cost LB: 14108 ... c Min unsat cost LB: 14228 ... c Min unsat cost LB: 15136 ... c Min unsat cost LB: 15256 ... c Min unsat cost LB: 15376 ... c Min unsat cost LB: 15486 ... c Min unsat cost LB: 15596 ... c Min unsat cost LB: 15706 ... c Min unsat cost LB: 15826 ... c Min unsat cost LB: 15946 ... c Min unsat cost LB: 16108 ... c Min unsat cost LB: 16628 ... c Min unsat cost LB: 16975 ... c Min unsat cost LB: 17095 ... c Min unsat cost LB: 18590 ... c Min unsat cost LB: 18752 ... c Min unsat cost LB: 19154 ... c Min unsat cost LB: 19723 ... c Min unsat cost LB: 19843 ... c Min unsat cost LB: 19963 ... c Min unsat cost LB: 20076 ... c Min unsat cost LB: 20414 ... c Min unsat cost LB: 20534 ... c Min unsat cost LB: 20654 ... c Min unsat cost LB: 20864 ... c Min unsat cost LB: 21266 ... c Min unsat cost LB: 21546 ... c Min unsat cost LB: 21666 ... c Min unsat cost LB: 22186 ... c Min unsat cost LB: 22306 ... c Min unsat cost LB: 22778 ... c Min unsat cost LB: 22898 ... c Min unsat cost LB: 23020 ... c Min unsat cost LB: 23230 ... c Min unsat cost LB: 23350 ... c Min unsat cost LB: 23752 ... c Min unsat cost LB: 24154 ... c Min unsat cost LB: 24556 ... c Min unsat cost LB: 24744 ... c Min unsat cost LB: 24864 ... c Min unsat cost LB: 26258 ... c Min unsat cost LB: 26378 ... c Min unsat cost LB: 26498 ... c Min unsat cost LB: 26712 ... c Min unsat cost LB: 27114 ... c Min unsat cost LB: 27889 ... c Min unsat cost LB: 28009 ... c Min unsat cost LB: 28571 ... c Min unsat cost LB: 28691 ... c Min unsat cost LB: 28811 ... c Min unsat cost LB: 29493 ... c Min unsat cost LB: 29613 ... c Min unsat cost LB: 29655 ... c Min unsat cost LB: 29733 ... c Min unsat cost LB: 29736 ... c Min unsat cost LB: 29856 ... c Min unsat cost LB: 29945 ... c Min unsat cost LB: 29976 ... c Min unsat cost LB: 30096 ... c Min unsat cost LB: 30216 ... c Min unsat cost LB: 30336 ... c Min unsat cost LB: 30738 ... c Min unsat cost LB: 30858 ... c Min unsat cost LB: 30987 ... c Min unsat cost LB: 31107 ... c Min unsat cost LB: 31509 ... c Min unsat cost LB: 31629 ... c Min unsat cost LB: 32903 ... c Min unsat cost LB: 33023 ... c Min unsat cost LB: 33139 ... c Min unsat cost LB: 33259 ... c Min unsat cost LB: 33661 ... c Min unsat cost LB: 33743 ... c Min unsat cost LB: 33781 ... c Min unsat cost LB: 33785 ... c Min unsat cost LB: 33895 ... c Min unsat cost LB: 33905 ... c Min unsat cost LB: 34005 ... c Min unsat cost LB: 34025 ... c Min unsat cost LB: 34125 ... c Min unsat cost LB: 34145 ... c Min unsat cost LB: 34235 ... c Min unsat cost LB: 34355 ... c Min unsat cost LB: 34537 ... c Min unsat cost LB: 34939 ... c Min unsat cost LB: 35341 ... c Min unsat cost LB: 35529 ... c Min unsat cost LB: 35928 ... c Min unsat cost LB: 36048 ... c Min unsat cost LB: 36058 ... c Min unsat cost LB: 36168 ... c Min unsat cost LB: 36171 ... c Min unsat cost LB: 36573 ... c Min unsat cost LB: 36603 ... c Min unsat cost LB: 36643 ... c Min unsat cost LB: 36699 ... c Min unsat cost LB: 37101 ... c Min unsat cost LB: 37374 ... c Min unsat cost LB: 37776 ... c Min unsat cost LB: 38058 ... c Min unsat cost LB: 38460 ... c Min unsat cost LB: 38862 ... c Min unsat cost LB: 39170 ... c Min unsat cost LB: 39274 ... c Min unsat cost LB: 39676 ... c Min unsat cost LB: 39694 ... c Min unsat cost LB: 39856 ... c Min unsat cost LB: 39889 ... c Min unsat cost LB: 39983 ... c Min unsat cost LB: 40103 ... c Min unsat cost LB: 40192 ... c Min unsat cost LB: 40265 ... c Min unsat cost LB: 40385 ... c Min unsat cost LB: 40432 ... c Min unsat cost LB: 40505 ... c Min unsat cost LB: 40625 ... c Min unsat cost LB: 40661 ... c Min unsat cost LB: 40792 ... c Min unsat cost LB: 41063 ... c Min unsat cost LB: 41181 ... c Min unsat cost LB: 41194 ... c Min unsat cost LB: 41307 ... c Min unsat cost LB: 41343 ... c Min unsat cost LB: 41385 ... c Min unsat cost LB: 41456 ... c Min unsat cost LB: 41465 ... c Min unsat cost LB: 41496 ... c Min unsat cost LB: 41543 ... c Min unsat cost LB: 41663 ... c Min unsat cost LB: 41783 ... c Min unsat cost LB: 41867 ... c Min unsat cost LB: 41905 ... c Min unsat cost LB: 41951 ... c Min unsat cost LB: 42021 ... c Min unsat cost LB: 42082 ... c Min unsat cost LB: 42096 ... c Min unsat cost LB: 42126 ... c Min unsat cost LB: 42275 ... c Min unsat cost LB: 42528 ... c Min unsat cost LB: 42541 ... c Min unsat cost LB: 42661 ... c Min unsat cost LB: 42781 ... c Min unsat cost LB: 42888 ... c Min unsat cost LB: 42901 ... c Min unsat cost LB: 43098 ... c Min unsat cost LB: 43107 ... c Min unsat cost LB: 43220 ... c Min unsat cost LB: 43320 ... c Min unsat cost LB: 43335 ... c Min unsat cost LB: 43340 ... c Min unsat cost LB: 43344 ... c Min unsat cost LB: 43380 ... c Min unsat cost LB: 43382 ... c Min unsat cost LB: 43456 ... c Min unsat cost LB: 43464 ... c Min unsat cost LB: 43502 ... c Min unsat cost LB: 43542 ... c Min unsat cost LB: 43570 ... c Min unsat cost LB: 43575 ... c Min unsat cost LB: 43685 ... c Min unsat cost LB: 43695 ... c Min unsat cost LB: 43768 ... c Min unsat cost LB: 43878 ... c Min unsat cost LB: 43897 ... c Min unsat cost LB: 43986 ... c Min unsat cost LB: 44090 ... c Min unsat cost LB: 44098 ... c Min unsat cost LB: 44103 ... c Min unsat cost LB: 44106 ... c Min unsat cost LB: 44137 ... c Min unsat cost LB: 44154 ... c Min unsat cost LB: 44173 ... c Min unsat cost LB: 44229 ... c Min unsat cost LB: 44341 ... c Min unsat cost LB: 44423 ... c Min unsat cost LB: 44443 ... c Min unsat cost LB: 44453 ... c Min unsat cost LB: 44533 ... c Min unsat cost LB: 44633 ... c Min unsat cost LB: 44636 ... c Min unsat cost LB: 44724 ... c Min unsat cost LB: 44756 ... c Min unsat cost LB: 44876 ... c Min unsat cost LB: 44899 ... c Min unsat cost LB: 44930 ... c Min unsat cost LB: 44986 ... c Min unsat cost LB: 45083 ... c Min unsat cost LB: 45093 ... c Min unsat cost LB: 45151 ... c Min unsat cost LB: 45181 ... c Min unsat cost LB: 45278 ... c Min unsat cost LB: 45473 ... c Min unsat cost LB: 45575 ... c Min unsat cost LB: 45595 ... c Min unsat cost LB: 45665 ... c Min unsat cost LB: 45715 ... c Min unsat cost LB: 45747 ... c Min unsat cost LB: 45803 ... c Min unsat cost LB: 45867 ... c Min unsat cost LB: 45869 ... c Min unsat cost LB: 46072 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46323 ... c Min unsat cost LB: 46359 ... c Min unsat cost LB: 46478 ... c Min unsat cost LB: 46496 ... c Min unsat cost LB: 46518 ... c Min unsat cost LB: 46638 ... c Min unsat cost LB: 46711 ... c Min unsat cost LB: 47420 ... c Min unsat cost LB: 47582 ... c Min unsat cost LB: 47615 ... c Min unsat cost LB: 48246 ... c Min unsat cost LB: 48373 ... c Min unsat cost LB: 48390 ... c Min unsat cost LB: 48461 ... c Min unsat cost LB: 49225 ... c Min unsat cost LB: 49249 ... c Min unsat cost LB: 49252 ... c Min unsat cost LB: 49272 ... c Min unsat cost LB: 49388 ... c Min unsat cost LB: 49392 ... c Min unsat cost LB: 49529 ... c Min unsat cost LB: 49651 ... c Min unsat cost LB: 49654 ... c Min unsat cost LB: 49931 ... c Min unsat cost LB: 50053 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50070 ... c Min unsat cost LB: 50090 ... c Min unsat cost LB: 50096 ... c Min unsat cost LB: 50126 ... c Min unsat cost LB: 50129 ... c Min unsat cost LB: 50130 ... c Min unsat cost LB: 50134 ... c Min unsat cost LB: 50136 ... c Min unsat cost LB: 50143 ... c Min unsat cost LB: 50147 ... c Min unsat cost LB: 50150 ... c Min unsat cost LB: 50159 ... c Min unsat cost LB: 50163 ... c Min unsat cost LB: 50169 ... c Min unsat cost LB: 50172 ... c Min unsat cost LB: 50191 ... c Min unsat cost LB: 50194 ... c Min unsat cost LB: 50196 ... c Min unsat cost LB: 50267 ... c Min unsat cost LB: 50286 ... c Min unsat cost LB: 50318 ... c Min unsat cost LB: 50330 ... c Min unsat cost LB: 50359 ... c Min unsat cost LB: 50368 ... c Min unsat cost LB: 50372 ... c Min unsat cost LB: 50380 ... c Min unsat cost LB: 50382 ... c Min unsat cost LB: 50395 ... c Min unsat cost LB: 50402 ... c Min unsat cost LB: 50410 ... c Min unsat cost LB: 50412 ... c Min unsat cost LB: 50469 ... c Min unsat cost LB: 50476 ... c Min unsat cost LB: 50479 ... c Min unsat cost LB: 50489 ... c Min unsat cost LB: 50499 ... c Min unsat cost LB: 50509 ... c Min unsat cost LB: 50522 ... c Min unsat cost LB: 50527 ... c Min unsat cost LB: 50529 ... c Min unsat cost LB: 50539 ... c Min unsat cost LB: 50559 ... c Min unsat cost LB: 50734 ... c Min unsat cost LB: 50738 ... c Min unsat cost LB: 50743 ... c Min unsat cost LB: 50745 ... c Min unsat cost LB: 50747 ... c Min unsat cost LB: 50749 ... c Min unsat cost LB: 50757 ... c Min unsat cost LB: 50785 ... c Min unsat cost LB: 50787 ... c Min unsat cost LB: 50831 ... c Min unsat cost LB: 50837 ... c Min unsat cost LB: 50847 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 50867 ... c Min unsat cost LB: 50947 ... c Min unsat cost LB: 50975 ... c Min unsat cost LB: 51003 ... c Min unsat cost LB: 51005 ... c Min unsat cost LB: 51012 ... c Min unsat cost LB: 51015 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51022 ... c Min unsat cost LB: 51049 ... c Min unsat cost LB: 51053 ... c Min unsat cost LB: 51064 ... c Min unsat cost LB: 51079 ... c Min unsat cost LB: 51092 ... c Min unsat cost LB: 51096 ... c Min unsat cost LB: 51104 ... c Min unsat cost LB: 51107 ... c Min unsat cost LB: 51109 ... c Min unsat cost LB: 51197 ... c Min unsat cost LB: 51200 ... c Min unsat cost LB: 51202 ... c Min unsat cost LB: 51204 ... c Min unsat cost LB: 51213 ... c Min unsat cost LB: 51231 ... c Min unsat cost LB: 51278 ... c Min unsat cost LB: 51302 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51398 ... c Min unsat cost LB: 51440 ... c Min unsat cost LB: 51441 ... c Min unsat cost LB: 51448 ... c Min unsat cost LB: 51482 ... c Min unsat cost LB: 51499 ... c Min unsat cost LB: 51501 ... c Min unsat cost LB: 51505 ... c Min unsat cost LB: 51539 ... c Min unsat cost LB: 51556 ... c Min unsat cost LB: 51567 ... c Min unsat cost LB: 51597 ... c Min unsat cost LB: 51628 ... c Min unsat cost LB: 51632 ... c Min unsat cost LB: 51644 ... c Min unsat cost LB: 51650 ... c Min unsat cost LB: 51652 ... c Min unsat cost LB: 51654 ... c Min unsat cost LB: 51655 ... c Min unsat cost LB: 51656 ... c Min unsat cost LB: 51748 ... c Min unsat cost LB: 51751 ... c Min unsat cost LB: 51754 ... c Min unsat cost LB: 51760 ... c Min unsat cost LB: 51761 ... c Min unsat cost LB: 51808 ... c Min unsat cost LB: 51822 ... c Min unsat cost LB: 51876 ... c Min unsat cost LB: 51877 ... c Min unsat cost LB: 51891 ... c Min unsat cost LB: 51988 ... c Min unsat cost LB: 52031 ... c Min unsat cost LB: 52032 ... c Min unsat cost LB: 52033 ... c Min unsat cost LB: 52034 ... c Min unsat cost LB: 52035 ... c Min unsat cost LB: 52036 ... c Min unsat cost LB: 52037 ... c Min unsat cost LB: 52038 ... c Min unsat cost LB: 52040 ... c Min unsat cost LB: 52042 ... c Min unsat cost LB: 52044 ... c Min unsat cost LB: 52045 ... c Min unsat cost LB: 52049 ... c Min unsat cost LB: 52051 ... c Min unsat cost LB: 52052 ... c Min unsat cost LB: 52096 ... c Min unsat cost LB: 52149 ... c Min unsat cost LB: 52150 ... c Min unsat cost LB: 52151 ... c Min unsat cost LB: 52167 ... c Min unsat cost LB: 52171 ... c Min unsat cost LB: 52172 ... c Min unsat cost LB: 52173 ... c Min unsat cost LB: 52174 ... c Min unsat cost LB: 52175 ... c Min unsat cost LB: 52176 ... c Min unsat cost LB: 52177 ... c Min unsat cost LB: 52186 ... c Min unsat cost LB: 52199 ... c Min unsat cost LB: 52222 ... c Min unsat cost LB: 52226 ... c Min unsat cost LB: 52255 ... c Min unsat cost LB: 52259 ... c Min unsat cost LB: 52268 ... c Min unsat cost LB: 52269 ... c Min unsat cost LB: 52272 ... c Min unsat cost LB: 52274 ... c Min unsat cost LB: 52279 ... c Min unsat cost LB: 52281 ... c Min unsat cost LB: 52295 ... c Min unsat cost LB: 52302 ... c Min unsat cost LB: 52358 ... c Min unsat cost LB: 52362 ... c Min unsat cost LB: 52365 ... c Min unsat cost LB: 52367 ... c Min unsat cost LB: 52368 ... c Min unsat cost LB: 52369 ... c Min unsat cost LB: 52385 ... c Min unsat cost LB: 52416 ... c Min unsat cost LB: 52430 ... c Min unsat cost LB: 52436 ... c Min unsat cost LB: 52446 ... c Min unsat cost LB: 52466 ... c Min unsat cost LB: 52512 ... c Min unsat cost LB: 52569 ... c Min unsat cost LB: 52570 ... c Min unsat cost LB: 52573 ... c Min unsat cost LB: 52576 ... c Min unsat cost LB: 52581 ... c Min unsat cost LB: 52582 ... c Min unsat cost LB: 52583 ... c Min unsat cost LB: 52587 ... c Min unsat cost LB: 52597 ... c Min unsat cost LB: 52605 ... c Min unsat cost LB: 52607 ... c Min unsat cost LB: 52608 ... c Min unsat cost LB: 52614 ... c Min unsat cost LB: 52615 ... c Min unsat cost LB: 52618 ... c Min unsat cost LB: 52619 ... c Min unsat cost LB: 52621 ... c Min unsat cost LB: 52622 ... c Min unsat cost LB: 52625 ... c Min unsat cost LB: 52626 ... c Min unsat cost LB: 52628 ... c Min unsat cost LB: 52642 ... c Min unsat cost LB: 52645 ... c Min unsat cost LB: 52647 ... c Min unsat cost LB: 52648 ... c Min unsat cost LB: 52649 ... c Min unsat cost LB: 52650 ... c Min unsat cost LB: 52651 ... c Min unsat cost LB: 52653 ... c Min unsat cost LB: 52654 ... c Min unsat cost LB: 52655 ... c Min unsat cost LB: 52731 ... c Min unsat cost LB: 52734 ... c Min unsat cost LB: 52737 ... c Min unsat cost LB: 52739 ... c Min unsat cost LB: 52750 ... c Min unsat cost LB: 52752 ... c Min unsat cost LB: 52754 ... c Min unsat cost LB: 52755 ... c Min unsat cost LB: 52762 ... c Min unsat cost LB: 52767 ... c Min unsat cost LB: 52770 ... c Min unsat cost LB: 52779 ... c Min unsat cost LB: 52817 ... c Min unsat cost LB: 52831 ... c Min unsat cost LB: 52833 ... c Min unsat cost LB: 52886 ... c Min unsat cost LB: 52902 ... c Min unsat cost LB: 52916 ... c Min unsat cost LB: 52930 ... c Min unsat cost LB: 52932 ... c Min unsat cost LB: 52951 ... c Min unsat cost LB: 52953 ... c Min unsat cost LB: 52955 ... c Min unsat cost LB: 52962 ... c Min unsat cost LB: 52964 ... c Min unsat cost LB: 52965 ... c Min unsat cost LB: 52968 ... c Min unsat cost LB: 52974 ... c Min unsat cost LB: 52976 ... c Min unsat cost LB: 52978 ... c Min unsat cost LB: 53040 ... c Min unsat cost LB: 53046 ... c Min unsat cost LB: 53067 ... c Min unsat cost LB: 53094 ... c Min unsat cost LB: 53108 ... c Min unsat cost LB: 53110 ... c Min unsat cost LB: 53112 ... c Min unsat cost LB: 53114 ... c Min unsat cost LB: 53122 ... c Min unsat cost LB: 53124 ... c Min unsat cost LB: 53127 ... c Min unsat cost LB: 53128 ... c Min unsat cost LB: 53130 ... c Min unsat cost LB: 53131 ... c Min unsat cost LB: 53132 ... c Min unsat cost LB: 53138 ... c Min unsat cost LB: 53156 ... c Min unsat cost LB: 53158 ... c Min unsat cost LB: 53165 ... c Min unsat cost LB: 53171 ... c Min unsat cost LB: 53183 ... c Min unsat cost LB: 53186 ... c Min unsat cost LB: 53188 ... c Min unsat cost LB: 53190 ... c Min unsat cost LB: 53191 ... c Min unsat cost LB: 53192 ... c Min unsat cost LB: 53193 ... c Min unsat cost LB: 53194 ... c Min unsat cost LB: 53195 ... c Min unsat cost LB: 53198 ... c Min unsat cost LB: 53249 ... c Min unsat cost LB: 53300 ... c Min unsat cost LB: 53304 ... c Min unsat cost LB: 53310 ... c Min unsat cost LB: 53317 ... c Min unsat cost LB: 53320 ... c Min unsat cost LB: 53321 ... c Min unsat cost LB: 53322 ... c Min unsat cost LB: 53323 ... c Min unsat cost LB: 53324 ... c Min unsat cost LB: 53325 ... c Min unsat cost LB: 53326 ... c Min unsat cost LB: 53327 ... c Min unsat cost LB: 53328 ... c Min unsat cost LB: 53329 ... c Min unsat cost LB: 53330 ... c Min unsat cost LB: 53332 ... c Min unsat cost LB: 53333 ... c Min unsat cost LB: 53334 ... c Min unsat cost LB: 53343 ... c Min unsat cost LB: 53350 ... c Min unsat cost LB: 53352 ... c Min unsat cost LB: 53359 ... c Min unsat cost LB: 53361 ... c Min unsat cost LB: 53362 ... c Min unsat cost LB: 53363 ... c Min unsat cost LB: 53364 ... c Min unsat cost LB: 53367 ... c Min unsat cost LB: 53370 ... c Min unsat cost LB: 53371 ... c Min unsat cost LB: 53391 ... c Min unsat cost LB: 53393 ... c Min unsat cost LB: 53396 ... c Min unsat cost LB: 53397 ... c Min unsat cost LB: 53398 ... c Min unsat cost LB: 53399 ... c Min unsat cost LB: 53400 ... c Min unsat cost LB: 53401 ... c Min unsat cost LB: 53402 ... c Min unsat cost LB: 53406 ... c Min unsat cost LB: 53427 ... c Min unsat cost LB: 53492 ... c Min unsat cost LB: 53494 ... c Min unsat cost LB: 53495 ... c Min unsat cost LB: 53499 ... c Min unsat cost LB: 53500 ... c Min unsat cost LB: 53501 ... c Min unsat cost LB: 53502 ... c Min unsat cost LB: 53507 ... c Min unsat cost LB: 53508 ... c Min unsat cost LB: 53509 ... c Min unsat cost LB: 53510 ... c Min unsat cost LB: 53511 ... c Min unsat cost LB: 53518 ... c Min unsat cost LB: 53519 ... c Min unsat cost LB: 53520 ... c Min unsat cost LB: 53521 ... c Min unsat cost LB: 53522 ... c Min unsat cost LB: 53523 ... c Min unsat cost LB: 53524 ... c Min unsat cost LB: 53525 ... c Min unsat cost LB: 53526 ... c Min unsat cost LB: 53530 ... c Min unsat cost LB: 53531 ... c Min unsat cost LB: 53532 ... c Min unsat cost LB: 53533 ... c Min unsat cost LB: 53534 ... c Min unsat cost LB: 53535 ... c Min unsat cost LB: 53536 ... c Min unsat cost LB: 53538 ... c Min unsat cost LB: 53539 ... c Min unsat cost LB: 53540 ... c Min unsat cost LB: 53541 ... c Min unsat cost LB: 53542 ... c Min unsat cost LB: 53543 ... c Min unsat cost LB: 53544 ... c Min unsat cost LB: 53545 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 53547 ... c Min unsat cost LB: 53548 ... c Min unsat cost LB: 53549 ... c Min unsat cost LB: 53550 ... c Min unsat cost LB: 53551 ... c Min unsat cost LB: 53552 ... c Min unsat cost LB: 53567 ... c Min unsat cost LB: 53572 ... c Min unsat cost LB: 53573 ... c Min unsat cost LB: 53574 ... c Min unsat cost LB: 53575 ... c Min unsat cost LB: 53576 ... c Min unsat cost LB: 53585 ... c Min unsat cost LB: 53726 ... c Min unsat cost LB: 53728 ... c Min unsat cost LB: 53729 ... c Min unsat cost LB: 53734 ... c Min unsat cost LB: 53745 ... c Min unsat cost LB: 53786 ... c Min unsat cost LB: 53795 ... c Min unsat cost LB: 53799 ... c Min unsat cost LB: 53810 ... c Min unsat cost LB: 53811 ... c Min unsat cost LB: 53812 ... c Min unsat cost LB: 53813 ... c Min unsat cost LB: 53814 ... c Min unsat cost LB: 53815 ... c Min unsat cost LB: 53816 ... c Min unsat cost LB: 53828 ... c Min unsat cost LB: 53829 ... c Min unsat cost LB: 53830 ... c Min unsat cost LB: 53831 ... c Min unsat cost LB: 53832 ... c Min unsat cost LB: 53833 ... c Min unsat cost LB: 53839 ... c Min unsat cost LB: 53840 ... c Min unsat cost LB: 53841 ... c Min unsat cost LB: 53877 ... c Min unsat cost LB: 53878 ... c Min unsat cost LB: 53879 ... c Min unsat cost LB: 53880 ... c Min unsat cost LB: 53882 ... c Min unsat cost LB: 53883 ... c Min unsat cost LB: 53887 ... c Min unsat cost LB: 53888 ... c Min unsat cost LB: 53891 ... c Min unsat cost LB: 53892 ... c Min unsat cost LB: 53893 ... c Min unsat cost LB: 53894 ... c Min unsat cost LB: 53895 ... c Min unsat cost LB: 53922 ... c Min unsat cost LB: 53923 ... c Min unsat cost LB: 53924 ... c Min unsat cost LB: 53936 ... c Min unsat cost LB: 53943 ... c Min unsat cost LB: 53946 ... c Min unsat cost LB: 53947 ... c Min unsat cost LB: 53948 ... c Min unsat cost LB: 53949 ... c Min unsat cost LB: 53950 ... c Min unsat cost LB: 53951 ... c Min unsat cost LB: 53952 ... c Min unsat cost LB: 53971 ... c Min unsat cost LB: 53973 ... c Min unsat cost LB: 53988 ... c Min unsat cost LB: 54026 ... c Min unsat cost LB: 54046 ... c Min unsat cost LB: 54047 ... c Min unsat cost LB: 54048 ... c Min unsat cost LB: 54049 ... c Min unsat cost LB: 54054 ... c Min unsat cost LB: 54055 ... c Min unsat cost LB: 54056 ... c Min unsat cost LB: 54057 ... c Min unsat cost LB: 54060 ... c Min unsat cost LB: 54062 ... c Min unsat cost LB: 54066 ... c Min unsat cost LB: 54069 ... c Min unsat cost LB: 54072 ... c Min unsat cost LB: 54075 ... c Min unsat cost LB: 54078 ... c Min unsat cost LB: 54091 ... c Min unsat cost LB: 54093 ... c Min unsat cost LB: 54094 ... c Min unsat cost LB: 54100 ... c Min unsat cost LB: 54106 ... c Min unsat cost LB: 54127 ... c Min unsat cost LB: 54128 ... c Min unsat cost LB: 54129 ... c Min unsat cost LB: 54131 ... c Min unsat cost LB: 54132 ... c Min unsat cost LB: 54133 ... c Min unsat cost LB: 54134 ... c Min unsat cost LB: 54135 ... c Min unsat cost LB: 54136 ... c Min unsat cost LB: 54137 ... c Min unsat cost LB: 54140 ... c Min unsat cost LB: 54141 ... c Min unsat cost LB: 54143 ... c Min unsat cost LB: 54144 ... c Min unsat cost LB: 54146 ... c Min unsat cost LB: 54147 ... c Min unsat cost LB: 54148 ... c Min unsat cost LB: 54149 ... c Min unsat cost LB: 54150 ... c Min unsat cost LB: 54152 ... c Min unsat cost LB: 54153 ... c Min unsat cost LB: 54154 ... c Min unsat cost LB: 54155 ... c Min unsat cost LB: 54156 ... c Min unsat cost LB: 54157 ... c Min unsat cost LB: 54159 ... c Min unsat cost LB: 54161 ... c Min unsat cost LB: 54162 ... c Min unsat cost LB: 54163 ... c Min unsat cost LB: 54164 ... c Min unsat cost LB: 54165 ... c Min unsat cost LB: 54167 ... c Min unsat cost LB: 54175 ... c Min unsat cost LB: 54181 ... c Min unsat cost LB: 54182 ... c Min unsat cost LB: 54185 ... c Min unsat cost LB: 54186 ... c Min unsat cost LB: 54187 ... c Min unsat cost LB: 54199 ... c Min unsat cost LB: 54202 ... c Min unsat cost LB: 54203 ... c Min unsat cost LB: 54204 ... c Min unsat cost LB: 54209 ... c Min unsat cost LB: 54214 ... c Min unsat cost LB: 54219 ... c Min unsat cost LB: 54220 ... c Min unsat cost LB: 54222 ... c Min unsat cost LB: 54223 ... c Min unsat cost LB: 54224 ... c Min unsat cost LB: 54225 ... c Min unsat cost LB: 54226 ... c Min unsat cost LB: 54227 ... c Min unsat cost LB: 54228 ... c Min unsat cost LB: 54230 ... c Min unsat cost LB: 54231 ... c Min unsat cost LB: 54232 ... c Min unsat cost LB: 54233 ... c Min unsat cost LB: 54234 ... c Min unsat cost LB: 54291 ... c Min unsat cost LB: 54292 ... c Min unsat cost LB: 54293 ... c Min unsat cost LB: 54294 ... c Min unsat cost LB: 54295 ... c Min unsat cost LB: 54296 ... c Min unsat cost LB: 54297 ... c Min unsat cost LB: 54298 ... c Min unsat cost LB: 54300 ... c Min unsat cost LB: 54304 ... c Min unsat cost LB: 54367 ... c Min unsat cost LB: 54368 ... c Min unsat cost LB: 54369 ... c Min unsat cost LB: 54370 ... c Min unsat cost LB: 54372 ... c Min unsat cost LB: 54380 ... c Min unsat cost LB: 54388 ... c Min unsat cost LB: 54389 ... c Min unsat cost LB: 54418 ... c Min unsat cost LB: 54419 ... c Min unsat cost LB: 54420 ... c Min unsat cost LB: 54421 ... c Min unsat cost LB: 54480 ... c Min unsat cost LB: 54483 ... c Min unsat cost LB: 54487 ... c Min unsat cost LB: 54488 ... c Min unsat cost LB: 54490 ... c Min unsat cost LB: 54491 ... c Min unsat cost LB: 54497 ... c Min unsat cost LB: 54498 ... c Min unsat cost LB: 54499 ... c Min unsat cost LB: 54500 ... c Min unsat cost LB: 54501 ... c Min unsat cost LB: 54502 ... c Min unsat cost LB: 54503 ... c Min unsat cost LB: 54504 ... c Min unsat cost LB: 54505 ... c Min unsat cost LB: 54506 ... c Min unsat cost LB: 54507 ... c Min unsat cost LB: 54508 ... c Min unsat cost LB: 54509 ... c Min unsat cost LB: 54510 ... c Min unsat cost LB: 54511 ... c Min unsat cost LB: 54512 ... c Min unsat cost LB: 54513 ... c Min unsat cost LB: 54514 ... c Min unsat cost LB: 54516 ... c Min unsat cost LB: 54517 ... c Min unsat cost LB: 54518 ... c Min unsat cost LB: 54519 ... c Min unsat cost LB: 54520 ... c Min unsat cost LB: 54521 ... c Min unsat cost LB: 54522 ... c Min unsat cost LB: 54523 ... c Min unsat cost LB: 54524 ... c Min unsat cost LB: 54525 ... c Min unsat cost LB: 54526 ... c Min unsat cost LB: 54528 ... c Min unsat cost LB: 54529 ... c Min unsat cost LB: 54530 ... c Min unsat cost LB: 54531 ... c Min unsat cost LB: 54532 ... c Min unsat cost LB: 54533 ... c Min unsat cost LB: 54534 ... c Min unsat cost LB: 54535 ... c Min unsat cost LB: 54536 ... c Min unsat cost LB: 54542 ... c Min unsat cost LB: 54557 ... c Min unsat cost LB: 54558 ... c Min unsat cost LB: 54560 ... c Min unsat cost LB: 54561 ... c Min unsat cost LB: 54562 ... c Min unsat cost LB: 54565 ... c Min unsat cost LB: 54569 ... c Min unsat cost LB: 54570 ... c Min unsat cost LB: 54572 ... c Min unsat cost LB: 54573 ... c Min unsat cost LB: 54574 ... c Min unsat cost LB: 54673 ... c Min unsat cost LB: 54674 ... c Min unsat cost LB: 54675 ... c Min unsat cost LB: 54676 ... c Min unsat cost LB: 54677 ... c Min unsat cost LB: 54678 ... c Min unsat cost LB: 54679 ... c Min unsat cost LB: 54680 ... c Min unsat cost LB: 54682 ... c Min unsat cost LB: 54683 ... c Min unsat cost LB: 54684 ... c Min unsat cost LB: 54685 ... c Min unsat cost LB: 54686 ... c Min unsat cost LB: 54687 ... c Min unsat cost LB: 54689 ... c Min unsat cost LB: 54690 ... c Min unsat cost LB: 54691 ... c Min unsat cost LB: 54693 ... c Min unsat cost LB: 54696 ... c Min unsat cost LB: 54697 ... c Min unsat cost LB: 54698 ... c Min unsat cost LB: 54699 ... c Min unsat cost LB: 54700 ... c Min unsat cost LB: 54701 ... c Min unsat cost LB: 54702 ... c Min unsat cost LB: 54703 ... c Min unsat cost LB: 54704 ... c Min unsat cost LB: 54705 ... c Min unsat cost LB: 54706 ... c Min unsat cost LB: 54707 ... c Min unsat cost LB: 54709 ... c Min unsat cost LB: 54714 ... c Min unsat cost LB: 54715 ... c Min unsat cost LB: 54716 ... c Min unsat cost LB: 54718 ... c Min unsat cost LB: 54726 ... c Min unsat cost LB: 54728 ... c Min unsat cost LB: 54731 ... c Min unsat cost LB: 54732 ... c Min unsat cost LB: 54733 ... c Min unsat cost LB: 54734 ... c Min unsat cost LB: 54744 ... c Min unsat cost LB: 54746 ... c Min unsat cost LB: 54755 ... c Min unsat cost LB: 54756 ... c Min unsat cost LB: 54757 ... c Min unsat cost LB: 54758 ... c Min unsat cost LB: 54759 ... c Min unsat cost LB: 54760 ... c Min unsat cost LB: 54761 ... c Min unsat cost LB: 54762 ... c Min unsat cost LB: 54763 ... c Min unsat cost LB: 54764 ... c Min unsat cost LB: 54765 ... c Min unsat cost LB: 54766 ... c Min unsat cost LB: 54768 ... c Min unsat cost LB: 54769 ... c Min unsat cost LB: 54770 ... c Min unsat cost LB: 54771 ... c Min unsat cost LB: 54772 ... c Min unsat cost LB: 54773 ... c Min unsat cost LB: 54774 ... c Min unsat cost LB: 54775 ... c Min unsat cost LB: 54776 ... c Min unsat cost LB: 54778 ... c Min unsat cost LB: 54780 ... c Min unsat cost LB: 54781 ... c Min unsat cost LB: 54782 ... c Min unsat cost LB: 54783 ... c Min unsat cost LB: 54784 ... c Min unsat cost LB: 54796 ... c Min unsat cost LB: 54797 ... c Min unsat cost LB: 54798 ... c Min unsat cost LB: 54799 ... c Min unsat cost LB: 54800 ... c Min unsat cost LB: 54801 ... c Min unsat cost LB: 54809 ... c Min unsat cost LB: 54810 ... c Min unsat cost LB: 54811 ... c Min unsat cost LB: 54812 ... c Min unsat cost LB: 54813 ... c Min unsat cost LB: 54814 ... c Min unsat cost LB: 54815 ... c Min unsat cost LB: 54816 ... c Min unsat cost LB: 54817 ... c Min unsat cost LB: 54818 ... c Min unsat cost LB: 54819 ... c Min unsat cost LB: 54820 ... c Min unsat cost LB: 54821 ... c Min unsat cost LB: 54822 ... c Min unsat cost LB: 54823 ... c Min unsat cost LB: 54824 ... c Min unsat cost LB: 54825 ... c Min unsat cost LB: 54827 ... c Min unsat cost LB: 54828 ... c Min unsat cost LB: 54829 ... c Min unsat cost LB: 54830 ... c Min unsat cost LB: 54831 ... c Min unsat cost LB: 54832 ... c Min unsat cost LB: 54833 ... c Min unsat cost LB: 54834 ... c Min unsat cost LB: 54835 ... c Min unsat cost LB: 54836 ... c Min unsat cost LB: 54837 ... c Min unsat cost LB: 54838 ... c Min unsat cost LB: 54839 ... c Min unsat cost LB: 54840 ... c Min unsat cost LB: 54841 ... c Min unsat cost LB: 54842 ... c Min unsat cost LB: 54843 ... c Min unsat cost LB: 54844 ... c Min unsat cost LB: 54845 ... c Min unsat cost LB: 54846 ... c Min unsat cost LB: 54847 ... c Min unsat cost LB: 54848 ... c Min unsat cost LB: 54849 ... c Min unsat cost LB: 54850 ... c Min unsat cost LB: 54851 ... c Min unsat cost LB: 54852 ... c Min unsat cost LB: 54853 ... c Min unsat cost LB: 54854 ... c Min unsat cost LB: 54855 ... c Min unsat cost LB: 54857 ... c Min unsat cost LB: 54858 ... c Min unsat cost LB: 54859 ... c Min unsat cost LB: 54860 ... c Min unsat cost LB: 54861 ... c Min unsat cost LB: 54862 ... c Min unsat cost LB: 54863 ... c Min unsat cost LB: 54864 ... c Min unsat cost LB: 54865 ... c Min unsat cost LB: 54866 ... c Min unsat cost LB: 54867 ... c Min unsat cost LB: 54868 ... c Min unsat cost LB: 54869 ... c Min unsat cost LB: 54870 ... c Min unsat cost LB: 54871 ... c Min unsat cost LB: 54872 ... c Min unsat cost LB: 54873 ... c Min unsat cost LB: 54874 ... c Min unsat cost LB: 54875 ... c Min unsat cost LB: 54876 ... c Min unsat cost LB: 54877 ... c Min unsat cost LB: 54878 ... c Min unsat cost LB: 54879 ... c Min unsat cost LB: 54880 ... c Min unsat cost LB: 54881 ... c Min unsat cost LB: 54882 ... c Min unsat cost LB: 54883 ... c Min unsat cost LB: 54884 ... c Min unsat cost LB: 54885 ... c Min unsat cost LB: 54886 ... c Min unsat cost LB: 54887 ... c Min unsat cost LB: 54888 ... c Min unsat cost LB: 54889 ... c Min unsat cost LB: 54890 ... c Min unsat cost LB: 54891 ... c Min unsat cost LB: 54892 ... c Min unsat cost LB: 54893 ... c Min unsat cost LB: 54894 ... c Min unsat cost LB: 54895 ... c Min unsat cost LB: 54896 ... c Min unsat cost LB: 54897 ... c Min unsat cost LB: 54898 ... c Min unsat cost LB: 54899 ... c Min unsat cost LB: 54900 ... c Min unsat cost LB: 54901 ... c Min unsat cost LB: 54902 ... c Min unsat cost LB: 54903 ... c Min unsat cost LB: 54904 ... c Min unsat cost LB: 54905 ... c Min unsat cost LB: 54906 ... c Min unsat cost LB: 54907 ... c Min unsat cost LB: 54908 ... c Min unsat cost LB: 54912 ... c Min unsat cost LB: 54913 ... c Min unsat cost LB: 54914 ... c Min unsat cost LB: 54915 ... c Min unsat cost LB: 54916 ... c Min unsat cost LB: 54917 ... c Min unsat cost LB: 54918 ... c Min unsat cost LB: 54919 ... c Min unsat cost LB: 54920 ... c Min unsat cost LB: 54921 ... c Min unsat cost LB: 54922 ... c Min unsat cost LB: 54923 ... c Min unsat cost LB: 54924 ... c Min unsat cost LB: 54925 ... c Min unsat cost LB: 54926 ... c Min unsat cost LB: 54927 ... c Min unsat cost LB: 54928 ... c Min unsat cost LB: 54929 ... c Min unsat cost LB: 54930 ... c Min unsat cost LB: 54931 ... c Min unsat cost LB: 54932 ... c Min unsat cost LB: 54933 ... c Min unsat cost LB: 54934 ... c Min unsat cost LB: 54935 ... c Min unsat cost LB: 54936 ... c Min unsat cost LB: 54937 ... c Min unsat cost LB: 54938 ... c Min unsat cost LB: 54939 ... c Min unsat cost LB: 54940 ... c Min unsat cost LB: 54941 ... c Min unsat cost LB: 54942 ... c Min unsat cost LB: 54943 ... c Min unsat cost LB: 54944 ... c Min unsat cost LB: 54945 ... c Min unsat cost LB: 549Killed 1810.283u 9.456s 30:23.61 99.7% 0+0k 0+0io 0pf+0w