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_160_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_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_160_0001.txt.wcnf *** c c Min unsat cost LB: 361 ... c Min unsat cost LB: 722 ... c Min unsat cost LB: 1083 ... c Min unsat cost LB: 1444 ... c Min unsat cost LB: 1721 ... c Min unsat cost LB: 2082 ... c Min unsat cost LB: 2212 ... c Min unsat cost LB: 2619 ... c Min unsat cost LB: 2896 ... c Min unsat cost LB: 3173 ... c Min unsat cost LB: 3257 ... c Min unsat cost LB: 3303 ... c Min unsat cost LB: 3580 ... c Min unsat cost LB: 3664 ... c Min unsat cost LB: 4025 ... c Min unsat cost LB: 4386 ... c Min unsat cost LB: 4747 ... c Min unsat cost LB: 4831 ... c Min unsat cost LB: 5192 ... c Min unsat cost LB: 5668 ... c Min unsat cost LB: 6144 ... c Min unsat cost LB: 6620 ... c Min unsat cost LB: 6729 ... c Min unsat cost LB: 6981 ... c Min unsat cost LB: 7342 ... c Min unsat cost LB: 7818 ... c Min unsat cost LB: 8179 ... c Min unsat cost LB: 8586 ... c Min unsat cost LB: 8632 ... c Min unsat cost LB: 8655 ... c Min unsat cost LB: 9039 ... c Min unsat cost LB: 9515 ... c Min unsat cost LB: 9561 ... c Min unsat cost LB: 9607 ... c Min unsat cost LB: 10083 ... c Min unsat cost LB: 10444 ... c Min unsat cost LB: 10759 ... c Min unsat cost LB: 11120 ... c Min unsat cost LB: 11235 ... c Min unsat cost LB: 11260 ... c Min unsat cost LB: 11537 ... c Min unsat cost LB: 11898 ... c Min unsat cost LB: 12045 ... c Min unsat cost LB: 12374 ... c Min unsat cost LB: 12850 ... c Min unsat cost LB: 13326 ... c Min unsat cost LB: 13603 ... c Min unsat cost LB: 13802 ... c Min unsat cost LB: 13880 ... c Min unsat cost LB: 14157 ... c Min unsat cost LB: 14278 ... c Min unsat cost LB: 14754 ... c Min unsat cost LB: 15230 ... c Min unsat cost LB: 15391 ... c Min unsat cost LB: 15923 ... c Min unsat cost LB: 16399 ... c Min unsat cost LB: 16875 ... c Min unsat cost LB: 17407 ... c Min unsat cost LB: 17939 ... c Min unsat cost LB: 18300 ... c Min unsat cost LB: 18356 ... c Min unsat cost LB: 18717 ... c Min unsat cost LB: 18864 ... c Min unsat cost LB: 18979 ... c Min unsat cost LB: 19294 ... c Min unsat cost LB: 19540 ... c Min unsat cost LB: 19586 ... c Min unsat cost LB: 19908 ... c Min unsat cost LB: 20118 ... c Min unsat cost LB: 20650 ... c Min unsat cost LB: 20864 ... c Min unsat cost LB: 20920 ... c Min unsat cost LB: 21076 ... c Min unsat cost LB: 21608 ... c Min unsat cost LB: 21843 ... c Min unsat cost LB: 22165 ... c Min unsat cost LB: 22400 ... c Min unsat cost LB: 22442 ... c Min unsat cost LB: 22635 ... c Min unsat cost LB: 22719 ... c Min unsat cost LB: 22756 ... c Min unsat cost LB: 22991 ... c Min unsat cost LB: 23313 ... c Min unsat cost LB: 23318 ... c Min unsat cost LB: 23548 ... c Min unsat cost LB: 24024 ... c Min unsat cost LB: 24111 ... c Min unsat cost LB: 24158 ... c Min unsat cost LB: 24259 ... c Min unsat cost LB: 24480 ... c Min unsat cost LB: 24595 ... c Min unsat cost LB: 25071 ... c Min unsat cost LB: 25306 ... c Min unsat cost LB: 25541 ... c Min unsat cost LB: 25555 ... c Min unsat cost LB: 25790 ... c Min unsat cost LB: 26151 ... c Min unsat cost LB: 26213 ... c Min unsat cost LB: 26300 ... c Min unsat cost LB: 26661 ... c Min unsat cost LB: 26769 ... c Min unsat cost LB: 27301 ... c Min unsat cost LB: 27387 ... c Min unsat cost LB: 27488 ... c Min unsat cost LB: 27603 ... c Min unsat cost LB: 27659 ... c Min unsat cost LB: 27945 ... c Min unsat cost LB: 28159 ... c Min unsat cost LB: 28421 ... c Min unsat cost LB: 28698 ... c Min unsat cost LB: 29105 ... c Min unsat cost LB: 29466 ... c Min unsat cost LB: 29637 ... c Min unsat cost LB: 29827 ... c Min unsat cost LB: 30073 ... c Min unsat cost LB: 30434 ... c Min unsat cost LB: 30549 ... c Min unsat cost LB: 30636 ... c Min unsat cost LB: 30997 ... c Min unsat cost LB: 31025 ... c Min unsat cost LB: 31199 ... c Min unsat cost LB: 31271 ... c Min unsat cost LB: 31632 ... c Min unsat cost LB: 31675 ... c Min unsat cost LB: 31680 ... c Min unsat cost LB: 31718 ... c Min unsat cost LB: 32004 ... c Min unsat cost LB: 32040 ... c Min unsat cost LB: 32086 ... c Min unsat cost LB: 32152 ... c Min unsat cost LB: 32212 ... c Min unsat cost LB: 32534 ... c Min unsat cost LB: 32618 ... c Min unsat cost LB: 32700 ... c Min unsat cost LB: 32935 ... c Min unsat cost LB: 32991 ... c Min unsat cost LB: 33069 ... c Min unsat cost LB: 33206 ... c Min unsat cost LB: 33304 ... c Min unsat cost LB: 33416 ... c Min unsat cost LB: 33503 ... c Min unsat cost LB: 33539 ... c Min unsat cost LB: 33774 ... c Min unsat cost LB: 33988 ... c Min unsat cost LB: 34034 ... c Min unsat cost LB: 34223 ... c Min unsat cost LB: 34248 ... c Min unsat cost LB: 34331 ... c Min unsat cost LB: 34437 ... c Min unsat cost LB: 34439 ... c Min unsat cost LB: 34442 ... c Min unsat cost LB: 34526 ... c Min unsat cost LB: 34573 ... c Min unsat cost LB: 34635 ... c Min unsat cost LB: 34638 ... c Min unsat cost LB: 34652 ... c Min unsat cost LB: 34873 ... c Min unsat cost LB: 34958 ... c Min unsat cost LB: 34992 ... c Min unsat cost LB: 35148 ... c Min unsat cost LB: 35205 ... c Min unsat cost LB: 35227 ... c Min unsat cost LB: 35382 ... c Min unsat cost LB: 35383 ... c Min unsat cost LB: 35414 ... c Min unsat cost LB: 35439 ... c Min unsat cost LB: 35460 ... c Min unsat cost LB: 35821 ... c Min unsat cost LB: 35936 ... c Min unsat cost LB: 35973 ... c Min unsat cost LB: 36057 ... c Min unsat cost LB: 36081 ... c Min unsat cost LB: 36127 ... c Min unsat cost LB: 36173 ... c Min unsat cost LB: 36219 ... c Min unsat cost LB: 36366 ... c Min unsat cost LB: 36372 ... c Min unsat cost LB: 36414 ... c Min unsat cost LB: 36418 ... c Min unsat cost LB: 36496 ... c Min unsat cost LB: 36528 ... c Min unsat cost LB: 36539 ... c Min unsat cost LB: 36544 ... c Min unsat cost LB: 36611 ... c Min unsat cost LB: 36626 ... c Min unsat cost LB: 36680 ... c Min unsat cost LB: 36716 ... c Min unsat cost LB: 36754 ... c Min unsat cost LB: 36800 ... c Min unsat cost LB: 37077 ... c Min unsat cost LB: 37079 ... c Min unsat cost LB: 37238 ... c Min unsat cost LB: 37252 ... c Min unsat cost LB: 37276 ... c Min unsat cost LB: 37309 ... c Min unsat cost LB: 37337 ... c Min unsat cost LB: 37424 ... c Min unsat cost LB: 37486 ... c Min unsat cost LB: 37599 ... c Min unsat cost LB: 37644 ... c Min unsat cost LB: 37714 ... c Min unsat cost LB: 37752 ... c Min unsat cost LB: 37888 ... c Min unsat cost LB: 37890 ... c Min unsat cost LB: 38113 ... c Min unsat cost LB: 38228 ... c Min unsat cost LB: 38284 ... c Min unsat cost LB: 38474 ... c Min unsat cost LB: 38517 ... c Min unsat cost LB: 38589 ... c Min unsat cost LB: 38875 ... c Min unsat cost LB: 38878 ... c Min unsat cost LB: 38881 ... c Min unsat cost LB: 39232 ... c Min unsat cost LB: 39593 ... c Min unsat cost LB: 39603 ... c Min unsat cost LB: 39718 ... c Min unsat cost LB: 39881 ... c Min unsat cost LB: 40042 ... c Min unsat cost LB: 40164 ... c Min unsat cost LB: 40249 ... c Min unsat cost LB: 40288 ... c Min unsat cost LB: 40518 ... c Min unsat cost LB: 40525 ... c Min unsat cost LB: 40695 ... c Min unsat cost LB: 40810 ... c Min unsat cost LB: 40870 ... c Min unsat cost LB: 40992 ... c Min unsat cost LB: 41059 ... c Min unsat cost LB: 41171 ... c Min unsat cost LB: 41179 ... c Min unsat cost LB: 41231 ... c Min unsat cost LB: 41366 ... c Min unsat cost LB: 41390 ... c Min unsat cost LB: 41422 ... c Min unsat cost LB: 41446 ... c Min unsat cost LB: 41451 ... c Min unsat cost LB: 41455 ... c Min unsat cost LB: 41469 ... c Min unsat cost LB: 41487 ... c Min unsat cost LB: 41495 ... c Min unsat cost LB: 41498 ... c Min unsat cost LB: 41515 ... c Min unsat cost LB: 41565 ... c Min unsat cost LB: 41616 ... c Min unsat cost LB: 41649 ... c Min unsat cost LB: 41652 ... c Min unsat cost LB: 41654 ... c Min unsat cost LB: 41733 ... c Min unsat cost LB: 41755 ... c Min unsat cost LB: 41767 ... c Min unsat cost LB: 41777 ... c Min unsat cost LB: 41791 ... c Min unsat cost LB: 41805 ... c Min unsat cost LB: 41851 ... c Min unsat cost LB: 41926 ... c Min unsat cost LB: 41939 ... c Min unsat cost LB: 41957 ... c Min unsat cost LB: 42003 ... c Min unsat cost LB: 42234 ... c Min unsat cost LB: 42243 ... c Min unsat cost LB: 42246 ... c Min unsat cost LB: 42300 ... c Min unsat cost LB: 42318 ... c Min unsat cost LB: 42377 ... c Min unsat cost LB: 42390 ... c Min unsat cost LB: 42427 ... c Min unsat cost LB: 42441 ... c Min unsat cost LB: 42472 ... c Min unsat cost LB: 42546 ... c Min unsat cost LB: 42578 ... c Min unsat cost LB: 42588 ... c Min unsat cost LB: 42624 ... c Min unsat cost LB: 42641 ... c Min unsat cost LB: 42643 ... c Min unsat cost LB: 42651 ... c Min unsat cost LB: 42668 ... c Min unsat cost LB: 42772 ... c Min unsat cost LB: 42793 ... c Min unsat cost LB: 42855 ... c Min unsat cost LB: 42883 ... c Min unsat cost LB: 42892 ... c Min unsat cost LB: 42901 ... c Min unsat cost LB: 42924 ... c Min unsat cost LB: 42928 ... c Min unsat cost LB: 43025 ... c Min unsat cost LB: 43038 ... c Min unsat cost LB: 43091 ... c Min unsat cost LB: 43129 ... c Min unsat cost LB: 43198 ... c Min unsat cost LB: 43231 ... c Min unsat cost LB: 43271 ... c Min unsat cost LB: 43306 ... c Min unsat cost LB: 43583 ... c Min unsat cost LB: 43585 ... c Min unsat cost LB: 43632 ... c Min unsat cost LB: 43713 ... c Min unsat cost LB: 43722 ... c Min unsat cost LB: 43765 ... c Min unsat cost LB: 43848 ... c Min unsat cost LB: 43850 ... c Min unsat cost LB: 43915 ... c Min unsat cost LB: 44003 ... c Min unsat cost LB: 44062 ... c Min unsat cost LB: 44103 ... c Min unsat cost LB: 44113 ... c Min unsat cost LB: 44114 ... c Min unsat cost LB: 44117 ... c Min unsat cost LB: 44153 ... c Min unsat cost LB: 44179 ... c Min unsat cost LB: 44400 ... c Min unsat cost LB: 44436 ... c Min unsat cost LB: 44444 ... c Min unsat cost LB: 44487 ... c Min unsat cost LB: 44492 ... c Min unsat cost LB: 44495 ... c Min unsat cost LB: 44496 ... c Min unsat cost LB: 44510 ... c Min unsat cost LB: 44514 ... c Min unsat cost LB: 44574 ... c Min unsat cost LB: 44579 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 44630 ... c Min unsat cost LB: 44677 ... c Min unsat cost LB: 44689 ... c Min unsat cost LB: 44714 ... c Min unsat cost LB: 44716 ... c Min unsat cost LB: 44723 ... c Min unsat cost LB: 44736 ... c Min unsat cost LB: 44737 ... c Min unsat cost LB: 44745 ... c Min unsat cost LB: 44786 ... c Min unsat cost LB: 44800 ... c Min unsat cost LB: 44811 ... c Min unsat cost LB: 44822 ... c Min unsat cost LB: 44823 ... c Min unsat cost LB: 44846 ... c Min unsat cost LB: 44868 ... c Min unsat cost LB: 44883 ... c Min unsat cost LB: 44884 ... c Min unsat cost LB: 44892 ... c Min unsat cost LB: 44902 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 44917 ... c Min unsat cost LB: 44926 ... c Min unsat cost LB: 44960 ... c Min unsat cost LB: 44962 ... c Min unsat cost LB: 44963 ... c Min unsat cost LB: 44966 ... c Min unsat cost LB: 44980 ... c Min unsat cost LB: 45004 ... c Min unsat cost LB: 45008 ... c Min unsat cost LB: 45011 ... c Min unsat cost LB: 45030 ... c Min unsat cost LB: 45053 ... c Min unsat cost LB: 45145 ... c Min unsat cost LB: 45197 ... c Min unsat cost LB: 45203 ... c Min unsat cost LB: 45219 ... c Min unsat cost LB: 45279 ... c Min unsat cost LB: 45332 ... c Min unsat cost LB: 45334 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45345 ... c Min unsat cost LB: 45351 ... c Min unsat cost LB: 45422 ... c Min unsat cost LB: 45463 ... c Min unsat cost LB: 45483 ... c Min unsat cost LB: 45513 ... c Min unsat cost LB: 45517 ... c Min unsat cost LB: 45589 ... c Min unsat cost LB: 45631 ... c Min unsat cost LB: 45708 ... c Min unsat cost LB: 45711 ... c Min unsat cost LB: 45844 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45936 ... c Min unsat cost LB: 45971 ... c Min unsat cost LB: 46022 ... c Min unsat cost LB: 46078 ... c Min unsat cost LB: 46079 ... c Min unsat cost LB: 46080 ... c Min unsat cost LB: 46084 ... c Min unsat cost LB: 46094 ... c Min unsat cost LB: 46120 ... c Min unsat cost LB: 46123 ... c Min unsat cost LB: 46127 ... c Min unsat cost LB: 46128 ... c Min unsat cost LB: 46130 ... c Min unsat cost LB: 46139 ... c Min unsat cost LB: 46142 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46156 ... c Min unsat cost LB: 46160 ... c Min unsat cost LB: 46161 ... c Min unsat cost LB: 46174 ... c Min unsat cost LB: 46196 ... c Min unsat cost LB: 46207 ... c Min unsat cost LB: 46227 ... c Min unsat cost LB: 46234 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46267 ... c Min unsat cost LB: 46276 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46285 ... c Min unsat cost LB: 46293 ... c Min unsat cost LB: 46295 ... c Min unsat cost LB: 46298 ... c Min unsat cost LB: 46308 ... c Min unsat cost LB: 46317 ... c Min unsat cost LB: 46324 ... c Min unsat cost LB: 46333 ... c Min unsat cost LB: 46335 ... c Min unsat cost LB: 46368 ... c Min unsat cost LB: 46371 ... c Min unsat cost LB: 46381 ... c Min unsat cost LB: 46385 ... c Min unsat cost LB: 46387 ... c Min unsat cost LB: 46394 ... 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: 46407 ... c Min unsat cost LB: 46411 ... c Min unsat cost LB: 46414 ... c Min unsat cost LB: 46416 ... c Min unsat cost LB: 46417 ... c Min unsat cost LB: 46426 ... c Min unsat cost LB: 46445 ... c Min unsat cost LB: 46449 ... c Min unsat cost LB: 46460 ... c Min unsat cost LB: 46469 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46494 ... c Min unsat cost LB: 46497 ... c Min unsat cost LB: 46506 ... c Min unsat cost LB: 46511 ... c Min unsat cost LB: 46513 ... c Min unsat cost LB: 46521 ... c Min unsat cost LB: 46528 ... c Min unsat cost LB: 46538 ... c Min unsat cost LB: 46562 ... c Min unsat cost LB: 46570 ... c Min unsat cost LB: 46572 ... c Min unsat cost LB: 46580 ... c Min unsat cost LB: 46587 ... c Min unsat cost LB: 46588 ... c Min unsat cost LB: 46590 ... c Min unsat cost LB: 46593 ... c Min unsat cost LB: 46597 ... c Min unsat cost LB: 46606 ... c Min unsat cost LB: 46609 ... c Min unsat cost LB: 46631 ... c Min unsat cost LB: 46633 ... c Min unsat cost LB: 46636 ... c Min unsat cost LB: 46652 ... c Min unsat cost LB: 46653 ... c Min unsat cost LB: 46654 ... c Min unsat cost LB: 46657 ... c Min unsat cost LB: 46658 ... c Min unsat cost LB: 46695 ... c Min unsat cost LB: 46704 ... c Min unsat cost LB: 46705 ... c Min unsat cost LB: 46717 ... c Min unsat cost LB: 46718 ... c Min unsat cost LB: 46719 ... c Min unsat cost LB: 46723 ... c Min unsat cost LB: 46724 ... c Min unsat cost LB: 46730 ... c Min unsat cost LB: 46731 ... c Min unsat cost LB: 46732 ... c Min unsat cost LB: 46733 ... c Min unsat cost LB: 46739 ... c Min unsat cost LB: 46740 ... c Min unsat cost LB: 46745 ... c Min unsat cost LB: 46746 ... c Min unsat cost LB: 46755 ... c Min unsat cost LB: 46768 ... c Min unsat cost LB: 46770 ... c Min unsat cost LB: 46771 ... c Min unsat cost LB: 46772 ... c Min unsat cost LB: 46775 ... c Min unsat cost LB: 46776 ... c Min unsat cost LB: 46784 ... c Min unsat cost LB: 46786 ... c Min unsat cost LB: 46788 ... c Min unsat cost LB: 46790 ... c Min unsat cost LB: 46791 ... c Min unsat cost LB: 46793 ... c Min unsat cost LB: 46798 ... c Min unsat cost LB: 46801 ... c Min unsat cost LB: 46804 ... c Min unsat cost LB: 46815 ... c Min unsat cost LB: 46857 ... c Min unsat cost LB: 46863 ... c Min unsat cost LB: 46865 ... c Min unsat cost LB: 46867 ... c Min unsat cost LB: 46868 ... c Min unsat cost LB: 46869 ... c Min unsat cost LB: 46872 ... c Min unsat cost LB: 46875 ... c Min unsat cost LB: 46878 ... c Min unsat cost LB: 46880 ... c Min unsat cost LB: 46882 ... c Min unsat cost LB: 46883 ... c Min unsat cost LB: 46887 ... c Min unsat cost LB: 46888 ... c Min unsat cost LB: 46889 ... c Min unsat cost LB: 46891 ... c Min unsat cost LB: 46896 ... c Min unsat cost LB: 46899 ... c Min unsat cost LB: 46904 ... c Min unsat cost LB: 46905 ... c Min unsat cost LB: 46914 ... c Min unsat cost LB: 46917 ... c Min unsat cost LB: 46921 ... c Min unsat cost LB: 46922 ... c Min unsat cost LB: 46923 ... c Min unsat cost LB: 46925 ... c Min unsat cost LB: 46926 ... c Min unsat cost LB: 46927 ... c Min unsat cost LB: 46928 ... c Min unsat cost LB: 46929 ... 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: 46941 ... c Min unsat cost LB: 46945 ... c Min unsat cost LB: 46962 ... c Min unsat cost LB: 46969 ... c Min unsat cost LB: 46978 ... c Min unsat cost LB: 46979 ... c Min unsat cost LB: 46981 ... c Min unsat cost LB: 46982 ... c Min unsat cost LB: 46985 ... c Min unsat cost LB: 46986 ... c Min unsat cost LB: 46988 ... c Min unsat cost LB: 46989 ... c Min unsat cost LB: 46990 ... c Min unsat cost LB: 46992 ... c Min unsat cost LB: 46994 ... c Min unsat cost LB: 46995 ... c Min unsat cost LB: 46996 ... c Min unsat cost LB: 47000 ... c Min unsat cost LB: 47001 ... c Min unsat cost LB: 47003 ... c Min unsat cost LB: 47005 ... c Min unsat cost LB: 47006 ... c Min unsat cost LB: 47012 ... c Min unsat cost LB: 47013 ... c Min unsat cost LB: 47015 ... c Min unsat cost LB: 47016 ... c Min unsat cost LB: 47017 ... c Min unsat cost LB: 47018 ... c Min unsat cost LB: 47020 ... c Min unsat cost LB: 47021 ... c Min unsat cost LB: 47022 ... c Min unsat cost LB: 47023 ... c Min unsat cost LB: 47024 ... c Min unsat cost LB: 47025 ... c Min unsat cost LB: 47026 ... c Min unsat cost LB: 47027 ... c Min unsat cost LB: 47028 ... c Min unsat cost LB: 47029 ... c Min unsat cost LB: 47030 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47034 ... c Min unsat cost LB: 47035 ... c Min unsat cost LB: 47036 ... c Min unsat cost LB: 47038 ... c Min unsat cost LB: 47040 ... c Min unsat cost LB: 47041 ... c Min unsat cost LB: 47042 ... c Min unsat cost LB: 47043 ... c Min unsat cost LB: 47044 ... c Min unsat cost LB: 47045 ... c Min unsat cost LB: 47046 ... c Min unsat cost LB: 47047 ... c Min unsat cost LB: 47048 ... c Min unsat cost LB: 47049 ... c Min unsat cost LB: 47050 ... c Min unsat cost LB: 47051 ... c Min unsat cost LB: 47052 ... 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: 47106 ... c Min unsat cost LB: 47347 ... c Min unsat cost LB: 47349 ... c Min unsat cost LB: 47350 ... c Min unsat cost LB: 47351 ... c Min unsat cost LB: 47352 ... c Min unsat cost LB: 47357 ... c Min unsat cost LB: 47399 ... c Min unsat cost LB: 47404 ... c Min unsat cost LB: 47408 ... c Min unsat cost LB: 47409 ... c Min unsat cost LB: 47411 ... c Min unsat cost LB: 47412 ... c Min unsat cost LB: 47414 ... c Min unsat cost LB: 47415 ... c Min unsat cost LB: 47416 ... c Min unsat cost LB: 47417 ... c Min unsat cost LB: 47418 ... c Min unsat cost LB: 47419 ... c Min unsat cost LB: 47420 ... c Min unsat cost LB: 47421 ... c Min unsat cost LB: 47424 ... c Min unsat cost LB: 47425 ... c Min unsat cost LB: 47426 ... c Min unsat cost LB: 47427 ... c Min unsat cost LB: 47428 ... c Min unsat cost LB: 47447 ... c Min unsat cost LB: 47448 ... c Min unsat cost LB: 47452 ... c Min unsat cost LB: 47453 ... c Min unsat cost LB: 47456 ... c Min unsat cost LB: 47457 ... c Min unsat cost LB: 47461 ... c Min unsat cost LB: 47463 ... c Min unsat cost LB: 47469 ... c Min unsat cost LB: 47470 ... c Min unsat cost LB: 47471 ... c Min unsat cost LB: 47473 ... c Min unsat cost LB: 47474 ... c Min unsat cost LB: 47475 ... c Min unsat cost LB: 47477 ... c Min unsat cost LB: 47479 ... c Min unsat cost LB: 47482 ... c Min unsat cost LB: 47483 ... c Min unsat cost LB: 47484 ... c Min unsat cost LB: 47486 ... c Min unsat cost LB: 47488 ... c Min unsat cost LB: 47489 ... c Min unsat cost LB: 47490 ... c Min unsat cost LB: 47496 ... c Min unsat cost LB: 47503 ... c Min unsat cost LB: 47504 ... c Min unsat cost LB: 47506 ... c Min unsat cost LB: 47511 ... c Min unsat cost LB: 47513 ... c Min unsat cost LB: 47514 ... c Min unsat cost LB: 47520 ... c Min unsat cost LB: 47524 ... c Min unsat cost LB: 47525 ... c Min unsat cost LB: 47526 ... c Min unsat cost LB: 47527 ... c Min unsat cost LB: 47528 ... c Min unsat cost LB: 47532 ... c Min unsat cost LB: 47533 ... c Min unsat cost LB: 47545 ... c Min unsat cost LB: 47548 ... c Min unsat cost LB: 47552 ... c Min unsat cost LB: 47553 ... c Min unsat cost LB: 47554 ... c Min unsat cost LB: 47555 ... c Min unsat cost LB: 47556 ... c Min unsat cost LB: 47557 ... c Min unsat cost LB: 47560 ... c Min unsat cost LB: 47563 ... c Min unsat cost LB: 47565 ... c Min unsat cost LB: 47566 ... c Min unsat cost LB: 47568 ... c Min unsat cost LB: 47571 ... c Min unsat cost LB: 47572 ... c Min unsat cost LB: 47576 ... c Min unsat cost LB: 47577 ... c Min unsat cost LB: 47578 ... c Min unsat cost LB: 47579 ... c Min unsat cost LB: 47581 ... c Min unsat cost LB: 47582 ... c Min unsat cost LB: 47583 ... c Min unsat cost LB: 47586 ... c Min unsat cost LB: 47587 ... c Min unsat cost LB: 47594 ... c Min unsat cost LB: 47595 ... c Min unsat cost LB: 47596 ... c Min unsat cost LB: 47598 ... c Min unsat cost LB: 47599 ... c Min unsat cost LB: 47600 ... c Min unsat cost LB: 47601 ... c Min unsat cost LB: 47602 ... c Min unsat cost LB: 47603 ... c Min unsat cost LB: 47604 ... c Min unsat cost LB: 47605 ... c Min unsat cost LB: 47606 ... c Min unsat cost LB: 47607 ... c Min unsat cost LB: 47610 ... c Min unsat cost LB: 47612 ... c Min unsat cost LB: 47613 ... c Min unsat cost LB: 47614 ... c Min unsat cost LB: 47615 ... c Min unsat cost LB: 47616 ... c Min unsat cost LB: 47617 ... c Min unsat cost LB: 47618 ... c Min unsat cost LB: 47619 ... c Min unsat cost LB: 47620 ... c Min unsat cost LB: 47623 ... c Min unsat cost LB: 47626 ... c Min unsat cost LB: 47628 ... c Min unsat cost LB: 47629 ... c Min unsat cost LB: 47632 ... c Min unsat cost LB: 47634 ... c Min unsat cost LB: 47635 ... c Min unsat cost LB: 47639 ... c Min unsat cost LB: 47640 ... c Min unsat cost LB: 47641 ... c Min unsat cost LB: 47642 ... c Min unsat cost LB: 47643 ... c Min unsat cost LB: 47644 ... c Min unsat cost LB: 47645 ... c Min unsat cost LB: 47646 ... c Min unsat cost LB: 47647 ... c Min unsat cost LB: 47661 ... c Min unsat cost LB: 47671 ... c Min unsat cost LB: 47674 ... c Min unsat cost LB: 47676 ... c Min unsat cost LB: 47680 ... c Min unsat cost LB: 47681 ... c Min unsat cost LB: 47683 ... c Min unsat cost LB: 47685 ... c Min unsat cost LB: 47695 ... c Min unsat cost LB: 47704 ... c Min unsat cost LB: 47705 ... c Min unsat cost LB: 47749 ... c Min unsat cost LB: 47750 ... c Min unsat cost LB: 47752 ... c Min unsat cost LB: 47756 ... c Min unsat cost LB: 47761 ... c Min unsat cost LB: 47762 ... c Min unsat cost LB: 47763 ... c Min unsat cost LB: 47764 ... c Min unsat cost LB: 47765 ... c Min unsat cost LB: 47766 ... c Min unsat cost LB: 47767 ... c Min unsat cost LB: 47768 ... c Min unsat cost LB: 47769 ... c Min unsat cost LB: 47770 ... c Min unsat cost LB: 47771 ... c Min unsat cost LB: 47772 ... c Min unsat cost LB: 47773 ... c Min unsat cost LB: 47774 ... c Min unsat cost LB: 47775 ... c Min unsat cost LB: 47776 ... c Min unsat cost LB: 47777 ... c Min unsat cost LB: 47778 ... c Min unsat cost LB: 47794 ... c Min unsat cost LB: 47802 ... c Min unsat cost LB: 47804 ... c Min unsat cost LB: 47805 ... c Min unsat cost LB: 47806 ... c Min unsat cost LB: 47807 ... c Min unsat cost LB: 47808 ... c Min unsat cost LB: 47809 ... c Min unsat cost LB: 47811 ... c Min unsat cost LB: 47812 ... c Min unsat cost LB: 47813 ... c Min unsat cost LB: 47814 ... c Min unsat cost LB: 47815 ... c Min unsat cost LB: 47816 ... c Min unsat cost LB: 47817 ... c Min unsat cost LB: 47818 ... c Min unsat cost LB: 47819 ... c Min unsat cost LB: 47824 ... c Min unsat cost LB: 47825 ... c Min unsat cost LB: 47828 ... c Min unsat cost LB: 47829 ... c Min unsat cost LB: 47831 ... c Min unsat cost LB: 47855 ... c Min unsat cost LB: 47856 ... c Min unsat cost LB: 47857 ... c Min unsat cost LB: 47858 ... c Min unsat cost LB: 47859 ... c Min unsat cost LB: 47860 ... c Min unsat cost LB: 47861 ... c Min unsat cost LB: 47862 ... c Min unsat cost LB: 47863 ... c Min unsat cost LB: 47864 ... c Min unsat cost LB: 47865 ... c Min unsat cost LB: 47866 ... c Min unsat cost LB: 47867 ... c Min unsat cost LB: 47869 ... c Min unsat cost LB: 47870 ... c Min unsat cost LB: 47871 ... c Min unsat cost LB: 47872 ... c Min unsat cost LB: 47873 ... c Min unsat cost LB: 47878 ... c Min unsat cost LB: 47883 ... c Min unsat cost LB: 47885 ... c Min unsat cost LB: 47892 ... c Min unsat cost LB: 47893 ... c Min unsat cost LB: 47894 ... c Min unsat cost LB: 47895 ... c Min unsat cost LB: 47896 ... c Min unsat cost LB: 47898 ... c Min unsat cost LB: 47899 ... c Min unsat cost LB: 47900 ... c Min unsat cost LB: 47901 ... c Min unsat cost LB: 47902 ... c Min unsat cost LB: 47903 ... c Min unsat cost LB: 47905 ... c Min unsat cost LB: 47909 ... c Min unsat cost LB: 47918 ... c Min unsat cost LB: 47925 ... c Min unsat cost LB: 47927 ... c Min unsat cost LB: 47932 ... c Min unsat cost LB: 47934 ... c Min unsat cost LB: 47935 ... c Min unsat cost LB: 47936 ... c Min unsat cost LB: 47940 ... c Min unsat cost LB: 47944 ... c Min unsat cost LB: 47945 ... c Min unsat cost LB: 47953 ... c Min unsat cost LB: 47956 ... c Min unsat cost LB: 47961 ... c Min unsat cost LB: 47964 ... c Min unsat cost LB: 47967 ... c Min unsat cost LB: 47968 ... c Min unsat cost LB: 47971 ... c Min unsat cost LB: 47973 ... c Min unsat cost LB: 47974 ... c Min unsat cost LB: 47976 ... c Min unsat cost LB: 47977 ... c Min unsat cost LB: 47978 ... c Min unsat cost LB: 47979 ... c Min unsat cost LB: 47980 ... c Min unsat cost LB: 47981 ... c Min unsat cost LB: 47982 ... c Min unsat cost LB: 47983 ... c Min unsat cost LB: 47984 ... c Min unsat cost LB: 47985 ... c Min unsat cost LB: 47987 ... c Min unsat cost LB: 47988 ... c Min unsat cost LB: 47989 ... c Min unsat cost LB: 47990 ... c Min unsat cost LB: 47991 ... c Min unsat cost LB: 47992 ... c Min unsat cost LB: 47994 ... c Min unsat cost LB: 47996 ... c Min unsat cost LB: 47997 ... c Min unsat cost LB: 47998 ... c Min unsat cost LB: 47999 ... c Min unsat cost LB: 48000 ... c Min unsat cost LB: 48001 ... c Min unsat cost LB: 48002 ... c Min unsat cost LB: 48003 ... c Min unsat cost LB: 48005 ... c Min unsat cost LB: 48012 ... c Min unsat cost LB: 48015 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48018 ... c Min unsat cost LB: 48019 ... c Min unsat cost LB: 48020 ... c Min unsat cost LB: 48022 ... c Min unsat cost LB: 48023 ... c Min unsat cost LB: 48024 ... c Min unsat cost LB: 48025 ... c Min unsat cost LB: 48027 ... c Min unsat cost LB: 48028 ... c Min unsat cost LB: 48029 ... c Min unsat cost LB: 48030 ... c Min unsat cost LB: 48031 ... c Min unsat cost LB: 48032 ... c Min unsat cost LB: 48033 ... c Min unsat cost LB: 48034 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48036 ... c Min unsat cost LB: 48037 ... c Min unsat cost LB: 48038 ... c Min unsat cost LB: 48039 ... c Min unsat cost LB: 48040 ... c Min unsat cost LB: 48043 ... c Min unsat cost LB: 48045 ... c Min unsat cost LB: 48047 ... c Min unsat cost LB: 48050 ... c Min unsat cost LB: 48051 ... c Min unsat cost LB: 48052 ... c Min unsat cost LB: 48053 ... c Min unsat cost LB: 48054 ... c Min unsat cost LB: 48055 ... c Min unsat cost LB: 48057 ... c Min unsat cost LB: 48060 ... c Min unsat cost LB: 48061 ... c Min unsat cost LB: 48062 ... c Min unsat cost LB: 48063 ... c Min unsat cost LB: 48064 ... c Min unsat cost LB: 48065 ... c Min unsat cost LB: 48070 ... c Min unsat cost LB: 48071 ... c Min unsat cost LB: 48072 ... c Min unsat cost LB: 48073 ... c Min unsat cost LB: 48074 ... c Min unsat cost LB: 48075 ... c Min unsat cost LB: 48076 ... c Min unsat cost LB: 48077 ... c Min unsat cost LB: 48079 ... c Min unsat cost LB: 48091 ... c Min unsat cost LB: 48107 ... c Min unsat cost LB: 48108 ... c Min unsat cost LB: 48109 ... c Min unsat cost LB: 48111 ... c Min unsat cost LB: 48121 ... c Min unsat cost LB: 48123 ... c Min unsat cost LB: 48133 ... c Min unsat cost LB: 48140 ... c Min unsat cost LB: 48141 ... c Min unsat cost LB: 48142 ... c Min unsat cost LB: 48143 ... c Min unsat cost LB: 48144 ... c Min unsat cost LB: 48145 ... c Min unsat cost LB: 48147 ... c Min unsat cost LB: 48148 ... c Min unsat cost LB: 48157 ... c Min unsat cost LB: 48158 ... c Min unsat cost LB: 48159 ... c Min unsat cost LB: 48160 ... c Min unsat cost LB: 48161 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48163 ... c Min unsat cost LB: 48164 ... c Min unsat cost LB: 48165 ... c Min unsat cost LB: 48166 ... c Min unsat cost LB: 48167 ... c Min unsat cost LB: 48168 ... c Min unsat cost LB: 48169 ... c Min unsat cost LB: 48171 ... c Min unsat cost LB: 48172 ... c Min unsat cost LB: 48173 ... c Min unsat cost LB: 48174 ... c Min unsat cost LB: 48175 ... c Min unsat cost LB: 48176 ... c Min unsat cost LB: 48177 ... c Min unsat cost LB: 48178 ... c Min unsat cost LB: 48179 ... c Min unsat cost LB: 48180 ... c Min unsat cost LB: 48181 ... c Min unsat cost LB: 48182 ... c Min unsat cost LB: 48183 ... c Min unsat cost LB: 48184 ... c Min unsat cost LB: 48185 ... c Min unsat cost LB: 48214 ... c Min unsat cost LB: 48215 ... c Min unsat cost LB: 48217 ... c Min unsat cost LB: 48221 ... c Min unsat cost LB: 48223 ... c Min unsat cost LB: 48229 ... c Min unsat cost LB: 48231 ... c Min unsat cost LB: 48232 ... c Min unsat cost LB: 48233 ... c Min unsat cost LB: 48235 ... c Min unsat cost LB: 48237 ... c Min unsat cost LB: 48242 ... c Min unsat cost LB: 48243 ... c Min unsat cost LB: 48244 ... c Min unsat cost LB: 48246 ... c Min unsat cost LB: 48250 ... c Min unsat cost LB: 48257 ... c Min unsat cost LB: 48258 ... c Min unsat cost LB: 48259 ... c Min unsat cost LB: 48260 ... c Min unsat cost LB: 48265 ... c Min unsat cost LB: 48266 ... c Min unsat cost LB: 48270 ... c Min unsat cost LB: 48271 ... c Min unsat cost LB: 48272 ... c Min unsat cost LB: 48274 ... c Min unsat cost LB: 48275 ... c Min unsat cost LB: 48277 ... c Min unsat cost LB: 48278 ... c Min unsat cost LB: 48279 ... c Min unsat cost LB: 48280 ... c Min unsat cost LB: 48281 ... c Min unsat cost LB: 48292 ... c Min unsat cost LB: 48299 ... c Min unsat cost LB: 48302 ... c Min unsat cost LB: 48304 ... c Min unsat cost LB: 48306 ... c Min unsat cost LB: 48307 ... c Min unsat cost LB: 48308 ... c Min unsat cost LB: 48309 ... c Min unsat cost LB: 48310 ... c Min unsat cost LB: 48311 ... c Min unsat cost LB: 48313 ... c Min unsat cost LB: 48315 ... c Min unsat cost LB: 48316 ... c Min unsat cost LB: 48317 ... c Min unsat cost LB: 48318 ... c Min unsat cost LB: 48319 ... c Min unsat cost LB: 48321 ... c Min unsat cost LB: 48323 ... c Min unsat cost LB: 48324 ... c Min unsat cost LB: 48325 ... c Min unsat cost LB: 48327 ... c Min unsat cost LB: 48328 ... c Min unsat cost LB: 48330 ... c Min unsat cost LB: 48333 ... c Min unsat cost LB: 48335 ... c Min unsat cost LB: 48336 ... c Min unsat cost LB: 48337 ... c Min unsat cost LB: 48338 ... c Min unsat cost LB: 48339 ... c Min unsat cost LB: 48340 ... c Min unsat cost LB: 48341 ... c Min unsat cost LB: 48342 ... c Min unsat cost LB: 48344 ... c Min unsat cost LB: 48345 ... c Min unsat cost LB: 48346 ... c Min unsat cost LB: 48348 ... c Min unsat cost LB: 48349 ... c Min unsat cost LB: 48350 ... c Min unsat cost LB: 48351 ... c Min unsat cost LB: 48352 ... c Min unsat cost LB: 48353 ... c Min unsat cost LB: 48354 ... c Min unsat cost LB: 48356 ... c Min unsat cost LB: 48357 ... c Min unsat cost LB: 48358 ... c Min unsat cost LB: 48362 ... c Min unsat cost LB: 48364 ... c Min unsat cost LB: 48378 ... c Min unsat cost LB: 48379 ... c Min unsat cost LB: 48412 ... c MiKilled 1813.038u 6.703s 30:19.55 100.0% 0+0k 0+0io 0pf+0w