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_PATHS_cat_paths_60_90_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0002.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_PATHS/cat_paths_60_90_0002.txt.wcnf *** c c Min unsat cost LB: 700 ... c Min unsat cost LB: 944 ... c Min unsat cost LB: 1760 ... c Min unsat cost LB: 2588 ... c Min unsat cost LB: 3405 ... c Min unsat cost LB: 4233 ... c Min unsat cost LB: 5374 ... c Min unsat cost LB: 5471 ... c Min unsat cost LB: 5482 ... c Min unsat cost LB: 5598 ... c Min unsat cost LB: 6298 ... c Min unsat cost LB: 6391 ... c Min unsat cost LB: 7091 ... c Min unsat cost LB: 8118 ... c Min unsat cost LB: 8119 ... c Min unsat cost LB: 8351 ... c Min unsat cost LB: 9144 ... c Min unsat cost LB: 9854 ... c Min unsat cost LB: 10554 ... c Min unsat cost LB: 10695 ... c Min unsat cost LB: 11725 ... c Min unsat cost LB: 12518 ... c Min unsat cost LB: 12752 ... c Min unsat cost LB: 13452 ... c Min unsat cost LB: 14245 ... c Min unsat cost LB: 14945 ... c Min unsat cost LB: 15323 ... c Min unsat cost LB: 16023 ... c Min unsat cost LB: 17072 ... c Min unsat cost LB: 17083 ... c Min unsat cost LB: 18110 ... c Min unsat cost LB: 18938 ... c Min unsat cost LB: 19963 ... c Min unsat cost LB: 20091 ... c Min unsat cost LB: 20219 ... c Min unsat cost LB: 20229 ... c Min unsat cost LB: 21254 ... c Min unsat cost LB: 22112 ... c Min unsat cost LB: 23205 ... c Min unsat cost LB: 23474 ... c Min unsat cost LB: 24695 ... c Min unsat cost LB: 24841 ... c Min unsat cost LB: 24982 ... c Min unsat cost LB: 25273 ... c Min unsat cost LB: 25775 ... c Min unsat cost LB: 26243 ... c Min unsat cost LB: 26830 ... c Min unsat cost LB: 27845 ... c Min unsat cost LB: 28535 ... c Min unsat cost LB: 29002 ... c Min unsat cost LB: 29462 ... c Min unsat cost LB: 29859 ... c Min unsat cost LB: 29987 ... c Min unsat cost LB: 30583 ... c Min unsat cost LB: 30593 ... c Min unsat cost LB: 30606 ... c Min unsat cost LB: 30711 ... c Min unsat cost LB: 30741 ... c Min unsat cost LB: 31460 ... c Min unsat cost LB: 31732 ... c Min unsat cost LB: 31886 ... c Min unsat cost LB: 33073 ... c Min unsat cost LB: 33550 ... c Min unsat cost LB: 33568 ... c Min unsat cost LB: 34530 ... c Min unsat cost LB: 34598 ... c Min unsat cost LB: 34709 ... c Min unsat cost LB: 34739 ... c Min unsat cost LB: 35081 ... c Min unsat cost LB: 35131 ... c Min unsat cost LB: 35272 ... c Min unsat cost LB: 35385 ... c Min unsat cost LB: 36023 ... c Min unsat cost LB: 36672 ... c Min unsat cost LB: 37105 ... c Min unsat cost LB: 37823 ... c Min unsat cost LB: 38002 ... c Min unsat cost LB: 38470 ... c Min unsat cost LB: 39076 ... c Min unsat cost LB: 39776 ... c Min unsat cost LB: 39786 ... c Min unsat cost LB: 39879 ... c Min unsat cost LB: 40233 ... c Min unsat cost LB: 40246 ... c Min unsat cost LB: 40366 ... c Min unsat cost LB: 40650 ... c Min unsat cost LB: 40660 ... c Min unsat cost LB: 40661 ... c Min unsat cost LB: 40789 ... c Min unsat cost LB: 41538 ... c Min unsat cost LB: 41759 ... c Min unsat cost LB: 41827 ... c Min unsat cost LB: 41840 ... c Min unsat cost LB: 42109 ... c Min unsat cost LB: 42150 ... c Min unsat cost LB: 42251 ... c Min unsat cost LB: 42356 ... c Min unsat cost LB: 42424 ... c Min unsat cost LB: 42431 ... c Min unsat cost LB: 42452 ... c Min unsat cost LB: 42463 ... c Min unsat cost LB: 42542 ... c Min unsat cost LB: 42590 ... c Min unsat cost LB: 42643 ... c Min unsat cost LB: 42673 ... c Min unsat cost LB: 42940 ... c Min unsat cost LB: 42941 ... c Min unsat cost LB: 42990 ... c Min unsat cost LB: 43224 ... c Min unsat cost LB: 43337 ... c Min unsat cost LB: 43380 ... c Min unsat cost LB: 43524 ... c Min unsat cost LB: 43992 ... c Min unsat cost LB: 44058 ... c Min unsat cost LB: 44111 ... c Min unsat cost LB: 44269 ... c Min unsat cost LB: 44608 ... c Min unsat cost LB: 44726 ... c Min unsat cost LB: 44735 ... c Min unsat cost LB: 44736 ... c Min unsat cost LB: 44756 ... c Min unsat cost LB: 44972 ... c Min unsat cost LB: 45138 ... c Min unsat cost LB: 45224 ... c Min unsat cost LB: 45289 ... c Min unsat cost LB: 45327 ... c Min unsat cost LB: 45396 ... c Min unsat cost LB: 45405 ... c Min unsat cost LB: 45464 ... c Min unsat cost LB: 45493 ... c Min unsat cost LB: 45517 ... c Min unsat cost LB: 45534 ... c Min unsat cost LB: 45633 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45733 ... c Min unsat cost LB: 45763 ... c Min unsat cost LB: 45880 ... c Min unsat cost LB: 45965 ... c Min unsat cost LB: 46010 ... c Min unsat cost LB: 46038 ... c Min unsat cost LB: 46115 ... c Min unsat cost LB: 46122 ... c Min unsat cost LB: 46127 ... c Min unsat cost LB: 46303 ... c Min unsat cost LB: 46549 ... c Min unsat cost LB: 46611 ... c Min unsat cost LB: 46672 ... c Min unsat cost LB: 46846 ... c Min unsat cost LB: 46948 ... c Min unsat cost LB: 46961 ... c Min unsat cost LB: 47058 ... c Min unsat cost LB: 47072 ... c Min unsat cost LB: 47293 ... c Min unsat cost LB: 47333 ... c Min unsat cost LB: 47343 ... c Min unsat cost LB: 47347 ... c Min unsat cost LB: 47388 ... c Min unsat cost LB: 47411 ... c Min unsat cost LB: 47426 ... c Min unsat cost LB: 47427 ... c Min unsat cost LB: 47431 ... c Min unsat cost LB: 47461 ... c Min unsat cost LB: 47493 ... c Min unsat cost LB: 47658 ... c Min unsat cost LB: 47714 ... c Min unsat cost LB: 47842 ... c Min unsat cost LB: 47863 ... c Min unsat cost LB: 47873 ... c Min unsat cost LB: 47894 ... c Min unsat cost LB: 47966 ... c Min unsat cost LB: 47998 ... c Min unsat cost LB: 48029 ... c Min unsat cost LB: 48030 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48042 ... c Min unsat cost LB: 48075 ... c Min unsat cost LB: 48079 ... c Min unsat cost LB: 48081 ... c Min unsat cost LB: 48116 ... c Min unsat cost LB: 48139 ... c Min unsat cost LB: 48149 ... c Min unsat cost LB: 48151 ... c Min unsat cost LB: 48153 ... c Min unsat cost LB: 48168 ... c Min unsat cost LB: 48211 ... c Min unsat cost LB: 48223 ... c Min unsat cost LB: 48249 ... c Min unsat cost LB: 48251 ... c Min unsat cost LB: 48261 ... c Min unsat cost LB: 48262 ... c Min unsat cost LB: 48263 ... c Min unsat cost LB: 48293 ... c Min unsat cost LB: 48295 ... c Min unsat cost LB: 48296 ... c Min unsat cost LB: 48300 ... c Min unsat cost LB: 48448 ... c Min unsat cost LB: 48449 ... c Min unsat cost LB: 48481 ... c Min unsat cost LB: 48485 ... c Min unsat cost LB: 48520 ... c Min unsat cost LB: 48553 ... c Min unsat cost LB: 48559 ... c Min unsat cost LB: 48560 ... c Min unsat cost LB: 48561 ... c Min unsat cost LB: 48564 ... c Min unsat cost LB: 48566 ... c Min unsat cost LB: 48573 ... c Min unsat cost LB: 48578 ... c Min unsat cost LB: 48605 ... c Min unsat cost LB: 48800 ... c Min unsat cost LB: 48805 ... c Min unsat cost LB: 48810 ... c Min unsat cost LB: 48819 ... c Min unsat cost LB: 48832 ... c Min unsat cost LB: 48841 ... c Min unsat cost LB: 48853 ... c Min unsat cost LB: 48854 ... c Min unsat cost LB: 48862 ... c Min unsat cost LB: 48879 ... c Min unsat cost LB: 48881 ... c Min unsat cost LB: 48907 ... c Min unsat cost LB: 48948 ... c Min unsat cost LB: 48971 ... c Min unsat cost LB: 48972 ... c Min unsat cost LB: 49011 ... c Min unsat cost LB: 49192 ... c Min unsat cost LB: 49193 ... c Min unsat cost LB: 49225 ... c Min unsat cost LB: 49233 ... c Min unsat cost LB: 49235 ... c Min unsat cost LB: 49239 ... c Min unsat cost LB: 49244 ... c Min unsat cost LB: 49245 ... c Min unsat cost LB: 49251 ... c Min unsat cost LB: 49253 ... c Min unsat cost LB: 49257 ... c Min unsat cost LB: 49260 ... c Min unsat cost LB: 49263 ... c Min unsat cost LB: 49265 ... c Min unsat cost LB: 49271 ... c Min unsat cost LB: 49272 ... c Min unsat cost LB: 49273 ... c Min unsat cost LB: 49274 ... c Min unsat cost LB: 49276 ... c Min unsat cost LB: 49277 ... c Min unsat cost LB: 49278 ... c Min unsat cost LB: 49307 ... c Min unsat cost LB: 49310 ... c Min unsat cost LB: 49325 ... c Min unsat cost LB: 49330 ... c Min unsat cost LB: 49347 ... c Min unsat cost LB: 49348 ... c Min unsat cost LB: 49381 ... c Min unsat cost LB: 49393 ... c Min unsat cost LB: 49397 ... c Min unsat cost LB: 49416 ... c Min unsat cost LB: 49426 ... c Min unsat cost LB: 49427 ... c Min unsat cost LB: 49428 ... c Min unsat cost LB: 49457 ... c Min unsat cost LB: 49458 ... c Min unsat cost LB: 49460 ... c Min unsat cost LB: 49463 ... c Min unsat cost LB: 49481 ... c Min unsat cost LB: 49482 ... c Min unsat cost LB: 49483 ... c Min unsat cost LB: 49486 ... c Min unsat cost LB: 49490 ... c Min unsat cost LB: 49493 ... c Min unsat cost LB: 49501 ... c Min unsat cost LB: 49515 ... c Min unsat cost LB: 49516 ... c Min unsat cost LB: 49530 ... c Min unsat cost LB: 49539 ... c Min unsat cost LB: 49540 ... c Min unsat cost LB: 49549 ... c Min unsat cost LB: 49550 ... c Min unsat cost LB: 49557 ... c Min unsat cost LB: 49558 ... c Min unsat cost LB: 49592 ... c Min unsat cost LB: 49611 ... c Min unsat cost LB: 49612 ... c Min unsat cost LB: 49618 ... c Min unsat cost LB: 49637 ... c Min unsat cost LB: 49639 ... c Min unsat cost LB: 49651 ... c Min unsat cost LB: 49670 ... c Min unsat cost LB: 49676 ... c Min unsat cost LB: 49678 ... c Min unsat cost LB: 49682 ... c Min unsat cost LB: 49692 ... c Min unsat cost LB: 49695 ... c Min unsat cost LB: 49718 ... c Min unsat cost LB: 49720 ... c Min unsat cost LB: 49724 ... c Min unsat cost LB: 49725 ... c Min unsat cost LB: 49737 ... c Min unsat cost LB: 49738 ... c Min unsat cost LB: 49747 ... c Min unsat cost LB: 49768 ... c Min unsat cost LB: 49777 ... c Min unsat cost LB: 49780 ... c Min unsat cost LB: 49781 ... c Min unsat cost LB: 49791 ... c Min unsat cost LB: 49797 ... c Min unsat cost LB: 49801 ... c Min unsat cost LB: 49819 ... c Min unsat cost LB: 49845 ... c Min unsat cost LB: 49846 ... c Min unsat cost LB: 49847 ... c Min unsat cost LB: 49848 ... c Min unsat cost LB: 49850 ... c Min unsat cost LB: 49851 ... c Min unsat cost LB: 49852 ... c Min unsat cost LB: 49858 ... c Min unsat cost LB: 49859 ... c Min unsat cost LB: 49862 ... c Min unsat cost LB: 49865 ... c Min unsat cost LB: 49867 ... c Min unsat cost LB: 49871 ... c Min unsat cost LB: 49872 ... c Min unsat cost LB: 49873 ... c Min unsat cost LB: 49874 ... c Min unsat cost LB: 49875 ... c Min unsat cost LB: 49876 ... c Min unsat cost LB: 49877 ... c Min unsat cost LB: 49879 ... c Min unsat cost LB: 49880 ... c Min unsat cost LB: 49881 ... c Min unsat cost LB: 49882 ... c Min unsat cost LB: 49883 ... c Min unsat cost LB: 49884 ... c Min unsat cost LB: 49885 ... c Min unsat cost LB: 49886 ... c Min unsat cost LB: 49887 ... c Min unsat cost LB: 49936 ... c Min unsat cost LB: 49940 ... c Min unsat cost LB: 49941 ... c Min unsat cost LB: 49942 ... c Min unsat cost LB: 49943 ... c Min unsat cost LB: 49945 ... c Min unsat cost LB: 49959 ... c Min unsat cost LB: 49968 ... c Min unsat cost LB: 49978 ... c Min unsat cost LB: 49986 ... c Min unsat cost LB: 49993 ... c Min unsat cost LB: 49995 ... c Min unsat cost LB: 49997 ... c Min unsat cost LB: 49998 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50002 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50004 ... c Min unsat cost LB: 50010 ... c Min unsat cost LB: 50011 ... c Min unsat cost LB: 50013 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50015 ... c Min unsat cost LB: 50016 ... c Min unsat cost LB: 50019 ... c Min unsat cost LB: 50020 ... c Min unsat cost LB: 50021 ... c Min unsat cost LB: 50023 ... c Min unsat cost LB: 50025 ... c Min unsat cost LB: 50027 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50037 ... c Min unsat cost LB: 50038 ... c Min unsat cost LB: 50039 ... c Min unsat cost LB: 50040 ... c Min unsat cost LB: 50044 ... c Min unsat cost LB: 50045 ... c Min unsat cost LB: 50046 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50048 ... c Min unsat cost LB: 50051 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50059 ... c Min unsat cost LB: 50064 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50113 ... c Min unsat cost LB: 50116 ... c Min unsat cost LB: 50121 ... c Min unsat cost LB: 50134 ... c Min unsat cost LB: 50135 ... c Min unsat cost LB: 50136 ... c Min unsat cost LB: 50137 ... c Min unsat cost LB: 50141 ... c Min unsat cost LB: 50145 ... c Min unsat cost LB: 50146 ... c Min unsat cost LB: 50150 ... c Min unsat cost LB: 50151 ... c Min unsat cost LB: 50172 ... c Min unsat cost LB: 50199 ... c Min unsat cost LB: 50200 ... c Min unsat cost LB: 50201 ... c Min unsat cost LB: 50205 ... c Min unsat cost LB: 50206 ... c Min unsat cost LB: 50207 ... c Min unsat cost LB: 50210 ... c Min unsat cost LB: 50211 ... c Min unsat cost LB: 50212 ... c Min unsat cost LB: 50213 ... c Min unsat cost LB: 50214 ... c Min unsat cost LB: 50218 ... c Min unsat cost LB: 50221 ... c Min unsat cost LB: 50224 ... c Min unsat cost LB: 50225 ... c Min unsat cost LB: 50227 ... c Min unsat cost LB: 50228 ... c Min unsat cost LB: 50230 ... c Min unsat cost LB: 50236 ... c Min unsat cost LB: 50238 ... c Min unsat cost LB: 50240 ... c Min unsat cost LB: 50241 ... c Min unsat cost LB: 50244 ... c Min unsat cost LB: 50246 ... c Min unsat cost LB: 50251 ... c Min unsat cost LB: 50252 ... c Min unsat cost LB: 50253 ... c Min unsat cost LB: 50254 ... c Min unsat cost LB: 50260 ... c Min unsat cost LB: 50261 ... c Min unsat cost LB: 50262 ... c Min unsat cost LB: 50263 ... c Min unsat cost LB: 50264 ... c Min unsat cost LB: 50265 ... c Min unsat cost LB: 50270 ... c Min unsat cost LB: 50271 ... c Min unsat cost LB: 50274 ... c Min unsat cost LB: 50275 ... c Min unsat cost LB: 50277 ... c Min unsat cost LB: 50292 ... c Min unsat cost LB: 50293 ... c Min unsat cost LB: 50294 ... c Min unsat cost LB: 50295 ... c Min unsat cost LB: 50296 ... c Min unsat cost LB: 50297 ... c Min unsat cost LB: 50298 ... c Min unsat cost LB: 50299 ... c Min unsat cost LB: 50300 ... c Min unsat cost LB: 50301 ... c Min unsat cost LB: 50302 ... c Min unsat cost LB: 50303 ... c Min unsat cost LB: 50307 ... c Min unsat cost LB: 50308 ... c Min unsat cost LB: 50309 ... c Min unsat cost LB: 50310 ... c Min unsat cost LB: 50311 ... c Min unsat cost LB: 50312 ... c Min unsat cost LB: 50313 ... c Min unsat cost LB: 50314 ... c Min unsat cost LB: 50315 ... c Min unsat cost LB: 50316 ... c Min unsat cost LB: 50319 ... c Min unsat cost LB: 50320 ... c Min unsat cost LB: 50321 ... c Min unsat cost LB: 50322 ... c Min unsat cost LB: 50324 ... c Min unsat cost LB: 50330 ... c Min unsat cost LB: 50331 ... c Min unsat cost LB: 50332 ... c Min unsat cost LB: 50352 ... c Min unsat cost LB: 50354 ... c Min unsat cost LB: 50386 ... c Min unsat cost LB: 50392 ... c Min unsat cost LB: 50415 ... c Min unsat cost LB: 50416 ... c Min unsat cost LB: 50418 ... c Min unsat cost LB: 50419 ... c Min unsat cost LB: 50420 ... c Min unsat cost LB: 50421 ... c Min unsat cost LB: 50424 ... c Min unsat cost LB: 50425 ... c Min unsat cost LB: 50426 ... c Min unsat cost LB: 50465 ... c Min unsat cost LB: 50466 ... c Min unsat cost LB: 50467 ... c Min unsat cost LB: 50468 ... c Min unsat cost LB: 50469 ... c Min unsat cost LB: 50470 ... c Min unsat cost LB: 50471 ... c Min unsat cost LB: 50472 ... c Min unsat cost LB: 50473 ... c Min unsat cost LB: 50474 ... c Min unsat cost LB: 50475 ... c Min unsat cost LB: 50476 ... c Min unsat cost LB: 50477 ... c Min unsat cost LB: 50479 ... c Min unsat cost LB: 50480 ... c Min unsat cost LB: 50495 ... c Min unsat cost LB: 50496 ... c Min unsat cost LB: 50497 ... c Min unsat cost LB: 50498 ... c Min unsat cost LB: 50499 ... c Min unsat cost LB: 50500 ... c Min unsat cost LB: 50501 ... c Min unsat cost LB: 50502 ... c Min unsat cost LB: 50503 ... c Min unsat cost LB: 50504 ... c Min unsat cost LB: 50511 ... c Min unsat cost LB: 50512 ... c Min unsat cost LB: 50515 ... c Min unsat cost LB: 50516 ... c Min unsat cost LB: 50518 ... c Min unsat cost LB: 50519 ... c Min unsat cost LB: 50520 ... c Min unsat cost LB: 50521 ... c Min unsat cost LB: 50522 ... c Min unsat cost LB: 50523 ... c Min unsat cost LB: 50529 ... c Min unsat cost LB: 50530 ... c Min unsat cost LB: 50531 ... c Min unsat cost LB: 50532 ... c Min unsat cost LB: 50533 ... c Min unsat cost LB: 50534 ... c Min unsat cost LB: 50535 ... c Min unsat cost LB: 50538 ... c Min unsat cost LB: 50539 ... c Min unsat cost LB: 50540 ... c Min unsat cost LB: 50541 ... c Min unsat cost LB: 50542 ... c Min unsat cost LB: 50543 ... c Min unsat cost LB: 50545 ... c Min unsat cost LB: 50546 ... c Min unsat cost LB: 50547 ... c Min unsat cost LB: 50548 ... c Min unsat cost LB: 50555 ... c Min unsat cost LB: 50556 ... c Min unsat cost LB: 50563 ... c Min unsat cost LB: 50568 ... c Min unsat cost LB: 50580 ... c Min unsat cost LB: 50581 ... c Min unsat cost LB: 50582 ... c Min unsat cost LB: 50583 ... c Min unsat cost LB: 50584 ... c Min unsat cost LB: 50585 ... c Min unsat cost LB: 50587 ... c Min unsat cost LB: 50588 ... c Min unsat cost LB: 50589 ... c Min unsat cost LB: 50590 ... c Min unsat cost LB: 50591 ... c Min unsat cost LB: 50593 ... c Min unsat cost LB: 50594 ... c Min unsat cost LB: 50595 ... c Min unsat cost LB: 50596 ... c Min unsat cost LB: 50597 ... c Min unsat cost LB: 50600 ... c Min unsat cost LB: 50601 ... c Min unsat cost LB: 50602 ... c Min unsat cost LB: 50603 ... c Min unsat cost LB: 50604 ... c Min unsat cost LB: 50605 ... c Min unsat cost LB: 50606 ... c Min unsat cost LB: 50607 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50609 ... c Min unsat cost LB: 50610 ... c Min unsat cost LB: 50613 ... c Min unsat cost LB: 50619 ... c Min unsat cost LB: 50622 ... c Min unsat cost LB: 50623 ... c Min unsat cost LB: 50624 ... c Min unsat cost LB: 50625 ... c Min unsat cost LB: 50626 ... c Min unsat cost LB: 50627 ... c Min unsat cost LB: 50628 ... c Min unsat cost LB: 50629 ... c Min unsat cost LB: 50630 ... c Min unsat cost LB: 50631 ... c Min unsat cost LB: 50633 ... c Min unsat cost LB: 50634 ... c Min unsat cost LB: 50635 ... c Min unsat cost LB: 50636 ... c Min unsat cost LB: 50637 ... c Min unsat cost LB: 50638 ... c Min unsat cost LB: 50639 ... c Min unsat cost LB: 50640 ... c Min unsat cost LB: 50641 ... c Min unsat cost LB: 50643 ... c Min unsat cost LB: 50644 ... c Min unsat cost LB: 50645 ... c Min unsat cost LB: 50646 ... c Min unsat cost LB: 50647 ... c Min unsat cost LB: 50648 ... c Min unsat cost LB: 50649 ... c Min unsat cost LB: 50669 ... c Min unsat cost LB: 50670 ... c Min unsat cost LB: 50671 ... c Min unsat cost LB: 50672 ... c Min unsat cost LB: 50677 ... c Min unsat cost LB: 50678 ... c Min unsat cost LB: 50682 ... c Min unsat cost LB: 50684 ... c Min unsat cost LB: 50685 ... c Min unsat cost LB: 50686 ... c Min unsat cost LB: 50690 ... c Min unsat cost LB: 50692 ... c Min unsat cost LB: 50693 ... c Min unsat cost LB: 50694 ... c Min unsat cost LB: 50695 ... c Min unsat cost LB: 50696 ... c Min unsat cost LB: 50697 ... c Min unsat cost LB: 50698 ... c Min unsat cost LB: 50704 ... c Min unsat cost LB: 50705 ... c Min unsat cost LB: 50706 ... c Min unsat cost LB: 50707 ... c Min unsat cost LB: 50719 ... c Min unsat cost LB: 50720 ... c Min unsat cost LB: 50721 ... c Min unsat cost LB: 50722 ... c Min unsat cost LB: 50724 ... c Min unsat cost LB: 50725 ... c Min unsat cost LB: 50726 ... c Min unsat cost LB: 50728 ... c Min unsat cost LB: 50729 ... c Min unsat cost LB: 50730 ... c Min unsat cost LB: 50731 ... c Min unsat cost LB: 50732 ... c Min unsat cost LB: 50733 ... c Min unsat cost LB: 50734 ... c Min unsat cost LB: 50735 ... c Min unsat cost LB: 50736 ... c Min unsat cost LB: 50737 ... c Min unsat cost LB: 50738 ... c Min unsat cost LB: 50739 ... c Min unsat cost LB: 50740 ... c Min unsat cost LB: 50741 ... c Min unsat cost LB: 50742 ... c Min unsat cost LB: 50743 ... c Min unsat cost LB: 50744 ... c Min unsat cost LB: 50745 ... c Min unsat cost LB: 50746 ... c Min unsat cost LB: 50747 ... c Min unsat cost LB: 50748 ... c Min unsat cost LB: 50821 ... c Min unsat cost LB: 50822 ... c Min unsat cost LB: 50823 ... c Min unsat cost LB: 50824 ... c Min unsat cost LB: 50825 ... c Min unsat cost LB: 50826 ... c Min unsat cost LB: 50827 ... c Min unsat cost LB: 50828 ... c Min unsat cost LB: 50829 ... c Min unsat cost LB: 50830 ... c Min unsat cost LB: 50831 ... c Min unsat cost LB: 50832 ... c Min unsat cost LB: 50833 ... c Min unsat cost LB: 50834 ... c Min unsat cost LB: 50835 ... c Min unsat cost LB: 50836 ... c Min unsat cost LB: 50837 ... c Min unsat cost LB: 50838 ... c Min unsat cost LB: 50839 ... c Min unsat cost LB: 50840 ... c Min unsat cost LB: 50841 ... c Min unsat cost LB: 50842 ... c Min unsat cost LB: 50843 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 50845 ... c Min unsat cost LB: 50846 ... c Min unsat cost LB: 50847 ... c Min unsat cost LB: 50848 ... c Min unsat cost LB: 50850 ... c Min unsat cost LB: 50851 ... c Min unsat cost LB: 50852 ... c Min unsat cost LB: 50854 ... c Min unsat cost LB: 50855 ... c Min unsat cost LB: 50856 ... c Min unsat cost LB: 50857 ... c Min unsat cost LB: 50858 ... c Min unsat cost LB: 50859 ... c Min unsat cost LB: 50860 ... c Min unsat cost LB: 50861 ... c Min unsat cost LB: 50914 ... c Min unsat cost LB: 50915 ... c Min unsat cost LB: 50926 ... c Min unsat cost LB: 50927 ... c Min unsat cost LB: 50928 ... c Min unsat cost LB: 50929 ... c Min unsat cost LB: 50930 ... c Min unsat cost LB: 50931 ... c Min unsat cost LB: 50932 ... c Min unsat cost LB: 50933 ... c Min unsat cost LB: 50934 ... c Min unsat cost LB: 50935 ... c Min unsat cost LB: 50936 ... c Min unsat cost LB: 50937 ... c Min unsat cost LB: 50938 ... c Min unsat cost LB: 50939 ... c Min unsat cost LB: 50940 ... c Min unsat cost LB: 50941 ... c Min unsat cost LB: 50942 ... c Min unsat cost LB: 50943 ... c Min unsat cost LB: 50944 ... c Min unsat cost LB: 50945 ... c Min unsat cost LB: 50946 ... c Min unsat cost LB: 50947 ... c Min unsat cost LB: 50948 ... c Min unsat cost LB: 50949 ... c Min unsat cost LB: 50950 ... c Min unsat cost LB: 50951 ... c Min unsat cost LB: 50952 ... c Min unsat cost LB: 50953 ... c Min unsat cost LB: 50954 ... c Min unsat cost LB: 50955 ... c Min unsat cost LB: 50956 ... c Min unsat cost LB: 50957 ... c Min unsat cost LB: 50958 ... c Min unsat cost LB: 50959 ... c Min unsat cost LB: 50960 ... c Min unsat cost LB: 50961 ... c Min unsat cost LB: 50962 ... c Min unsat cost LB: 50963 ... c Min unsat cost LB: 50964 ... c Min unsat cost LB: 50965 ... c Min unsat cost LB: 50966 ... c Min unsat cost LB: 50967 ... c Min unsat cost LB: 50968 ... c Min unsat cost LB: 50969 ... c Min unsat cost LB: 50970 ... c Min unsat cost LB: 50971 ... c Min unsat cost LB: 50973 ... c Min unsat cost LB: 50974 ... c Min unsat cost LB: 50975 ... c Min unsat cost LB: 50977 ... c Min unsat cost LB: 50978 ... c Min unsat cost LB: 50979 ... c Min unsat cost LB: 50980 ... c Min unsat cost LB: 50981 ... c Min unsat cost LB: 50982 ... c Min unsat cost LB: 50983 ... c Min unsat cost LB: 50984 ... c Min unsat cost LB: 50985 ... c Min unsat cost LB: 50986 ... c Min unsat cost LB: 50987 ... c Min unsat cost LB: 50988 ... c Min unsat cost LB: 50989 ... c Min unsat cost LB: 50990 ... c Min unsat cost LB: 50991 ... c Min unsat cost LB: 50992 ... c Min unsat cost LB: 50993 ... c Min unsat cost LB: 50994 ... c Min unsat cost LB: 50995 ... c Min unsat cost LB: 50996 ... c Min unsat cost LB: 50997 ... c Min unsat cost LB: 50998 ... c Min unsat cost LB: 51000 ... c Min unsat cost LB: 51003 ... c Min unsat cost LB: 51004 ... c Min unsat cost LB: 51005 ... c Min unsat cost LB: 51006 ... c Min unsat cost LB: 51007 ... c Min unsat cost LB: 51008 ... c Min unsat cost LB: 51009 ... c Min unsat cost LB: 51010 ... c Min unsat cost LB: 51011 ... c Min unsat cost LB: 51012 ... c Min unsat cost LB: 51013 ... c Min unsat cost LB: 51014 ... c Min unsat cost LB: 51015 ... c Min unsat cost LB: 51016 ... c Min unsat cost LB: 51017 ... c Min unsat cost LB: 51018 ... c Min unsat cost LB: 51019 ... c Min unsat cost LB: 51020 ... c Min unsat cost LB: 51021 ... c Min unsat cost LB: 51022 ... c Min unsat cost LB: 51023 ... c Min unsat cost LB: 51024 ... c Min unsat cost LB: 51025 ... c Min unsat cost LB: 51026 ... c Min unsat cost LB: 51027 ... c Min unsat cost LB: 51028 ... c Min unsat cost LB: 51029 ... c Min unsat cost LB: 51030 ... c Min unsat cost LB: 51031 ... c Min unsat cost LB: 51032 ... c Min unsat cost LB: 51033 ... c Min unsat cost LB: 51034 ... c Min unsat cost LB: 51035 ... c Min unsat cost LB: 51036 ... c Min unsat cost LB: 51046 ... c Min unsat cost LB: 51049 ... c Min unsat cost LB: 51050 ... c Min unsat cost LB: 51051 ... c Min unsat cost LB: 51052 ... c Min unsat cost LB: 51053 ... c Min unsat cost LB: 51054 ... c Min unsat cost LB: 51055 ... c Min unsat cost LB: 51056 ... c Min unsat cost LB: 51057 ... c Min unsat cost LB: 51058 ... c Min unsat cost LB: 51059 ... c Min unsat cost LB: 51060 ... c Min unsat cost LB: 51100 ... c Min unsat cost LB: 51180 ... c Min unsat cost LB: 51194 ... c Min unsat cost LB: 51195 ... c Min unsat cost LB: 51196 ... c Min unsat cost LB: 51197 ... c Min unsat cost LB: 51198 ... c Min unsat cost LB: 51200 ... c Min unsat cost LB: 51201 ... c Min unsat cost LB: 51202 ... c Min unsat cost LB: 51203 ... c Min unsat cost LB: 51206 ... c Min unsat cost LB: 51208 ... c Min unsat cost LB: 51209 ... c Min unsat cost LB: 51210 ... c Min unsat cost LB: 51211 ... c Min unsat cost LB: 51212 ... c Min unsat cost LB: 51213 ... c Min unsat cost LB: 51214 ... c Min unsat cost LB: 51215 ... c Min unsat cost LB: 51216 ... c Min unsat cost LB: 51217 ... c Min unsat cost LB: 51218 ... c Min unsat cost LB: 51219 ... c Min unsat cost LB: 51221 ... c Min unsat cost LB: 51222 ... c Min unsat cost LB: 51223 ... c Min unsat cost LB: 51224 ... c Min unsat cost LB: 51225 ... c Min unsat cost LB: 51226 ... c Min unsat cost LB: 51229 ... c Min unsat cost LB: 51237 ... c Min unsat cost LB: 51238 ... c Min unsat cost LB: 51239 ... c Min unsat cost LB: 51240 ... c Min unsat cost LB: 51241 ... c Min unsat cost LB: 51242 ... c Min unsat cost LB: 51245 ... c Min unsat cost LB: 51246 ... c Min unsat cost LB: 51247 ... c Min unsat cost LB: 51248 ... c Min unsat cost LB: 51249 ... c Min unsat cost LB: 51250 ... c Min unsat cost LB: 51251 ... c Min unsat cost LB: 51252 ... c Min unsat cost LB: 51253 ... c Min unsat cost LB: 51254 ... c Min unsat cost LB: 51255 ... c Min unsat cost LB: 51256 ... c Min unsat cost LB: 51257 ... c Min unsat cost LB: 51258 ... c Min unsat cost LB: 51259 ... c Min unsat cost LB: 51260 ... c Min unsat cost LB: 51261 ... c Min unsat cost LB: 51262 ... c Min unsat cost LB: 51263 ... c Min unsat cost LB: 51264 ... c Min unsat cost LB: 51265 ... c Min unsat cost LB: 51266 ... c Min unsat cost LB: 51267 ... c Min unsat cost LB: 51268 ... c Min unsat cost LB: 51270 ... c Min unsat cost LB: 51271 ... c Min unsat cost LB: 51272 ... c Min unsat cost LB: 51273 ... c Min unsat cost LB: 51274 ... c Min unsat cost LB: 51275 ... c Min unsat cost LB: 51276 ... c Min unsat cost LB: 51277 ... c Min unsat cost LB: 51278 ... c Min unsat cost LB: 51279 ... c Min unsat cost LB: 51280 ... c Min unsat cost LB: 51281 ... c Min unsat cost LB: 51282 ... c Min unsat cost LB: 51283 ... c Min unsat cost LB: 51284 ... c Min unsat cost LB: 51285 ... c Min unsat cost LB: 51286 ... c Min unsat cost LB: 51287 ... c Min unsat cost LB: 51288 ... c Min unsat cost LB: 51289 ... c Min unsat cost LB: 51291 ... c Min unsat cost LB: 51297 ... c Min unsat cost LB: 51298 ... c Min unsat cost LB: 51299 ... c Min unsat cost LB: 51300 ... c Min unsat cost LB: 51301 ... c Min unsat cost LB: 51302 ... c Min unsat cost LB: 51303 ... c Min unsat cost LB: 51306 ... c Min unsat cost LB: 51307 ... c Min unsat cost LB: 51308 ... c Min unsat cost LB: 51309 ... c Min unsat cost LB: 51310 ... c Min unsat cost LB: 51311 ... c Min unsat cost LB: 51312 ... c Min unsat cost LB: 51313 ... c Min unsat cost LB: 51314 ... c Min unsat cost LB: 51315 ... c Min unsat cost LB: 51316 ... c Min unsat cost LB: 51317 ... c Min unsat cost LB: 51318 ... c Min unsat cost LB: 51319 ... c Min unsat cost LB: 51320 ... c Min unsat cost LB: 51321 ... c Min unsat cost LB: 51322 ... c Min unsat cost LB: 51323 ... c Min unsat cost LB: 51324 ... c Min unsat cost LB: 51325 ... c Min unsat cost LB: 51326 ... c Min unsat cost LB: 51327 ... c Min unsat cost LB: 51328 ... c Min unsat cost LB: 51329 ... c Min unsat cost LB: 51330 ... c Min unsat cost LB: 51331 ... c Min unsat cost LB: 51332 ... c Min unsat cost LB: 51333 ... c Min unsat cost LB: 51334 ... c Min unsat cost LB: 51335 ... c Min unsat cost LB: 51336 ... c Min unsat cost LB: 51337 ... c Min unsat cost LB: 51338 ... c Min unsat cost LB: 51339 ... c Min unsat cost LB: 51340 ... c Min unsat cost LB: 51341 ... c Min unsat cost LB: 51342 ... c Min unsat cost LB: 51343 ... c Min unsat cost LB: 51344 ... c Min unsat cost LB: 51345 ... c Min unsat cost LB: 51346 ... c Min unsat cost LB: 51347 ... c Min unsat cost LB: 51348 ... c Min unsat cost LB: 51349 ... c Min unsat cost LB: 51350 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51352 ... c Min unsat cost LB: 51353 ... c Min unsat cost LB: 51354 ... c Min unsat cost LB: 51355 ... c Min unsat cost LB: 51356 ... c Min unsat cost LB: 51357 ... c Min unsat cost LB: 51358 ... c Min unsat cost LB: 51359 ... c Min unsat cost LB: 51360 ... c Min unsat cost LB: 51361 ... c Min unsat cost LB: 51362 ... c Min unsat cost LB: 51363 ... c Min unsat cost LB: 51364 ... c Min unsat cost LB: 51365 ... c Min unsat cost LB: 51366 ... c Min unsat cost LB: 51367 ... c Min unsat cost LB: 51368 ... c Min unsat cost LB: 51369 ... c Min unsat cost LB: 51370 ... c Min unsat cost LB: 51371 ... c Min unsat cost LB: 51372 ... c Min unsat cost LB: 51373 ... c Min unsat cost LB: 51374 ... c Min unsat cost LB: 51375 ... c Min unsat cost LB: 51376 ... c Min unsat cost LB: 51377 ... c Min unsat cost LB: 51378 ... c Min unsat cost LB: 51379 ... c Min unsat cost LB: 51380 ... c Min unsat cost LB: 51381 ... c Min unsat cost LB: 51382 ... c Min unsat cost LB: 51383 ... c Min unsat cost LB: 51384 ... c Min unsat cost LB: 51385 ... c Min unsat cost LB: 51386 ... c Min unsat cost LB: 51387 ... c Min unsat cost LB: 51388 ... c Min unsat cost LB: 51389 ... c Min unsat cost LB: 51390 ... c Min unsat cost LB: 51391 ... c Min unsat cost LB: 51392 ... c Min unsat cost LB: 51393 ... c Min unsat cost LB: 51394 ... c Min unsat cost LB: 51395 ... c Min unsat cost LB: 51396 ... c Min unsat cost LB: 51397 ... c Min unsat cost LB: 51398 ... c Min unsat cost LB: 51399 ... c Min unsat cost LB: 51400 ... c Min unsat cost LB: 51401 ... c Min unsat cost LB: 51402 ... c Min unsat cost LB: 51403 ... c Min unsat cost LB: 51404 ... c Min unsat cost LB: 51405 ... c Min unsat cost LB: 51406 ... c Min unsat cost LB: 51407 ... c Min unsat cost LB: 51408 ... c Min unsat cost LB: 51409 ... c Min unsat cost LB: 51410 ... c Min unsat cost LB: 51411 ... c Min unsat cost LB: 51412 ... c Min unsat cost LB: 51413 ... c Min unsat cost LB: 51414 ... c Min unsat cost LB: 51415 ... c Min unsat cost LB: 51416 ... c Min unsat cost LB: 51417 ... c Min unsat cost LB: 51418 ... c Min unsat cost LB: 51419 ... c Min unsat cost LB: 51420 ... c Min unsat cost LB: 51421 ... c Min unsat cost LB: 51422 ... c Min unsat cost LB: 51423 ... c Min unsat cost LB: 51424 ... c Min unsat cost LB: 51425 ... c Min unsat cost LB: 51426 ... c Min unsat cost LB: 51427 ... c Min unsat cost LB: 51428 ... c Min unsat cost LB: 51429 ... c Min unsat cost LB: 51430 ... c Min unsat cost LB: 51431 ... c Min unsat cost LB: 51432 ... c Min unsat cost LB: 51433 ... c Min unsat cost LB: 51434 ... c Min unsat cost LB: 51435 ... c Min unsat cost LB: 51436 ... c Min unsat cost LB: 51437 ... c Min unsat cost LB: 51438 ... c Min unsat cost LB: 51439 ... c Min unsat cost LB: 51440 ... c Min unsat cost LB: 51441 ... c Min unsat cost LB: 51442 ... c Min unsat cost LB: 51443 ... c Min unsat cost LB: 51444 ... c Min unsat cost LB:Killed 1814.881u 4.861s 30:21.74 99.8% 0+0k 0+0io 0pf+0w