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-40-2_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-2.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-40-2_network-2.net.wcnf *** c c Min unsat cost LB: 967 ... c Min unsat cost LB: 2745 ... c Min unsat cost LB: 3907 ... c Min unsat cost LB: 4407 ... c Min unsat cost LB: 4738 ... c Min unsat cost LB: 5164 ... c Min unsat cost LB: 5617 ... c Min unsat cost LB: 5776 ... c Min unsat cost LB: 5922 ... c Min unsat cost LB: 6703 ... c Min unsat cost LB: 6769 ... c Min unsat cost LB: 7226 ... c Min unsat cost LB: 7856 ... c Min unsat cost LB: 8316 ... c Min unsat cost LB: 8412 ... c Min unsat cost LB: 8446 ... c Min unsat cost LB: 8499 ... c Min unsat cost LB: 9040 ... c Min unsat cost LB: 9553 ... c Min unsat cost LB: 9776 ... c Min unsat cost LB: 10305 ... c Min unsat cost LB: 10576 ... c Min unsat cost LB: 10630 ... c Min unsat cost LB: 11292 ... c Min unsat cost LB: 11443 ... c Min unsat cost LB: 11909 ... c Min unsat cost LB: 12331 ... c Min unsat cost LB: 12576 ... c Min unsat cost LB: 12658 ... c Min unsat cost LB: 12705 ... c Min unsat cost LB: 12877 ... c Min unsat cost LB: 13234 ... c Min unsat cost LB: 13369 ... c Min unsat cost LB: 13597 ... c Min unsat cost LB: 13636 ... c Min unsat cost LB: 13794 ... c Min unsat cost LB: 14012 ... c Min unsat cost LB: 14520 ... c Min unsat cost LB: 14540 ... c Min unsat cost LB: 14554 ... c Min unsat cost LB: 14597 ... c Min unsat cost LB: 14599 ... c Min unsat cost LB: 14920 ... c Min unsat cost LB: 15636 ... c Min unsat cost LB: 15810 ... c Min unsat cost LB: 15997 ... c Min unsat cost LB: 16644 ... c Min unsat cost LB: 16895 ... c Min unsat cost LB: 17124 ... c Min unsat cost LB: 17253 ... c Min unsat cost LB: 17352 ... c Min unsat cost LB: 17601 ... c Min unsat cost LB: 17843 ... c Min unsat cost LB: 18307 ... c Min unsat cost LB: 18775 ... c Min unsat cost LB: 18777 ... c Min unsat cost LB: 18808 ... c Min unsat cost LB: 18831 ... c Min unsat cost LB: 18954 ... c Min unsat cost LB: 18993 ... c Min unsat cost LB: 19001 ... c Min unsat cost LB: 19061 ... c Min unsat cost LB: 19287 ... c Min unsat cost LB: 19453 ... c Min unsat cost LB: 19616 ... c Min unsat cost LB: 19763 ... c Min unsat cost LB: 20101 ... c Min unsat cost LB: 20145 ... c Min unsat cost LB: 20178 ... c Min unsat cost LB: 20264 ... c Min unsat cost LB: 20274 ... c Min unsat cost LB: 20287 ... c Min unsat cost LB: 20324 ... c Min unsat cost LB: 20430 ... c Min unsat cost LB: 20496 ... c Min unsat cost LB: 20522 ... c Min unsat cost LB: 20549 ... c Min unsat cost LB: 20594 ... c Min unsat cost LB: 21079 ... c Min unsat cost LB: 21277 ... c Min unsat cost LB: 21318 ... c Min unsat cost LB: 21408 ... c Min unsat cost LB: 21504 ... c Min unsat cost LB: 21590 ... c Min unsat cost LB: 21810 ... c Min unsat cost LB: 21837 ... c Min unsat cost LB: 21900 ... c Min unsat cost LB: 21936 ... c Min unsat cost LB: 21985 ... c Min unsat cost LB: 22103 ... c Min unsat cost LB: 22111 ... c Min unsat cost LB: 22258 ... c Min unsat cost LB: 22289 ... c Min unsat cost LB: 22462 ... c Min unsat cost LB: 22479 ... c Min unsat cost LB: 22498 ... c Min unsat cost LB: 22520 ... c Min unsat cost LB: 22530 ... c Min unsat cost LB: 22561 ... c Min unsat cost LB: 22647 ... c Min unsat cost LB: 22655 ... c Min unsat cost LB: 22665 ... c Min unsat cost LB: 22673 ... c Min unsat cost LB: 22682 ... c Min unsat cost LB: 22696 ... c Min unsat cost LB: 22713 ... c Min unsat cost LB: 22716 ... c Min unsat cost LB: 22722 ... c Min unsat cost LB: 22751 ... c Min unsat cost LB: 22761 ... c Min unsat cost LB: 22783 ... c Min unsat cost LB: 22790 ... c Min unsat cost LB: 22802 ... c Min unsat cost LB: 22812 ... c Min unsat cost LB: 22836 ... c Min unsat cost LB: 22985 ... c Min unsat cost LB: 23061 ... c Min unsat cost LB: 23069 ... c Min unsat cost LB: 23075 ... c Min unsat cost LB: 23193 ... c Min unsat cost LB: 23215 ... c Min unsat cost LB: 23279 ... c Min unsat cost LB: 23285 ... c Min unsat cost LB: 23352 ... c Min unsat cost LB: 23364 ... c Min unsat cost LB: 23450 ... c Min unsat cost LB: 23457 ... c Min unsat cost LB: 23476 ... c Min unsat cost LB: 23479 ... c Min unsat cost LB: 23496 ... c Min unsat cost LB: 23504 ... c Min unsat cost LB: 23510 ... c Min unsat cost LB: 23527 ... c Min unsat cost LB: 23558 ... c Min unsat cost LB: 23563 ... c Min unsat cost LB: 23577 ... c Min unsat cost LB: 23580 ... c Min unsat cost LB: 23594 ... c Min unsat cost LB: 23606 ... c Min unsat cost LB: 23609 ... c Min unsat cost LB: 23614 ... c Min unsat cost LB: 23616 ... c Min unsat cost LB: 23621 ... c Min unsat cost LB: 23626 ... c Min unsat cost LB: 23631 ... c Min unsat cost LB: 23834 ... c Min unsat cost LB: 24193 ... c Min unsat cost LB: 24234 ... c Min unsat cost LB: 24290 ... c Min unsat cost LB: 24341 ... c Min unsat cost LB: 24348 ... c Min unsat cost LB: 24546 ... c Min unsat cost LB: 24762 ... c Min unsat cost LB: 24775 ... c Min unsat cost LB: 24830 ... c Min unsat cost LB: 24847 ... c Min unsat cost LB: 24869 ... c Min unsat cost LB: 24957 ... c Min unsat cost LB: 24975 ... c Min unsat cost LB: 25022 ... c Min unsat cost LB: 25033 ... c Min unsat cost LB: 25046 ... c Min unsat cost LB: 25111 ... c Min unsat cost LB: 25122 ... c Min unsat cost LB: 25127 ... c Min unsat cost LB: 25134 ... c Min unsat cost LB: 25176 ... c Min unsat cost LB: 25179 ... c Min unsat cost LB: 25181 ... c Min unsat cost LB: 25186 ... c Min unsat cost LB: 25188 ... c Min unsat cost LB: 25189 ... c Min unsat cost LB: 25191 ... c Min unsat cost LB: 25193 ... c Min unsat cost LB: 25195 ... c Min unsat cost LB: 25196 ... c Min unsat cost LB: 25198 ... c Min unsat cost LB: 25199 ... c Min unsat cost LB: 25200 ... c Min unsat cost LB: 25201 ... c Min unsat cost LB: 25203 ... c Min unsat cost LB: 25205 ... c Min unsat cost LB: 25206 ... c Min unsat cost LB: 25207 ... c Min unsat cost LB: 25208 ... c Min unsat cost LB: 25210 ... c Min unsat cost LB: 25211 ... c Min unsat cost LB: 25212 ... c Min unsat cost LB: 25213 ... c Min unsat cost LB: 25214 ... c Min unsat cost LB: 25216 ... c Min unsat cost LB: 25217 ... c Min unsat cost LB: 25219 ... c Min unsat cost LB: 25225 ... c Min unsat cost LB: 25227 ... c Min unsat cost LB: 25228 ... c Min unsat cost LB: 25231 ... c Min unsat cost LB: 25232 ... c Min unsat cost LB: 25233 ... c Min unsat cost LB: 25234 ... c Min unsat cost LB: 25238 ... c Min unsat cost LB: 25244 ... c Min unsat cost LB: 25250 ... c Min unsat cost LB: 25251 ... c Min unsat cost LB: 25252 ... c Min unsat cost LB: 25255 ... c Min unsat cost LB: 25256 ... c Min unsat cost LB: 25258 ... c Min unsat cost LB: 25259 ... c Min unsat cost LB: 25285 ... c Min unsat cost LB: 25292 ... c Min unsat cost LB: 25313 ... c Min unsat cost LB: 25329 ... c Min unsat cost LB: 25339 ... c Min unsat cost LB: 25342 ... c Min unsat cost LB: 25346 ... c Min unsat cost LB: 25372 ... c Min unsat cost LB: 25374 ... c Min unsat cost LB: 25435 ... c Min unsat cost LB: 25451 ... c Min unsat cost LB: 25452 ... c Min unsat cost LB: 25455 ... c Min unsat cost LB: 25463 ... c Min unsat cost LB: 25464 ... c Min unsat cost LB: 25465 ... c Min unsat cost LB: 25466 ... c Min unsat cost LB: 25467 ... c Min unsat cost LB: 25469 ... c Min unsat cost LB: 25470 ... c Min unsat cost LB: 25471 ... c Min unsat cost LB: 25472 ... c Min unsat cost LB: 25473 ... c Min unsat cost LB: 25474 ... c Min unsat cost LB: 25476 ... c Min unsat cost LB: 25477 ... c Min unsat cost LB: 25478 ... c Min unsat cost LB: 25479 ... c Min unsat cost LB: 25480 ... c Min unsat cost LB: 25481 ... c Min unsat cost LB: 25482 ... c Min unsat cost LB: 25483 ... c Min unsat cost LB: 25484 ... c Min unsat cost LB: 25485 ... c Min unsat cost LB: 25486 ... c Min unsat cost LB: 25487 ... c Min unsat cost LB: 25488 ... c Min unsat cost LB: 25489 ... c Min unsat cost LB: 25490 ... c Min unsat cost LB: 25491 ... c Min unsat cost LB: 25492 ... c Min unsat cost LB: 25493 ... c Min unsat cost LB: 25494 ... c Min unsat cost LB: 25495 ... c Min unsat cost LB: 25497 ... c Min unsat cost LB: 25498 ... c Min unsat cost LB: 25500 ... c Min unsat cost LB: 25502 ... c Min unsat cost LB: 25504 ... c Min unsat cost LB: 25505 ... c Min unsat cost LB: 25506 ... c Min unsat cost LB: 25507 ... c Min unsat cost LB: 25509 ... c Min unsat cost LB: 25510 ... c Min unsat cost LB: 25511 ... c Min unsat cost LB: 25513 ... c Min unsat cost LB: 25514 ... c Min unsat cost LB: 25517 ... c Min unsat cost LB: 25519 ... c Min unsat cost LB: 25520 ... c Min unsat cost LB: 25521 ... c Min unsat cost LB: 25524 ... c Min unsat cost LB: 25526 ... c Min unsat cost LB: 25527 ... c Min unsat cost LB: 25528 ... c Min unsat cost LB: 25529 ... c Min unsat cost LB: 25533 ... c Min unsat cost LB: 25534 ... c Min unsat cost LB: 25535 ... c Min unsat cost LB: 25536 ... c Min unsat cost LB: 25544 ... c Min unsat cost LB: 25559 ... c Min unsat cost LB: 25564 ... c Min unsat cost LB: 25599 ... c Min unsat cost LB: 25617 ... c Min unsat cost LB: 25639 ... c Min unsat cost LB: 25651 ... c Min unsat cost LB: 25670 ... c Min unsat cost LB: 25675 ... c Min unsat cost LB: 25677 ... c Min unsat cost LB: 25686 ... c Min unsat cost LB: 25690 ... c Min unsat cost LB: 25697 ... c Min unsat cost LB: 25699 ... c Min unsat cost LB: 25700 ... c Min unsat cost LB: 25702 ... c Min unsat cost LB: 25704 ... c Min unsat cost LB: 25705 ... c Min unsat cost LB: 25723 ... c Min unsat cost LB: 25725 ... c Min unsat cost LB: 25726 ... c Min unsat cost LB: 25727 ... c Min unsat cost LB: 25728 ... c Min unsat cost LB: 25729 ... c Min unsat cost LB: 25730 ... c Min unsat cost LB: 25731 ... c Min unsat cost LB: 25732 ... c Min unsat cost LB: 25733 ... c Min unsat cost LB: 25734 ... c Min unsat cost LB: 25736 ... c Min unsat cost LB: 25738 ... c Min unsat cost LB: 25739 ... c Min unsat cost LB: 25741 ... c Min unsat cost LB: 25742 ... c Min unsat cost LB: 25743 ... c Min unsat cost LB: 25744 ... c Min unsat cost LB: 25745 ... c Min unsat cost LB: 25746 ... c Min unsat cost LB: 25747 ... c Min unsat cost LB: 25748 ... c Min unsat cost LB: 25749 ... c Min unsat cost LB: 25751 ... c Min unsat cost LB: 25752 ... c Min unsat cost LB: 25754 ... c Min unsat cost LB: 25756 ... c Min unsat cost LB: 25757 ... c Min unsat cost LB: 25758 ... c Min unsat cost LB: 25759 ... c Min unsat cost LB: 25761 ... c Min unsat cost LB: 25762 ... c Min unsat cost LB: 25886 ... c Min unsat cost LB: 25887 ... c Min unsat cost LB: 25888 ... c Min unsat cost LB: 25889 ... c Min unsat cost LB: 25890 ... c Min unsat cost LB: 25891 ... c Min unsat cost LB: 25892 ... c Min unsat cost LB: 25893 ... c Min unsat cost LB: 25894 ... c Min unsat cost LB: 25895 ... c Min unsat cost LB: 25904 ... c Min unsat cost LB: 25911 ... c Min unsat cost LB: 25932 ... c Min unsat cost LB: 25933 ... c Min unsat cost LB: 25944 ... c Min unsat cost LB: 25955 ... c Min unsat cost LB: 25966 ... c Min unsat cost LB: 25967 ... c Min unsat cost LB: 25968 ... c Min unsat cost LB: 25969 ... c Min unsat cost LB: 25970 ... c Min unsat cost LB: 25971 ... c Min unsat cost LB: 25972 ... c Min unsat cost LB: 25973 ... c Min unsat cost LB: 25975 ... c Min unsat cost LB: 25976 ... c Min unsat cost LB: 25977 ... c Min unsat cost LB: 25986 ... c Min unsat cost LB: 26005 ... c Min unsat cost LB: 26006 ... c Min unsat cost LB: 26007 ... c Min unsat cost LB: 26015 ... c Min unsat cost LB: 26016 ... c Min unsat cost LB: 26017 ... c Min unsat cost LB: 26020 ... c Min unsat cost LB: 26023 ... c Min unsat cost LB: 26024 ... c Min unsat cost LB: 26025 ... c Min unsat cost LB: 26386 ... c Min unsat cost LB: 26467 ... c Min unsat cost LB: 26468 ... c Min unsat cost LB: 26469 ... c Min unsat cost LB: 26470 ... c Min unsat cost LB: 26471 ... c Min unsat cost LB: 26472 ... c Min unsat cost LB: 26473 ... c Min unsat cost LB: 26475 ... c Min unsat cost LB: 26607 ... c Min unsat cost LB: 26608 ... c Min unsat cost LB: 26609 ... c Min unsat cost LB: 26610 ... c Min unsat cost LB: 26611 ... c Min unsat cost LB: 26613 ... c Min unsat cost LB: 26614 ... c Min unsat cost LB: 26615 ... c Min unsat cost LB: 26616 ... c Min unsat cost LB: 26617 ... c Min unsat cost LB: 26618 ... c Min unsat cost LB: 26619 ... c Min unsat cost LB: 26620 ... c Min unsat cost LB: 26621 ... c Min unsat cost LB: 26622 ... c Min unsat cost LB: 26623 ... c Min unsat cost LB: 26624 ... c Min unsat cost LB: 26625 ... c Min unsat cost LB: 26626 ... c Min unsat cost LB: 26627 ... c Min unsat cost LB: 26628 ... c Min unsat cost LB: 26629 ... c Min unsat cost LB: 26630 ... c Min unsat cost LB: 26631 ... c Min unsat cost LB: 26632 ... c Min unsat cost LB: 26633 ... c Min unsat cost LB: 26634 ... c Min unsat cost LB: 26635 ... c Min unsat cost LB: 26636 ... c Min unsat cost LB: 26637 ... c Min unsat cost LB: 26638 ... c Min unsat cost LB: 26639 ... c Min unsat cost LB: 26640 ... c Min unsat cost LB: 26641 ... c Min unsat cost LB: 26642 ... c Min unsat cost LB: 26643 ... c Min unsat cost LB: 26644 ... c Min unsat cost LB: 26645 ... c Min unsat cost LB: 26646 ... c Min unsat cost LB: 26647 ... c Min unsat cost LB: 26648 ... c Min unsat cost LB: 26649 ... c Min unsat cost LB: 26650 ... c Min unsat cost LB: 26651 ... c Min unsat cost LB: 26652 ... c Min unsat cost LB: 26653 ... c Min unsat cost LB: 26654 ... c Min unsat cost LB: 26655 ... c Min unsat cost LB: 26656 ... c Min unsat cost LB: 26657 ... c Min unsat cost LB: 26658 ... c Min unsat cost LB: 26659 ... c Min unsat cost LB: 26660 ... c Min unsat cost LB: 26661 ... c Min unsat cost LB: 26663 ... c Min unsat cost LB: 26667 ... c Min unsat cost LB: 26670 ... c Min unsat cost LB: 26676 ... c Min unsat cost LB: 26678 ... c Min unsat cost LB: 26679 ... c Min unsat cost LB: 26681 ... c Min unsat cost LB: 26682 ... c Min unsat cost LB: 26685 ... c Min unsat cost LB: 26686 ... c Min unsat cost LB: 26687 ... c Min unsat cost LB: 26688 ... c Min unsat cost LB: 26689 ... c Min unsat cost LB: 26691 ... c Min unsat cost LB: 26692 ... c Min unsat cost LB: 26693 ... c Min unsat cost LB: 26696 ... c Min unsat cost LB: 26698 ... c Min unsat cost LB: 26699 ... c Min unsat cost LB: 26731 ... c Min unsat cost LB: 26733 ... c Min unsat cost LB: 26796 ... c Min unsat cost LB: 26875 ... c Min unsat cost LB: 26878 ... c Min unsat cost LB: 26880 ... c Min unsat cost LB: 26883 ... c Min unsat cost LB: 26894 ... c Min unsat cost LB: 26901 ... c Min unsat cost LB: 26902 ... c Min unsat cost LB: 26912 ... c Min unsat cost LB: 26914 ... c Min unsat cost LB: 26915 ... c Min unsat cost LB: 26916 ... c Min unsat cost LB: 26918 ... c Min unsat cost LB: 26920 ... c Min unsat cost LB: 26921 ... c Min unsat cost LB: 26923 ... c Min unsat cost LB: 26926 ... c Min unsat cost LB: 26932 ... c Min unsat cost LB: 26938 ... c Min unsat cost LB: 26939 ... c Min unsat cost LB: 26945 ... c Min unsat cost LB: 26946 ... c Min unsat cost LB: 26947 ... c Min unsat cost LB: 26948 ... c Min unsat cost LB: 26949 ... c Min unsat cost LB: 26951 ... c Min unsat cost LB: 26952 ... c Min unsat cost LB: 26954 ... c Min unsat cost LB: 26955 ... c Min unsat cost LB: 26956 ... c Min unsat cost LB: 26962 ... c Min unsat cost LB: 26964 ... c Min unsat cost LB: 26965 ... c Min unsat cost LB: 26966 ... c Min unsat cost LB: 26967 ... c Min unsat cost LB: 26968 ... c Min unsat cost LB: 26971 ... c Min unsat cost LB: 26972 ... c Min unsat cost LB: 26973 ... c Min unsat cost LB: 26974 ... c Min unsat cost LB: 26975 ... c Min unsat cost LB: 26978 ... c Min unsat cost LB: 26979 ... c Min unsat cost LB: 26980 ... c Min unsat cost LB: 26981 ... c Min unsat cost LB: 26982 ... c Min unsat cost LB: 26984 ... c Min unsat cost LB: 26987 ... c Min unsat cost LB: 26989 ... c Min unsat cost LB: 26990 ... c Min unsat cost LB: 26991 ... c Min unsat cost LB: 26992 ... c Min unsat cost LB: 26993 ... c Min unsat cost LB: 26994 ... c Min unsat cost LB: 26995 ... c Min unsat cost LB: 26996 ... c Min unsat cost LB: 26997 ... c Min unsat cost LB: 26998 ... c Min unsat cost LB: 26999 ... c Min unsat cost LB: 27000 ... c Min unsat cost LB: 27002 ... c Min unsat cost LB: 27003 ... c Min unsat cost LB: 27004 ... c Min unsat cost LB: 27005 ... c Min unsat cost LB: 27006 ... c Min unsat cost LB: 27007 ... c Min unsat cost LB: 27008 ... c Min unsat cost LB: 27009 ... c Min unsat cost LB: 27010 ... c Min unsat cost LB: 27011 ... c Min unsat cost LB: 27012 ... c Min unsat cost LB: 27013 ... c Min unsat cost LB: 27014 ... c Min unsat cost LB: 27015 ... c Min unsat cost LB: 27016 ... c Min unsat cost LB: 27017 ... c Min unsat cost LB: 27018 ... c Min unsat cost LB: 27019 ... c Min unsat cost LB: 27020 ... c Min unsat cost LB: 27021 ... c Min unsat cost LB: 27023 ... c Min unsat cost LB: 27024 ... c Min unsat cost LB: 27025 ... c Min unsat cost LB: 27026 ... c Min unsat cost LB: 27027 ... c Min unsat cost LB: 27028 ... c Min unsat cost LB: 27029 ... c Min unsat cost LB: 27030 ... c Min unsat cost LB: 27031 ... c Min unsat cost LB: 27032 ... c Min unsat cost LB: 27033 ... c Min unsat cost LB: 27034 ... c Min unsat cost LB: 27035 ... c Min unsat cost LB: 27036 ... c Min unsat cost LB: 27037 ... c Min unsat cost LB: 27038 ... c Min unsat cost LB: 27039 ... c Min unsat cost LB: 27040 ... c Min unsat cost LB: 27041 ... c Min unsat cost LB: 27042 ... c Min unsat cost LB: 27043 ... c Min unsat cost LB: 27044 ... c Min unsat cost LB: 27045 ... c Min unsat cost LB: 27046 ... c Min unsat cost LB: 27047 ... c Min unsat cost LB: 27048 ... c Min unsat cost LB: 27049 ... c Min unsat cost LB: 27050 ... c Min unsat cost LB: 27051 ... c Min unsat cost LB: 27052 ... c Min unsat cost LB: 27053 ... c Min unsat cost LB: 27054 ... c Min unsat cost LB: 27055 ... c Min unsat cost LB: 27056 ... c Min unsat cost LB: 27057 ... c Min unsat cost LB: 27058 ... c Min unsat cost LB: 27059 ... c Min unsat cost LB: 27060 ... c Min unsat cost LB: 27061 ... c Min unsat cost LB: 27062 ... c Min unsat cost LB: 27063 ... c Min unsat cost LB: 27064 ... c Min unsat cost LB: 27065 ... c Min unsat cost LB: 27068 ... c Min unsat cost LB: 27069 ... c Min unsat cost LB: 27070 ... c Min unsat cost LB: 27071 ... c Min unsat cost LB: 27072 ... c Min unsat cost LB: 27073 ... c Min unsat cost LB: 27074 ... c Min unsat cost LB: 27075 ... c Min unsat cost LB: 27076 ... c Min unsat cost LB: 27077 ... c Min unsat cost LB: 27078 ... c Min unsat cost LB: 27079 ... c Min unsat cost LB: 27080 ... c Min unsat cost LB: 27081 ... c Min unsat cost LB: 27082 ... c Min unsat cost LB: 27083 ... c Min unsat cost LB: 27084 ... c Min unsat cost LB: 27085 ... c Min unsat cost LB: 27086 ... c Min unsat cost LB: 27087 ... c Min unsat cost LB: 27088 ... c Min unsat cost LB: 27089 ... c Min unsat cost LB: 27090 ... c Min unsat cost LB: 27091 ... c Min unsat cost LB: 27092 ... c Min unsat cost LB: 27113 ... c Min unsat cost LB: 27168 ... c Min unsat cost LB: 27190 ... c Min unsat cost LB: 27198 ... c Min unsat cost LB: 27505 ... c Min unsat cost LB: 27506 ... c Min unsat cost LB: 27578 ... c Min unsat cost LB: 27699 ... c Min unsat cost LB: 27803 ... c Min unsat cost LB: 27936 ... c Min unsat cost LB: 28005 ... c Min unsat cost LB: 28050 ... c Min unsat cost LB: 28063 ... c Min unsat cost LB: 28067 ... c Min unsat cost LB: 28073 ... c Min unsat cost LB: 28074 ... c Min unsat cost LB: 28075 ... c Min unsat cost LB: 28076 ... c Min unsat cost LB: 28077 ... c Min unsat cost LB: 28078 ... c Min unsat cost LB: 28079 ... c Min unsat cost LB: 28080 ... c Min unsat cost LB: 28081 ... c Min unsat cost LB: 28082 ... c Min unsat cost LB: 28083 ... c Min unsat cost LB: 28084 ... c Min unsat cost LB: 28085 ... c Min unsat cost LB: 28096 ... c Min unsat cost LB: 28104 ... c Min unsat cost LB: 28105 ... c Min unsat cost LB: 28106 ... c Min unsat cost LB: 28201 ... c Min unsat cost LB: 28241 ... c Min unsat cost LB: 28485 ... c Min unsat cost LB: 28592 ... c Min unsat cost LB: 28683 ... c Min unsat cost LB: 28738 ... c Min unsat cost LB: 29062 ... c Min unsat cost LB: 29097 ... c Min unsat cost LB: 29321 ... c Min unsat cost LB: 29370 ... c Min unsat cost LB: 29437 ... c Min unsat cost LB: 29485 ... c Min unsat cost LB: 29486 ... c Min unsat cost LB: 29487 ... c Min unsat cost LB: 29488 ... c Min unsat cost LB: 29489 ... c Min unsat cost LB: 29490 ... c Min unsat cost LB: 29491 ... c Min unsat cost LB: 29492 ... c Min unsat cost LB: 29493 ... c Min unsat cost LB: 29494 ... c Min unsat cost LB: 29495 ... c Min unsat cost LB: 29498 ... c Min unsat cost LB: 29499 ... c Min unsat cost LB: 29500 ... c Min unsat cost LB: 29501 ... c Min unsat cost LB: 29502 ... c Min unsat cost LB: 29503 ... c Min unsat cost LB: 29504 ... c Min unsat cost LB: 29505 ... c Min unsat cost LB: 29506 ... c Min unsat cost LB: 29507 ... c Min unsat cost LB: 29508 ... c Min unsat cost LB: 29509 ... c Min unsat cost LB: 29510 ... c Min unsat cost LB: 29511 ... c Min unsat cost LB: 29512 ... c Min unsat cost LB: 29513 ... c Min unsat cost LB: 29514 ... c Min unsat cost LB: 29515 ... c Min unsat cost LB: 29516 ... c Min unsat cost LB: 29522 ... c Min unsat cost LB: 29523 ... c Min unsat cost LB: 29524 ... c Min unsat cost LB: 29527 ... c Min unsat cost LB: 29528 ... c Min unsat cost LB: 29529 ... c Min unsat cost LB: 29552 ... c Min unsat cost LB: 29557 ... c Min unsat cost LB: 29558 ... c Min unsat cost LB: 29560 ... c Min unsat cost LB: 29561 ... c Min unsat cost LB: 29562 ... c Min unsat cost LB: 29564 ... c Min unsat cost LB: 29594 ... c Min unsat cost LB: 29605 ... c Min unsat cost LB: 29606 ... c Min unsat cost LB: 29607 ... c Min unsat cost LB: 29608 ... c Min unsat cost LB: 29609 ... c Min unsat cost LB: 29610 ... c Min unsat cost LB: 29611 ... c Min unsat cost LB: 29612 ... c Min unsat cost LB: 29613 ... c Min unsat cost LB: 29614 ... c Min unsat cost LB: 29615 ... c Min unsat cost LB: 29616 ... c Min unsat cost LB: 29617 ... c Min unsat cost LB: 29618 ... c Min unsat cost LB: 29619 ... c Min unsat cost LB: 29620 ... c Min unsat cost LB: 29621 ... c Min unsat cost LB: 29622 ... c Min unsat cost LB: 29623 ... c Min unsat cost LB: 29624 ... c Min unsat cost LB: 29625 ... c Min unsat cost LB: 29626 ... c Min unsat cost LB: 29627 ... c Min unsat cost LB: 29628 ... c Min unsat cost LB: 29629 ... c Min unsat cost LB: 29630 ... c Min unsat cost LB: 29631 ... c Min unsat cost LB: 29632 ... c Min unsat cost LB: 29633 ... c Min unsat cost LB: 29634 ... c Min unsat cost LB: 29635 ... c Min unsat cost LB: 29636 ... c Min unsat cost LB: 29637 ... c Min unsat cost LB: 29638 ... c Min unsat cost LB: 29639 ... c Min unsat cost LB: 29640 ... c Min unsat cost LB: 29641 ... c Min unsat cost LB: 29642 ... c Min unsat cost LB: 29653 ... c Min unsat cost LB: 29655 ... c Min unsat cost LB: 29656 ... c Min unsat cost LB: 29657 ... c Min unsat cost LB: 29658 ... c Min unsat cost LB: 29659 ... c Min unsat cost LB: 29660 ... c Min unsat cost LB: 29661 ... c Min unsat cost LB: 29662 ... c Min unsat cost LB: 29663 ... c Min unsat cost LB: 29664 ... c Min unsat cost LB: 29665 ... c Min unsat cost LB: 29666 ... c Min unsat cost LB: 29667 ... c Min unsat cost LB: 29668 ... c Min unsat cost LB: 29669 ... c Min unsat cost LB: 29670 ... c Min unsat cost LB: 29671 ... c Min unsat cost LB: 29672 ... c Min unsat cost LB: 29673 ... c Min unsat cost LB: 29674 ... c Min unsat cost LB: 29675 ... c Min unsat cost LB: 29676 ... c Min unsat cost LB: 29677 ... c Min unsat cost LB: 29678 ... c Min unsat cost LB: 29679 ... c Min unsat cost LB: 29680 ... c Min unsat cost LB: 29681 ... c Min unsat cost LB: 29682 ... c Min unsat cost LB: 29683 ... c Min unsat cost LB: 29684 ... c Min unsat cost LB: 29685 ... c Min unsat cost LB: 29686 ... c Min unsat cost LB: 29687 ... c Min unsat cost LB: 29688 ... c Min unsat cost LB: 29689 ... c Min unsat cost LB: 29690 ... c Min unsat cost LB: 29691 ... c Min unsat cost LB: 29692 ... c Min unsat cost LB: 29693 ... c Min unsat cost LB: 29694 ... c Min unsat cost LB: 29695 ... c Min unsat cost LB: 29696 ... c Min unsat cost LB: 29697 ... c Min unsat cost LB: 29698 ... c Min unsat cost LB: 29699 ... c Min unsat cost LB: 29700 ... c Min unsat cost LB: 29701 ... c Min unsat cost LB: 29702 ... c Min unsat cost LB: 29703 ... c Min unsat cost LB: 29704 ... c Min unsat cost LB: 29705 ... c Min unsat cost LB: 29706 ... c Min unsat cost LB: 29707 ... c Min unsat cost LB: 29739 ... c Min unsat cost LB: 29744 ... c Min unsat cost LB: 29745 ... c Min unsat cost LB: 29746 ... c Min unsat cost LB: 29747 ... c Min unsat cost LB: 29748 ... c Min unsat cost LB: 29749 ... c Min unsat cost LB: 29750 ... c Min unsat cost LB: 29751 ... c Min unsat cost LB: 29752 ... c Min unsat cost LB: 29753 ... c Min unsat cost LB: 29754 ... c Min unsat cost LB: 29755 ... c Min unsat cost LB: 29756 ... c Min unsat cost LB: 29757 ... c Min unsat cost LB: 29758 ... c Min unsat cost LB: 29759 ... c Min unsat cost LB: 29760 ... c Min unsat cost LB: 29761 ... c Min unsat cost LB: 29762 ... c Min unsat cost LB: 29763 ... c Min unsat cost LB: 29822 ... c Min unsat cost LB: 29831 ... c Min unsat cost LB: 29964 ... c Min unsat cost LB: 30074 ... c Min unsat cost LB: 30095 ... c Min unsat cost LB: 30193 ... c Min unsat cost LB: 30238 ... c Min unsat cost LB: 30314 ... c Min unsat cost LB: 30373 ... c Min unsat cost LB: 30453 ... c Min unsat cost LB: 30454 ... c Min unsat cost LB: 30455 ... c Min unsat cost LB: 30487 ... c Min unsat cost LB: 30574 ... c Min unsat cost LB: 30685 ... c Min unsat cost LB: 30921 ... c Min unsat cost LB: 30945 ... c Min unsat cost LB: 30991 ... c Min unsat cost LB: 31038 ... c Min unsat cost LB: 31047 ... c Min unsat cost LB: 31049 ... c Min unsat cost LB: 31127 ... c Min unsat cost LB: 31243 ... c Min unsat cost LB: 31273 ... c Min unsat cost LB: 32193 ... c Min unsat cost LB: 32214 ... c Min unsat cost LB: 32286 ... c Min unsat cost LB: 32358 ... c Min unsat cost LB: 32509 ... c Min unsat cost LB: 32658 ... c Min unsat cost LB: 32712 ... c Min unsat cost LB: 32789 ... c Min unsat cost LB: 32833 ... c Min unsat cost LB: 32857 ... c Min unsat cost LB: 32862 ... c Min unsat cost LB: 32876 ... c Min unsat cost LB: 32905 ... c Min unsat cost LB: 33014 ... c Min unsat cost LB: 33113 ... c Min unsat cost LB: 33315 ... c Min unsat cost LB: 33329 ... o 33329 s OPTIMUM FOUND v 1 -2 3 -4 -5 6 -7 -8 -9 10 -11 -12 -13 14 -15 -16 -17 18 19 -20 21 -22 -23 -24 25 -26 27 -28 -29 -30 31 -32 -33 -34 35 36 -37 -38 -39 40 -41 -42 43 -44 -45 -46 47 -48 -49 50 -51 -52 -53 54 55 -56 -57 -58 59 -60 -61 -62 63 -64 -65 -66 -67 68 -69 70 -71 -72 -73 74 -75 -76 -77 78 -79 -80 81 -82 83 84 -85 -86 -87 88 -89 90 -91 -92 -93 94 95 -96 -97 98 -99 100 -101 -102 103 -104 -105 106 -107 108 -109 -110 -111 112 c CPU Time: 1624.94 1625.453u 5.151s 50:09.96 54.1% 0+0k 0+0io 0pf+0w