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-80-2_network-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-4.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-80-2_network-4.net.wcnf *** c c Min unsat cost LB: 1050 ... c Min unsat cost LB: 1414 ... c Min unsat cost LB: 1811 ... c Min unsat cost LB: 2597 ... c Min unsat cost LB: 3323 ... c Min unsat cost LB: 5107 ... c Min unsat cost LB: 5497 ... c Min unsat cost LB: 6578 ... c Min unsat cost LB: 7912 ... c Min unsat cost LB: 7999 ... c Min unsat cost LB: 8348 ... c Min unsat cost LB: 9015 ... c Min unsat cost LB: 10400 ... c Min unsat cost LB: 11507 ... c Min unsat cost LB: 11954 ... c Min unsat cost LB: 12179 ... c Min unsat cost LB: 13397 ... c Min unsat cost LB: 14858 ... c Min unsat cost LB: 16623 ... c Min unsat cost LB: 17669 ... c Min unsat cost LB: 18282 ... c Min unsat cost LB: 19351 ... c Min unsat cost LB: 19507 ... c Min unsat cost LB: 19930 ... c Min unsat cost LB: 20028 ... c Min unsat cost LB: 20039 ... c Min unsat cost LB: 20072 ... c Min unsat cost LB: 20359 ... c Min unsat cost LB: 20507 ... c Min unsat cost LB: 21331 ... c Min unsat cost LB: 21418 ... c Min unsat cost LB: 21860 ... c Min unsat cost LB: 22095 ... c Min unsat cost LB: 23139 ... c Min unsat cost LB: 23348 ... c Min unsat cost LB: 23636 ... c Min unsat cost LB: 24053 ... c Min unsat cost LB: 24060 ... c Min unsat cost LB: 24204 ... c Min unsat cost LB: 24683 ... c Min unsat cost LB: 25001 ... c Min unsat cost LB: 25167 ... c Min unsat cost LB: 25942 ... c Min unsat cost LB: 26059 ... c Min unsat cost LB: 26417 ... c Min unsat cost LB: 26641 ... c Min unsat cost LB: 26990 ... c Min unsat cost LB: 27068 ... c Min unsat cost LB: 27079 ... c Min unsat cost LB: 27503 ... c Min unsat cost LB: 27534 ... c Min unsat cost LB: 28112 ... c Min unsat cost LB: 28534 ... c Min unsat cost LB: 28552 ... c Min unsat cost LB: 29004 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29382 ... c Min unsat cost LB: 29443 ... c Min unsat cost LB: 29679 ... c Min unsat cost LB: 29950 ... c Min unsat cost LB: 29954 ... c Min unsat cost LB: 30095 ... c Min unsat cost LB: 31575 ... c Min unsat cost LB: 31919 ... c Min unsat cost LB: 31958 ... c Min unsat cost LB: 32002 ... c Min unsat cost LB: 32385 ... c Min unsat cost LB: 32430 ... c Min unsat cost LB: 32618 ... c Min unsat cost LB: 32666 ... c Min unsat cost LB: 32722 ... c Min unsat cost LB: 32804 ... c Min unsat cost LB: 32877 ... c Min unsat cost LB: 33034 ... c Min unsat cost LB: 33106 ... c Min unsat cost LB: 34351 ... c Min unsat cost LB: 34716 ... c Min unsat cost LB: 34954 ... c Min unsat cost LB: 35042 ... c Min unsat cost LB: 35099 ... c Min unsat cost LB: 35463 ... c Min unsat cost LB: 35575 ... c Min unsat cost LB: 35685 ... c Min unsat cost LB: 36015 ... c Min unsat cost LB: 36642 ... c Min unsat cost LB: 37037 ... c Min unsat cost LB: 37467 ... c Min unsat cost LB: 37629 ... c Min unsat cost LB: 37633 ... c Min unsat cost LB: 37904 ... c Min unsat cost LB: 38109 ... c Min unsat cost LB: 38439 ... c Min unsat cost LB: 38570 ... c Min unsat cost LB: 38656 ... c Min unsat cost LB: 38751 ... c Min unsat cost LB: 38804 ... c Min unsat cost LB: 38845 ... c Min unsat cost LB: 38966 ... c Min unsat cost LB: 39011 ... c Min unsat cost LB: 39043 ... c Min unsat cost LB: 39495 ... c Min unsat cost LB: 39631 ... c Min unsat cost LB: 39691 ... c Min unsat cost LB: 39703 ... c Min unsat cost LB: 39890 ... c Min unsat cost LB: 40178 ... c Min unsat cost LB: 40242 ... c Min unsat cost LB: 40375 ... c Min unsat cost LB: 40419 ... c Min unsat cost LB: 41325 ... c Min unsat cost LB: 41423 ... c Min unsat cost LB: 41742 ... c Min unsat cost LB: 41795 ... c Min unsat cost LB: 41933 ... c Min unsat cost LB: 41954 ... c Min unsat cost LB: 42028 ... c Min unsat cost LB: 42034 ... c Min unsat cost LB: 42148 ... c Min unsat cost LB: 42166 ... c Min unsat cost LB: 42169 ... c Min unsat cost LB: 42187 ... c Min unsat cost LB: 42205 ... c Min unsat cost LB: 42225 ... c Min unsat cost LB: 42266 ... c Min unsat cost LB: 42280 ... c Min unsat cost LB: 42301 ... c Min unsat cost LB: 42391 ... c Min unsat cost LB: 42398 ... c Min unsat cost LB: 42410 ... c Min unsat cost LB: 42445 ... c Min unsat cost LB: 42568 ... c Min unsat cost LB: 42614 ... c Min unsat cost LB: 42633 ... c Min unsat cost LB: 42635 ... c Min unsat cost LB: 42636 ... c Min unsat cost LB: 43101 ... c Min unsat cost LB: 43286 ... c Min unsat cost LB: 43325 ... c Min unsat cost LB: 43471 ... c Min unsat cost LB: 43530 ... c Min unsat cost LB: 43566 ... c Min unsat cost LB: 43695 ... c Min unsat cost LB: 43708 ... c Min unsat cost LB: 43713 ... c Min unsat cost LB: 43728 ... c Min unsat cost LB: 43731 ... c Min unsat cost LB: 43737 ... c Min unsat cost LB: 43751 ... c Min unsat cost LB: 43762 ... c Min unsat cost LB: 43849 ... c Min unsat cost LB: 44167 ... c Min unsat cost LB: 44288 ... c Min unsat cost LB: 44353 ... c Min unsat cost LB: 44679 ... c Min unsat cost LB: 44683 ... c Min unsat cost LB: 44685 ... c Min unsat cost LB: 44690 ... c Min unsat cost LB: 44705 ... c Min unsat cost LB: 44709 ... c Min unsat cost LB: 44717 ... c Min unsat cost LB: 44735 ... c Min unsat cost LB: 44743 ... c Min unsat cost LB: 44767 ... c Min unsat cost LB: 44791 ... c Min unsat cost LB: 44823 ... c Min unsat cost LB: 44863 ... c Min unsat cost LB: 45837 ... c Min unsat cost LB: 46003 ... c Min unsat cost LB: 46129 ... c Min unsat cost LB: 46163 ... c Min unsat cost LB: 46215 ... c Min unsat cost LB: 46367 ... c Min unsat cost LB: 46369 ... c Min unsat cost LB: 46373 ... c Min unsat cost LB: 46420 ... c Min unsat cost LB: 46516 ... c Min unsat cost LB: 47247 ... c Min unsat cost LB: 47322 ... c Min unsat cost LB: 47399 ... c Min unsat cost LB: 47423 ... c Min unsat cost LB: 47424 ... c Min unsat cost LB: 47434 ... c Min unsat cost LB: 47544 ... c Min unsat cost LB: 47549 ... c Min unsat cost LB: 47563 ... c Min unsat cost LB: 47724 ... c Min unsat cost LB: 47764 ... c Min unsat cost LB: 47809 ... c Min unsat cost LB: 47817 ... c Min unsat cost LB: 47852 ... c Min unsat cost LB: 48089 ... c Min unsat cost LB: 48119 ... c Min unsat cost LB: 48322 ... c Min unsat cost LB: 48746 ... c Min unsat cost LB: 48757 ... c Min unsat cost LB: 48764 ... c Min unsat cost LB: 48985 ... c Min unsat cost LB: 48989 ... c Min unsat cost LB: 48993 ... c Min unsat cost LB: 49094 ... c Min unsat cost LB: 49108 ... c Min unsat cost LB: 49114 ... c Min unsat cost LB: 49123 ... c Min unsat cost LB: 49132 ... c Min unsat cost LB: 49159 ... c Min unsat cost LB: 49202 ... c Min unsat cost LB: 49206 ... c Min unsat cost LB: 49220 ... c Min unsat cost LB: 49244 ... c Min unsat cost LB: 49354 ... c Min unsat cost LB: 49402 ... c Min unsat cost LB: 49668 ... c Min unsat cost LB: 49721 ... c Min unsat cost LB: 49808 ... c Min unsat cost LB: 49844 ... c Min unsat cost LB: 49861 ... c Min unsat cost LB: 49872 ... c Min unsat cost LB: 49916 ... c Min unsat cost LB: 49917 ... c Min unsat cost LB: 49927 ... c Min unsat cost LB: 50003 ... c Min unsat cost LB: 50010 ... c Min unsat cost LB: 50014 ... c Min unsat cost LB: 50036 ... c Min unsat cost LB: 50121 ... c Min unsat cost LB: 50257 ... c Min unsat cost LB: 50258 ... c Min unsat cost LB: 50264 ... c Min unsat cost LB: 50268 ... c Min unsat cost LB: 50272 ... c Min unsat cost LB: 50300 ... c Min unsat cost LB: 50342 ... c Min unsat cost LB: 50466 ... c Min unsat cost LB: 50468 ... c Min unsat cost LB: 50509 ... c Min unsat cost LB: 50651 ... c Min unsat cost LB: 51328 ... c Min unsat cost LB: 51476 ... c Min unsat cost LB: 51566 ... c Min unsat cost LB: 51615 ... c Min unsat cost LB: 51710 ... c Min unsat cost LB: 51856 ... c Min unsat cost LB: 51905 ... c Min unsat cost LB: 51966 ... c Min unsat cost LB: 52057 ... c Min unsat cost LB: 52401 ... c Min unsat cost LB: 52429 ... c Min unsat cost LB: 52647 ... c Min unsat cost LB: 52659 ... c Min unsat cost LB: 52843 ... c Min unsat cost LB: 52862 ... c Min unsat cost LB: 52950 ... c Min unsat cost LB: 52977 ... c Min unsat cost LB: 53102 ... c Min unsat cost LB: 53136 ... c Min unsat cost LB: 53151 ... c Min unsat cost LB: 53157 ... c Min unsat cost LB: 53195 ... c Min unsat cost LB: 53216 ... c Min unsat cost LB: 53277 ... c Min unsat cost LB: 53293 ... c Min unsat cost LB: 53305 ... c Min unsat cost LB: 53316 ... c Min unsat cost LB: 53330 ... c Min unsat cost LB: 53394 ... c Min unsat cost LB: 53430 ... c Min unsat cost LB: 53446 ... c Min unsat cost LB: 53496 ... c Min unsat cost LB: 53498 ... c Min unsat cost LB: 53522 ... c Min unsat cost LB: 53543 ... c Min unsat cost LB: 53546 ... c Min unsat cost LB: 53705 ... c Min unsat cost LB: 53731 ... c Min unsat cost LB: 53750 ... c Min unsat cost LB: 53947 ... c Min unsat cost LB: 53997 ... c Min unsat cost LB: 54032 ... c Min unsat cost LB: 54238 ... c Min unsat cost LB: 54258 ... c Min unsat cost LB: 54274 ... c Min unsat cost LB: 54283 ... c Min unsat cost LB: 54297 ... c Min unsat cost LB: 54351 ... c Min unsat cost LB: 54419 ... c Min unsat cost LB: 54450 ... c Min unsat cost LB: 54451 ... c Min unsat cost LB: 54593 ... c Min unsat cost LB: 54646 ... c Min unsat cost LB: 54690 ... c Min unsat cost LB: 54694 ... c Min unsat cost LB: 54748 ... c Min unsat cost LB: 55043 ... c Min unsat cost LB: 55279 ... c Min unsat cost LB: 55683 ... c Min unsat cost LB: 55724 ... c Min unsat cost LB: 55747 ... c Min unsat cost LB: 55760 ... c Min unsat cost LB: 55784 ... c Min unsat cost LB: 55845 ... c Min unsat cost LB: 55889 ... c Min unsat cost LB: 56040 ... c Min unsat cost LB: 56184 ... c Min unsat cost LB: 56223 ... c Min unsat cost LB: 56276 ... c Min unsat cost LB: 56377 ... c Min unsat cost LB: 56407 ... c Min unsat cost LB: 56467 ... c Min unsat cost LB: 56589 ... c Min unsat cost LB: 56593 ... c Min unsat cost LB: 56597 ... c Min unsat cost LB: 56600 ... c Min unsat cost LB: 56604 ... c Min unsat cost LB: 56605 ... c Min unsat cost LB: 56612 ... c Min unsat cost LB: 56619 ... c Min unsat cost LB: 56623 ... c Min unsat cost LB: 56627 ... c Min unsat cost LB: 56659 ... c Min unsat cost LB: 56673 ... c Min unsat cost LB: 56675 ... c Min unsat cost LB: 56680 ... c Min unsat cost LB: 56704 ... c Min unsat cost LB: 56730 ... c Min unsat cost LB: 57087 ... c Min unsat cost LB: 57090 ... c Min unsat cost LB: 57105 ... c Min unsat cost LB: 57131 ... c Min unsat cost LB: 57132 ... c Min unsat cost LB: 57153 ... c Min unsat cost LB: 57155 ... c Min unsat cost LB: 57163 ... c Min unsat cost LB: 57174 ... c Min unsat cost LB: 57176 ... c Min unsat cost LB: 57178 ... c Min unsat cost LB: 57183 ... c Min unsat cost LB: 57186 ... c Min unsat cost LB: 57187 ... c Min unsat cost LB: 57198 ... c Min unsat cost LB: 57199 ... c Min unsat cost LB: 57202 ... c Min unsat cost LB: 57204 ... c Min unsat cost LB: 57216 ... c Min unsat cost LB: 57223 ... c Min unsat cost LB: 57227 ... c Min unsat cost LB: 57234 ... c Min unsat cost LB: 57235 ... c Min unsat cost LB: 57243 ... c Min unsat cost LB: 57258 ... c Min unsat cost LB: 57260 ... c Min unsat cost LB: 57261 ... c Min unsat cost LB: 57262 ... c Min unsat cost LB: 57263 ... c Min unsat cost LB: 57264 ... c Min unsat cost LB: 57366 ... c Min unsat cost LB: 57463 ... c Min unsat cost LB: 57473 ... c Min unsat cost LB: 57589 ... c Min unsat cost LB: 57703 ... c Min unsat cost LB: 57930 ... c Min unsat cost LB: 57955 ... c Min unsat cost LB: 58156 ... c Min unsat cost LB: 58315 ... c Min unsat cost LB: 58323 ... c Min unsat cost LB: 58336 ... c Min unsat cost LB: 58348 ... c Min unsat cost LB: 58376 ... c Min unsat cost LB: 58462 ... c Min unsat cost LB: 58513 ... c Min unsat cost LB: 58526 ... c Min unsat cost LB: 58626 ... c Min unsat cost LB: 58740 ... c Min unsat cost LB: 58765 ... c Min unsat cost LB: 58837 ... c Min unsat cost LB: 58885 ... c Min unsat cost LB: 58910 ... c Min unsat cost LB: 58939 ... c Min unsat cost LB: 58945 ... c Min unsat cost LB: 58951 ... c Min unsat cost LB: 58955 ... c Min unsat cost LB: 59017 ... c Min unsat cost LB: 59059 ... c Min unsat cost LB: 59067 ... c Min unsat cost LB: 59072 ... c Min unsat cost LB: 59114 ... c Min unsat cost LB: 59126 ... c Min unsat cost LB: 59147 ... c Min unsat cost LB: 59157 ... c Min unsat cost LB: 59226 ... c Min unsat cost LB: 59281 ... c Min unsat cost LB: 59294 ... c Min unsat cost LB: 59329 ... c Min unsat cost LB: 59431 ... c Min unsat cost LB: 59533 ... c Min unsat cost LB: 59558 ... c Min unsat cost LB: 59577 ... c Min unsat cost LB: 59636 ... c Min unsat cost LB: 59669 ... c Min unsat cost LB: 59792 ... c Min unsat cost LB: 59798 ... c Min unsat cost LB: 59960 ... c Min unsat cost LB: 59991 ... c Min unsat cost LB: 59993 ... c Min unsat cost LB: 60029 ... c Min unsat cost LB: 60040 ... c Min unsat cost LB: 60048 ... c Min unsat cost LB: 60050 ... c Min unsat cost LB: 60056 ... c Min unsat cost LB: 60074 ... c Min unsat cost LB: 60081 ... c Min unsat cost LB: 60087 ... c Min unsat cost LB: 60097 ... c Min unsat cost LB: 60103 ... c Min unsat cost LB: 60112 ... c Min unsat cost LB: 60128 ... c Min unsat cost LB: 60147 ... c Min unsat cost LB: 60171 ... c Min unsat cost LB: 60179 ... c Min unsat cost LB: 60180 ... c Min unsat cost LB: 60588 ... c Min unsat cost LB: 60601 ... c Min unsat cost LB: 60611 ... c Min unsat cost LB: 60622 ... c Min unsat cost LB: 60623 ... c Min unsat cost LB: 60634 ... c Min unsat cost LB: 60646 ... c Min unsat cost LB: 60666 ... c Min unsat cost LB: 60668 ... c Min unsat cost LB: 60689 ... c Min unsat cost LB: 60705 ... c Min unsat cost LB: 60707 ... c Min unsat cost LB: 60711 ... c Min unsat cost LB: 60719 ... c Min unsat cost LB: 60730 ... c Min unsat cost LB: 60732 ... c Min unsat cost LB: 60734 ... c Min unsat cost LB: 60736 ... c Min unsat cost LB: 60748 ... c Min unsat cost LB: 60754 ... c Min unsat cost LB: 60765 ... c Min unsat cost LB: 60775 ... c Min unsat cost LB: 60779 ... c Min unsat cost LB: 60791 ... c Min unsat cost LB: 60793 ... c Min unsat cost LB: 60826 ... c Min unsat cost LB: 60831 ... c Min unsat cost LB: 60832 ... c Min unsat cost LB: 60839 ... c Min unsat cost LB: 60845 ... c Min unsat cost LB: 60860 ... c Min unsat cost LB: 60867 ... c Min unsat cost LB: 60876 ... c Min unsat cost LB: 60887 ... c Min unsat cost LB: 60891 ... c Min unsat cost LB: 60899 ... c Min unsat cost LB: 60905 ... c Min unsat cost LB: 60928 ... c Min unsat cost LB: 60947 ... c Min unsat cost LB: 60951 ... c Min unsat cost LB: 60954 ... c Min unsat cost LB: 60961 ... c Min unsat cost LB: 60964 ... c Min unsat cost LB: 60966 ... c Min unsat cost LB: 60967 ... c Min unsat cost LB: 60976 ... c Min unsat cost LB: 60982 ... c Min unsat cost LB: 60987 ... c Min unsat cost LB: 60995 ... c Min unsat cost LB: 60999 ... c Min unsat cost LB: 61001 ... c Min unsat cost LB: 61002 ... c Min unsat cost LB: 61020 ... c Min unsat cost LB: 61023 ... c Min unsat cost LB: 61024 ... c Min unsat cost LB: 61029 ... c Min unsat cost LB: 61030 ... c Min unsat cost LB: 61035 ... c Min unsat cost LB: 61037 ... c Min unsat cost LB: 61049 ... c Min unsat cost LB: 61053 ... c Min unsat cost LB: 61054 ... c Min unsat cost LB: 61065 ... c Min unsat cost LB: 61071 ... c Min unsat cost LB: 61074 ... c Min unsat cost LB: 61078 ... c Min unsat cost LB: 61456 ... c Min unsat cost LB: 61586 ... c Min unsat cost LB: 61780 ... c Min unsat cost LB: 61837 ... c Min unsat cost LB: 61839 ... c Min unsat cost LB: 61885 ... c Min unsat cost LB: 61888 ... c Min unsat cost LB: 61891 ... c Min unsat cost LB: 61894 ... c Min unsat cost LB: 61895 ... c Min unsat cost LB: 61896 ... c Min unsat cost LB: 61904 ... c Min unsat cost LB: 61911 ... c Min unsat cost LB: 62006 ... c Min unsat cost LB: 62021 ... c Min unsat cost LB: 62022 ... c Min unsat cost LB: 62039 ... c Min unsat cost LB: 62101 ... c Min unsat cost LB: 62105 ... c Min unsat cost LB: 62109 ... c Min unsat cost LB: 62113 ... c Min unsat cost LB: 62114 ... c Min unsat cost LB: 62115 ... c Min unsat cost LB: 62119 ... c Min unsat cost LB: 62121 ... c Min unsat cost LB: 62122 ... c Min unsat cost LB: 62123 ... c Min unsat cost LB: 62124 ... c Min unsat cost LB: 62125 ... c Min unsat cost LB: 62127 ... c Min unsat cost LB: 62128 ... c Min unsat cost LB: 62132 ... c Min unsat cost LB: 62133 ... c Min unsat cost LB: 62134 ... c Min unsat cost LB: 62135 ... c Min unsat cost LB: 62137 ... c Min unsat cost LB: 62138 ... c Min unsat cost LB: 62155 ... c Min unsat cost LB: 62269 ... c Min unsat cost LB: 62409 ... c Min unsat cost LB: 62423 ... c Min unsat cost LB: 62448 ... c Min unsat cost LB: 62682 ... c Min unsat cost LB: 62993 ... c Min unsat cost LB: 63029 ... c Min unsat cost LB: 63043 ... c Min unsat cost LB: 63112 ... c Min unsat cost LB: 63183 ... c Min unsat cost LB: 63196 ... c Min unsat cost LB: 63234 ... c Min unsat cost LB: 63289 ... c Min unsat cost LB: 63333 ... c Min unsat cost LB: 63337 ... c Min unsat cost LB: 63376 ... c Min unsat cost LB: 63384 ... c Min unsat cost LB: 63450 ... c Min unsat cost LB: 63540 ... c Min unsat cost LB: 63558 ... c Min unsat cost LB: 63576 ... c Min unsat cost LB: 63875 ... c Min unsat cost LB: 63914 ... c Min unsat cost LB: 63982 ... c Min unsat cost LB: 64113 ... c Min unsat cost LB: 64121 ... c Min unsat cost LB: 64140 ... c Min unsat cost LB: 64268 ... c Min unsat cost LB: 64602 ... c Min unsat cost LB: 65718 ... c Min unsat cost LB: 65728 ... c Min unsat cost LB: 65781 ... c Min unsat cost LB: 65851 ... c Min unsat cost LB: 65873 ... c Min unsat cost LB: 66029 ... c Min unsat cost LB: 66236 ... c Min unsat cost LB: 66395 ... c Min unsat cost LB: 66416 ... c Min unsat cost LB: 66419 ... c Min unsat cost LB: 66714 ... c Min unsat cost LB: 66765 ... c Min unsat cost LB: 66787 ... c Min unsat cost LB: 66809 ... c Min unsat cost LB: 66815 ... c Min unsat cost LB: 66816 ... c Min unsat cost LB: 66924 ... c Min unsat cost LB: 66925 ... c Min unsat cost LB: 66927 ... c Min unsat cost LB: 66951 ... c Min unsat cost LB: 66975 ... c Min unsat cost LB: 66985 ... c Min unsat cost LB: 66986 ... c Min unsat cost LB: 66992 ... c Min unsat cost LB: 67014 ... c Min unsat cost LB: 67038 ... c Min unsat cost LB: 67040 ... c Min unsat cost LB: 67062 ... c Min unsat cost LB: 67065 ... c Min unsat cost LB: 67087 ... c Min unsat cost LB: 67099 ... c Min unsat cost LB: 67118 ... c Min unsat cost LB: 67121 ... c Min unsat cost LB: 67124 ... c Min unsat cost LB: 67128 ... c Min unsat cost LB: 67130 ... c Min unsat cost LB: 67131 ... c Min unsat cost LB: 67132 ... c Min unsat cost LB: 67137 ... c Min unsat cost LB: 67147 ... c Min unsat cost LB: 67159 ... c Min unsat cost LB: 67234 ... c Min unsat cost LB: 67246 ... c Min unsat cost LB: 67272 ... c Min unsat cost LB: 67276 ... c Min unsat cost LB: 67278 ... c Min unsat cost LB: 67282 ... c Min unsat cost LB: 67313 ... c Min unsat cost LB: 67323 ... c Min unsat cost LB: 67408 ... c Min unsat cost LB: 67599 ... c Min unsat cost LB: 67632 ... c Min unsat cost LB: 67676 ... c Min unsat cost LB: 67766 ... c Min unsat cost LB: 68064 ... c Min unsat cost LB: 68068 ... c Min unsat cost LB: 68076 ... c Min unsat cost LB: 68437 ... c Min unsat cost LB: 68636 ... c Min unsat cost LB: 68701 ... c Min unsat cost LB: 68828 ... c Min unsat cost LB: 68999 ... c Min unsat cost LB: 69010 ... c Min unsat cost LB: 69046 ... c Min unsat cost LB: 69076 ... c Min unsat cost LB: 69077 ... c Min unsat cost LB: 69120 ... c Min unsat cost LB: 69147 ... c Min unsat cost LB: 69162 ... c Min unsat cost LB: 69193 ... c Min unsat cost LB: 69203 ... c Min unsat cost LB: 69216 ... c Min unsat cost LB: 69230 ... c Min unsat cost LB: 69234 ... c Min unsat cost LB: 69243 ... c Min unsat cost LB: 69273 ... c Min unsat cost LB: 69306 ... c Min unsat cost LB: 69314 ... c Min unsat cost LB: 69324 ... c Min unsat cost LB: 69340 ... c Min unsat cost LB: 69349 ... c Min unsat cost LB: 69369 ... c Min unsat cost LB: 69383 ... c Min unsat cost LB: 69392 ... c Min unsat cost LB: 69522 ... c Min unsat cost LB: 69537 ... c Min unsat cost LB: 69859 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 69969 ... c Min unsat cost LB: 69978 ... c Min unsat cost LB: 69982 ... c Min unsat cost LB: 69991 ... c Min unsat cost LB: 70262 ... c Min unsat cost LB: 70340 ... c Min unsat cost LB: 70415 ... c Min unsat cost LB: 70475 ... c Min unsat cost LB: 70479 ... c Min unsat cost LB: 70654 ... c Min unsat cost LB: 70818 ... c Min unsat cost LB: 70874 ... c Min unsat cost LB: 70907 ... c Min unsat cost LB: 71045 ... c Min unsat cost LB: 71047 ... c Min unsat cost LB: 71073 ... c Min unsat cost LB: 71110 ... c Min unsat cost LB: 71136 ... c Min unsat cost LB: 71140 ... c Min unsat cost LB: 71231 ... c Min unsat cost LB: 71234 ... c Min unsat cost LB: 71398 ... c Min unsat cost LB: 71454 ... c Min unsat cost LB: 71463 ... c Min unsat cost LB: 71487 ... c Min unsat cost LB: 71598 ... c Min unsat cost LB: 71625 ... c Min unsat cost LB: 71778 ... c Min unsat cost LB: 71924 ... c Min unsat cost LB: 72854 ... c Min unsat cost LB: 72923 ... c Min unsat cost LB: 72984 ... c Min unsat cost LB: 73024 ... c Min unsat cost LB: 73115 ... c Min unsat cost LB: 73265 ... c Min unsat cost LB: 73326 ... c Min unsat cost LB: 73361 ... c Min unsat cost LB: 73362 ... c Min unsat cost LB: 73379 ... c Min unsat cost LB: 73422 ... c Min unsat cost LB: 73525 ... c Min unsat cost LB: 73571 ... c Min unsat cost LB: 73623 ... c Min unsat cost LB: 73633 ... c Min unsat cost LB: 73647 ... c Min unsat cost LB: 73656 ... c Min unsat cost LB: 73666 ... c Min unsat cost LB: 73689 ... c Min unsat cost LB: 73726 ... c Min unsat cost LB: 73734 ... c Min unsat cost LB: 73747 ... c Min unsat cost LB: 73808 ... c Min unsat cost LB: 74300 ... c Min unsat cost LB: 74413 ... c Min unsat cost LB: 74447 ... c Min unsat cost LB: 74504 ... c Min unsat cost LB: 74565 ... c Min unsat cost LB: 74573 ... c Min unsat cost LB: 74710 ... c Min unsat cost LB: 74715 ... c Min unsat cost LB: 74737 ... c Min unsat cost LB: 74745 ... c Min unsat cost LB: 74749 ... c Min unsat cost LB: 74759 ... c Min unsat cost LB: 74810 ... c Min unsat cost LB: 74812 ... c Min unsat cost LB: 74840 ... c Min unsat cost LB: 74844 ... c Min unsat cost LB: 74849 ... c Min unsat cost LB: 74858 ... c Min unsat cost LB: 74876 ... c Min unsat cost LB: 74916 ... c Min unsat cost LB: 74929 ... c Min unsat cost LB: 74975 ... c Min unsat cost LB: 75119 ... c Min unsat cost LB: 75234 ... c Min unsat cost LB: 75251 ... c Min unsat cost LB: 75268 ... c Min unsat cost LB: 75297 ... c Min unsat cost LB: 75307 ... c Min unsat cost LB: 75371 ... c Min unsat cost LB: 75375 ... c Min unsat cost LB: 75475 ... c Min unsat cost LB: 75488 ... c Min unsat cost LB: 75500 ... c Min unsat cost LB: 75559 ... c Min unsat cost LB: 75583 ... c Min unsat cost LB: 75606 ... c Min unsat cost LB: 75620 ... c Min unsat cost LB: 75629 ... c Min unsat cost LB: 75646 ... c Min unsat cost LB: 75652 ... c Min unsat cost LB: 75654 ... c Min unsat cost LB: 75660 ... c Min unsat cost LB: 75703 ... c Min unsat cost LB: 75719 ... c Min unsat cost LB: 75798 ... c Min unsat cost LB: 75800 ... c Min unsat cost LB: 75870 ... c Min unsat cost LB: 75874 ... c Min unsat cost LB: 75936 ... c Min unsat cost LB: 75946 ... c Min unsat cost LB: 75947 ... c Min unsat cost LB: 75994 ... c Min unsat cost LB: 76012 ... c Min unsat cost LB: 76041 ... c Min unsat cost LB: 76056 ... c Min unsat cost LB: 76097 ... c Min unsat cost LB: 76109 ... c Min unsat cost LB: 76112 ... c Min unsat cost LB: 76119 ... c Min unsat cost LB: 76213 ... c Min unsat cost LB: 76262 ... c Min unsat cost LB: 76268 ... c Min unsat cost LB: 76281 ... c Min unsat cost LB: 76293 ... c Min unsat cost LB: 76317 ... c Min unsat cost LB: 76329 ... c Min unsat cost LB: 76376 ... c Min unsat cost LB: 76393 ... c Min unsat cost LB: 76400 ... c Min unsat cost LB: 76454 ... c Min unsat cost LB: 76520 ... c Min unsat cost LB: 76528 ... c Min unsat cost LB: 76591 ... c Min unsat cost LB: 77163 ... c Min unsat cost LB: 77182 ... c Min unsat cost LB: 77228 ... c Min unsat cost LB: 77230 ... c Min unsat cost LB: 77240 ... c Min unsat cost LB: 77243 ... c Min unsat cost LB: 77292 ... c Min unsat cost LB: 77309 ... c Min unsat cost LB: 77315 ... c Min unsat cost LB: 77364 ... c Min unsat cost LB: 77388 ... c Min unsat cost LB: 77398 ... c Min unsat cost LB: 77410 ... c Min unsat cost LB: 77415 ... c Min unsat cost LB: 77421 ... c Min unsat cost LB: 77444 ... c Min unsat cost LB: 77453 ... c Min unsat cost LB: 77455 ... c Min unsat cost LB: 77457 ... c Min unsat cost LB: 77459 ... c Min unsat cost LB: 77470 ... c Min unsat cost LB: 77477 ... c Min unsat cost LB: 77494 ... c Min unsat cost LB: 77502 ... c Min unsat cost LB: 77503 ... c Min unsat cost LB: 77518 ... c Min unsat cost LB: 77530 ... c Min unsat cost LB: 77533 ... c Min unsat cost LB: 77534 ... c Min unsat cost LB: 77538 ... c Min unsat cost LB: 77539 ... c Min unsat cost LB: 77550 ... c Min unsat cost LB: 77556 ... c Min unsat cost LB: 77570 ... c Min unsat cost LB: 77579 ... c Min unsat cost LB: 77585 ... c Min unsat cost LB: 77586 ... c Min unsat cost LB: 77609 ... c Min unsat cost LB: 77616 ... c Min unsat cost LB: 77622 ... c Min unsat cost LB: 77625 ... c Min unsat cost LB: 77629 ... c Min unsat cost LB: 77631 ... c Min unsat cost LB: 77632 ... c Min unsat cost LB: 77634 ... c Min unsat cost LB: 77635 ... c Min unsat cost LB: 77637 ... c Min unsat cost LB: 77655 ... c Min unsat cost LB: 77657 ... c Min unsat cost LB: 77671 ... c Min unsat cost LB: 77675 ... c Min unsat cost LB: 77686 ... c Min unsat cost LB: 77702 ... c Min unsat cost LB: 77707 ... c Min unsat cost LB: 77709 ... c Min unsat cost LB: 77710 ... c Min unsat cost LB: 77714 ... c Min unsat cost LB: 77715 ... c Min unsat cost LB: 77716 ... c Min unsat cost LB: 77717 ... c Min unsat cost LB: 77718 ... c Min unsat cost LB: 77720 ... c Min unsat cost LB: 77721 ... c Min unsat cost LB: 77725 ... c Min unsat cost LB: 77726 ... c Min unsat cost LB: 77727 ... c Min unsat cost LB: 77728 ... c Min unsat cost LB: 77735 ... c Min unsat cost LB: 77737 ... c Min unsat cost LB: 77738 ... c Min unsat cost LB: 77739 ... c Min unsat cost LB: 77743 ... c Min unsat cost LB: 77744 ... c Min unsat cost LB: 77747 ... c Min unsat cost LB: 77749 ... c Min unsat cost LB: 77752 ... 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: 77762 ... c Min unsat cost LB: 77767 ... c Min unsat cost LB: 77768 ... c Min unsat cost LB: 77770 ... c Min unsat cost LB: 77777 ... c Min unsat cost LB: 77778 ... c Min unsat cost LB: 77779 ... c Min unsat cost LB: 77780 ... c Min unsat cost LB: 77781 ... c Min unsat cost LB: 77782 ... c Min unsat cost LB: 77783 ... c Min unsat cost LB: 77785 ... c Min unsat cost LB: 77787 ... c Min unsat cost LB: 77788 ... c Min unsat cost LB: 77789 ... c Min unsat cost LB: 77790 ... c Min unsat cost LB: 77791 ... c Min unsat cost LB: 77792 ... o 77792 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 -113 114 -115 -116 117 -118 -119 -120 121 122 -123 124 -125 126 -127 128 -129 -130 131 -132 -133 -134 -135 136 -137 -138 139 140 -141 -142 143 -144 -145 -146 147 148 -149 -150 -151 -152 153 -154 -155 -156 -157 -158 159 -160 -161 162 -163 164 -165 -166 -167 168 -169 -170 171 -172 -173 174 -175 -176 -177 178 179 -180 -181 -182 -183 -184 185 186 -187 -188 189 -190 -191 -192 -193 -194 195 196 -197 -198 199 200 -201 -202 -203 -204 205 -206 -207 -208 209 -210 -211 -212 -213 214 -215 216 -217 -218 219 -220 -221 -222 223 -224 c CPU Time: 724.474 724.607u 1.770s 12:07.87 99.7% 0+0k 0+0io 0pf+0w