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-60-1_network-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-9.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-60-1_network-9.net.wcnf *** c c Min unsat cost LB: 1895 ... c Min unsat cost LB: 2849 ... c Min unsat cost LB: 3398 ... c Min unsat cost LB: 3948 ... c Min unsat cost LB: 4620 ... c Min unsat cost LB: 5863 ... c Min unsat cost LB: 5937 ... c Min unsat cost LB: 6571 ... c Min unsat cost LB: 7592 ... c Min unsat cost LB: 9352 ... c Min unsat cost LB: 10037 ... c Min unsat cost LB: 10639 ... c Min unsat cost LB: 10874 ... c Min unsat cost LB: 11316 ... c Min unsat cost LB: 11572 ... c Min unsat cost LB: 12619 ... c Min unsat cost LB: 12652 ... c Min unsat cost LB: 12713 ... c Min unsat cost LB: 12882 ... c Min unsat cost LB: 13512 ... c Min unsat cost LB: 14570 ... c Min unsat cost LB: 14634 ... c Min unsat cost LB: 15067 ... c Min unsat cost LB: 15840 ... c Min unsat cost LB: 15850 ... c Min unsat cost LB: 16835 ... c Min unsat cost LB: 17041 ... c Min unsat cost LB: 17167 ... c Min unsat cost LB: 17217 ... c Min unsat cost LB: 17583 ... c Min unsat cost LB: 17797 ... c Min unsat cost LB: 18247 ... c Min unsat cost LB: 18426 ... c Min unsat cost LB: 19181 ... c Min unsat cost LB: 19656 ... c Min unsat cost LB: 19835 ... c Min unsat cost LB: 20642 ... c Min unsat cost LB: 21267 ... c Min unsat cost LB: 21272 ... c Min unsat cost LB: 21356 ... c Min unsat cost LB: 21446 ... c Min unsat cost LB: 21624 ... c Min unsat cost LB: 21849 ... c Min unsat cost LB: 22355 ... c Min unsat cost LB: 22475 ... c Min unsat cost LB: 22684 ... c Min unsat cost LB: 22702 ... c Min unsat cost LB: 23384 ... c Min unsat cost LB: 23611 ... c Min unsat cost LB: 23948 ... c Min unsat cost LB: 23970 ... c Min unsat cost LB: 24120 ... c Min unsat cost LB: 24141 ... c Min unsat cost LB: 24176 ... c Min unsat cost LB: 24311 ... c Min unsat cost LB: 24395 ... c Min unsat cost LB: 24430 ... c Min unsat cost LB: 24530 ... c Min unsat cost LB: 24567 ... c Min unsat cost LB: 25465 ... c Min unsat cost LB: 25494 ... c Min unsat cost LB: 25672 ... c Min unsat cost LB: 25973 ... c Min unsat cost LB: 26021 ... c Min unsat cost LB: 26816 ... c Min unsat cost LB: 26975 ... c Min unsat cost LB: 27004 ... c Min unsat cost LB: 28047 ... c Min unsat cost LB: 28134 ... c Min unsat cost LB: 28362 ... c Min unsat cost LB: 28902 ... c Min unsat cost LB: 28927 ... c Min unsat cost LB: 29075 ... c Min unsat cost LB: 29455 ... c Min unsat cost LB: 29539 ... c Min unsat cost LB: 29764 ... c Min unsat cost LB: 30662 ... c Min unsat cost LB: 31029 ... c Min unsat cost LB: 31255 ... c Min unsat cost LB: 31460 ... c Min unsat cost LB: 31916 ... c Min unsat cost LB: 32388 ... c Min unsat cost LB: 32410 ... c Min unsat cost LB: 32425 ... c Min unsat cost LB: 32446 ... c Min unsat cost LB: 32451 ... c Min unsat cost LB: 33469 ... c Min unsat cost LB: 33540 ... c Min unsat cost LB: 34420 ... c Min unsat cost LB: 34577 ... c Min unsat cost LB: 34941 ... c Min unsat cost LB: 35101 ... c Min unsat cost LB: 35662 ... c Min unsat cost LB: 35667 ... c Min unsat cost LB: 35992 ... c Min unsat cost LB: 36273 ... c Min unsat cost LB: 36864 ... c Min unsat cost LB: 36893 ... c Min unsat cost LB: 36958 ... c Min unsat cost LB: 37855 ... c Min unsat cost LB: 37860 ... c Min unsat cost LB: 38014 ... c Min unsat cost LB: 38090 ... c Min unsat cost LB: 38167 ... c Min unsat cost LB: 38449 ... c Min unsat cost LB: 38492 ... c Min unsat cost LB: 39103 ... c Min unsat cost LB: 39356 ... c Min unsat cost LB: 39373 ... c Min unsat cost LB: 39374 ... c Min unsat cost LB: 39375 ... c Min unsat cost LB: 40420 ... c Min unsat cost LB: 40512 ... c Min unsat cost LB: 40539 ... c Min unsat cost LB: 41012 ... c Min unsat cost LB: 41301 ... c Min unsat cost LB: 41323 ... c Min unsat cost LB: 41432 ... c Min unsat cost LB: 41436 ... c Min unsat cost LB: 41846 ... c Min unsat cost LB: 41950 ... c Min unsat cost LB: 41953 ... c Min unsat cost LB: 41989 ... c Min unsat cost LB: 42042 ... c Min unsat cost LB: 42080 ... c Min unsat cost LB: 42112 ... c Min unsat cost LB: 42330 ... c Min unsat cost LB: 42997 ... c Min unsat cost LB: 43099 ... c Min unsat cost LB: 43101 ... c Min unsat cost LB: 43189 ... c Min unsat cost LB: 44371 ... c Min unsat cost LB: 44462 ... c Min unsat cost LB: 44562 ... c Min unsat cost LB: 44684 ... c Min unsat cost LB: 45033 ... c Min unsat cost LB: 45550 ... c Min unsat cost LB: 45638 ... c Min unsat cost LB: 45832 ... c Min unsat cost LB: 46759 ... c Min unsat cost LB: 46763 ... c Min unsat cost LB: 46766 ... c Min unsat cost LB: 46781 ... c Min unsat cost LB: 47435 ... c Min unsat cost LB: 47483 ... c Min unsat cost LB: 47668 ... c Min unsat cost LB: 47787 ... c Min unsat cost LB: 47801 ... c Min unsat cost LB: 47826 ... c Min unsat cost LB: 47902 ... c Min unsat cost LB: 47905 ... c Min unsat cost LB: 47908 ... c Min unsat cost LB: 47912 ... c Min unsat cost LB: 47921 ... c Min unsat cost LB: 47923 ... c Min unsat cost LB: 47924 ... c Min unsat cost LB: 47929 ... c Min unsat cost LB: 48043 ... c Min unsat cost LB: 48064 ... c Min unsat cost LB: 48079 ... c Min unsat cost LB: 48101 ... c Min unsat cost LB: 48104 ... c Min unsat cost LB: 48105 ... c Min unsat cost LB: 48108 ... c Min unsat cost LB: 48589 ... c Min unsat cost LB: 48704 ... c Min unsat cost LB: 48734 ... c Min unsat cost LB: 48735 ... c Min unsat cost LB: 48738 ... c Min unsat cost LB: 49261 ... c Min unsat cost LB: 49440 ... c Min unsat cost LB: 49458 ... c Min unsat cost LB: 50171 ... c Min unsat cost LB: 50752 ... c Min unsat cost LB: 50900 ... c Min unsat cost LB: 50926 ... c Min unsat cost LB: 51450 ... c Min unsat cost LB: 51684 ... c Min unsat cost LB: 51727 ... c Min unsat cost LB: 51730 ... c Min unsat cost LB: 51875 ... c Min unsat cost LB: 51969 ... c Min unsat cost LB: 52143 ... c Min unsat cost LB: 52385 ... c Min unsat cost LB: 53260 ... c Min unsat cost LB: 53881 ... c Min unsat cost LB: 53949 ... c Min unsat cost LB: 54291 ... c Min unsat cost LB: 54384 ... c Min unsat cost LB: 54437 ... c Min unsat cost LB: 55028 ... c Min unsat cost LB: 55342 ... c Min unsat cost LB: 55510 ... c Min unsat cost LB: 55743 ... c Min unsat cost LB: 55881 ... c Min unsat cost LB: 55901 ... c Min unsat cost LB: 56505 ... c Min unsat cost LB: 57247 ... c Min unsat cost LB: 57377 ... c Min unsat cost LB: 57430 ... c Min unsat cost LB: 57663 ... c Min unsat cost LB: 57920 ... c Min unsat cost LB: 58030 ... c Min unsat cost LB: 58163 ... c Min unsat cost LB: 58164 ... c Min unsat cost LB: 58166 ... c Min unsat cost LB: 58262 ... c Min unsat cost LB: 58481 ... c Min unsat cost LB: 58507 ... c Min unsat cost LB: 58730 ... c Min unsat cost LB: 58764 ... o 58764 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 c CPU Time: 3.2915 3.303u 0.012s 0:03.33 99.3% 0+0k 0+0io 0pf+0w