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-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-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-100-1_network-7.net.wcnf *** c c Min unsat cost LB: 1882 ... c Min unsat cost LB: 2477 ... c Min unsat cost LB: 3964 ... c Min unsat cost LB: 4725 ... c Min unsat cost LB: 4863 ... c Min unsat cost LB: 5862 ... c Min unsat cost LB: 6542 ... c Min unsat cost LB: 7539 ... c Min unsat cost LB: 7554 ... c Min unsat cost LB: 7859 ... c Min unsat cost LB: 8379 ... c Min unsat cost LB: 8725 ... c Min unsat cost LB: 8906 ... c Min unsat cost LB: 10142 ... c Min unsat cost LB: 11545 ... c Min unsat cost LB: 12279 ... c Min unsat cost LB: 13776 ... c Min unsat cost LB: 13875 ... c Min unsat cost LB: 14302 ... c Min unsat cost LB: 14910 ... c Min unsat cost LB: 16464 ... c Min unsat cost LB: 16581 ... c Min unsat cost LB: 17516 ... c Min unsat cost LB: 18087 ... c Min unsat cost LB: 18248 ... c Min unsat cost LB: 18270 ... c Min unsat cost LB: 18469 ... c Min unsat cost LB: 18660 ... c Min unsat cost LB: 18766 ... c Min unsat cost LB: 18891 ... c Min unsat cost LB: 19752 ... c Min unsat cost LB: 20292 ... c Min unsat cost LB: 20529 ... c Min unsat cost LB: 20633 ... c Min unsat cost LB: 21851 ... c Min unsat cost LB: 21971 ... c Min unsat cost LB: 22906 ... c Min unsat cost LB: 23265 ... c Min unsat cost LB: 23541 ... c Min unsat cost LB: 23702 ... c Min unsat cost LB: 23836 ... c Min unsat cost LB: 24018 ... c Min unsat cost LB: 24072 ... c Min unsat cost LB: 24431 ... c Min unsat cost LB: 24477 ... c Min unsat cost LB: 25489 ... c Min unsat cost LB: 25585 ... c Min unsat cost LB: 25701 ... c Min unsat cost LB: 25819 ... c Min unsat cost LB: 26308 ... c Min unsat cost LB: 26398 ... c Min unsat cost LB: 26790 ... c Min unsat cost LB: 26907 ... c Min unsat cost LB: 27126 ... c Min unsat cost LB: 27360 ... c Min unsat cost LB: 27444 ... c Min unsat cost LB: 27902 ... c Min unsat cost LB: 28212 ... c Min unsat cost LB: 28485 ... c Min unsat cost LB: 28718 ... c Min unsat cost LB: 29119 ... c Min unsat cost LB: 29422 ... c Min unsat cost LB: 29673 ... c Min unsat cost LB: 30555 ... c Min unsat cost LB: 30724 ... c Min unsat cost LB: 31037 ... c Min unsat cost LB: 31065 ... c Min unsat cost LB: 31673 ... c Min unsat cost LB: 31695 ... c Min unsat cost LB: 31917 ... c Min unsat cost LB: 32050 ... c Min unsat cost LB: 32055 ... c Min unsat cost LB: 32637 ... c Min unsat cost LB: 32885 ... c Min unsat cost LB: 33258 ... c Min unsat cost LB: 33457 ... c Min unsat cost LB: 33472 ... c Min unsat cost LB: 34209 ... c Min unsat cost LB: 34400 ... c Min unsat cost LB: 35304 ... c Min unsat cost LB: 35428 ... c Min unsat cost LB: 35490 ... c Min unsat cost LB: 35722 ... c Min unsat cost LB: 36591 ... c Min unsat cost LB: 36703 ... c Min unsat cost LB: 36724 ... c Min unsat cost LB: 37138 ... c Min unsat cost LB: 37390 ... c Min unsat cost LB: 37680 ... c Min unsat cost LB: 37944 ... c Min unsat cost LB: 37990 ... c Min unsat cost LB: 39283 ... c Min unsat cost LB: 40052 ... c Min unsat cost LB: 40195 ... c Min unsat cost LB: 40611 ... c Min unsat cost LB: 41064 ... c Min unsat cost LB: 41100 ... c Min unsat cost LB: 41282 ... c Min unsat cost LB: 41385 ... c Min unsat cost LB: 41400 ... c Min unsat cost LB: 41495 ... c Min unsat cost LB: 41810 ... c Min unsat cost LB: 41916 ... c Min unsat cost LB: 42315 ... c Min unsat cost LB: 42386 ... c Min unsat cost LB: 42657 ... c Min unsat cost LB: 42774 ... c Min unsat cost LB: 43221 ... c Min unsat cost LB: 43521 ... c Min unsat cost LB: 43727 ... c Min unsat cost LB: 43810 ... c Min unsat cost LB: 44718 ... c Min unsat cost LB: 44747 ... c Min unsat cost LB: 44861 ... c Min unsat cost LB: 44866 ... c Min unsat cost LB: 45621 ... c Min unsat cost LB: 45660 ... c Min unsat cost LB: 45677 ... c Min unsat cost LB: 45933 ... c Min unsat cost LB: 46417 ... c Min unsat cost LB: 46564 ... c Min unsat cost LB: 46808 ... c Min unsat cost LB: 46929 ... c Min unsat cost LB: 46934 ... c Min unsat cost LB: 47047 ... c Min unsat cost LB: 47409 ... c Min unsat cost LB: 48195 ... c Min unsat cost LB: 48459 ... c Min unsat cost LB: 48488 ... c Min unsat cost LB: 48523 ... c Min unsat cost LB: 48552 ... c Min unsat cost LB: 48563 ... c Min unsat cost LB: 48593 ... c Min unsat cost LB: 49472 ... c Min unsat cost LB: 49510 ... c Min unsat cost LB: 50051 ... c Min unsat cost LB: 50377 ... c Min unsat cost LB: 50551 ... c Min unsat cost LB: 50893 ... c Min unsat cost LB: 51277 ... c Min unsat cost LB: 51485 ... c Min unsat cost LB: 51539 ... c Min unsat cost LB: 51585 ... c Min unsat cost LB: 52178 ... c Min unsat cost LB: 52190 ... c Min unsat cost LB: 52193 ... c Min unsat cost LB: 52829 ... c Min unsat cost LB: 53344 ... c Min unsat cost LB: 53526 ... c Min unsat cost LB: 53706 ... c Min unsat cost LB: 53914 ... c Min unsat cost LB: 54616 ... c Min unsat cost LB: 54978 ... c Min unsat cost LB: 55177 ... c Min unsat cost LB: 55326 ... c Min unsat cost LB: 55856 ... c Min unsat cost LB: 56251 ... c Min unsat cost LB: 56623 ... c Min unsat cost LB: 57063 ... c Min unsat cost LB: 57077 ... c Min unsat cost LB: 58254 ... c Min unsat cost LB: 58371 ... c Min unsat cost LB: 58455 ... c Min unsat cost LB: 58576 ... c Min unsat cost LB: 59466 ... c Min unsat cost LB: 59659 ... c Min unsat cost LB: 59784 ... c Min unsat cost LB: 59809 ... c Min unsat cost LB: 60084 ... c Min unsat cost LB: 60442 ... c Min unsat cost LB: 60565 ... c Min unsat cost LB: 60935 ... c Min unsat cost LB: 61775 ... c Min unsat cost LB: 62253 ... c Min unsat cost LB: 62764 ... c Min unsat cost LB: 63151 ... c Min unsat cost LB: 63438 ... c Min unsat cost LB: 63870 ... c Min unsat cost LB: 63953 ... c Min unsat cost LB: 63969 ... c Min unsat cost LB: 63975 ... c Min unsat cost LB: 64531 ... c Min unsat cost LB: 64848 ... c Min unsat cost LB: 65253 ... c Min unsat cost LB: 65368 ... c Min unsat cost LB: 65404 ... c Min unsat cost LB: 65482 ... c Min unsat cost LB: 65782 ... c Min unsat cost LB: 65844 ... c Min unsat cost LB: 65935 ... c Min unsat cost LB: 67016 ... c Min unsat cost LB: 67576 ... c Min unsat cost LB: 67981 ... c Min unsat cost LB: 68137 ... c Min unsat cost LB: 68167 ... c Min unsat cost LB: 68906 ... c Min unsat cost LB: 68963 ... c Min unsat cost LB: 69059 ... c Min unsat cost LB: 69361 ... c Min unsat cost LB: 70074 ... c Min unsat cost LB: 70479 ... c Min unsat cost LB: 71355 ... c Min unsat cost LB: 71410 ... c Min unsat cost LB: 71433 ... c Min unsat cost LB: 72026 ... c Min unsat cost LB: 72137 ... c Min unsat cost LB: 72385 ... c Min unsat cost LB: 72874 ... c Min unsat cost LB: 73122 ... c Min unsat cost LB: 73134 ... c Min unsat cost LB: 73146 ... c Min unsat cost LB: 73147 ... c Min unsat cost LB: 73231 ... c Min unsat cost LB: 73236 ... c Min unsat cost LB: 73310 ... c Min unsat cost LB: 73318 ... c Min unsat cost LB: 73319 ... c Min unsat cost LB: 73345 ... c Min unsat cost LB: 73411 ... c Min unsat cost LB: 73423 ... c Min unsat cost LB: 73424 ... c Min unsat cost LB: 73427 ... c Min unsat cost LB: 73436 ... c Min unsat cost LB: 73528 ... c Min unsat cost LB: 73590 ... c Min unsat cost LB: 73591 ... c Min unsat cost LB: 73799 ... c Min unsat cost LB: 73809 ... c Min unsat cost LB: 73883 ... c Min unsat cost LB: 73888 ... c Min unsat cost LB: 73889 ... c Min unsat cost LB: 74220 ... c Min unsat cost LB: 74852 ... c Min unsat cost LB: 75131 ... c Min unsat cost LB: 75295 ... c Min unsat cost LB: 75300 ... c Min unsat cost LB: 75512 ... c Min unsat cost LB: 75808 ... c Min unsat cost LB: 76471 ... c Min unsat cost LB: 76715 ... c Min unsat cost LB: 77006 ... c Min unsat cost LB: 77765 ... c Min unsat cost LB: 77928 ... c Min unsat cost LB: 77969 ... c Min unsat cost LB: 78852 ... c Min unsat cost LB: 79099 ... c Min unsat cost LB: 79460 ... c Min unsat cost LB: 79509 ... c Min unsat cost LB: 80187 ... c Min unsat cost LB: 80237 ... c Min unsat cost LB: 80278 ... c Min unsat cost LB: 80956 ... c Min unsat cost LB: 80970 ... c Min unsat cost LB: 81050 ... c Min unsat cost LB: 82035 ... c Min unsat cost LB: 82373 ... c Min unsat cost LB: 82424 ... c Min unsat cost LB: 82614 ... c Min unsat cost LB: 83206 ... c Min unsat cost LB: 83374 ... c Min unsat cost LB: 83854 ... c Min unsat cost LB: 83893 ... c Min unsat cost LB: 84390 ... c Min unsat cost LB: 84438 ... c Min unsat cost LB: 84461 ... c Min unsat cost LB: 84647 ... c Min unsat cost LB: 84838 ... c Min unsat cost LB: 84958 ... c Min unsat cost LB: 85001 ... c Min unsat cost LB: 85068 ... c Min unsat cost LB: 85223 ... c Min unsat cost LB: 85247 ... c Min unsat cost LB: 85267 ... c Min unsat cost LB: 85276 ... c Min unsat cost LB: 85290 ... c Min unsat cost LB: 85320 ... c Min unsat cost LB: 85325 ... c Min unsat cost LB: 85343 ... c Min unsat cost LB: 85522 ... c Min unsat cost LB: 85915 ... c Min unsat cost LB: 86657 ... c Min unsat cost LB: 87447 ... c Min unsat cost LB: 87646 ... c Min unsat cost LB: 88311 ... c Min unsat cost LB: 88454 ... c Min unsat cost LB: 88553 ... c Min unsat cost LB: 88900 ... c Min unsat cost LB: 89179 ... c Min unsat cost LB: 89186 ... c Min unsat cost LB: 89227 ... c Min unsat cost LB: 89384 ... o 89384 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 c CPU Time: 4.44532 4.457u 0.010s 0:04.51 98.8% 0+0k 0+0io 0pf+0w