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-120-1_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-7.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-120-1_network-7.net.wcnf *** c c Min unsat cost LB: 1630 ... c Min unsat cost LB: 2236 ... c Min unsat cost LB: 3293 ... c Min unsat cost LB: 5639 ... c Min unsat cost LB: 6177 ... c Min unsat cost LB: 7707 ... c Min unsat cost LB: 9476 ... c Min unsat cost LB: 10759 ... c Min unsat cost LB: 11993 ... c Min unsat cost LB: 13108 ... c Min unsat cost LB: 14839 ... c Min unsat cost LB: 15641 ... c Min unsat cost LB: 16540 ... c Min unsat cost LB: 16917 ... c Min unsat cost LB: 16934 ... c Min unsat cost LB: 17862 ... c Min unsat cost LB: 19353 ... c Min unsat cost LB: 19634 ... c Min unsat cost LB: 20381 ... c Min unsat cost LB: 20383 ... c Min unsat cost LB: 21454 ... c Min unsat cost LB: 22048 ... c Min unsat cost LB: 22888 ... c Min unsat cost LB: 24196 ... c Min unsat cost LB: 24984 ... c Min unsat cost LB: 25519 ... c Min unsat cost LB: 25521 ... c Min unsat cost LB: 26181 ... c Min unsat cost LB: 26320 ... c Min unsat cost LB: 26833 ... c Min unsat cost LB: 28664 ... c Min unsat cost LB: 28700 ... c Min unsat cost LB: 29974 ... c Min unsat cost LB: 30337 ... c Min unsat cost LB: 30743 ... c Min unsat cost LB: 30836 ... c Min unsat cost LB: 31485 ... c Min unsat cost LB: 31493 ... c Min unsat cost LB: 31595 ... c Min unsat cost LB: 31770 ... c Min unsat cost LB: 31869 ... c Min unsat cost LB: 32335 ... c Min unsat cost LB: 32844 ... c Min unsat cost LB: 32909 ... c Min unsat cost LB: 33184 ... c Min unsat cost LB: 33353 ... c Min unsat cost LB: 33439 ... c Min unsat cost LB: 34029 ... c Min unsat cost LB: 34070 ... c Min unsat cost LB: 34080 ... c Min unsat cost LB: 34662 ... c Min unsat cost LB: 35517 ... c Min unsat cost LB: 35804 ... c Min unsat cost LB: 36089 ... c Min unsat cost LB: 36437 ... c Min unsat cost LB: 36443 ... c Min unsat cost LB: 36582 ... c Min unsat cost LB: 36583 ... c Min unsat cost LB: 37800 ... c Min unsat cost LB: 37952 ... c Min unsat cost LB: 38011 ... c Min unsat cost LB: 38113 ... c Min unsat cost LB: 38469 ... c Min unsat cost LB: 38749 ... c Min unsat cost LB: 38761 ... c Min unsat cost LB: 38837 ... c Min unsat cost LB: 38920 ... c Min unsat cost LB: 38922 ... c Min unsat cost LB: 39059 ... c Min unsat cost LB: 39286 ... c Min unsat cost LB: 39339 ... c Min unsat cost LB: 39409 ... c Min unsat cost LB: 39695 ... c Min unsat cost LB: 39743 ... c Min unsat cost LB: 39759 ... c Min unsat cost LB: 40349 ... c Min unsat cost LB: 40760 ... c Min unsat cost LB: 40774 ... c Min unsat cost LB: 40780 ... c Min unsat cost LB: 40968 ... c Min unsat cost LB: 41205 ... c Min unsat cost LB: 41211 ... c Min unsat cost LB: 41840 ... c Min unsat cost LB: 41930 ... c Min unsat cost LB: 42894 ... c Min unsat cost LB: 43425 ... c Min unsat cost LB: 43748 ... c Min unsat cost LB: 43977 ... c Min unsat cost LB: 44076 ... c Min unsat cost LB: 44245 ... c Min unsat cost LB: 44426 ... c Min unsat cost LB: 44535 ... c Min unsat cost LB: 44733 ... c Min unsat cost LB: 44780 ... c Min unsat cost LB: 45412 ... c Min unsat cost LB: 45741 ... c Min unsat cost LB: 46729 ... c Min unsat cost LB: 46758 ... c Min unsat cost LB: 47533 ... c Min unsat cost LB: 47800 ... c Min unsat cost LB: 47835 ... c Min unsat cost LB: 47916 ... c Min unsat cost LB: 47945 ... c Min unsat cost LB: 47996 ... c Min unsat cost LB: 48867 ... c Min unsat cost LB: 49334 ... c Min unsat cost LB: 49462 ... c Min unsat cost LB: 50764 ... c Min unsat cost LB: 50871 ... c Min unsat cost LB: 50897 ... c Min unsat cost LB: 50932 ... c Min unsat cost LB: 51008 ... c Min unsat cost LB: 51225 ... c Min unsat cost LB: 51251 ... c Min unsat cost LB: 51261 ... c Min unsat cost LB: 51263 ... c Min unsat cost LB: 51443 ... c Min unsat cost LB: 51607 ... c Min unsat cost LB: 51773 ... c Min unsat cost LB: 51857 ... c Min unsat cost LB: 52177 ... c Min unsat cost LB: 52377 ... c Min unsat cost LB: 52735 ... c Min unsat cost LB: 53364 ... c Min unsat cost LB: 53426 ... c Min unsat cost LB: 53558 ... c Min unsat cost LB: 53697 ... c Min unsat cost LB: 53768 ... c Min unsat cost LB: 54062 ... c Min unsat cost LB: 54660 ... c Min unsat cost LB: 55036 ... c Min unsat cost LB: 55091 ... c Min unsat cost LB: 55768 ... c Min unsat cost LB: 56269 ... c Min unsat cost LB: 56535 ... c Min unsat cost LB: 56832 ... c Min unsat cost LB: 57874 ... c Min unsat cost LB: 58220 ... c Min unsat cost LB: 58272 ... c Min unsat cost LB: 58977 ... c Min unsat cost LB: 60275 ... c Min unsat cost LB: 60781 ... c Min unsat cost LB: 61157 ... c Min unsat cost LB: 61198 ... c Min unsat cost LB: 61577 ... c Min unsat cost LB: 61578 ... c Min unsat cost LB: 61592 ... c Min unsat cost LB: 61721 ... c Min unsat cost LB: 61925 ... c Min unsat cost LB: 62105 ... c Min unsat cost LB: 62210 ... c Min unsat cost LB: 62426 ... c Min unsat cost LB: 62435 ... c Min unsat cost LB: 63022 ... c Min unsat cost LB: 63048 ... c Min unsat cost LB: 63073 ... c Min unsat cost LB: 63383 ... c Min unsat cost LB: 63940 ... c Min unsat cost LB: 63959 ... c Min unsat cost LB: 64088 ... c Min unsat cost LB: 64646 ... c Min unsat cost LB: 64683 ... c Min unsat cost LB: 65372 ... c Min unsat cost LB: 65743 ... c Min unsat cost LB: 65868 ... c Min unsat cost LB: 65945 ... c Min unsat cost LB: 65982 ... c Min unsat cost LB: 66003 ... c Min unsat cost LB: 66223 ... c Min unsat cost LB: 66311 ... c Min unsat cost LB: 66456 ... c Min unsat cost LB: 66640 ... c Min unsat cost LB: 66642 ... c Min unsat cost LB: 66720 ... c Min unsat cost LB: 66820 ... c Min unsat cost LB: 67199 ... c Min unsat cost LB: 67330 ... c Min unsat cost LB: 67528 ... c Min unsat cost LB: 68532 ... c Min unsat cost LB: 68533 ... c Min unsat cost LB: 68769 ... c Min unsat cost LB: 69708 ... c Min unsat cost LB: 69823 ... c Min unsat cost LB: 70082 ... c Min unsat cost LB: 70208 ... c Min unsat cost LB: 70421 ... c Min unsat cost LB: 70490 ... c Min unsat cost LB: 70990 ... c Min unsat cost LB: 71081 ... c Min unsat cost LB: 71709 ... c Min unsat cost LB: 71886 ... c Min unsat cost LB: 71898 ... c Min unsat cost LB: 72223 ... c Min unsat cost LB: 72329 ... c Min unsat cost LB: 72364 ... c Min unsat cost LB: 73577 ... c Min unsat cost LB: 73680 ... c Min unsat cost LB: 73903 ... c Min unsat cost LB: 74034 ... c Min unsat cost LB: 74629 ... c Min unsat cost LB: 74887 ... c Min unsat cost LB: 75085 ... c Min unsat cost LB: 75279 ... c Min unsat cost LB: 75314 ... c Min unsat cost LB: 75326 ... c Min unsat cost LB: 75423 ... c Min unsat cost LB: 75546 ... c Min unsat cost LB: 75773 ... c Min unsat cost LB: 76062 ... c Min unsat cost LB: 76412 ... c Min unsat cost LB: 76509 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76642 ... c Min unsat cost LB: 76678 ... c Min unsat cost LB: 76703 ... c Min unsat cost LB: 76766 ... c Min unsat cost LB: 76889 ... c Min unsat cost LB: 77435 ... c Min unsat cost LB: 77467 ... c Min unsat cost LB: 77635 ... c Min unsat cost LB: 77804 ... c Min unsat cost LB: 78152 ... c Min unsat cost LB: 78608 ... c Min unsat cost LB: 78674 ... c Min unsat cost LB: 78686 ... c Min unsat cost LB: 78699 ... c Min unsat cost LB: 78721 ... c Min unsat cost LB: 78731 ... c Min unsat cost LB: 78734 ... c Min unsat cost LB: 79009 ... c Min unsat cost LB: 79038 ... c Min unsat cost LB: 79067 ... c Min unsat cost LB: 79078 ... c Min unsat cost LB: 79220 ... c Min unsat cost LB: 79223 ... c Min unsat cost LB: 79261 ... c Min unsat cost LB: 80219 ... c Min unsat cost LB: 80295 ... c Min unsat cost LB: 80300 ... c Min unsat cost LB: 80310 ... c Min unsat cost LB: 80311 ... c Min unsat cost LB: 80333 ... c Min unsat cost LB: 80848 ... c Min unsat cost LB: 80907 ... c Min unsat cost LB: 81290 ... c Min unsat cost LB: 82024 ... c Min unsat cost LB: 82035 ... c Min unsat cost LB: 82063 ... c Min unsat cost LB: 82114 ... c Min unsat cost LB: 82611 ... c Min unsat cost LB: 83019 ... c Min unsat cost LB: 83359 ... c Min unsat cost LB: 83362 ... c Min unsat cost LB: 83363 ... c Min unsat cost LB: 83367 ... c Min unsat cost LB: 83368 ... c Min unsat cost LB: 83373 ... c Min unsat cost LB: 83378 ... c Min unsat cost LB: 83379 ... c Min unsat cost LB: 83384 ... c Min unsat cost LB: 83410 ... c Min unsat cost LB: 83413 ... c Min unsat cost LB: 83424 ... c Min unsat cost LB: 83449 ... c Min unsat cost LB: 83453 ... c Min unsat cost LB: 83470 ... c Min unsat cost LB: 83473 ... c Min unsat cost LB: 83482 ... c Min unsat cost LB: 83487 ... c Min unsat cost LB: 83519 ... c Min unsat cost LB: 84044 ... c Min unsat cost LB: 84330 ... c Min unsat cost LB: 84331 ... c Min unsat cost LB: 84343 ... c Min unsat cost LB: 84372 ... c Min unsat cost LB: 84378 ... c Min unsat cost LB: 84449 ... c Min unsat cost LB: 84545 ... c Min unsat cost LB: 84733 ... c Min unsat cost LB: 84847 ... c Min unsat cost LB: 85327 ... c Min unsat cost LB: 85772 ... c Min unsat cost LB: 85785 ... c Min unsat cost LB: 85811 ... c Min unsat cost LB: 85834 ... c Min unsat cost LB: 85836 ... c Min unsat cost LB: 85877 ... c Min unsat cost LB: 86072 ... c Min unsat cost LB: 86626 ... c Min unsat cost LB: 87577 ... c Min unsat cost LB: 87678 ... c Min unsat cost LB: 88598 ... c Min unsat cost LB: 89242 ... c Min unsat cost LB: 89269 ... c Min unsat cost LB: 89298 ... c Min unsat cost LB: 89407 ... c Min unsat cost LB: 89417 ... c Min unsat cost LB: 89430 ... c Min unsat cost LB: 89580 ... c Min unsat cost LB: 90937 ... c Min unsat cost LB: 91114 ... c Min unsat cost LB: 91248 ... c Min unsat cost LB: 91274 ... c Min unsat cost LB: 91777 ... c Min unsat cost LB: 91861 ... c Min unsat cost LB: 91895 ... c Min unsat cost LB: 92114 ... c Min unsat cost LB: 92196 ... c Min unsat cost LB: 92275 ... c Min unsat cost LB: 92276 ... c Min unsat cost LB: 92712 ... c Min unsat cost LB: 92929 ... c Min unsat cost LB: 93235 ... c Min unsat cost LB: 93344 ... c Min unsat cost LB: 93545 ... c Min unsat cost LB: 93717 ... c Min unsat cost LB: 93858 ... c Min unsat cost LB: 94194 ... c Min unsat cost LB: 94537 ... c Min unsat cost LB: 95379 ... c Min unsat cost LB: 95479 ... c Min unsat cost LB: 95520 ... c Min unsat cost LB: 95870 ... c Min unsat cost LB: 95939 ... c Min unsat cost LB: 95941 ... c Min unsat cost LB: 96227 ... c Min unsat cost LB: 96838 ... c Min unsat cost LB: 97456 ... c Min unsat cost LB: 97641 ... c Min unsat cost LB: 97994 ... c Min unsat cost LB: 98134 ... c Min unsat cost LB: 98135 ... c Min unsat cost LB: 98226 ... c Min unsat cost LB: 98278 ... c Min unsat cost LB: 98744 ... c Min unsat cost LB: 98959 ... c Min unsat cost LB: 99675 ... c Min unsat cost LB: 99684 ... c Min unsat cost LB: 99840 ... c Min unsat cost LB: 99843 ... c Min unsat cost LB: 100781 ... c Min unsat cost LB: 100827 ... c Min unsat cost LB: 101036 ... c Min unsat cost LB: 101143 ... c Min unsat cost LB: 101228 ... c Min unsat cost LB: 101254 ... c Min unsat cost LB: 101266 ... c Min unsat cost LB: 101307 ... c Min unsat cost LB: 101350 ... c Min unsat cost LB: 101395 ... c Min unsat cost LB: 101616 ... c Min unsat cost LB: 101658 ... c Min unsat cost LB: 101694 ... c Min unsat cost LB: 102434 ... c Min unsat cost LB: 102709 ... c Min unsat cost LB: 102926 ... c Min unsat cost LB: 102979 ... c Min unsat cost LB: 103040 ... c Min unsat cost LB: 104180 ... c Min unsat cost LB: 104244 ... c Min unsat cost LB: 104312 ... c Min unsat cost LB: 104333 ... c Min unsat cost LB: 104418 ... c Min unsat cost LB: 105232 ... c Min unsat cost LB: 105289 ... c Min unsat cost LB: 105337 ... c Min unsat cost LB: 105394 ... c Min unsat cost LB: 105420 ... c Min unsat cost LB: 105437 ... c Min unsat cost LB: 105478 ... c Min unsat cost LB: 105499 ... c Min unsat cost LB: 105505 ... c Min unsat cost LB: 105509 ... c Min unsat cost LB: 105517 ... c Min unsat cost LB: 105544 ... c Min unsat cost LB: 105558 ... c Min unsat cost LB: 105576 ... c Min unsat cost LB: 105911 ... c Min unsat cost LB: 106404 ... c Min unsat cost LB: 106522 ... c Min unsat cost LB: 107187 ... c Min unsat cost LB: 107191 ... c Min unsat cost LB: 107209 ... c Min unsat cost LB: 107267 ... c Min unsat cost LB: 107733 ... c Min unsat cost LB: 107776 ... c Min unsat cost LB: 107814 ... c Min unsat cost LB: 107883 ... c Min unsat cost LB: 107966 ... c Min unsat cost LB: 108395 ... c Min unsat cost LB: 108578 ... c Min unsat cost LB: 109064 ... c Min unsat cost LB: 109277 ... o 109277 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 225 -226 227 -228 -229 230 -231 -232 -233 234 -235 -236 -237 238 -239 -240 -241 242 243 -244 -245 -246 247 -248 -249 250 -251 -252 -253 -254 255 -256 257 258 -259 -260 -261 -262 263 -264 265 -266 -267 -268 269 -270 -271 272 -273 -274 -275 276 -277 -278 -279 280 281 -282 -283 284 285 -286 -287 -288 289 -290 291 -292 293 -294 295 -296 c CPU Time: 10.9463 10.972u 0.086s 0:11.08 99.7% 0+0k 0+0io 0pf+0w