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-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-5.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-5.net.wcnf *** c c Min unsat cost LB: 742 ... c Min unsat cost LB: 2722 ... c Min unsat cost LB: 2789 ... c Min unsat cost LB: 3285 ... c Min unsat cost LB: 3321 ... c Min unsat cost LB: 4254 ... c Min unsat cost LB: 4432 ... c Min unsat cost LB: 5213 ... c Min unsat cost LB: 5224 ... c Min unsat cost LB: 5373 ... c Min unsat cost LB: 6208 ... c Min unsat cost LB: 7034 ... c Min unsat cost LB: 8287 ... c Min unsat cost LB: 8978 ... c Min unsat cost LB: 10176 ... c Min unsat cost LB: 11892 ... c Min unsat cost LB: 12636 ... c Min unsat cost LB: 12773 ... c Min unsat cost LB: 13133 ... c Min unsat cost LB: 14041 ... c Min unsat cost LB: 14506 ... c Min unsat cost LB: 14878 ... c Min unsat cost LB: 16498 ... c Min unsat cost LB: 16703 ... c Min unsat cost LB: 18186 ... c Min unsat cost LB: 18237 ... c Min unsat cost LB: 19021 ... c Min unsat cost LB: 19625 ... c Min unsat cost LB: 19645 ... c Min unsat cost LB: 19667 ... c Min unsat cost LB: 19937 ... c Min unsat cost LB: 20024 ... c Min unsat cost LB: 20035 ... c Min unsat cost LB: 20942 ... c Min unsat cost LB: 21439 ... c Min unsat cost LB: 22477 ... c Min unsat cost LB: 22564 ... c Min unsat cost LB: 22614 ... c Min unsat cost LB: 22896 ... c Min unsat cost LB: 23074 ... c Min unsat cost LB: 23142 ... c Min unsat cost LB: 23489 ... c Min unsat cost LB: 23527 ... c Min unsat cost LB: 23905 ... c Min unsat cost LB: 23926 ... c Min unsat cost LB: 24095 ... c Min unsat cost LB: 24144 ... c Min unsat cost LB: 24153 ... c Min unsat cost LB: 25635 ... c Min unsat cost LB: 25657 ... c Min unsat cost LB: 25710 ... c Min unsat cost LB: 25776 ... c Min unsat cost LB: 25915 ... c Min unsat cost LB: 26028 ... c Min unsat cost LB: 26079 ... c Min unsat cost LB: 26081 ... c Min unsat cost LB: 26106 ... c Min unsat cost LB: 26147 ... c Min unsat cost LB: 27027 ... c Min unsat cost LB: 27394 ... c Min unsat cost LB: 27918 ... c Min unsat cost LB: 27928 ... c Min unsat cost LB: 27935 ... c Min unsat cost LB: 29186 ... c Min unsat cost LB: 29234 ... c Min unsat cost LB: 29317 ... c Min unsat cost LB: 29404 ... c Min unsat cost LB: 29690 ... c Min unsat cost LB: 29714 ... c Min unsat cost LB: 29724 ... c Min unsat cost LB: 29754 ... c Min unsat cost LB: 29785 ... c Min unsat cost LB: 29809 ... c Min unsat cost LB: 29848 ... c Min unsat cost LB: 30108 ... c Min unsat cost LB: 30996 ... c Min unsat cost LB: 31016 ... c Min unsat cost LB: 31582 ... c Min unsat cost LB: 31742 ... c Min unsat cost LB: 31751 ... c Min unsat cost LB: 31775 ... c Min unsat cost LB: 31799 ... c Min unsat cost LB: 31903 ... c Min unsat cost LB: 31952 ... c Min unsat cost LB: 32014 ... c Min unsat cost LB: 32141 ... c Min unsat cost LB: 32154 ... c Min unsat cost LB: 32201 ... c Min unsat cost LB: 33230 ... c Min unsat cost LB: 33276 ... c Min unsat cost LB: 33325 ... c Min unsat cost LB: 34006 ... c Min unsat cost LB: 34114 ... c Min unsat cost LB: 34926 ... c Min unsat cost LB: 35022 ... c Min unsat cost LB: 35446 ... c Min unsat cost LB: 35730 ... c Min unsat cost LB: 36623 ... c Min unsat cost LB: 37840 ... c Min unsat cost LB: 37901 ... c Min unsat cost LB: 37912 ... c Min unsat cost LB: 38329 ... c Min unsat cost LB: 38802 ... c Min unsat cost LB: 39140 ... c Min unsat cost LB: 39276 ... c Min unsat cost LB: 39613 ... c Min unsat cost LB: 40642 ... c Min unsat cost LB: 40902 ... c Min unsat cost LB: 40940 ... c Min unsat cost LB: 41132 ... c Min unsat cost LB: 41351 ... c Min unsat cost LB: 41844 ... c Min unsat cost LB: 41983 ... c Min unsat cost LB: 42392 ... c Min unsat cost LB: 42397 ... c Min unsat cost LB: 42427 ... c Min unsat cost LB: 42540 ... c Min unsat cost LB: 42566 ... c Min unsat cost LB: 43043 ... c Min unsat cost LB: 43056 ... c Min unsat cost LB: 43437 ... c Min unsat cost LB: 44075 ... c Min unsat cost LB: 44271 ... c Min unsat cost LB: 44275 ... c Min unsat cost LB: 44284 ... c Min unsat cost LB: 44477 ... c Min unsat cost LB: 44497 ... c Min unsat cost LB: 45430 ... c Min unsat cost LB: 45466 ... c Min unsat cost LB: 45571 ... c Min unsat cost LB: 45698 ... c Min unsat cost LB: 45838 ... c Min unsat cost LB: 45923 ... c Min unsat cost LB: 46030 ... c Min unsat cost LB: 46095 ... c Min unsat cost LB: 46099 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46285 ... c Min unsat cost LB: 46365 ... c Min unsat cost LB: 46476 ... c Min unsat cost LB: 46557 ... c Min unsat cost LB: 46658 ... c Min unsat cost LB: 47111 ... c Min unsat cost LB: 47255 ... c Min unsat cost LB: 47309 ... c Min unsat cost LB: 47800 ... c Min unsat cost LB: 47824 ... c Min unsat cost LB: 47848 ... c Min unsat cost LB: 47868 ... c Min unsat cost LB: 47870 ... c Min unsat cost LB: 47957 ... c Min unsat cost LB: 47976 ... c Min unsat cost LB: 47979 ... c Min unsat cost LB: 48010 ... c Min unsat cost LB: 48012 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48076 ... c Min unsat cost LB: 48127 ... c Min unsat cost LB: 48141 ... c Min unsat cost LB: 48143 ... c Min unsat cost LB: 48198 ... c Min unsat cost LB: 48335 ... c Min unsat cost LB: 48412 ... c Min unsat cost LB: 48427 ... c Min unsat cost LB: 48465 ... c Min unsat cost LB: 48657 ... c Min unsat cost LB: 48875 ... c Min unsat cost LB: 49518 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 49690 ... c Min unsat cost LB: 49708 ... c Min unsat cost LB: 49754 ... c Min unsat cost LB: 49901 ... c Min unsat cost LB: 50988 ... c Min unsat cost LB: 51041 ... c Min unsat cost LB: 51079 ... c Min unsat cost LB: 51110 ... c Min unsat cost LB: 51314 ... c Min unsat cost LB: 51375 ... c Min unsat cost LB: 51457 ... c Min unsat cost LB: 51538 ... c Min unsat cost LB: 51854 ... c Min unsat cost LB: 52201 ... c Min unsat cost LB: 52218 ... c Min unsat cost LB: 52254 ... c Min unsat cost LB: 52319 ... c Min unsat cost LB: 52323 ... c Min unsat cost LB: 52325 ... c Min unsat cost LB: 52386 ... c Min unsat cost LB: 52406 ... c Min unsat cost LB: 52419 ... c Min unsat cost LB: 52635 ... c Min unsat cost LB: 52888 ... c Min unsat cost LB: 52909 ... c Min unsat cost LB: 52936 ... c Min unsat cost LB: 52939 ... c Min unsat cost LB: 53025 ... c Min unsat cost LB: 53180 ... c Min unsat cost LB: 53266 ... c Min unsat cost LB: 53268 ... c Min unsat cost LB: 53330 ... c Min unsat cost LB: 53335 ... c Min unsat cost LB: 53342 ... c Min unsat cost LB: 53352 ... c Min unsat cost LB: 53354 ... c Min unsat cost LB: 53359 ... c Min unsat cost LB: 53360 ... c Min unsat cost LB: 53401 ... c Min unsat cost LB: 53694 ... c Min unsat cost LB: 53848 ... c Min unsat cost LB: 53868 ... c Min unsat cost LB: 53947 ... c Min unsat cost LB: 53982 ... c Min unsat cost LB: 53987 ... c Min unsat cost LB: 54068 ... c Min unsat cost LB: 54182 ... c Min unsat cost LB: 54205 ... c Min unsat cost LB: 54261 ... c Min unsat cost LB: 54338 ... c Min unsat cost LB: 54344 ... c Min unsat cost LB: 54449 ... c Min unsat cost LB: 54460 ... c Min unsat cost LB: 54485 ... c Min unsat cost LB: 54505 ... c Min unsat cost LB: 54538 ... c Min unsat cost LB: 54599 ... c Min unsat cost LB: 54623 ... c Min unsat cost LB: 54627 ... c Min unsat cost LB: 54636 ... c Min unsat cost LB: 54672 ... c Min unsat cost LB: 54674 ... c Min unsat cost LB: 54944 ... c Min unsat cost LB: 54951 ... c Min unsat cost LB: 54956 ... c Min unsat cost LB: 54958 ... c Min unsat cost LB: 54976 ... c Min unsat cost LB: 54981 ... c Min unsat cost LB: 55000 ... c Min unsat cost LB: 55005 ... c Min unsat cost LB: 55010 ... c Min unsat cost LB: 55011 ... c Min unsat cost LB: 55012 ... c Min unsat cost LB: 55013 ... c Min unsat cost LB: 55017 ... c Min unsat cost LB: 55282 ... c Min unsat cost LB: 55310 ... c Min unsat cost LB: 55819 ... c Min unsat cost LB: 55860 ... c Min unsat cost LB: 55932 ... c Min unsat cost LB: 56002 ... c Min unsat cost LB: 56057 ... c Min unsat cost LB: 56064 ... c Min unsat cost LB: 56070 ... c Min unsat cost LB: 56111 ... c Min unsat cost LB: 56183 ... c Min unsat cost LB: 56208 ... c Min unsat cost LB: 56421 ... c Min unsat cost LB: 56522 ... c Min unsat cost LB: 56563 ... c Min unsat cost LB: 56577 ... c Min unsat cost LB: 56735 ... c Min unsat cost LB: 56972 ... c Min unsat cost LB: 56982 ... c Min unsat cost LB: 57027 ... c Min unsat cost LB: 57529 ... c Min unsat cost LB: 57693 ... c Min unsat cost LB: 57761 ... c Min unsat cost LB: 57820 ... c Min unsat cost LB: 57965 ... c Min unsat cost LB: 57967 ... c Min unsat cost LB: 58018 ... c Min unsat cost LB: 58033 ... c Min unsat cost LB: 58075 ... c Min unsat cost LB: 58197 ... c Min unsat cost LB: 58258 ... c Min unsat cost LB: 58268 ... c Min unsat cost LB: 58292 ... c Min unsat cost LB: 58336 ... c Min unsat cost LB: 58397 ... c Min unsat cost LB: 58416 ... c Min unsat cost LB: 58417 ... c Min unsat cost LB: 58561 ... c Min unsat cost LB: 58585 ... c Min unsat cost LB: 58608 ... c Min unsat cost LB: 58630 ... c Min unsat cost LB: 58651 ... c Min unsat cost LB: 58661 ... c Min unsat cost LB: 58704 ... c Min unsat cost LB: 58737 ... c Min unsat cost LB: 58945 ... c Min unsat cost LB: 59025 ... c Min unsat cost LB: 59028 ... c Min unsat cost LB: 59594 ... c Min unsat cost LB: 59695 ... c Min unsat cost LB: 59752 ... c Min unsat cost LB: 59799 ... c Min unsat cost LB: 59838 ... c Min unsat cost LB: 60011 ... c Min unsat cost LB: 60047 ... c Min unsat cost LB: 60119 ... c Min unsat cost LB: 60121 ... c Min unsat cost LB: 60731 ... c Min unsat cost LB: 60801 ... c Min unsat cost LB: 60936 ... c Min unsat cost LB: 61016 ... c Min unsat cost LB: 61065 ... c Min unsat cost LB: 61198 ... c Min unsat cost LB: 61260 ... c Min unsat cost LB: 61499 ... c Min unsat cost LB: 61540 ... c Min unsat cost LB: 61584 ... c Min unsat cost LB: 61651 ... c Min unsat cost LB: 61668 ... c Min unsat cost LB: 61800 ... c Min unsat cost LB: 61836 ... c Min unsat cost LB: 61844 ... c Min unsat cost LB: 61848 ... c Min unsat cost LB: 61909 ... c Min unsat cost LB: 61913 ... c Min unsat cost LB: 61914 ... c Min unsat cost LB: 61916 ... c Min unsat cost LB: 62052 ... c Min unsat cost LB: 62552 ... c Min unsat cost LB: 62625 ... c Min unsat cost LB: 62733 ... c Min unsat cost LB: 62816 ... c Min unsat cost LB: 62846 ... c Min unsat cost LB: 62850 ... c Min unsat cost LB: 62858 ... c Min unsat cost LB: 62877 ... c Min unsat cost LB: 62883 ... c Min unsat cost LB: 63061 ... c Min unsat cost LB: 63128 ... c Min unsat cost LB: 63487 ... c Min unsat cost LB: 63509 ... c Min unsat cost LB: 63916 ... c Min unsat cost LB: 64000 ... c Min unsat cost LB: 64089 ... c Min unsat cost LB: 64204 ... c Min unsat cost LB: 64217 ... c Min unsat cost LB: 64242 ... c Min unsat cost LB: 64579 ... c Min unsat cost LB: 64639 ... c Min unsat cost LB: 64686 ... c Min unsat cost LB: 64690 ... c Min unsat cost LB: 64738 ... c Min unsat cost LB: 64885 ... c Min unsat cost LB: 64931 ... c Min unsat cost LB: 65007 ... c Min unsat cost LB: 65008 ... c Min unsat cost LB: 65009 ... c Min unsat cost LB: 65010 ... c Min unsat cost LB: 65011 ... c Min unsat cost LB: 65012 ... c Min unsat cost LB: 65013 ... c Min unsat cost LB: 65014 ... c Min unsat cost LB: 65015 ... c Min unsat cost LB: 65016 ... c Min unsat cost LB: 65018 ... c Min unsat cost LB: 65019 ... c Min unsat cost LB: 65020 ... c Min unsat cost LB: 65021 ... c Min unsat cost LB: 65022 ... c Min unsat cost LB: 65036 ... c Min unsat cost LB: 65103 ... c Min unsat cost LB: 65209 ... c Min unsat cost LB: 65302 ... c Min unsat cost LB: 65304 ... c Min unsat cost LB: 65305 ... c Min unsat cost LB: 65307 ... c Min unsat cost LB: 65311 ... c Min unsat cost LB: 65312 ... c Min unsat cost LB: 65317 ... c Min unsat cost LB: 65318 ... c Min unsat cost LB: 65322 ... c Min unsat cost LB: 65459 ... c Min unsat cost LB: 65715 ... c Min unsat cost LB: 65716 ... c Min unsat cost LB: 65781 ... c Min unsat cost LB: 65783 ... c Min unsat cost LB: 65788 ... c Min unsat cost LB: 65792 ... c Min unsat cost LB: 65838 ... c Min unsat cost LB: 65882 ... c Min unsat cost LB: 65888 ... c Min unsat cost LB: 65889 ... c Min unsat cost LB: 65893 ... c Min unsat cost LB: 65921 ... c Min unsat cost LB: 65937 ... c Min unsat cost LB: 66038 ... c Min unsat cost LB: 66039 ... c Min unsat cost LB: 66041 ... c Min unsat cost LB: 66068 ... c Min unsat cost LB: 66078 ... c Min unsat cost LB: 66084 ... c Min unsat cost LB: 66085 ... c Min unsat cost LB: 66086 ... c Min unsat cost LB: 66087 ... c Min unsat cost LB: 66088 ... c Min unsat cost LB: 66089 ... c Min unsat cost LB: 66090 ... c Min unsat cost LB: 66091 ... c Min unsat cost LB: 66097 ... c Min unsat cost LB: 66098 ... c Min unsat cost LB: 66099 ... c Min unsat cost LB: 66105 ... c Min unsat cost LB: 66140 ... c Min unsat cost LB: 66177 ... c Min unsat cost LB: 66203 ... c Min unsat cost LB: 66272 ... c Min unsat cost LB: 66287 ... c Min unsat cost LB: 66319 ... c Min unsat cost LB: 66327 ... c Min unsat cost LB: 66330 ... c Min unsat cost LB: 66352 ... c Min unsat cost LB: 66353 ... c Min unsat cost LB: 66390 ... c Min unsat cost LB: 66396 ... c Min unsat cost LB: 66422 ... c Min unsat cost LB: 66444 ... c Min unsat cost LB: 66459 ... c Min unsat cost LB: 66470 ... c Min unsat cost LB: 66476 ... c Min unsat cost LB: 66491 ... c Min unsat cost LB: 66498 ... c Min unsat cost LB: 66501 ... c Min unsat cost LB: 66506 ... c Min unsat cost LB: 66507 ... c Min unsat cost LB: 66508 ... c Min unsat cost LB: 66509 ... c Min unsat cost LB: 66510 ... c Min unsat cost LB: 66511 ... c Min unsat cost LB: 66512 ... c Min unsat cost LB: 66513 ... c Min unsat cost LB: 66514 ... c Min unsat cost LB: 66515 ... c Min unsat cost LB: 66516 ... c Min unsat cost LB: 66517 ... c Min unsat cost LB: 66518 ... c Min unsat cost LB: 66519 ... c Min unsat cost LB: 66520 ... c Min unsat cost LB: 66521 ... c Min unsat cost LB: 66522 ... c Min unsat cost LB: 66523 ... c Min unsat cost LB: 66524 ... c Min unsat cost LB: 66525 ... c Min unsat cost LB: 66526 ... c Min unsat cost LB: 66527 ... c Min unsat cost LB: 66528 ... c Min unsat cost LB: 66529 ... c Min unsat cost LB: 66530 ... c Min unsat cost LB: 66531 ... c Min unsat cost LB: 66532 ... c Min unsat cost LB: 66533 ... c Min unsat cost LB: 66597 ... c Min unsat cost LB: 66643 ... c Min unsat cost LB: 66734 ... c Min unsat cost LB: 66786 ... c Min unsat cost LB: 66808 ... c Min unsat cost LB: 66894 ... c Min unsat cost LB: 67010 ... c Min unsat cost LB: 67032 ... c Min unsat cost LB: 67110 ... c Min unsat cost LB: 67132 ... c Min unsat cost LB: 67171 ... c Min unsat cost LB: 67228 ... c Min unsat cost LB: 67283 ... c Min unsat cost LB: 67359 ... c Min unsat cost LB: 67486 ... c Min unsat cost LB: 67544 ... c Min unsat cost LB: 67597 ... c Min unsat cost LB: 67757 ... c Min unsat cost LB: 67890 ... c Min unsat cost LB: 67939 ... c Min unsat cost LB: 67947 ... c Min unsat cost LB: 67952 ... c Min unsat cost LB: 67961 ... c Min unsat cost LB: 67971 ... c Min unsat cost LB: 68023 ... c Min unsat cost LB: 68036 ... c Min unsat cost LB: 68063 ... c Min unsat cost LB: 68133 ... c Min unsat cost LB: 68194 ... c Min unsat cost LB: 68206 ... c Min unsat cost LB: 68261 ... c Min unsat cost LB: 68365 ... c Min unsat cost LB: 68584 ... c Min unsat cost LB: 68766 ... c Min unsat cost LB: 68803 ... c Min unsat cost LB: 68825 ... c Min unsat cost LB: 68863 ... c Min unsat cost LB: 68877 ... c Min unsat cost LB: 68879 ... c Min unsat cost LB: 68910 ... c Min unsat cost LB: 68929 ... c Min unsat cost LB: 68932 ... c Min unsat cost LB: 68941 ... c Min unsat cost LB: 68946 ... c Min unsat cost LB: 68947 ... c Min unsat cost LB: 68955 ... c Min unsat cost LB: 68956 ... c Min unsat cost LB: 69043 ... c Min unsat cost LB: 69053 ... c Min unsat cost LB: 69074 ... c Min unsat cost LB: 69075 ... c Min unsat cost LB: 69076 ... c Min unsat cost LB: 69077 ... c Min unsat cost LB: 69089 ... c Min unsat cost LB: 69128 ... c Min unsat cost LB: 69130 ... c Min unsat cost LB: 69219 ... c Min unsat cost LB: 69221 ... c Min unsat cost LB: 69265 ... c Min unsat cost LB: 69290 ... c Min unsat cost LB: 69300 ... c Min unsat cost LB: 69305 ... c Min unsat cost LB: 69307 ... c Min unsat cost LB: 69325 ... c Min unsat cost LB: 69344 ... c Min unsat cost LB: 69351 ... c Min unsat cost LB: 69366 ... c Min unsat cost LB: 69375 ... c Min unsat cost LB: 69380 ... c Min unsat cost LB: 69405 ... c Min unsat cost LB: 69409 ... c Min unsat cost LB: 69427 ... c Min unsat cost LB: 69429 ... c Min unsat cost LB: 69436 ... c Min unsat cost LB: 69438 ... c Min unsat cost LB: 69450 ... c Min unsat cost LB: 69472 ... c Min unsat cost LB: 69481 ... c Min unsat cost LB: 69486 ... c Min unsat cost LB: 69487 ... c Min unsat cost LB: 69490 ... c Min unsat cost LB: 69505 ... c Min unsat cost LB: 69509 ... c Min unsat cost LB: 69511 ... c Min unsat cost LB: 69519 ... c Min unsat cost LB: 69550 ... c Min unsat cost LB: 69551 ... c Min unsat cost LB: 69552 ... c Min unsat cost LB: 69555 ... c Min unsat cost LB: 69557 ... c Min unsat cost LB: 69562 ... c Min unsat cost LB: 69569 ... c Min unsat cost LB: 69582 ... c Min unsat cost LB: 69593 ... c Min unsat cost LB: 69594 ... c Min unsat cost LB: 69615 ... c Min unsat cost LB: 69622 ... c Min unsat cost LB: 69625 ... c Min unsat cost LB: 69626 ... c Min unsat cost LB: 69630 ... c Min unsat cost LB: 69631 ... c Min unsat cost LB: 69633 ... c Min unsat cost LB: 69634 ... c Min unsat cost LB: 69639 ... c Min unsat cost LB: 69646 ... c Min unsat cost LB: 69648 ... c Min unsat cost LB: 69656 ... c Min unsat cost LB: 69657 ... c Min unsat cost LB: 69661 ... c Min unsat cost LB: 69679 ... c Min unsat cost LB: 69680 ... c Min unsat cost LB: 69686 ... c Min unsat cost LB: 69690 ... c Min unsat cost LB: 69691 ... c Min unsat cost LB: 69692 ... c Min unsat cost LB: 69694 ... c Min unsat cost LB: 69696 ... c Min unsat cost LB: 69697 ... c Min unsat cost LB: 69701 ... c Min unsat cost LB: 69704 ... c Min unsat cost LB: 69707 ... c Min unsat cost LB: 69709 ... c Min unsat cost LB: 69710 ... c Min unsat cost LB: 69723 ... c Min unsat cost LB: 69728 ... c Min unsat cost LB: 69730 ... c Min unsat cost LB: 69732 ... c Min unsat cost LB: 69734 ... c Min unsat cost LB: 69737 ... c Min unsat cost LB: 69744 ... c Min unsat cost LB: 69745 ... c Min unsat cost LB: 69751 ... c Min unsat cost LB: 69761 ... c Min unsat cost LB: 69762 ... c Min unsat cost LB: 69767 ... c Min unsat cost LB: 69769 ... c Min unsat cost LB: 69770 ... c Min unsat cost LB: 69772 ... c Min unsat cost LB: 69773 ... c Min unsat cost LB: 69774 ... c Min unsat cost LB: 69775 ... c Min unsat cost LB: 69776 ... c Min unsat cost LB: 69777 ... c Min unsat cost LB: 69781 ... c Min unsat cost LB: 69782 ... c Min unsat cost LB: 69783 ... c Min unsat cost LB: 69784 ... c Min unsat cost LB: 69785 ... c Min unsat cost LB: 69787 ... c Min unsat cost LB: 69788 ... c Min unsat cost LB: 69789 ... c Min unsat cost LB: 69790 ... c Min unsat cost LB: 69793 ... c Min unsat cost LB: 69794 ... c Min unsat cost LB: 69795 ... c Min unsat cost LB: 69796 ... c Min unsat cost LB: 69797 ... c Min unsat cost LB: 69801 ... c Min unsat cost LB: 69803 ... c Min unsat cost LB: 69804 ... c Min unsat cost LB: 69806 ... c Min unsat cost LB: 69810 ... c Min unsat cost LB: 69861 ... c Min unsat cost LB: 69872 ... c Min unsat cost LB: 69874 ... c Min unsat cost LB: 70273 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70541 ... c Min unsat cost LB: 70542 ... c Min unsat cost LB: 70544 ... c Min unsat cost LB: 70547 ... c Min unsat cost LB: 70549 ... c Min unsat cost LB: 70557 ... c Min unsat cost LB: 70563 ... c Min unsat cost LB: 70566 ... c Min unsat cost LB: 70567 ... c Min unsat cost LB: 70568 ... c Min unsat cost LB: 70569 ... c Min unsat cost LB: 70603 ... c Min unsat cost LB: 70647 ... c Min unsat cost LB: 70769 ... c Min unsat cost LB: 70787 ... c Min unsat cost LB: 70790 ... c Min unsat cost LB: 70866 ... c Min unsat cost LB: 70894 ... c Min unsat cost LB: 70933 ... c Min unsat cost LB: 70964 ... c Min unsat cost LB: 70965 ... c Min unsat cost LB: 70966 ... c Min unsat cost LB: 70967 ... c Min unsat cost LB: 70970 ... c Min unsat cost LB: 70971 ... c Min unsat cost LB: 70972 ... c Min unsat cost LB: 70973 ... c Min unsat cost LB: 70974 ... c Min unsat cost LB: 70975 ... c Min unsat cost LB: 70976 ... c Min unsat cost LB: 70977 ... c Min unsat cost LB: 70978 ... c Min unsat cost LB: 70979 ... c Min unsat cost LB: 70980 ... c Min unsat cost LB: 70988 ... c Min unsat cost LB: 70990 ... c Min unsat cost LB: 71001 ... c Min unsat cost LB: 71004 ... c Min unsat cost LB: 71007 ... c Min unsat cost LB: 71025 ... c Min unsat cost LB: 71028 ... c Min unsat cost LB: 71029 ... c Min unsat cost LB: 71030 ... c Min unsat cost LB: 71032 ... c Min unsat cost LB: 71035 ... c Min unsat cost LB: 71041 ... c Min unsat cost LB: 71042 ... c Min unsat cost LB: 71043 ... c Min unsat cost LB: 71044 ... c Min unsat cost LB: 71045 ... c Min unsat cost LB: 71046 ... c Min unsat cost LB: 71047 ... c Min unsat cost LB: 71048 ... c Min unsat cost LB: 71049 ... c Min unsat cost LB: 71050 ... c Min unsat cost LB: 71051 ... c Min unsat cost LB: 71052 ... c Min unsat cost LB: 71053 ... c Min unsat cost LB: 71054 ... c Min unsat cost LB: 71055 ... c Min unsat cost LB: 71056 ... c Min unsat cost LB: 71057 ... c Min unsat cost LB: 71058 ... c Min unsat cost LB: 71059 ... c Min unsat cost LB: 71061 ... c Min unsat cost LB: 71062 ... c Min unsat cost LB: 71063 ... c Min unsat cost LB: 71064 ... c Min unsat cost LB: 71065 ... c Min unsat cost LB: 71066 ... c Min unsat cost LB: 71067 ... c Min unsat cost LB: 71068 ... c Min unsat cost LB: 71069 ... c Min unsat cost LB: 71070 ... c Min unsat cost LB: 71071 ... c Min unsat cost LB: 71072 ... c Min unsat cost LB: 71073 ... c Min unsat cost LB: 71074 ... c Min unsat cost LB: 71075 ... c Min unsat cost LB: 71076 ... c Min unsat cost LB: 71086 ... c Min unsat cost LB: 71088 ... c Min unsat cost LB: 71096 ... c Min unsat cost LB: 71104 ... c Min unsat cost LB: 71115 ... c Min unsat cost LB: 71118 ... c Min unsat cost LB: 71121 ... c Min unsat cost LB: 71122 ... c Min unsat cost LB: 71123 ... c Min unsat cost LB: 71265 ... c Min unsat cost LB: 71286 ... c Min unsat cost LB: 71291 ... c Min unsat cost LB: 71295 ... c Min unsat cost LB: 71303 ... c Min unsat cost LB: 71305 ... c Min unsat cost LB: 71308 ... c Min unsat cost LB: 71314 ... c Min unsat cost LB: 71315 ... c Min unsat cost LB: 71322 ... c Min unsat cost LB: 71323 ... c Min unsat cost LB: 71324 ... c Min unsat cost LB: 71325 ... c Min unsat cost LB: 71328 ... c Min unsat cost LB: 71329 ... c Min unsat cost LB: 71330 ... c Min unsat cost LB: 71331 ... c Min unsat cost LB: 71332 ... c Min unsat cost LB: 71333 ... c Min unsat cost LB: 71334 ... c Min unsat cost LB: 71335 ... c Min unsat cost LB: 71336 ... c Min unsat cost LB: 71337 ... c Min unsat cost LB: 71338 ... c Min unsat cost LB: 71339 ... c Min unsat cost LB: 71340 ... c Min unsat cost LB: 71341 ... c Min unsat cost LB: 71342 ... c Min unsat cost LB: 71346 ... c Min unsat cost LB: 71349 ... c Min unsat cost LB: 71357 ... c Min unsat cost LB: 71360 ... c Min unsat cost LB: 71388 ... c Min unsat cost LB: 71406 ... c Min unsat cost LB: 71408 ... c Min unsat cost LB: 71409 ... c Min unsat cost LB: 71410 ... c Min unsat cost LB: 71414 ... c Min unsat cost LB: 71415 ... c Min unsat cost LB: 71416 ... c Min unsat cost LB: 71417 ... c Min unsat cost LB: 71418 ... c Min unsat cost LB: 71419 ... c Min unsat cost LB: 71420 ... c Min unsat cost LB: 71421 ... c Min unsat cost LB: 71422 ... c Min unsat cost LB: 71423 ... c Min unsat cost LB: 71424 ... c Min unsat cost LB: 71425 ... c Min unsat cost LB: 71426 ... c Min unsat cost LB: 71427 ... c Min unsat cost LB: 71428 ... c Min unsat cost LB: 71429 ... c Min unsat cost LB: 71430 ... c Min unsat cost LB: 71431 ... c Min unsat cost LB: 71432 ... c Min unsat cost LB: 71433 ... c Min unsat cost LB: 71434 ... c Min unsat cost LB: 71435 ... c Min unsat cost LB: 71436 ... c Min unsat cost LB: 71441 ... c Min unsat cost LB: 71443 ... c Min unsat cost LB: 71511 ... c Min unsat cost LB: 71675 ... c Min unsat cost LB: 71679 ... c Min unsat cost LB: 71680 ... c Min unsat cost LB: 71687 ... c Min unsat cost LB: 71688 ... c Min unsat cost LB: 72284 ... c Min unsat cost LB: 72285 ... c Min unsat cost LB: 72286 ... c Min unsat cost LB: 72296 ... c Min unsat cost LB: 72322 ... c Min unsat cost LB: 72329 ... c Min unsat cost LB: 72366 ... c Min unsat cost LB: 72367 ... c Min unsat cost LB: 72368 ... c Min unsat cost LB: 72369 ... c Min unsat cost LB: 72370 ... c Min unsat cost LB: 72371 ... c Min unsat cost LB: 72372 ... c Min unsat cost LB: 72373 ... c Min unsat cost LB: 72597 ... c Min unsat cost LB: 72931 ... c Min unsat cost LB: 73457 ... c Min unsat cost LB: 73528 ... c Min unsat cost LB: 73530 ... c Min unsat cost LB: 73636 ... c Min unsat cost LB: 73637 ... c Min unsat cost LB: 73690 ... c Min unsat cost LB: 73767 ... c Min unsat cost LB: 73821 ... c Min unsat cost LB: 73880 ... c Min unsat cost LB: 73910 ... c Min unsat cost LB: 74133 ... c Min unsat cost LB: 74156 ... c Min unsat cost LB: 74255 ... c Min unsat cost LB: 74548 ... c Min unsat cost LB: 74581 ... c Min unsat cost LB: 74582 ... c Min unsat cost LB: 74583 ... c Min unsat cost LB: 74584 ... c Min unsat cost LB: 74593 ... c Min unsat cost LB: 74619 ... c Min unsat cost LB: 74626 ... c Min unsat cost LB: 74628 ... c Min unsat cost LB: 74647 ... c Min unsat cost LB: 74666 ... c Min unsat cost LB: 74693 ... c Min unsat cost LB: 74694 ... c Min unsat cost LB: 74695 ... c Min unsat cost LB: 74696 ... c Min unsat cost LB: 74702 ... c Min unsat cost LB: 74708 ... c Min unsat cost LB: 74709 ... c Min unsat cost LB: 74728 ... c Min unsat cost LB: 74729 ... c Min unsat cost LB: 74730 ... c Min unsat cost LB: 74731 ... c Min unsat cost LB: 74732 ... c Min unsat cost LB: 74733 ... c Min unsat cost LB: 74734 ... c Min unsat cost LB: 74735 ... c Min unsat cost LB: 74736 ... c Min unsat cost LB: 74737 ... c Min unsat cost LB: 74738 ... c Min unsat cost LB: 74752 ... c Min unsat cost LB: 74765 ... c Min unsat cost LB: 74773 ... c Min unsat cost LB: 74782 ... c Min unsat cost LB: 74960 ... c Min unsat cost LB: 74988 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 75009 ... c Min unsat cost LB: 75052 ... c Min unsat cost LB: 75071 ... c Min unsat cost LB: 75082 ... c Min unsat cost LB: 75124 ... c Min unsat cost LB: 75125 ... c Min unsat cost LB: 75134 ... c Min unsat cost LB: 75148 ... c Min unsat cost LB: 75170 ... c Min unsat cost LB: 75198 ... c Min unsat cost LB: 75219 ... c Min unsat cost LB: 75262 ... c Min unsat cost LB: 75263 ... c Min unsat cost LB: 75264 ... c Min unsat cost LB: 75283 ... c Min unsat cost LB: 75284 ... c Min unsat cost LB: 75292 ... c Min unsat cost LB: 75699 ... c Min unsat cost LB: 75832 ... c Min unsat cost LB: 75833 ... c Min unsat cost LB: 75966 ... c Min unsat cost LB: 75970 ... c Min unsat cost LB: 75971 ... c Min unsat cost LB: 75972 ... c Min unsat cost LB: 76013 ... c Min unsat cost LB: 76015 ... c Min unsat cost LB: 76033 ... c Min unsat cost LB: 76034 ... c Min unsat cost LB: 76053 ... c Min unsat cost LB: 76057 ... c Min unsat cost LB: 76076 ... c Min unsat cost LB: 76094 ... c Min unsat cost LB: 76116 ... c Min unsat cost LB: 76118 ... c Min unsat cost LB: 76120 ... c Min unsat cost LB: 76141 ... c Min unsat cost LB: 76153 ... c Min unsat cost LB: 76165 ... c Min unsat cost LB: 76169 ... c Min unsat cost LB: 76174 ... c Min unsat cost LB: 76177 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76184 ... c Min unsat cost LB: 76227 ... c Min unsat cost LB: 76245 ... c Min unsat cost LB: 76286 ... c Min unsat cost LB: 76303 ... c Min unsat cost LB: 76335 ... c Min unsat cost LB: 76550 ... c Min unsat cost LB: 76564 ... c Min unsat cost LB: 77320 ... c Min unsat cost LB: 77328 ... c Min unsat cost LB: 77646 ... c Min unsat cost LB: 77663 ... c Min unsat cost LB: 77678 ... c Min unsat cost LB: 77680 ... c Min unsat cost LB: 77793 ... c Min unsat cost LB: 77885 ... c Min unsat cost LB: 78106 ... c Min unsat cost LB: 78241 ... c Min unsat cost LB: 78405 ... c Min unsat cost LB: 78435 ... c Min unsat cost LB: 78494 ... c Min unsat cost LB: 78543 ... c Min unsat cost LB: 78562 ... c Min unsat cost LB: 78574 ... c Min unsat cost LB: 78595 ... c Min unsat cost LB: 78604 ... c Min unsat cost LB: 78628 ... c Min unsat cost LB: 78727 ... c Min unsat cost LB: 78736 ... c Min unsat cost LB: 78739 ... c Min unsat cost LB: 78743 ... c Min unsat cost LB: 78824 ... c Min unsat cost LB: 78829 ... c Min unsat cost LB: 78843 ... c Min unsat cost LB: 78903 ... c Min unsat cost LB: 78933 ... c Min unsat cost LB: 78959 ... c Min unsat cost LB: 78992 ... c Min unsat cost LB: 79041 ... c Min unsat cost LB: 79119 ... c Min unsat cost LB: 79123 ... c Min unsat cost LB: 79153 ... c Min unsat cost LB: 79156 ... c Min unsat cost LB: 79787 ... c Min unsat cost LB: 79900 ... c Min unsat cost LB: 79933 ... c Min unsat cost LB: 80124 ... c Min unsat cost LB: 80216 ... c Min unsat cost LB: 80223 ... c Min unsat cost LB: 80245 ... c Min unsat cost LB: 80266 ... c Min unsat cost LB: 80269 ... c Min unsat cost LB: 80273 ... c Min unsat cost LB: 80299 ... c Min unsat cost LB: 80346 ... c Min unsat cost LB: 80347 ... c Min unsat cost LB: 80350 ... c Min unsat cost LB: 80351 ... c Min unsat cost LB: 80357 ... c Min unsat cost LB: 80359 ... c Min unsat cost LB: 80368 ... c Min unsat cost LB: 80386 ... c Min unsat cost LB: 80390 ... c Min unsat cost LB: 80391 ... c Min unsat cost LB: 80392 ... c Min unsat cost LB: 80395 ... c Min unsat cost LB: 80398 ... c Min unsat cost LB: 80400 ... c Min unsat cost LB: 80407 ... c Min unsat cost LB: 80409 ... c Min unsat cost LB: 80414 ... c Min unsat cost LB: 80415 ... c Min unsat cost LB: 80428 ... c Min unsat cost LB: 80430 ... c Min unsat cost LB: 80432 ... c Min unsat cost LB: 80444 ... c Min unsat cost LB: 80448 ... c Min unsat cost LB: 80450 ... c Min unsat cost LB: 80458 ... c Min unsat cost LB: 80459 ... c Min unsat cost LB: 80462 ... c Min unsat cost LB: 80465 ... c Min unsat cost LB: 80473 ... c Min unsat cost LB: 80481 ... c Min unsat cost LB: 80483 ... c Min unsat cost LB: 80486 ... c Min unsat cost LB: 80487 ... c Min unsat cost LB: 80488 ... c Min unsat cost LB: 80490 ... c Min unsat cost LB: 80493 ... c Min unsat cost LB: 80502 ... c Min unsat cost LB: 80503 ... c Min unsat cost LB: 80504 ... c Min unsat cost LB: 80507 ... c Min unsat cost LB: 80508 ... c Min unsat cost LB: 80512 ... c Min unsat cost LB: 80513 ... c Min unsat cost LB: 80516 ... c Min unsat cost LB: 80518 ... c Min unsat cost LB: 80520 ... c Min unsat cost LB: 80522 ... c Min unsat cost LB: 80524 ... c Min unsat cost LB: 80526 ... c Min unsat cost LB: 80527 ... c Min unsat cost LB: 80528 ... c Min unsat cost LB: 80529 ... c Min unsat cost LB: 80530 ... c Min unsat cost LB: 80531 ... c Min unsat cost LB: 80532 ... c Min unsat cost LB: 80533 ... c Min unsat cost LB: 80534 ... c Min unsat cost LB: 80535 ... c Min unsat cost LB: 80537 ... c Min unsat cost LB: 80538 ... c Min unsat cost LB: 80540 ... c Min unsat cost LB: 80541 ... c Min unsat cost LB: 80542 ... c Min unsat cost LB: 80544 ... c Min unsat cost LB: 80545 ... c Min unsat cost LB: 80546 ... c Min unsat cost LB: 80547 ... c Min unsat cost LB: 80548 ... c Min unsat cost LB: 80549 ... c Min unsat cost LB: 80550 ... c Min unsat cost LB: 80551 ... c Min unsat cost LB: 80552 ... c Min unsat cost LB: 80553 ... c Min unsat cost LB: 80554 ... c Min unsat cost LB: 80555 ... c Min unsat cost LB: 80556 ... c Min unsat cost LB: 80557 ... c Min unsat cost LB: 80558 ... c Min unsat cost LB: 80559 ... c Min unsat cost LB: 80560 ... c Min unsat cost LB: 80562 ... c Min unsat cost LB: 80563 ... c Min unsat cost LB: 80564 ... c Min unsat cost LB: 80565 ... c Min unsat cosKilled 1812.166u 7.568s 30:23.14 99.8% 0+0k 0+0io 0pf+0w