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_KnotPipatsrisawat_random-net-100-2_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-8.net.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/KnotPipatsrisawat/random-net-100-2_network-8.net.wcnf *** c c Min unsat cost LB: 1419 ... c Min unsat cost LB: 3090 ... c Min unsat cost LB: 4067 ... c Min unsat cost LB: 5345 ... c Min unsat cost LB: 6478 ... c Min unsat cost LB: 6688 ... c Min unsat cost LB: 6818 ... c Min unsat cost LB: 6908 ... c Min unsat cost LB: 7177 ... c Min unsat cost LB: 8127 ... c Min unsat cost LB: 8586 ... c Min unsat cost LB: 9230 ... c Min unsat cost LB: 9665 ... c Min unsat cost LB: 9743 ... c Min unsat cost LB: 10481 ... c Min unsat cost LB: 11870 ... c Min unsat cost LB: 13372 ... c Min unsat cost LB: 15095 ... c Min unsat cost LB: 16584 ... c Min unsat cost LB: 17510 ... c Min unsat cost LB: 18536 ... c Min unsat cost LB: 18716 ... c Min unsat cost LB: 18818 ... c Min unsat cost LB: 19518 ... c Min unsat cost LB: 19620 ... c Min unsat cost LB: 19713 ... c Min unsat cost LB: 19897 ... c Min unsat cost LB: 20026 ... c Min unsat cost LB: 20446 ... c Min unsat cost LB: 20982 ... c Min unsat cost LB: 21003 ... c Min unsat cost LB: 22471 ... c Min unsat cost LB: 22748 ... c Min unsat cost LB: 22771 ... c Min unsat cost LB: 23061 ... c Min unsat cost LB: 23162 ... c Min unsat cost LB: 23198 ... c Min unsat cost LB: 23357 ... c Min unsat cost LB: 23446 ... c Min unsat cost LB: 23638 ... c Min unsat cost LB: 23796 ... c Min unsat cost LB: 23942 ... c Min unsat cost LB: 24391 ... c Min unsat cost LB: 24636 ... c Min unsat cost LB: 25109 ... c Min unsat cost LB: 25790 ... c Min unsat cost LB: 25870 ... c Min unsat cost LB: 26602 ... c Min unsat cost LB: 26656 ... c Min unsat cost LB: 26774 ... c Min unsat cost LB: 26832 ... c Min unsat cost LB: 26976 ... c Min unsat cost LB: 27174 ... c Min unsat cost LB: 27293 ... c Min unsat cost LB: 27455 ... c Min unsat cost LB: 28058 ... c Min unsat cost LB: 29090 ... c Min unsat cost LB: 29154 ... c Min unsat cost LB: 29248 ... c Min unsat cost LB: 29477 ... c Min unsat cost LB: 29488 ... c Min unsat cost LB: 29978 ... c Min unsat cost LB: 30244 ... c Min unsat cost LB: 30404 ... c Min unsat cost LB: 30455 ... c Min unsat cost LB: 30504 ... c Min unsat cost LB: 30606 ... c Min unsat cost LB: 31020 ... c Min unsat cost LB: 31090 ... c Min unsat cost LB: 31445 ... c Min unsat cost LB: 31494 ... c Min unsat cost LB: 31684 ... c Min unsat cost LB: 31687 ... c Min unsat cost LB: 32037 ... c Min unsat cost LB: 32125 ... c Min unsat cost LB: 32139 ... c Min unsat cost LB: 32202 ... c Min unsat cost LB: 32224 ... c Min unsat cost LB: 32493 ... c Min unsat cost LB: 32575 ... c Min unsat cost LB: 33374 ... c Min unsat cost LB: 33619 ... c Min unsat cost LB: 33721 ... c Min unsat cost LB: 34336 ... c Min unsat cost LB: 34358 ... c Min unsat cost LB: 34497 ... c Min unsat cost LB: 34505 ... c Min unsat cost LB: 34726 ... c Min unsat cost LB: 35060 ... c Min unsat cost LB: 35371 ... c Min unsat cost LB: 35550 ... c Min unsat cost LB: 35586 ... c Min unsat cost LB: 36257 ... c Min unsat cost LB: 36733 ... c Min unsat cost LB: 36743 ... c Min unsat cost LB: 37616 ... c Min unsat cost LB: 37619 ... c Min unsat cost LB: 37720 ... c Min unsat cost LB: 37752 ... c Min unsat cost LB: 38065 ... c Min unsat cost LB: 38791 ... c Min unsat cost LB: 39234 ... c Min unsat cost LB: 39323 ... c Min unsat cost LB: 39379 ... c Min unsat cost LB: 39795 ... c Min unsat cost LB: 39964 ... c Min unsat cost LB: 40551 ... c Min unsat cost LB: 40717 ... c Min unsat cost LB: 40881 ... c Min unsat cost LB: 41173 ... c Min unsat cost LB: 41225 ... c Min unsat cost LB: 41557 ... c Min unsat cost LB: 41570 ... c Min unsat cost LB: 41615 ... c Min unsat cost LB: 41751 ... c Min unsat cost LB: 41862 ... c Min unsat cost LB: 41940 ... c Min unsat cost LB: 43129 ... c Min unsat cost LB: 43145 ... c Min unsat cost LB: 43205 ... c Min unsat cost LB: 43346 ... c Min unsat cost LB: 43371 ... c Min unsat cost LB: 43434 ... c Min unsat cost LB: 43459 ... c Min unsat cost LB: 43470 ... c Min unsat cost LB: 43500 ... c Min unsat cost LB: 43508 ... c Min unsat cost LB: 43517 ... c Min unsat cost LB: 43519 ... c Min unsat cost LB: 43531 ... c Min unsat cost LB: 43588 ... c Min unsat cost LB: 43590 ... c Min unsat cost LB: 43599 ... c Min unsat cost LB: 43618 ... c Min unsat cost LB: 43629 ... c Min unsat cost LB: 43636 ... c Min unsat cost LB: 43791 ... c Min unsat cost LB: 43879 ... c Min unsat cost LB: 43985 ... c Min unsat cost LB: 44015 ... c Min unsat cost LB: 44095 ... c Min unsat cost LB: 44174 ... c Min unsat cost LB: 44292 ... c Min unsat cost LB: 44646 ... c Min unsat cost LB: 44811 ... c Min unsat cost LB: 44883 ... c Min unsat cost LB: 45159 ... c Min unsat cost LB: 45223 ... c Min unsat cost LB: 45274 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 46252 ... c Min unsat cost LB: 46298 ... c Min unsat cost LB: 46381 ... c Min unsat cost LB: 46945 ... c Min unsat cost LB: 47028 ... c Min unsat cost LB: 47062 ... c Min unsat cost LB: 47191 ... c Min unsat cost LB: 47387 ... c Min unsat cost LB: 47665 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48488 ... c Min unsat cost LB: 49021 ... c Min unsat cost LB: 49087 ... c Min unsat cost LB: 49627 ... c Min unsat cost LB: 49633 ... c Min unsat cost LB: 49679 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50031 ... c Min unsat cost LB: 50089 ... c Min unsat cost LB: 50107 ... c Min unsat cost LB: 50111 ... c Min unsat cost LB: 50134 ... c Min unsat cost LB: 50166 ... c Min unsat cost LB: 50237 ... c Min unsat cost LB: 50545 ... c Min unsat cost LB: 50627 ... c Min unsat cost LB: 50728 ... c Min unsat cost LB: 52381 ... c Min unsat cost LB: 52398 ... c Min unsat cost LB: 52596 ... c Min unsat cost LB: 52613 ... c Min unsat cost LB: 52742 ... c Min unsat cost LB: 52758 ... c Min unsat cost LB: 52760 ... c Min unsat cost LB: 52764 ... c Min unsat cost LB: 52805 ... c Min unsat cost LB: 53822 ... c Min unsat cost LB: 53986 ... c Min unsat cost LB: 54242 ... c Min unsat cost LB: 54609 ... c Min unsat cost LB: 54649 ... c Min unsat cost LB: 54652 ... c Min unsat cost LB: 54705 ... c Min unsat cost LB: 54711 ... c Min unsat cost LB: 54778 ... c Min unsat cost LB: 54880 ... c Min unsat cost LB: 55017 ... c Min unsat cost LB: 55073 ... c Min unsat cost LB: 55098 ... c Min unsat cost LB: 55200 ... c Min unsat cost LB: 55375 ... c Min unsat cost LB: 55380 ... c Min unsat cost LB: 55431 ... c Min unsat cost LB: 55437 ... c Min unsat cost LB: 55525 ... c Min unsat cost LB: 55566 ... c Min unsat cost LB: 55675 ... c Min unsat cost LB: 55680 ... c Min unsat cost LB: 55719 ... c Min unsat cost LB: 55769 ... c Min unsat cost LB: 55794 ... c Min unsat cost LB: 55860 ... c Min unsat cost LB: 55863 ... c Min unsat cost LB: 55867 ... c Min unsat cost LB: 55936 ... c Min unsat cost LB: 56036 ... c Min unsat cost LB: 56096 ... c Min unsat cost LB: 56121 ... c Min unsat cost LB: 56162 ... c Min unsat cost LB: 56165 ... c Min unsat cost LB: 56190 ... c Min unsat cost LB: 56203 ... c Min unsat cost LB: 56235 ... c Min unsat cost LB: 56262 ... c Min unsat cost LB: 56291 ... c Min unsat cost LB: 56348 ... c Min unsat cost LB: 56351 ... c Min unsat cost LB: 56461 ... c Min unsat cost LB: 56464 ... c Min unsat cost LB: 56465 ... c Min unsat cost LB: 56512 ... c Min unsat cost LB: 56548 ... c Min unsat cost LB: 56582 ... c Min unsat cost LB: 56587 ... c Min unsat cost LB: 56597 ... c Min unsat cost LB: 56633 ... c Min unsat cost LB: 56634 ... c Min unsat cost LB: 56674 ... c Min unsat cost LB: 56747 ... c Min unsat cost LB: 57913 ... c Min unsat cost LB: 58070 ... c Min unsat cost LB: 58077 ... c Min unsat cost LB: 58092 ... c Min unsat cost LB: 58108 ... c Min unsat cost LB: 58121 ... c Min unsat cost LB: 58158 ... c Min unsat cost LB: 58165 ... c Min unsat cost LB: 58180 ... c Min unsat cost LB: 58194 ... c Min unsat cost LB: 58364 ... c Min unsat cost LB: 58386 ... c Min unsat cost LB: 58412 ... c Min unsat cost LB: 58619 ... c Min unsat cost LB: 58633 ... c Min unsat cost LB: 58840 ... c Min unsat cost LB: 58939 ... c Min unsat cost LB: 58966 ... c Min unsat cost LB: 58999 ... c Min unsat cost LB: 59076 ... c Min unsat cost LB: 59150 ... c Min unsat cost LB: 59198 ... c Min unsat cost LB: 59218 ... c Min unsat cost LB: 59467 ... c Min unsat cost LB: 59607 ... c Min unsat cost LB: 59779 ... c Min unsat cost LB: 60688 ... c Min unsat cost LB: 60773 ... c Min unsat cost LB: 61062 ... c Min unsat cost LB: 61153 ... c Min unsat cost LB: 61269 ... c Min unsat cost LB: 61294 ... c Min unsat cost LB: 61383 ... c Min unsat cost LB: 61446 ... c Min unsat cost LB: 61461 ... c Min unsat cost LB: 61551 ... c Min unsat cost LB: 61764 ... c Min unsat cost LB: 61782 ... c Min unsat cost LB: 61806 ... c Min unsat cost LB: 61813 ... c Min unsat cost LB: 61819 ... c Min unsat cost LB: 61857 ... c Min unsat cost LB: 61863 ... c Min unsat cost LB: 61867 ... c Min unsat cost LB: 61871 ... c Min unsat cost LB: 61885 ... c Min unsat cost LB: 61892 ... c Min unsat cost LB: 61894 ... c Min unsat cost LB: 61897 ... c Min unsat cost LB: 61904 ... c Min unsat cost LB: 61906 ... c Min unsat cost LB: 61912 ... c Min unsat cost LB: 61927 ... c Min unsat cost LB: 62278 ... c Min unsat cost LB: 62564 ... c Min unsat cost LB: 62605 ... c Min unsat cost LB: 62700 ... c Min unsat cost LB: 62768 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62929 ... c Min unsat cost LB: 62985 ... c Min unsat cost LB: 62997 ... c Min unsat cost LB: 63007 ... c Min unsat cost LB: 63013 ... c Min unsat cost LB: 63020 ... c Min unsat cost LB: 63031 ... c Min unsat cost LB: 63038 ... c Min unsat cost LB: 63045 ... c Min unsat cost LB: 63071 ... c Min unsat cost LB: 63105 ... c Min unsat cost LB: 63109 ... c Min unsat cost LB: 63115 ... c Min unsat cost LB: 63153 ... c Min unsat cost LB: 63155 ... c Min unsat cost LB: 63159 ... c Min unsat cost LB: 63256 ... c Min unsat cost LB: 63269 ... c Min unsat cost LB: 63322 ... c Min unsat cost LB: 63619 ... c Min unsat cost LB: 63620 ... c Min unsat cost LB: 63720 ... c Min unsat cost LB: 63929 ... c Min unsat cost LB: 63957 ... c Min unsat cost LB: 64041 ... c Min unsat cost LB: 64100 ... c Min unsat cost LB: 64134 ... c Min unsat cost LB: 64283 ... c Min unsat cost LB: 64569 ... c Min unsat cost LB: 64662 ... c Min unsat cost LB: 64676 ... c Min unsat cost LB: 64783 ... c Min unsat cost LB: 65044 ... c Min unsat cost LB: 65051 ... c Min unsat cost LB: 65059 ... c Min unsat cost LB: 65146 ... c Min unsat cost LB: 65152 ... c Min unsat cost LB: 65160 ... c Min unsat cost LB: 65171 ... c Min unsat cost LB: 65178 ... c Min unsat cost LB: 65212 ... c Min unsat cost LB: 65767 ... c Min unsat cost LB: 65844 ... c Min unsat cost LB: 65978 ... c Min unsat cost LB: 65998 ... c Min unsat cost LB: 66038 ... c Min unsat cost LB: 66042 ... c Min unsat cost LB: 66082 ... c Min unsat cost LB: 66110 ... c Min unsat cost LB: 66125 ... c Min unsat cost LB: 66133 ... c Min unsat cost LB: 66149 ... c Min unsat cost LB: 66163 ... c Min unsat cost LB: 66170 ... c Min unsat cost LB: 66223 ... c Min unsat cost LB: 66308 ... c Min unsat cost LB: 66342 ... c Min unsat cost LB: 66349 ... c Min unsat cost LB: 66401 ... c Min unsat cost LB: 66405 ... c Min unsat cost LB: 66447 ... c Min unsat cost LB: 66455 ... c Min unsat cost LB: 66462 ... c Min unsat cost LB: 66468 ... c Min unsat cost LB: 66480 ... c Min unsat cost LB: 66498 ... c Min unsat cost LB: 66522 ... c Min unsat cost LB: 66523 ... c Min unsat cost LB: 66530 ... c Min unsat cost LB: 66539 ... c Min unsat cost LB: 66550 ... c Min unsat cost LB: 66561 ... c Min unsat cost LB: 66567 ... c Min unsat cost LB: 66584 ... c Min unsat cost LB: 66630 ... c Min unsat cost LB: 66700 ... c Min unsat cost LB: 66776 ... c Min unsat cost LB: 66779 ... c Min unsat cost LB: 66780 ... c Min unsat cost LB: 66782 ... c Min unsat cost LB: 66783 ... c Min unsat cost LB: 66785 ... c Min unsat cost LB: 66788 ... c Min unsat cost LB: 66790 ... c Min unsat cost LB: 66792 ... c Min unsat cost LB: 66794 ... c Min unsat cost LB: 66798 ... c Min unsat cost LB: 66800 ... c Min unsat cost LB: 66802 ... c Min unsat cost LB: 66803 ... c Min unsat cost LB: 66805 ... c Min unsat cost LB: 66807 ... c Min unsat cost LB: 66808 ... c Min unsat cost LB: 66809 ... c Min unsat cost LB: 66811 ... c Min unsat cost LB: 66814 ... c Min unsat cost LB: 66817 ... c Min unsat cost LB: 66828 ... c Min unsat cost LB: 66834 ... c Min unsat cost LB: 66835 ... c Min unsat cost LB: 66841 ... c Min unsat cost LB: 66842 ... c Min unsat cost LB: 66843 ... c Min unsat cost LB: 66845 ... c Min unsat cost LB: 66846 ... c Min unsat cost LB: 66847 ... c Min unsat cost LB: 66881 ... c Min unsat cost LB: 66907 ... c Min unsat cost LB: 66945 ... c Min unsat cost LB: 67325 ... c Min unsat cost LB: 67391 ... c Min unsat cost LB: 67469 ... c Min unsat cost LB: 67470 ... c Min unsat cost LB: 67532 ... c Min unsat cost LB: 67614 ... c Min unsat cost LB: 67808 ... c Min unsat cost LB: 67897 ... c Min unsat cost LB: 67902 ... c Min unsat cost LB: 68099 ... c Min unsat cost LB: 68129 ... c Min unsat cost LB: 68312 ... c Min unsat cost LB: 68375 ... c Min unsat cost LB: 68376 ... c Min unsat cost LB: 68377 ... c Min unsat cost LB: 68379 ... c Min unsat cost LB: 68380 ... c Min unsat cost LB: 68382 ... c Min unsat cost LB: 68383 ... c Min unsat cost LB: 68386 ... c Min unsat cost LB: 68390 ... c Min unsat cost LB: 68392 ... c Min unsat cost LB: 68394 ... c Min unsat cost LB: 68397 ... c Min unsat cost LB: 68398 ... c Min unsat cost LB: 68577 ... c Min unsat cost LB: 68779 ... c Min unsat cost LB: 68819 ... c Min unsat cost LB: 68832 ... c Min unsat cost LB: 68884 ... c Min unsat cost LB: 68885 ... c Min unsat cost LB: 68887 ... c Min unsat cost LB: 68889 ... c Min unsat cost LB: 68890 ... c Min unsat cost LB: 68892 ... c Min unsat cost LB: 68893 ... c Min unsat cost LB: 68894 ... c Min unsat cost LB: 68895 ... c Min unsat cost LB: 68897 ... c Min unsat cost LB: 68898 ... c Min unsat cost LB: 68937 ... c Min unsat cost LB: 69372 ... c Min unsat cost LB: 69425 ... c Min unsat cost LB: 69610 ... c Min unsat cost LB: 69746 ... c Min unsat cost LB: 69859 ... c Min unsat cost LB: 69862 ... c Min unsat cost LB: 69863 ... c Min unsat cost LB: 69864 ... c Min unsat cost LB: 69865 ... c Min unsat cost LB: 69866 ... c Min unsat cost LB: 69895 ... c Min unsat cost LB: 69920 ... c Min unsat cost LB: 69921 ... c Min unsat cost LB: 69931 ... c Min unsat cost LB: 69994 ... c Min unsat cost LB: 70121 ... c Min unsat cost LB: 70193 ... c Min unsat cost LB: 70298 ... c Min unsat cost LB: 70443 ... c Min unsat cost LB: 70595 ... c Min unsat cost LB: 70694 ... c Min unsat cost LB: 70695 ... c Min unsat cost LB: 70696 ... c Min unsat cost LB: 70703 ... c Min unsat cost LB: 70707 ... c Min unsat cost LB: 70713 ... c Min unsat cost LB: 70714 ... c Min unsat cost LB: 70724 ... c Min unsat cost LB: 70725 ... c Min unsat cost LB: 70727 ... c Min unsat cost LB: 70728 ... c Min unsat cost LB: 70729 ... c Min unsat cost LB: 70731 ... c Min unsat cost LB: 70732 ... c Min unsat cost LB: 70754 ... c Min unsat cost LB: 70758 ... c Min unsat cost LB: 70784 ... c Min unsat cost LB: 70787 ... c Min unsat cost LB: 70789 ... c Min unsat cost LB: 70828 ... c Min unsat cost LB: 70836 ... c Min unsat cost LB: 70837 ... c Min unsat cost LB: 70839 ... c Min unsat cost LB: 70840 ... c Min unsat cost LB: 70841 ... c Min unsat cost LB: 70842 ... c Min unsat cost LB: 70843 ... c Min unsat cost LB: 70918 ... c Min unsat cost LB: 70944 ... c Min unsat cost LB: 70945 ... c Min unsat cost LB: 70946 ... c Min unsat cost LB: 70978 ... c Min unsat cost LB: 70979 ... c Min unsat cost LB: 70980 ... c Min unsat cost LB: 71003 ... c Min unsat cost LB: 71021 ... c Min unsat cost LB: 71058 ... c Min unsat cost LB: 71064 ... c Min unsat cost LB: 71066 ... c Min unsat cost LB: 71132 ... c Min unsat cost LB: 71133 ... c Min unsat cost LB: 71134 ... c Min unsat cost LB: 71135 ... c Min unsat cost LB: 71136 ... c Min unsat cost LB: 71152 ... c Min unsat cost LB: 71154 ... c Min unsat cost LB: 71170 ... c Min unsat cost LB: 71383 ... c Min unsat cost LB: 71388 ... c Min unsat cost LB: 71415 ... c Min unsat cost LB: 71501 ... c Min unsat cost LB: 71504 ... c Min unsat cost LB: 71505 ... c Min unsat cost LB: 71506 ... c Min unsat cost LB: 71528 ... c Min unsat cost LB: 71538 ... c Min unsat cost LB: 71539 ... c Min unsat cost LB: 71553 ... c Min unsat cost LB: 71554 ... c Min unsat cost LB: 71555 ... c Min unsat cost LB: 71556 ... c Min unsat cost LB: 71557 ... c Min unsat cost LB: 71573 ... c Min unsat cost LB: 71585 ... c Min unsat cost LB: 71623 ... c Min unsat cost LB: 71625 ... c Min unsat cost LB: 71627 ... c Min unsat cost LB: 71641 ... c Min unsat cost LB: 71815 ... c Min unsat cost LB: 71818 ... c Min unsat cost LB: 71834 ... c Min unsat cost LB: 71846 ... c Min unsat cost LB: 71848 ... c Min unsat cost LB: 71886 ... c Min unsat cost LB: 71902 ... c Min unsat cost LB: 71917 ... c Min unsat cost LB: 71920 ... c Min unsat cost LB: 72174 ... c Min unsat cost LB: 72201 ... c Min unsat cost LB: 72775 ... c Min unsat cost LB: 72794 ... c Min unsat cost LB: 72810 ... c Min unsat cost LB: 72822 ... c Min unsat cost LB: 72825 ... c Min unsat cost LB: 72831 ... c Min unsat cost LB: 72897 ... c Min unsat cost LB: 73053 ... c Min unsat cost LB: 73776 ... c Min unsat cost LB: 73779 ... c Min unsat cost LB: 73795 ... c Min unsat cost LB: 73807 ... c Min unsat cost LB: 73810 ... c Min unsat cost LB: 73826 ... c Min unsat cost LB: 73861 ... c Min unsat cost LB: 73864 ... c Min unsat cost LB: 73876 ... c Min unsat cost LB: 73892 ... c Min unsat cost LB: 73894 ... c Min unsat cost LB: 73909 ... c Min unsat cost LB: 74000 ... c Min unsat cost LB: 74031 ... c Min unsat cost LB: 74034 ... c Min unsat cost LB: 74041 ... c Min unsat cost LB: 74073 ... c Min unsat cost LB: 74074 ... c Min unsat cost LB: 74489 ... c Min unsat cost LB: 74494 ... c Min unsat cost LB: 74605 ... c Min unsat cost LB: 74767 ... c Min unsat cost LB: 74771 ... c Min unsat cost LB: 74773 ... c Min unsat cost LB: 74780 ... c Min unsat cost LB: 74836 ... c Min unsat cost LB: 74915 ... c Min unsat cost LB: 74931 ... c Min unsat cost LB: 74937 ... c Min unsat cost LB: 74941 ... c Min unsat cost LB: 74975 ... c Min unsat cost LB: 74978 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74986 ... c Min unsat cost LB: 74989 ... c Min unsat cost LB: 74992 ... c Min unsat cost LB: 75005 ... c Min unsat cost LB: 75027 ... c Min unsat cost LB: 75039 ... c Min unsat cost LB: 75046 ... c Min unsat cost LB: 75102 ... c Min unsat cost LB: 75108 ... c Min unsat cost LB: 75114 ... c Min unsat cost LB: 75118 ... c Min unsat cost LB: 75125 ... c Min unsat cost LB: 75129 ... c Min unsat cost LB: 75193 ... c Min unsat cost LB: 75194 ... c Min unsat cost LB: 75255 ... c Min unsat cost LB: 75256 ... c Min unsat cost LB: 75257 ... c Min unsat cost LB: 75258 ... c Min unsat cost LB: 75259 ... c Min unsat cost LB: 75260 ... c Min unsat cost LB: 75261 ... c Min unsat cost LB: 75262 ... c Min unsat cost LB: 75263 ... c Min unsat cost LB: 75264 ... c Min unsat cost LB: 75336 ... c Min unsat cost LB: 75371 ... c Min unsat cost LB: 75374 ... c Min unsat cost LB: 75386 ... c Min unsat cost LB: 75432 ... c Min unsat cost LB: 75444 ... c Min unsat cost LB: 75606 ... c Min unsat cost LB: 75647 ... c Min unsat cost LB: 75653 ... c Min unsat cost LB: 75804 ... c Min unsat cost LB: 75810 ... c Min unsat cost LB: 75811 ... c Min unsat cost LB: 75827 ... c Min unsat cost LB: 75829 ... c Min unsat cost LB: 75878 ... c Min unsat cost LB: 75974 ... c Min unsat cost LB: 75997 ... c Min unsat cost LB: 76012 ... c Min unsat cost LB: 76020 ... c Min unsat cost LB: 76023 ... c Min unsat cost LB: 76058 ... c Min unsat cost LB: 76092 ... c Min unsat cost LB: 76096 ... c Min unsat cost LB: 76113 ... c Min unsat cost LB: 76123 ... c Min unsat cost LB: 76166 ... c Min unsat cost LB: 76169 ... c Min unsat cost LB: 76173 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76184 ... c Min unsat cost LB: 76187 ... c Min unsat cost LB: 76191 ... c Min unsat cost LB: 76192 ... c Min unsat cost LB: 76194 ... c Min unsat cost LB: 76195 ... c Min unsat cost LB: 76199 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76210 ... c Min unsat cost LB: 76227 ... c Min unsat cost LB: 76238 ... c Min unsat cost LB: 76262 ... c Min unsat cost LB: 76265 ... c Min unsat cost LB: 76277 ... c Min unsat cost LB: 76293 ... c Min unsat cost LB: 76295 ... c Min unsat cost LB: 76310 ... c Min unsat cost LB: 76329 ... c Min unsat cost LB: 76365 ... c Min unsat cost LB: 76637 ... c Min unsat cost LB: 76638 ... c Min unsat cost LB: 76786 ... c Min unsat cost LB: 76789 ... c Min unsat cost LB: 76802 ... c Min unsat cost LB: 76805 ... c Min unsat cost LB: 76814 ... c Min unsat cost LB: 76817 ... c Min unsat cost LB: 76825 ... c Min unsat cost LB: 76840 ... c Min unsat cost LB: 76851 ... c Min unsat cost LB: 76875 ... c Min unsat cost LB: 76876 ... c Min unsat cost LB: 76879 ... c Min unsat cost LB: 76882 ... c Min unsat cost LB: 76894 ... c Min unsat cost LB: 76896 ... c Min unsat cost LB: 76929 ... c Min unsat cost LB: 76945 ... c Min unsat cost LB: 76948 ... c Min unsat cost LB: 76952 ... c Min unsat cost LB: 76964 ... c Min unsat cost LB: 76987 ... c Min unsat cost LB: 77002 ... c Min unsat cost LB: 77018 ... c Min unsat cost LB: 77033 ... c Min unsat cost LB: 77051 ... c Min unsat cost LB: 77076 ... c Min unsat cost LB: 77078 ... c Min unsat cost LB: 77086 ... c Min unsat cost LB: 77094 ... c Min unsat cost LB: 77097 ... c Min unsat cost LB: 77099 ... c Min unsat cost LB: 77103 ... c Min unsat cost LB: 77120 ... c Min unsat cost LB: 77123 ... c Min unsat cost LB: 77124 ... c Min unsat cost LB: 77130 ... c Min unsat cost LB: 77131 ... c Min unsat cost LB: 77133 ... c Min unsat cost LB: 77135 ... c Min unsat cost LB: 77336 ... c Min unsat cost LB: 77391 ... c Min unsat cost LB: 77479 ... c Min unsat cost LB: 77491 ... c Min unsat cost LB: 77519 ... c Min unsat cost LB: 77556 ... c Min unsat cost LB: 77559 ... c Min unsat cost LB: 77564 ... c Min unsat cost LB: 77571 ... c Min unsat cost LB: 77579 ... c Min unsat cost LB: 77594 ... c Min unsat cost LB: 77595 ... c Min unsat cost LB: 77598 ... c Min unsat cost LB: 77599 ... c Min unsat cost LB: 77602 ... c Min unsat cost LB: 77603 ... c Min unsat cost LB: 77618 ... c Min unsat cost LB: 77625 ... c Min unsat cost LB: 77628 ... c Min unsat cost LB: 77630 ... c Min unsat cost LB: 77632 ... c Min unsat cost LB: 77634 ... c Min unsat cost LB: 77635 ... c Min unsat cost LB: 77636 ... c Min unsat cost LB: 77638 ... c Min unsat cost LB: 77680 ... c Min unsat cost LB: 77683 ... c Min unsat cost LB: 77684 ... c Min unsat cost LB: 77687 ... c Min unsat cost LB: 77689 ... c Min unsat cost LB: 77694 ... c Min unsat cost LB: 77738 ... c Min unsat cost LB: 77741 ... c Min unsat cost LB: 77742 ... c Min unsat cost LB: 77743 ... c Min unsat cost LB: 77744 ... c Min unsat cost LB: 77746 ... c Min unsat cost LB: 77749 ... c Min unsat cost LB: 77750 ... c Min unsat cost LB: 77752 ... c Min unsat cost LB: 77753 ... c Min unsat cost LB: 77754 ... c Min unsat cost LB: 77755 ... c Min unsat cost LB: 77757 ... c Min unsat cost LB: 77759 ... c Min unsat cost LB: 77761 ... c Min unsat cost LB: 77763 ... c Min unsat cost LB: 77764 ... c Min unsat cost LB: 77765 ... c Min unsat cost LB: 77767 ... c Min unsat cost LB: 77768 ... c Min unsat cost LB: 77769 ... c Min unsat cost LB: 77776 ... c Min unsat cost LB: 77777 ... c Min unsat cost LB: 77779 ... c Min unsat cost LB: 77783 ... c Min unsat cost LB: 77784 ... c Min unsat cost LB: 77789 ... c Min unsat cost LB: 77792 ... c Min unsat cost LB: 77858 ... c Min unsat cost LB: 77916 ... c Min unsat cost LB: 78046 ... c Min unsat cost LB: 78054 ... c Min unsat cost LB: 78161 ... c Min unsat cost LB: 78168 ... c Min unsat cost LB: 78252 ... c Min unsat cost LB: 78279 ... c Min unsat cost LB: 78302 ... c Min unsat cost LB: 78344 ... c Min unsat cost LB: 78438 ... c Min unsat cost LB: 78506 ... c Min unsat cost LB: 78533 ... c Min unsat cost LB: 78617 ... c Min unsat cost LB: 78661 ... c Min unsat cost LB: 78690 ... c Min unsat cost LB: 78714 ... c Min unsat cost LB: 78794 ... c Min unsat cost LB: 78883 ... c Min unsat cost LB: 79078 ... c Min unsat cost LB: 79085 ... c Min unsat cost LB: 79096 ... c Min unsat cost LB: 79161 ... c Min unsat cost LB: 79174 ... c Min unsat cost LB: 79195 ... c Min unsat cost LB: 79438 ... c Min unsat cost LB: 79445 ... c Min unsat cost LB: 79452 ... c Min unsat cost LB: 79465 ... c Min unsat cost LB: 79472 ... c Min unsat cost LB: 79482 ... c Min unsat cost LB: 79489 ... c Min unsat cost LB: 79523 ... c Min unsat cost LB: 79524 ... c Min unsat cost LB: 79527 ... c Min unsat cost LB: 79545 ... c Min unsat cost LB: 79550 ... c Min unsat cost LB: 79556 ... c Min unsat cost LB: 79623 ... c Min unsat cost LB: 79751 ... c Min unsat cost LB: 79762 ... c Min unsat cost LB: 79789 ... c Min unsat cost LB: 79813 ... c Min unsat cost LB: 79874 ... c Min unsat cost LB: 79884 ... c Min unsat cost LB: 79891 ... c Min unsat cost LB: 79893 ... c Min unsat cost LB: 79901 ... c Min unsat cost LB: 79911 ... c Min unsat cost LB: 79914 ... c Min unsat cost LB: 79925 ... c Min unsat cost LB: 79941 ... c Min unsat cost LB: 79998 ... c Min unsat cost LB: 80001 ... c Min unsat cost LB: 80005 ... c Min unsat cost LB: 80006 ... c Min unsat cost LB: 80016 ... c Min unsat cost LB: 80025 ... c Min unsat cost LB: 80062 ... c Min unsat cost LB: 80069 ... c Min unsat cost LB: 80076 ... c Min unsat cost LB: 80094 ... c Min unsat cost LB: 80095 ... c Min unsat cost LB: 80109 ... c Min unsat cost LB: 80110 ... c Min unsat cost LB: 80119 ... c Min unsat cost LB: 80123 ... c Min unsat cost LB: 80131 ... c Min unsat cost LB: 80162 ... c Min unsat cost LB: 80191 ... c Min unsat cost LB: 80198 ... c Min unsat cost LB: 80208 ... c Min unsat cost LB: 80211 ... c Min unsat cost LB: 80215 ... c Min unsat cost LB: 80218 ... c Min unsat cost LB: 80219 ... c Min unsat cost LB: 80225 ... c Min unsat cost LB: 80228 ... c Min unsat cost LB: 80428 ... c Min unsat cost LB: 80708 ... c Min unsat cost LB: 80888 ... c Min unsat cost LB: 80986 ... c Min unsat cost LB: 81087 ... c Min unsat cost LB: 81150 ... c Min unsat cost LB: 81286 ... c Min unsat cost LB: 81445 ... c Min unsat cost LB: 81611 ... c Min unsat cost LB: 81859 ... c Min unsat cost LB: 82169 ... c Min unsat cost LB: 82215 ... c Min unsat cost LB: 82260 ... c Min unsat cost LB: 82449 ... c Min unsat cost LB: 82450 ... c Min unsat cost LB: 82490 ... c Min unsat cost LB: 82509 ... c Min unsat cost LB: 82661 ... c Min unsat cost LB: 82771 ... c Min unsat cost LB: 82773 ... c Min unsat cost LB: 82793 ... c Min unsat cost LB: 82826 ... c Min unsat cost LB: 82833 ... c Min unsat cost LB: 82852 ... c Min unsat cost LB: 82865 ... c Min unsat cost LB: 82876 ... c Min unsat cost LB: 82918 ... c Min unsat cost LB: 82920 ... c Min unsat cost LB: 82939 ... c Min unsat cost LB: 82998 ... c Min unsat cost LB: 83035 ... c Min unsat cost LB: 83043 ... c Min unsat cost LB: 83051 ... c Min unsat cost LB: 83056 ... c Min unsat cost LB: 83071 ... c Min unsat cost LB: 83096 ... c Min unsat cost LB: 83099 ... c Min unsat cost LB: 83114 ... c Min unsat cost LB: 83127 ... c Min unsat cost LB: 83140 ... c Min unsat cost LB: 83149 ... c Min unsat cost LB: 83764 ... c Min unsat cost LB: 83767 ... c Min unsat cost LB: 83898 ... c Min unsat cost LB: 83899 ... c Min unsat cost LB: 84197 ... c Min unsat cost LB: 84269 ... c Min unsat cost LB: 84328 ... c Min unsat cost LB: 84342 ... c Min unsat cost LB: 84802 ... c Min unsat cost LB: 84805 ... c Min unsat cost LB: 85003 ... c Min unsat cost LB: 85048 ... c Min unsat cost LB: 85115 ... c Min unsat cost LB: 85123 ... c Min unsat cost LB: 85130 ... c Min unsat cost LB: 85264 ... c Min unsat cost LB: 85268 ... c Min unsat cost LB: 85269 ... c Min unsat cost LB: 85344 ... c Min unsat cost LB: 85370 ... c Min unsat cost LB: 85430 ... c Min unsat cost LB: 85431 ... c Min unsat cost LB: 85437 ... c Min unsat cost LB: 85476 ... c Min unsat cost LB: 85477 ... c Min unsat cost LB: 85499 ... c Min unsat cost LB: 85501 ... c Min unsat cost LB: 85505 ... c Min unsat cost LB: 85506 ... c Min unsat cost LB: 85518 ... c Min unsat cost LB: 85519 ... c Min unsat cost LB: 85529 ... c Min unsat cost LB: 85530 ... c Min unsat cost LB: 85531 ... c Min unsat cost LB: 85532 ... c Min unsat cost LB: 85534 ... c Min unsat cost LB: 85536 ... c Min unsat cost LB: 85538 ... c Min unsat cost LB: 85539 ... c Min unsat cost LB: 85540 ... c Min unsat cost LB: 85542 ... c Min unsat cost LB: 85543 ... c Min unsat cost LB: 85544 ... c Min unsat cost LB: 85545 ... c Min unsat cost LB: 85546 ... c Min unsat cost LB: 85547 ... c Min unsat cost LB: 85548 ... c Min unsat cost LB: 85550 ... c Min unsat cost LB: 85551 ... c Min unsat cost LB: 85552 ... c Min unsat cost LB: 85554 ... c Min unsat cost LB: 85555 ... c Min unsat cost LB: 85559 ... c Min unsat cost LB: 85561 ... c Min unsat cost LB: 85565 ... c Min unsat cost LB: 85571 ... c Min unsat cost LB: 85576 ... c Min unsat cost LB: 85578 ... c Min unsat cost LB: 85579 ... c Min unsat cost LB: 85580 ... c Min unsat cost LB: 85583 ... c Min unsat cost LB: 85584 ... c Min unsat cost LB: 85586 ... c Min unsat cost LB: 85587 ... c Min unsat cost LB: 85595 ... c Min unsat cost LB: 85596 ... c Min unsat cost LB: 85601 ... c Min unsat cost LB: 85604 ... c Min unsat cost LB: 85610 ... c Min unsat cost LB: 85613 ... c Min unsat cost LB: 85616 ... c Min unsat cost LB: 85617 ... c Min unsat cost LB: 85621 ... c Min unsat cost LB: 85622 ... c Min unsat cost LB: 85623 ... c Min unsat cost LB: 85624 ... c Min unsat cost LB: 85628 ... c Min unsat cost LB: 85630 ... c Min unsat cost LB: 85634 ... c Min unsat cost LB: 85637 ... c Min unsat cost LB: 85639 ... c Min unsat cost LB: 85650 ... c Min unsat cost LB: 85658 ... c Min unsat cost LB: 85661 ... c Min unsat cost LB: 85662 ... c Min unsat cost LB: 85665 ... c Min unsat cost LB: 85666 ... c Min unsat cost LB: 85667 ... c Min unsat cost LB: 85670 ... c Min unsat cost LB: 85671 ... c Min unsat cost LB: 85672 ... c Min unsat cost LB: 85673 ... c Min unsat cost LB: 85674 ... c Min unsat cost LB: 85675 ... c Min unsat cost LB: 85676 ... c Min unsat cost LB: 85678 ... c Min unsat cost LB: 85679 ... c Min unsat cost LB: 85680 ... c Min unsat cost LB: 85681 ... c Min unsat cost LB: 85682 ... c Min unsat cost LB: 85684 ... c Min unsat cost LB: 85687 ... c Min unsat cost LB: 85689 ... c Min unsat cost LB: 85690 ... c Min unsat cost LB: 85693 ... c Min unsat cost LB: 85695 ... c Min unsat cost LB: 85697 ... c Min unsat cost LB: 85698 ... c Min unsat cost LB: 85700 ... c Min unsat cost LB: 85702 ... c Min unsat cost LB: 85704 ... c Min unsat cost LB: 85707 ... c Min unsat cost LB: 85709 ... c Min unsat cost LB: 85715 ... c Min unsat cost LB: 85718 ... c Min unsat cost LB: 85720 ... c Min unsat cost LB: 85721 ... c Min unsat cost LB: 85727 ... c Min unsat cost LB: 85732 ... c Min unsat cost LB: 85736 ... c Min unsat cost LB: 85738 ... c Min unsat cost LB: 85739 ... c Min unsat cost LB: 85740 ... c Min unsat cost LB: 85741 ... c Min unsat cost LB: 85742 ... c Min unsat cost LB: 85743 ... c Min unsat cost LB: 85744 ... c Min unsat cost LB: 85745 ... c Min unsat cost LB: 85746 ... c Min unsat cost LB: 85747 ... c Min unsat cost LB: 85748 ... c Min unsat cost LB: 85753 ... c Min unsat cost LB: 85754 ... c Min unsat cost LB: 85755 ... c Min unsat cost LB: 85759 ... c Min unsat cost LB: 85761 ... c Min unsat cost LB: 85762 ... c Min unsat cost LB: 85763 ... c Min unsat cost LB: 85767 ... c Min unsat cost LB: 85768 ... c Min unsat cost LB: 85769 ... c Min unsat cost LB: 85770 ... c Min unsat cost LB: 85776 ... c Min unsat coKilled 1810.971u 8.764s 30:22.50 99.8% 0+0k 0+0io 0pf+0w