Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_170_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_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_SCHEDULING/cat_sched_60_170_0002.txt.wcnf *** c c Min unsat cost LB: 86 ... c Min unsat cost LB: 398 ... c Min unsat cost LB: 710 ... c Min unsat cost LB: 1022 ... c Min unsat cost LB: 1334 ... c Min unsat cost LB: 1902 ... c Min unsat cost LB: 2470 ... c Min unsat cost LB: 2782 ... c Min unsat cost LB: 2868 ... c Min unsat cost LB: 3436 ... c Min unsat cost LB: 3748 ... c Min unsat cost LB: 3834 ... c Min unsat cost LB: 4146 ... c Min unsat cost LB: 4458 ... c Min unsat cost LB: 4684 ... c Min unsat cost LB: 5252 ... c Min unsat cost LB: 5559 ... c Min unsat cost LB: 5645 ... c Min unsat cost LB: 5731 ... c Min unsat cost LB: 5817 ... c Min unsat cost LB: 5828 ... c Min unsat cost LB: 6396 ... c Min unsat cost LB: 6471 ... c Min unsat cost LB: 6554 ... c Min unsat cost LB: 6637 ... c Min unsat cost LB: 6665 ... c Min unsat cost LB: 6977 ... c Min unsat cost LB: 7545 ... c Min unsat cost LB: 7814 ... c Min unsat cost LB: 7868 ... c Min unsat cost LB: 8137 ... c Min unsat cost LB: 8705 ... c Min unsat cost LB: 8974 ... c Min unsat cost LB: 9273 ... c Min unsat cost LB: 9542 ... c Min unsat cost LB: 10110 ... c Min unsat cost LB: 10422 ... c Min unsat cost LB: 10678 ... c Min unsat cost LB: 11246 ... c Min unsat cost LB: 11558 ... c Min unsat cost LB: 12069 ... c Min unsat cost LB: 12381 ... c Min unsat cost LB: 12693 ... c Min unsat cost LB: 13005 ... c Min unsat cost LB: 13317 ... c Min unsat cost LB: 13629 ... c Min unsat cost LB: 14197 ... c Min unsat cost LB: 14509 ... c Min unsat cost LB: 14821 ... c Min unsat cost LB: 14878 ... c Min unsat cost LB: 15133 ... c Min unsat cost LB: 15190 ... c Min unsat cost LB: 15502 ... c Min unsat cost LB: 15757 ... c Min unsat cost LB: 15762 ... c Min unsat cost LB: 16074 ... c Min unsat cost LB: 16386 ... c Min unsat cost LB: 16612 ... c Min unsat cost LB: 16693 ... c Min unsat cost LB: 16698 ... c Min unsat cost LB: 17005 ... c Min unsat cost LB: 17010 ... c Min unsat cost LB: 17578 ... c Min unsat cost LB: 17635 ... c Min unsat cost LB: 17947 ... c Min unsat cost LB: 18216 ... c Min unsat cost LB: 18302 ... c Min unsat cost LB: 18388 ... c Min unsat cost LB: 18474 ... c Min unsat cost LB: 18560 ... c Min unsat cost LB: 18646 ... c Min unsat cost LB: 18732 ... c Min unsat cost LB: 18988 ... c Min unsat cost LB: 19074 ... c Min unsat cost LB: 19386 ... c Min unsat cost LB: 19472 ... c Min unsat cost LB: 19558 ... c Min unsat cost LB: 19569 ... c Min unsat cost LB: 19644 ... c Min unsat cost LB: 19666 ... c Min unsat cost LB: 19881 ... c Min unsat cost LB: 19935 ... c Min unsat cost LB: 20021 ... c Min unsat cost LB: 20107 ... c Min unsat cost LB: 20193 ... c Min unsat cost LB: 20351 ... c Min unsat cost LB: 20462 ... c Min unsat cost LB: 20548 ... c Min unsat cost LB: 20634 ... c Min unsat cost LB: 20890 ... c Min unsat cost LB: 20976 ... c Min unsat cost LB: 21062 ... c Min unsat cost LB: 21116 ... c Min unsat cost LB: 21428 ... c Min unsat cost LB: 21684 ... c Min unsat cost LB: 21953 ... c Min unsat cost LB: 22252 ... c Min unsat cost LB: 22349 ... c Min unsat cost LB: 22362 ... c Min unsat cost LB: 22648 ... c Min unsat cost LB: 22930 ... c Min unsat cost LB: 23216 ... c Min unsat cost LB: 23383 ... c Min unsat cost LB: 23616 ... c Min unsat cost LB: 23951 ... c Min unsat cost LB: 23994 ... c Min unsat cost LB: 24135 ... c Min unsat cost LB: 24562 ... c Min unsat cost LB: 24654 ... c Min unsat cost LB: 25130 ... c Min unsat cost LB: 25194 ... c Min unsat cost LB: 25237 ... c Min unsat cost LB: 25756 ... c Min unsat cost LB: 25842 ... c Min unsat cost LB: 25928 ... c Min unsat cost LB: 25961 ... c Min unsat cost LB: 26014 ... c Min unsat cost LB: 26100 ... c Min unsat cost LB: 27186 ... c Min unsat cost LB: 27344 ... c Min unsat cost LB: 27912 ... c Min unsat cost LB: 28998 ... c Min unsat cost LB: 29004 ... c Min unsat cost LB: 29572 ... c Min unsat cost LB: 29585 ... c Min unsat cost LB: 29871 ... c Min unsat cost LB: 30012 ... c Min unsat cost LB: 30140 ... c Min unsat cost LB: 30396 ... c Min unsat cost LB: 30695 ... c Min unsat cost LB: 30708 ... c Min unsat cost LB: 30990 ... c Min unsat cost LB: 31276 ... c Min unsat cost LB: 31838 ... c Min unsat cost LB: 31844 ... c Min unsat cost LB: 31930 ... c Min unsat cost LB: 32406 ... c Min unsat cost LB: 32412 ... c Min unsat cost LB: 32455 ... c Min unsat cost LB: 32980 ... c Min unsat cost LB: 33249 ... c Min unsat cost LB: 33505 ... c Min unsat cost LB: 33548 ... c Min unsat cost LB: 33596 ... c Min unsat cost LB: 33629 ... c Min unsat cost LB: 33715 ... c Min unsat cost LB: 33801 ... c Min unsat cost LB: 34056 ... c Min unsat cost LB: 34113 ... c Min unsat cost LB: 34368 ... c Min unsat cost LB: 34373 ... c Min unsat cost LB: 34535 ... c Min unsat cost LB: 34592 ... c Min unsat cost LB: 34599 ... c Min unsat cost LB: 34680 ... c Min unsat cost LB: 34737 ... c Min unsat cost LB: 34985 ... c Min unsat cost LB: 34992 ... c Min unsat cost LB: 35049 ... c Min unsat cost LB: 35103 ... c Min unsat cost LB: 35189 ... c Min unsat cost LB: 35361 ... c Min unsat cost LB: 35388 ... c Min unsat cost LB: 35399 ... c Min unsat cost LB: 35485 ... c Min unsat cost LB: 35511 ... c Min unsat cost LB: 35699 ... c Min unsat cost LB: 35823 ... c Min unsat cost LB: 35876 ... c Min unsat cost LB: 35903 ... c Min unsat cost LB: 35978 ... c Min unsat cost LB: 36061 ... c Min unsat cost LB: 36144 ... c Min unsat cost LB: 36204 ... c Min unsat cost LB: 36285 ... c Min unsat cost LB: 36290 ... c Min unsat cost LB: 36430 ... c Min unsat cost LB: 36435 ... c Min unsat cost LB: 36516 ... c Min unsat cost LB: 36582 ... c Min unsat cost LB: 36597 ... c Min unsat cost LB: 36643 ... c Min unsat cost LB: 36721 ... c Min unsat cost LB: 36976 ... c Min unsat cost LB: 36977 ... c Min unsat cost LB: 36994 ... c Min unsat cost LB: 37034 ... c Min unsat cost LB: 37062 ... c Min unsat cost LB: 37115 ... c Min unsat cost LB: 37201 ... c Min unsat cost LB: 37220 ... c Min unsat cost LB: 37287 ... c Min unsat cost LB: 37306 ... c Min unsat cost LB: 37373 ... c Min unsat cost LB: 37392 ... c Min unsat cost LB: 37478 ... c Min unsat cost LB: 37489 ... c Min unsat cost LB: 37545 ... c Min unsat cost LB: 37600 ... c Min unsat cost LB: 37912 ... c Min unsat cost LB: 38181 ... c Min unsat cost LB: 38375 ... c Min unsat cost LB: 38457 ... c Min unsat cost LB: 38511 ... c Min unsat cost LB: 38592 ... c Min unsat cost LB: 38726 ... c Min unsat cost LB: 38804 ... c Min unsat cost LB: 38892 ... c Min unsat cost LB: 38967 ... c Min unsat cost LB: 39106 ... c Min unsat cost LB: 39161 ... c Min unsat cost LB: 39192 ... c Min unsat cost LB: 39278 ... c Min unsat cost LB: 39319 ... c Min unsat cost LB: 39362 ... c Min unsat cost LB: 39370 ... c Min unsat cost LB: 39395 ... c Min unsat cost LB: 39576 ... c Min unsat cost LB: 39693 ... c Min unsat cost LB: 39750 ... c Min unsat cost LB: 39805 ... c Min unsat cost LB: 39874 ... c Min unsat cost LB: 39896 ... c Min unsat cost LB: 39903 ... c Min unsat cost LB: 39946 ... c Min unsat cost LB: 39989 ... c Min unsat cost LB: 40306 ... c Min unsat cost LB: 40315 ... c Min unsat cost LB: 40373 ... c Min unsat cost LB: 40392 ... c Min unsat cost LB: 40459 ... c Min unsat cost LB: 40534 ... c Min unsat cost LB: 40613 ... c Min unsat cost LB: 40643 ... c Min unsat cost LB: 40672 ... c Min unsat cost LB: 40699 ... c Min unsat cost LB: 40744 ... c Min unsat cost LB: 40745 ... c Min unsat cost LB: 40769 ... c Min unsat cost LB: 40883 ... c Min unsat cost LB: 40910 ... c Min unsat cost LB: 41091 ... c Min unsat cost LB: 41096 ... c Min unsat cost LB: 41177 ... c Min unsat cost LB: 41285 ... c Min unsat cost LB: 41304 ... c Min unsat cost LB: 41354 ... c Min unsat cost LB: 41371 ... c Min unsat cost LB: 41641 ... c Min unsat cost LB: 41652 ... c Min unsat cost LB: 41683 ... c Min unsat cost LB: 41853 ... c Min unsat cost LB: 41883 ... c Min unsat cost LB: 41910 ... c Min unsat cost LB: 41929 ... c Min unsat cost LB: 41931 ... c Min unsat cost LB: 41974 ... c Min unsat cost LB: 41982 ... c Min unsat cost LB: 41985 ... c Min unsat cost LB: 41996 ... c Min unsat cost LB: 42007 ... c Min unsat cost LB: 42060 ... c Min unsat cost LB: 42062 ... c Min unsat cost LB: 42068 ... c Min unsat cost LB: 42078 ... c Min unsat cost LB: 42148 ... c Min unsat cost LB: 42154 ... c Min unsat cost LB: 42169 ... c Min unsat cost LB: 42194 ... c Min unsat cost LB: 42235 ... c Min unsat cost LB: 42240 ... c Min unsat cost LB: 42262 ... c Min unsat cost LB: 42275 ... c Min unsat cost LB: 42294 ... c Min unsat cost LB: 42301 ... c Min unsat cost LB: 42307 ... c Min unsat cost LB: 42321 ... c Min unsat cost LB: 42325 ... c Min unsat cost LB: 42375 ... c Min unsat cost LB: 42459 ... c Min unsat cost LB: 42505 ... c Min unsat cost LB: 42515 ... c Min unsat cost LB: 42524 ... c Min unsat cost LB: 42648 ... c Min unsat cost LB: 42651 ... c Min unsat cost LB: 42665 ... c Min unsat cost LB: 42689 ... c Min unsat cost LB: 42696 ... c Min unsat cost LB: 42701 ... c Min unsat cost LB: 42716 ... c Min unsat cost LB: 42780 ... c Min unsat cost LB: 42893 ... c Min unsat cost LB: 42942 ... c Min unsat cost LB: 42947 ... c Min unsat cost LB: 43033 ... c Min unsat cost LB: 43044 ... c Min unsat cost LB: 43064 ... c Min unsat cost LB: 43120 ... c Min unsat cost LB: 43126 ... c Min unsat cost LB: 43127 ... c Min unsat cost LB: 43158 ... c Min unsat cost LB: 43186 ... c Min unsat cost LB: 43268 ... c Min unsat cost LB: 43274 ... c Min unsat cost LB: 43327 ... c Min unsat cost LB: 43351 ... c Min unsat cost LB: 43355 ... c Min unsat cost LB: 43364 ... c Min unsat cost LB: 43377 ... c Min unsat cost LB: 43483 ... c Min unsat cost LB: 43492 ... c Min unsat cost LB: 43607 ... c Min unsat cost LB: 43624 ... c Min unsat cost LB: 43630 ... c Min unsat cost LB: 43646 ... c Min unsat cost LB: 43663 ... c Min unsat cost LB: 43681 ... c Min unsat cost LB: 43728 ... c Min unsat cost LB: 43730 ... c Min unsat cost LB: 43764 ... c Min unsat cost LB: 43784 ... c Min unsat cost LB: 43803 ... c Min unsat cost LB: 43804 ... c Min unsat cost LB: 43819 ... c Min unsat cost LB: 43821 ... c Min unsat cost LB: 43900 ... c Min unsat cost LB: 43960 ... c Min unsat cost LB: 44046 ... c Min unsat cost LB: 44164 ... c Min unsat cost LB: 44169 ... c Min unsat cost LB: 44187 ... c Min unsat cost LB: 44217 ... c Min unsat cost LB: 44470 ... c Min unsat cost LB: 44489 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44501 ... c Min unsat cost LB: 44515 ... c Min unsat cost LB: 44520 ... c Min unsat cost LB: 44526 ... c Min unsat cost LB: 44528 ... c Min unsat cost LB: 44536 ... c Min unsat cost LB: 44538 ... c Min unsat cost LB: 44545 ... c Min unsat cost LB: 44549 ... c Min unsat cost LB: 44562 ... c Min unsat cost LB: 44563 ... c Min unsat cost LB: 44669 ... c Min unsat cost LB: 44741 ... c Min unsat cost LB: 44744 ... c Min unsat cost LB: 44752 ... c Min unsat cost LB: 44755 ... c Min unsat cost LB: 44758 ... c Min unsat cost LB: 44766 ... c Min unsat cost LB: 44785 ... c Min unsat cost LB: 44801 ... c Min unsat cost LB: 44803 ... c Min unsat cost LB: 44814 ... c Min unsat cost LB: 44822 ... c Min unsat cost LB: 44827 ... c Min unsat cost LB: 44833 ... c Min unsat cost LB: 44834 ... c Min unsat cost LB: 44835 ... c Min unsat cost LB: 44836 ... c Min unsat cost LB: 44837 ... c Min unsat cost LB: 44838 ... c Min unsat cost LB: 44841 ... c Min unsat cost LB: 44843 ... c Min unsat cost LB: 44844 ... c Min unsat cost LB: 44854 ... c Min unsat cost LB: 44857 ... c Min unsat cost LB: 44861 ... c Min unsat cost LB: 44863 ... c Min unsat cost LB: 44864 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 44873 ... c Min unsat cost LB: 44877 ... c Min unsat cost LB: 44878 ... c Min unsat cost LB: 44880 ... c Min unsat cost LB: 44881 ... c Min unsat cost LB: 44882 ... c Min unsat cost LB: 44884 ... c Min unsat cost LB: 44885 ... c Min unsat cost LB: 44887 ... c Min unsat cost LB: 44888 ... c Min unsat cost LB: 44889 ... c Min unsat cost LB: 44892 ... c Min unsat cost LB: 44895 ... c Min unsat cost LB: 44896 ... c Min unsat cost LB: 44900 ... c Min unsat cost LB: 44902 ... c Min unsat cost LB: 44903 ... c Min unsat cost LB: 44907 ... c Min unsat cost LB: 44912 ... c Min unsat cost LB: 44928 ... c Min unsat cost LB: 44949 ... c Min unsat cost LB: 44950 ... c Min unsat cost LB: 44954 ... c Min unsat cost LB: 44956 ... c Min unsat cost LB: 44964 ... c Min unsat cost LB: 44979 ... c Min unsat cost LB: 44980 ... c Min unsat cost LB: 44987 ... c Min unsat cost LB: 44988 ... c Min unsat cost LB: 44989 ... c Min unsat cost LB: 44993 ... c Min unsat cost LB: 45001 ... c Min unsat cost LB: 45006 ... c Min unsat cost LB: 45008 ... c Min unsat cost LB: 45009 ... c Min unsat cost LB: 45012 ... c Min unsat cost LB: 45023 ... c Min unsat cost LB: 45024 ... c Min unsat cost LB: 45028 ... c Min unsat cost LB: 45029 ... c Min unsat cost LB: 45031 ... c Min unsat cost LB: 45032 ... c Min unsat cost LB: 45033 ... c Min unsat cost LB: 45045 ... c Min unsat cost LB: 45053 ... c Min unsat cost LB: 45055 ... c Min unsat cost LB: 45056 ... c Min unsat cost LB: 45061 ... c Min unsat cost LB: 45062 ... c Min unsat cost LB: 45063 ... c Min unsat cost LB: 45065 ... c Min unsat cost LB: 45066 ... c Min unsat cost LB: 45075 ... c Min unsat cost LB: 45078 ... c Min unsat cost LB: 45079 ... c Min unsat cost LB: 45080 ... c Min unsat cost LB: 45081 ... c Min unsat cost LB: 45083 ... c Min unsat cost LB: 45090 ... c Min unsat cost LB: 45092 ... c Min unsat cost LB: 45103 ... c Min unsat cost LB: 45105 ... c Min unsat cost LB: 45159 ... c Min unsat cost LB: 45160 ... c Min unsat cost LB: 45161 ... c Min unsat cost LB: 45162 ... c Min unsat cost LB: 45163 ... c Min unsat cost LB: 45164 ... c Min unsat cost LB: 45165 ... c Min unsat cost LB: 45166 ... c Min unsat cost LB: 45167 ... c Min unsat cost LB: 45168 ... c Min unsat cost LB: 45169 ... c Min unsat cost LB: 45170 ... c Min unsat cost LB: 45172 ... c Min unsat cost LB: 45178 ... c Min unsat cost LB: 45180 ... c Min unsat cost LB: 45182 ... c Min unsat cost LB: 45183 ... c Min unsat cost LB: 45194 ... c Min unsat cost LB: 45195 ... c Min unsat cost LB: 45199 ... c Min unsat cost LB: 45200 ... c Min unsat cost LB: 45224 ... c Min unsat cost LB: 45226 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45283 ... c Min unsat cost LB: 45285 ... c Min unsat cost LB: 45287 ... c Min unsat cost LB: 45288 ... c Min unsat cost LB: 45290 ... c Min unsat cost LB: 45291 ... c Min unsat cost LB: 45292 ... c Min unsat cost LB: 45297 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45301 ... c Min unsat cost LB: 45308 ... c Min unsat cost LB: 45309 ... c Min unsat cost LB: 45310 ... c Min unsat cost LB: 45312 ... c Min unsat cost LB: 45314 ... c Min unsat cost LB: 45317 ... c Min unsat cost LB: 45318 ... c Min unsat cost LB: 45325 ... c Min unsat cost LB: 45326 ... c Min unsat cost LB: 45329 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45337 ... c Min unsat cost LB: 45339 ... c Min unsat cost LB: 45344 ... c Min unsat cost LB: 45346 ... c Min unsat cost LB: 45364 ... c Min unsat cost LB: 45368 ... c Min unsat cost LB: 45369 ... c Min unsat cost LB: 45370 ... c Min unsat cost LB: 45373 ... c Min unsat cost LB: 45374 ... c Min unsat cost LB: 45375 ... c Min unsat cost LB: 45392 ... c Min unsat cost LB: 45393 ... c Min unsat cost LB: 45396 ... c Min unsat cost LB: 45401 ... c Min unsat cost LB: 45402 ... c Min unsat cost LB: 45406 ... c Min unsat cost LB: 45407 ... c Min unsat cost LB: 45408 ... c Min unsat cost LB: 45409 ... c Min unsat cost LB: 45410 ... c Min unsat cost LB: 45411 ... c Min unsat cost LB: 45413 ... c Min unsat cost LB: 45414 ... c Min unsat cost LB: 45415 ... c Min unsat cost LB: 45416 ... c Min unsat cost LB: 45417 ... c Min unsat cost LB: 45418 ... c Min unsat cost LB: 45420 ... c Min unsat cost LB: 45421 ... c Min unsat cost LB: 45422 ... c Min unsat cost LB: 45423 ... c Min unsat cost LB: 45424 ... c Min unsat cost LB: 45425 ... c Min unsat cost LB: 45426 ... c Min unsat cost LB: 45427 ... c Min unsat cost LB: 45428 ... c Min unsat cost LB: 45429 ... c Min unsat cost LB: 45430 ... c Min unsat cost LB: 45431 ... c Min unsat cost LB: 45432 ... c Min unsat cost LB: 45433 ... c Min unsat cost LB: 45434 ... c Min unsat cost LB: 45435 ... c Min unsat cost LB: 45436 ... c Min unsat cost LB: 45437 ... c Min unsat cost LB: 45438 ... c Min unsat cost LB: 45439 ... c Min unsat cost LB: 45440 ... c Min unsat cost LB: 45441 ... c Min unsat cost LB: 45442 ... c Min unsat cost LB: 45443 ... c Min unsat cost LB: 45444 ... c Min unsat cost LB: 45445 ... c Min unsat cost LB: 45446 ... c Min unsat cost LB: 45447 ... c Min unsat cost LB: 45448 ... c Min unsat cost LB: 45449 ... c Min unsat cost LB: 45450 ... c Min unsat cost LB: 45451 ... c Min unsat cost LB: 45452 ... c Min unsat cost LB: 45453 ... c Min unsat cost LB: 45454 ... c Min unsat cost LB: 45455 ... c Min unsat cost LB: 45492 ... c Min unsat cost LB: 45510 ... c Min unsat cost LB: 45524 ... c Min unsat cost LB: 45527 ... c Min unsat cost LB: 45528 ... c Min unsat cost LB: 45529 ... c Min unsat cost LB: 45532 ... c Min unsat cost LB: 45543 ... c Min unsat cost LB: 45544 ... c Min unsat cost LB: 45553 ... c Min unsat cost LB: 45561 ... c Min unsat cost LB: 45611 ... c Min unsat cost LB: 45629 ... c Min unsat cost LB: 45647 ... c Min unsat cost LB: 45648 ... c Min unsat cost LB: 45656 ... c Min unsat cost LB: 45657 ... c Min unsat cost LB: 45659 ... c Min unsat cost LB: 45668 ... c Min unsat cost LB: 45689 ... c Min unsat cost LB: 45691 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45699 ... c Min unsat cost LB: 45730 ... c Min unsat cost LB: 45747 ... c Min unsat cost LB: 45802 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45845 ... c Min unsat cost LB: 45847 ... c Min unsat cost LB: 45850 ... c Min unsat cost LB: 45852 ... c Min unsat cost LB: 45864 ... c Min unsat cost LB: 45876 ... c Min unsat cost LB: 45883 ... c Min unsat cost LB: 45902 ... c Min unsat cost LB: 45903 ... c Min unsat cost LB: 45911 ... c Min unsat cost LB: 45964 ... c Min unsat cost LB: 45965 ... c Min unsat cost LB: 45966 ... c Min unsat cost LB: 45967 ... c Min unsat cost LB: 45968 ... c Min unsat cost LB: 45969 ... c Min unsat cost LB: 45976 ... c Min unsat cost LB: 45990 ... c Min unsat cost LB: 46014 ... c Min unsat cost LB: 46015 ... c Min unsat cost LB: 46016 ... c Min unsat cost LB: 46031 ... c Min unsat cost LB: 46032 ... c Min unsat cost LB: 46033 ... c Min unsat cost LB: 46034 ... c Min unsat cost LB: 46035 ... c Min unsat cost LB: 46036 ... c Min unsat cost LB: 46037 ... c Min unsat cost LB: 46038 ... c Min unsat cost LB: 46039 ... c Min unsat cost LB: 46040 ... c Min unsat cost LB: 46041 ... c Min unsat cost LB: 46042 ... c Min unsat cost LB: 46043 ... c Min unsat cost LB: 46044 ... c Min unsat cost LB: 46045 ... c Min unsat cost LB: 46047 ... c Min unsat cost LB: 46050 ... c Min unsat cost LB: 46053 ... c Min unsat cost LB: 46054 ... c Min unsat cost LB: 46056 ... c Min unsat cost LB: 46057 ... c Min unsat cost LB: 46062 ... c Min unsat cost LB: 46063 ... c Min unsat cost LB: 46067 ... c Min unsat cost LB: 46073 ... c Min unsat cost LB: 46074 ... c Min unsat cost LB: 46075 ... c Min unsat cost LB: 46079 ... c Min unsat cost LB: 46083 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46134 ... c Min unsat cost LB: 46135 ... c Min unsat cost LB: 46136 ... c Min unsat cost LB: 46137 ... c Min unsat cost LB: 46138 ... c Min unsat cost LB: 46139 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46145 ... c Min unsat cost LB: 46146 ... c Min unsat cost LB: 46148 ... c Min unsat cost LB: 46150 ... c Min unsat cost LB: 46167 ... c Min unsat cost LB: 46169 ... c Min unsat cost LB: 46170 ... c Min unsat cost LB: 46171 ... c Min unsat cost LB: 46172 ... c Min unsat cost LB: 46173 ... c Min unsat cost LB: 46174 ... c Min unsat cost LB: 46175 ... c Min unsat cost LB: 46176 ... c Min unsat cost LB: 46177 ... c Min unsat cost LB: 46183 ... c Min unsat cost LB: 46184 ... c Min unsat cost LB: 46185 ... c Min unsat cost LB: 46186 ... c Min unsat cost LB: 46187 ... c Min unsat cost LB: 46188 ... c Min unsat cost LB: 46189 ... c Min unsat cost LB: 46190 ... c Min unsat cost LB: 46191 ... c Min unsat cost LB: 46192 ... c Min unsat cost LB: 46193 ... c Min unsat cost LB: 46194 ... c Min unsat cost LB: 46195 ... c Min unsat cost LB: 46196 ... c Min unsat cost LB: 46197 ... c Min unsat cost LB: 46198 ... c Min unsat cost LB: 46199 ... c Min unsat cost LB: 46200 ... c Min unsat cost LB: 46201 ... c Min unsat cost LB: 46202 ... c Min unsat cost LB: 46203 ... c Min unsat cost LB: 46204 ... c Min unsat cost LB: 46205 ... c Min unsat cost LB: 46209 ... c Min unsat cost LB: 46214 ... c Min unsat cost LB: 46215 ... c Min unsat cost LB: 46216 ... c Min unsat cost LB: 46217 ... c Min unsat cost LB: 46218 ... c Min unsat cost LB: 46219 ... c Min unsat cost LB: 46221 ... c Min unsat cost LB: 46222 ... c Min unsat cost LB: 46223 ... c Min unsat cost LB: 46224 ... c Min unsat cost LB: 46225 ... c Min unsat cost LB: 46226 ... c Min unsat cost LB: 46228 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46230 ... c Min unsat cost LB: 46231 ... c Min unsat cost LB: 46232 ... c Min unsat cost LB: 46233 ... c Min unsat cost LB: 46234 ... c Min unsat cost LB: 46235 ... c Min unsat cost LB: 46236 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46248 ... c Min unsat cost LB: 46249 ... c Min unsat cost LB: 46250 ... c Min unsat cost LB: 46251 ... c Min unsat cost LB: 46252 ... c Min unsat cost LB: 46253 ... c Min unsat cost LB: 46254 ... c Min unsat cost LB: 46256 ... c Min unsat cost LB: 46257 ... c Min unsat cost LB: 46258 ... c Min unsat cost LB: 46260 ... c Min unsat cost LB: 46261 ... c Min unsat cost LB: 46264 ... c Min unsat cost LB: 46265 ... c Min unsat cost LB: 46266 ... c Min unsat cost LB: 46267 ... c Min unsat cost LB: 46268 ... c Min unsat cost LB: 46269 ... c Min unsat cost LB: 46270 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46272 ... c Min unsat cost LB: 46273 ... c Min unsat cost LB: 46274 ... c Min unsat cost LB: 46275 ... c Min unsat cost LB: 46276 ... c Min unsat cost LB: 46278 ... c Min unsat cost LB: 46280 ... c Min unsat cost LB: 46281 ... c Min unsat cost LB: 46291 ... c Min unsat cost LB: 46322 ... c Min unsat cost LB: 46328 ... c Min unsat cost LB: 46353 ... c Min unsat cost LB: 46363 ... c Min unsat cost LB: 46386 ... c Min unsat cost LB: 46395 ... c Min unsat cost LB: 46396 ... c Min unsat cost LB: 46397 ... c Min unsat cost LB: 46398 ... c Min unsat cost LB: 46399 ... c Min unsat cost LB: 46400 ... c Min unsat cost LB: 46401 ... c Min unsat cost LB: 46402 ... c Min unsat cost LB: 46403 ... c Min unsat cost LB: 46404 ... c Min unsat cost LB: 46405 ... c Min unsat cost LB: 46406 ... c Min unsat cost LB: 46407 ... c Min unsat cost LB: 46408 ... c Min unsat cost LB: 46409 ... c Min unsat cost LB: 46410 ... c Min unsat cost LB: 46411 ... c Min unsat cost LB: 46413 ... c Min unsat cost LB: 46414 ... c Min unsat cost LB: 46415 ... c Min unsat cost LB: 46416 ... c Min unsat cost LB: 46439 ... c Min unsat cost LB: 46440 ... c Min unsat cost LB: 46441 ... c Min unsat cost LB: 46442 ... c Min unsat cost LB: 46443 ... c Min unsat cost LB: 46444 ... c Min unsat cost LB: 46445 ... c Min unsat cost LB: 46446 ... c Min unsat cost LB: 46447 ... c Min unsat cost LB: 46448 ... c Min unsat cost LB: 46464 ... c Min unsat cost LB: 46466 ... c Min unsat cost LB: 46469 ... c Min unsat cost LB: 46470 ... c Min unsat cost LB: 46471 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46474 ... c Min unsat cost LB: 46475 ... c Min unsat cost LB: 46476 ... c Min unsat cost LB: 46477 ... c Min unsat cost LB: 46478 ... c Min unsat cost LB: 46479 ... c Min unsat cost LB: 46480 ... c Min unsat cost LB: 46481 ... c Min unsat cost LB: 46482 ... c Min unsat cost LB: 46483 ... c Min unsat cost LB: 46484 ... c Min unsat cost LB: 46485 ... c Min unsat cost LB: 46486 ... c Min unsat cost LB: 46487 ... c Min unsat cost LB: 46489 ... c Min unsat cost LB: 46490 ... c Min unsat cost LB: 46502 ... c Min unsat cost LB: 46503 ... c Min unsat cost LB: 46504 ... c Min unsat cost LB: 46505 ... c Min unsat cost LB: 46506 ... c Min unsat cost LB: 46507 ... c Min unsat cost LB: 46508 ... c Min unsat cost LB: 46509 ... c Min unsat cost LB: 46510 ... c Min unsat cost LB: 46511 ... c Min unsat cost LB: 46512 ... c Min unsat cost LB: 46513 ... c Min unsat cost LB: 46514 ... c Min unsat cost LB: 46515 ... c Min unsat cost LB: 46516 ... c Min unsat cost LB: 46517 ... c Min unsat cost LB: 46518 ... c Min unsat cost LB: 46519 ... c Min unsat cost LB: 46520 ... c Min unsat cost LB: 46522 ... c Min unsat cost LB: 46532 ... c Min unsat cost LB: 46533 ... c Min unsat cost LB: 46534 ... c Min unsat cost LB: 46535 ... c Min unsat cost LB: 46536 ... c Min unsat cost LB: 46537 ... c Min unsat cost LB: 46538 ... c Min unsat cost LB: 46539 ... c Min unsat cost LB: 46540 ... c Min unsat cost LB: 46541 ... c Min unsat cost LB: 46542 ... c Min unsat cost LB: 46543 ... c Min unsat cost LB: 46544 ... c Min unsat cost LB: 46545 ... c Min unsat cost LB: 46546 ... c Min unsat cost LB: 46547 ... c Min unsat cost LB: 46548 ... c Min unsat cost LB: 46550 ... c Min unsat cost LB: 46554 ... c Min unsat cost LB: 46555 ... c Min unsat cost LB: 46556 ... c Min unsat cost LB: 46557 ... c Min unsat cost LB: 46558 ... c Min unsat cost LB: 46559 ... c Min unsat cost LB: 46560 ... c Min unsat cost LB: 46562 ... c Min unsat cost LB: 46563 ... c Min unsat cost LB: 46564 ... c Min unsat cost LB: 46565 ... c Min unsat cost LB: 46566 ... c Min unsat cost LB: 46567 ... c Min unsat cost LB: 46568 ... c Min unsat cost LB: 46569 ... c Min unsat cost LB: 46570 ... c Min unsat cost LB: 46571 ... c Min unsat cost LB: 46572 ... c Min unsat cost LB: 46573 ... c Min unsat cost LB: 46574 ... c Min unsat cost LB: 46575 ... c Min unsat cost LB: 46576 ... c Min unsat cost LB: 46577 ... c Min unsat cost LB: 46578 ... c Min unsat cost LB: 46579 ... c Min unsat cost LB: 46580 ... c Min unsat cost LB: 46581 ... c Min unsat cost LB: 46582 ... c Min unsat cost LB: 46583 ... c Min unsat cost LB: 46584 ... c Min unsat cost LB: 46585 ... c Min unsat cost LB: 46586 ... c Min unsat cost LB: 46587 ... c Min unsat cost LB: 46588 ... c Min unsat cost LB: 46589 ... c Min unsat cost LB: 46590 ... c Min unsat cost LB: 46591 ... c Min unsat cost LB: 46592 ... c Min unsat cost LB: 46593 ... c Min unsat cost LB: 46594 ... c Min unsat cost LB: 46595 ... c Min unsat cost LB: 46596 ... c Min unsat cost LB: 46597 ... c Min unsat cost LB: 46598 ... c Min unsat cost LB: 46599 ... c Min unsat cost LB: 46600 ... c Min unsat cost LB: 46601 ... c Min unsat cost LB: 46602 ... c Min unsat cost LB: 46603 ... c Min unsat cost LB: 46604 ... c Min unsat cost LB: 46605 ... c Min unsat cost LB: 46607 ... c Min unsat cost LB: 46608 ... c Min unsat cost LB: 46609 ... c Min unsat cost LB: 46610 ... c Min unsat cost LB: 46611 ... c Min unsat cost LB: 46612 ... c Min unsat cost LB: 46613 ... c Min unsat cost LB: 46614 ... c Min unsat cost LB: 46615 ... c Min unsat cost LB: 46616 ... c Min unsat cost LB: 46617 ... c Min unsat cost LB: 46618 ... c Min unsat cost LB: 46619 ... c Min unsat cost LB: 46620 ... c Min unsat cost LB: 46621 ... c Min unsat cost LB: 46623 ... c Min unsat cost LB: 46627 ... c Min unsat cost LB: 46628 ... c Min unsat cost LB: 46629 ... c Min unsat cost LB: 46630 ... c Min unsat cost LB: 46631 ... c Min unsat cost LB: 46632 ... c Min unsat cost LB: 46633 ... c Min unsat cost LB: 46634 ... c Min unsat cost LB: 46639 ... c Min unsat cost LB: 46640 ... c Min unsat cost LB: 46641 ... c Min unsat cost LB: 46642 ... c Min unsat cost LB: 46643 ... c Min unsat cost LB: 46644 ... c Min unsat cost LB: 46645 ... c Min unsat cost LB: 46646 ... c Min unsat cost LB: 46647 ... c Min unsat cost LB: 46648 ... c Min unsat cost LB: 46649 ... c Min unsat cost LB: 46650 ... c Min unsat cost LB: 46651 ... c Min unsat cost LB: 46653 ... c Min unsat cost LB: 46654 ... c Min unsat cost LB: 46657 ... c Min unsat cost LB: 46664 ... c Min unsat cost LB: 46665 ... c Min unsat cost LB: 46682 ... c Min unsat cost LB: 46683 ... c Min unsat cost LB: 46684 ... c Min unsat cost LB: 46686 ... c Min unsat cost LB: 46687 ... c Min unsat cost LB: 46692 ... c Min unsat cost LB: 46693 ... c Min unsat cost LB: 46695 ... c Min unsat cost LB: 46696 ... c Min unsat cost LB: 46697 ... c Min unsat cost LB: 46698 ... c Min unsat cost LB: 46700 ... c Min unsat cost LB: 46701 ... c Min unsat cost LB: 46704 ... c Min unsat cost LB: 46706 ... c Min unsat cost LB: 46707 ... c Min unsat cost LB: 46708 ... c Min unsat cost LB: 46709 ... c Min unsat cost LB: 46711 ... c Min unsat cost LB: 46712 ... c Min unsat cost LB: 46713 ... c Min unsat cost LB: 46714 ... c Min unsat cost LB: 46715 ... c Min unsat cost LB: 46716 ... c Min unsat cost LB: 46717 ... c Min unsat cost LB: 46719 ... c Min unsat cost LB: 46720 ... c Min unsat cost LB: 46723 ... c Min unsat cost LB: 46724 ... c Min unsat cost LB: 46725 ... c Min unsat cost LB: 46726 ... c Min unsat cost LB: 46727 ... c Min unsat cost LB: 46730 ... c Min unsat cost LB: 46732 ... c Min unsat cost LB: 46738 ... c Min unsat cost LB: 46744 ... c Min unsat cost LB: 46746 ... c Min unsat cost LB: 46753 ... c Min unsat cost LB: 46755 ... c Min unsat cost LB: 46757 ... c Min unsat cost LB: 46759 ... c Min unsat cost LB: 46761 ... c Min unsat cost LB: 46763 ... c Min unsat cost LB: 46764 ... c Min unsat cost LB: 46766 ... c Min unsat cost LB: 46775 ... c Min unsat cost LB: 46779 ... c Min unsat cost LB: 46783 ... c Min unsat cost LB: 46792 ... c Min unsat cost LB: 46804 ... c Min unsat cost LB: 46872 ... c Min unsat cost LB: 46936 ... c Min unsat cost LB: 46937 ... c Min unsat cost LB: 46938 ... c Min unsat cost LB: 46940 ... c Min unsat cost LB: 46945 ... c Min unsat cost LB: 46952 ... c Min unsat cost LB: 46964 ... c Min unsat cost LB: 46965 ... c Min unsat cost LB: 46968 ... c Min unsat cost LB: 46969 ... c Min unsat cost LB: 46975 ... c Min unsat cost LB: 46976 ... c Min unsat cost LB: 46994 ... c Min unsat cost LB: 46998 ... c Min unsat cost LB: 47001 ... c Min unsat cost LB: 47042 ... c Min unsat cost LB: 47043 ... c Min unsat cost LB: 47050 ... c Min unsat cost LB: 47051 ... c Min unsat cost LB: 47053 ... c Min unsat cost LB: 47054 ... c Min unsat cost LB: 47055 ... c Min unsat cost LB: 47056 ... c Min unsat cost LB: 47057 ... c Min unsat cost LB: 47059 ... c Min unsat cost LB: 47060 ... c Min unsat cost LB: 47063 ... c Min unsat cost LB: 47064 ... c Min unsat cost LB: 47065 ... c Min unsat cost LB: 47066 ... c Min unsat cost LB: 47067 ... c Min unsat cost LB: 47068 ... c Min unsat cost LB: 47069 ... c Min unsat cost LB: 47070 ... c Min unsat cost LB: 47071 ... c Min unsat cost LB: 47072 ... c Min unsat cost LB: 47073 ... c Min unsat cost LB: 47074 ... c Min unsat cost LB: 47075 ... c Min unsat cost LB: 47076 ... c Min unsat cost LB: 47077 ... c Min unsat cost LB: 47078 ... c Min unsat cost LB: 47079 ... c Min unsat cost LB: 47080 ... c Min unsat cost LB: 47081 ... c Min unsat cost LB: 47082 ... c Min unsat cost LB: 47083 ... c Min unsat cost LB: 47084 ... c Min unsat cost LB: 47085 ... c Min unsat cost LB: 47086 ... c Min unsat cost LB: 47087 ... c Min unsat cost LB: 47088 ... c Min unsat cost LB: 47089 ... c Min unsat cost LB: 47090 ... c Min unsat cost LB: 47091 ... c Min unsat cost LB: 47092 ... c Min unsat cost LB: 47093 ... c Min unsat cost LB: 47096 ... c Min unsat cost LB: 47097 ... c Min unsat cost LB: 47098 ... c Min unsat cost LB: 47099 ... c Min unsat cost LB: 47102 ... c Min unsat cost LB: 47103 ... c Min unsat cost LB: 47107 ... c Min unsat cost LB: 47108 ... c Min unsat cost LB: 47109 ... c Min uKilled 1810.975u 8.762s 30:23.42 99.7% 0+0k 0+0io 0pf+0w