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-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-10.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-1_network-10.net.wcnf *** c c Min unsat cost LB: 58 ... c Min unsat cost LB: 1413 ... c Min unsat cost LB: 2056 ... c Min unsat cost LB: 2515 ... c Min unsat cost LB: 3959 ... c Min unsat cost LB: 5190 ... c Min unsat cost LB: 6244 ... c Min unsat cost LB: 7200 ... c Min unsat cost LB: 7513 ... c Min unsat cost LB: 7535 ... c Min unsat cost LB: 8010 ... c Min unsat cost LB: 8233 ... c Min unsat cost LB: 9823 ... c Min unsat cost LB: 10065 ... c Min unsat cost LB: 11070 ... c Min unsat cost LB: 11620 ... c Min unsat cost LB: 12166 ... c Min unsat cost LB: 13082 ... c Min unsat cost LB: 13959 ... c Min unsat cost LB: 14405 ... c Min unsat cost LB: 14878 ... c Min unsat cost LB: 15132 ... c Min unsat cost LB: 15680 ... c Min unsat cost LB: 16335 ... c Min unsat cost LB: 16850 ... c Min unsat cost LB: 16883 ... c Min unsat cost LB: 16980 ... c Min unsat cost LB: 17048 ... c Min unsat cost LB: 17478 ... c Min unsat cost LB: 17650 ... c Min unsat cost LB: 17859 ... c Min unsat cost LB: 18850 ... c Min unsat cost LB: 18890 ... c Min unsat cost LB: 19135 ... c Min unsat cost LB: 19490 ... c Min unsat cost LB: 19543 ... c Min unsat cost LB: 19850 ... c Min unsat cost LB: 19923 ... c Min unsat cost LB: 20059 ... c Min unsat cost LB: 20897 ... c Min unsat cost LB: 21412 ... c Min unsat cost LB: 21503 ... c Min unsat cost LB: 21566 ... c Min unsat cost LB: 23174 ... c Min unsat cost LB: 23207 ... c Min unsat cost LB: 23263 ... c Min unsat cost LB: 24555 ... c Min unsat cost LB: 24719 ... c Min unsat cost LB: 24977 ... c Min unsat cost LB: 25107 ... c Min unsat cost LB: 25174 ... c Min unsat cost LB: 25338 ... c Min unsat cost LB: 25344 ... c Min unsat cost LB: 25809 ... c Min unsat cost LB: 25830 ... c Min unsat cost LB: 26253 ... c Min unsat cost LB: 26715 ... c Min unsat cost LB: 26842 ... c Min unsat cost LB: 26948 ... c Min unsat cost LB: 26996 ... c Min unsat cost LB: 27177 ... c Min unsat cost LB: 27198 ... c Min unsat cost LB: 27250 ... c Min unsat cost LB: 27712 ... c Min unsat cost LB: 27879 ... c Min unsat cost LB: 28079 ... c Min unsat cost LB: 28124 ... c Min unsat cost LB: 29168 ... c Min unsat cost LB: 29381 ... c Min unsat cost LB: 29954 ... c Min unsat cost LB: 30342 ... c Min unsat cost LB: 30724 ... c Min unsat cost LB: 30800 ... c Min unsat cost LB: 30820 ... c Min unsat cost LB: 31144 ... c Min unsat cost LB: 31223 ... c Min unsat cost LB: 31447 ... c Min unsat cost LB: 31561 ... c Min unsat cost LB: 31940 ... c Min unsat cost LB: 32128 ... c Min unsat cost LB: 32380 ... c Min unsat cost LB: 32447 ... c Min unsat cost LB: 32486 ... c Min unsat cost LB: 32500 ... c Min unsat cost LB: 32523 ... c Min unsat cost LB: 33101 ... c Min unsat cost LB: 33259 ... c Min unsat cost LB: 33317 ... c Min unsat cost LB: 33322 ... c Min unsat cost LB: 33389 ... c Min unsat cost LB: 33569 ... c Min unsat cost LB: 33957 ... c Min unsat cost LB: 34678 ... c Min unsat cost LB: 34823 ... c Min unsat cost LB: 35034 ... c Min unsat cost LB: 35874 ... c Min unsat cost LB: 36306 ... c Min unsat cost LB: 36562 ... c Min unsat cost LB: 36831 ... c Min unsat cost LB: 36908 ... c Min unsat cost LB: 36960 ... c Min unsat cost LB: 37690 ... c Min unsat cost LB: 38305 ... c Min unsat cost LB: 38543 ... c Min unsat cost LB: 38836 ... c Min unsat cost LB: 39161 ... c Min unsat cost LB: 39285 ... c Min unsat cost LB: 40082 ... c Min unsat cost LB: 40138 ... c Min unsat cost LB: 40239 ... c Min unsat cost LB: 40523 ... c Min unsat cost LB: 40848 ... c Min unsat cost LB: 41229 ... c Min unsat cost LB: 41258 ... c Min unsat cost LB: 41339 ... c Min unsat cost LB: 41382 ... c Min unsat cost LB: 41478 ... c Min unsat cost LB: 41795 ... c Min unsat cost LB: 41991 ... c Min unsat cost LB: 42625 ... c Min unsat cost LB: 42706 ... c Min unsat cost LB: 42727 ... c Min unsat cost LB: 42746 ... c Min unsat cost LB: 42779 ... c Min unsat cost LB: 42838 ... c Min unsat cost LB: 42955 ... c Min unsat cost LB: 43811 ... c Min unsat cost LB: 43988 ... c Min unsat cost LB: 44144 ... c Min unsat cost LB: 44238 ... c Min unsat cost LB: 44302 ... c Min unsat cost LB: 44384 ... c Min unsat cost LB: 44688 ... c Min unsat cost LB: 45239 ... c Min unsat cost LB: 45437 ... c Min unsat cost LB: 45535 ... c Min unsat cost LB: 45956 ... c Min unsat cost LB: 46266 ... c Min unsat cost LB: 46285 ... c Min unsat cost LB: 46653 ... c Min unsat cost LB: 46721 ... c Min unsat cost LB: 47711 ... c Min unsat cost LB: 47975 ... c Min unsat cost LB: 48139 ... c Min unsat cost LB: 48759 ... c Min unsat cost LB: 49277 ... c Min unsat cost LB: 49498 ... c Min unsat cost LB: 50055 ... c Min unsat cost LB: 50539 ... c Min unsat cost LB: 50774 ... c Min unsat cost LB: 50842 ... c Min unsat cost LB: 50933 ... c Min unsat cost LB: 51118 ... c Min unsat cost LB: 51254 ... c Min unsat cost LB: 51282 ... c Min unsat cost LB: 51862 ... c Min unsat cost LB: 51953 ... c Min unsat cost LB: 51976 ... c Min unsat cost LB: 52204 ... c Min unsat cost LB: 52303 ... c Min unsat cost LB: 52681 ... c Min unsat cost LB: 52852 ... c Min unsat cost LB: 53397 ... c Min unsat cost LB: 53453 ... c Min unsat cost LB: 53542 ... c Min unsat cost LB: 53956 ... c Min unsat cost LB: 53990 ... c Min unsat cost LB: 54037 ... c Min unsat cost LB: 54670 ... c Min unsat cost LB: 54784 ... c Min unsat cost LB: 54904 ... c Min unsat cost LB: 55173 ... c Min unsat cost LB: 55264 ... c Min unsat cost LB: 55662 ... c Min unsat cost LB: 55992 ... c Min unsat cost LB: 56207 ... c Min unsat cost LB: 56224 ... c Min unsat cost LB: 56271 ... c Min unsat cost LB: 56375 ... c Min unsat cost LB: 56515 ... c Min unsat cost LB: 56609 ... c Min unsat cost LB: 57098 ... c Min unsat cost LB: 57127 ... c Min unsat cost LB: 57129 ... c Min unsat cost LB: 57174 ... c Min unsat cost LB: 57191 ... c Min unsat cost LB: 57305 ... c Min unsat cost LB: 57396 ... c Min unsat cost LB: 57500 ... c Min unsat cost LB: 57640 ... c Min unsat cost LB: 57674 ... c Min unsat cost LB: 57721 ... c Min unsat cost LB: 58681 ... c Min unsat cost LB: 59046 ... c Min unsat cost LB: 59071 ... c Min unsat cost LB: 59496 ... c Min unsat cost LB: 59840 ... c Min unsat cost LB: 60454 ... c Min unsat cost LB: 60771 ... c Min unsat cost LB: 60908 ... c Min unsat cost LB: 61325 ... c Min unsat cost LB: 61490 ... c Min unsat cost LB: 62076 ... c Min unsat cost LB: 62148 ... c Min unsat cost LB: 62187 ... c Min unsat cost LB: 63697 ... c Min unsat cost LB: 63738 ... c Min unsat cost LB: 63825 ... c Min unsat cost LB: 64239 ... c Min unsat cost LB: 64588 ... c Min unsat cost LB: 64803 ... c Min unsat cost LB: 65007 ... c Min unsat cost LB: 65014 ... c Min unsat cost LB: 65123 ... c Min unsat cost LB: 65161 ... c Min unsat cost LB: 65256 ... c Min unsat cost LB: 65278 ... c Min unsat cost LB: 65384 ... c Min unsat cost LB: 65442 ... c Min unsat cost LB: 65556 ... c Min unsat cost LB: 65809 ... c Min unsat cost LB: 66324 ... c Min unsat cost LB: 66626 ... c Min unsat cost LB: 66718 ... c Min unsat cost LB: 66791 ... c Min unsat cost LB: 67281 ... c Min unsat cost LB: 67283 ... c Min unsat cost LB: 67486 ... c Min unsat cost LB: 67579 ... c Min unsat cost LB: 67838 ... c Min unsat cost LB: 67874 ... c Min unsat cost LB: 67993 ... c Min unsat cost LB: 68971 ... c Min unsat cost LB: 68979 ... c Min unsat cost LB: 68996 ... c Min unsat cost LB: 69039 ... c Min unsat cost LB: 69074 ... c Min unsat cost LB: 69687 ... c Min unsat cost LB: 69915 ... c Min unsat cost LB: 69966 ... c Min unsat cost LB: 70626 ... c Min unsat cost LB: 71080 ... c Min unsat cost LB: 71420 ... c Min unsat cost LB: 71607 ... c Min unsat cost LB: 71811 ... c Min unsat cost LB: 72094 ... c Min unsat cost LB: 72415 ... c Min unsat cost LB: 72435 ... c Min unsat cost LB: 72448 ... c Min unsat cost LB: 73402 ... c Min unsat cost LB: 73451 ... c Min unsat cost LB: 73954 ... c Min unsat cost LB: 74300 ... c Min unsat cost LB: 74328 ... c Min unsat cost LB: 74996 ... c Min unsat cost LB: 75075 ... c Min unsat cost LB: 75210 ... c Min unsat cost LB: 75545 ... c Min unsat cost LB: 76019 ... c Min unsat cost LB: 76139 ... c Min unsat cost LB: 76396 ... c Min unsat cost LB: 76611 ... c Min unsat cost LB: 76930 ... c Min unsat cost LB: 76954 ... c Min unsat cost LB: 77645 ... c Min unsat cost LB: 77736 ... c Min unsat cost LB: 77792 ... c Min unsat cost LB: 77817 ... c Min unsat cost LB: 77947 ... c Min unsat cost LB: 78062 ... c Min unsat cost LB: 78125 ... c Min unsat cost LB: 78962 ... c Min unsat cost LB: 79113 ... c Min unsat cost LB: 79123 ... c Min unsat cost LB: 79125 ... c Min unsat cost LB: 79144 ... c Min unsat cost LB: 79340 ... c Min unsat cost LB: 80105 ... c Min unsat cost LB: 80298 ... c Min unsat cost LB: 80735 ... c Min unsat cost LB: 80751 ... c Min unsat cost LB: 80754 ... c Min unsat cost LB: 81003 ... c Min unsat cost LB: 81026 ... c Min unsat cost LB: 82063 ... c Min unsat cost LB: 82075 ... c Min unsat cost LB: 82098 ... c Min unsat cost LB: 82121 ... c Min unsat cost LB: 82291 ... c Min unsat cost LB: 82737 ... c Min unsat cost LB: 82743 ... c Min unsat cost LB: 82782 ... c Min unsat cost LB: 82853 ... c Min unsat cost LB: 82927 ... c Min unsat cost LB: 82939 ... c Min unsat cost LB: 82951 ... c Min unsat cost LB: 83108 ... c Min unsat cost LB: 83970 ... c Min unsat cost LB: 84105 ... c Min unsat cost LB: 84842 ... c Min unsat cost LB: 84941 ... c Min unsat cost LB: 85010 ... c Min unsat cost LB: 85185 ... c Min unsat cost LB: 85505 ... c Min unsat cost LB: 85936 ... c Min unsat cost LB: 86245 ... c Min unsat cost LB: 86620 ... c Min unsat cost LB: 86732 ... c Min unsat cost LB: 86833 ... c Min unsat cost LB: 87487 ... c Min unsat cost LB: 87571 ... c Min unsat cost LB: 88382 ... c Min unsat cost LB: 88444 ... c Min unsat cost LB: 88489 ... o 88489 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 c CPU Time: 6.21506 6.227u 0.030s 0:06.32 98.8% 0+0k 0+0io 0pf+0w