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-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-8.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-8.net.wcnf *** c c Min unsat cost LB: 944 ... c Min unsat cost LB: 2049 ... c Min unsat cost LB: 2315 ... c Min unsat cost LB: 3447 ... c Min unsat cost LB: 4701 ... c Min unsat cost LB: 5465 ... c Min unsat cost LB: 6108 ... c Min unsat cost LB: 7481 ... c Min unsat cost LB: 7612 ... c Min unsat cost LB: 9207 ... c Min unsat cost LB: 10678 ... c Min unsat cost LB: 12366 ... c Min unsat cost LB: 14084 ... c Min unsat cost LB: 14196 ... c Min unsat cost LB: 14895 ... c Min unsat cost LB: 15360 ... c Min unsat cost LB: 15406 ... c Min unsat cost LB: 16066 ... c Min unsat cost LB: 16416 ... c Min unsat cost LB: 17821 ... c Min unsat cost LB: 19204 ... c Min unsat cost LB: 20866 ... c Min unsat cost LB: 22169 ... c Min unsat cost LB: 23657 ... c Min unsat cost LB: 24517 ... c Min unsat cost LB: 25011 ... c Min unsat cost LB: 25024 ... c Min unsat cost LB: 25144 ... c Min unsat cost LB: 25285 ... c Min unsat cost LB: 25697 ... c Min unsat cost LB: 26484 ... c Min unsat cost LB: 26627 ... c Min unsat cost LB: 28187 ... c Min unsat cost LB: 29380 ... c Min unsat cost LB: 30738 ... c Min unsat cost LB: 30863 ... c Min unsat cost LB: 31022 ... c Min unsat cost LB: 31498 ... c Min unsat cost LB: 31528 ... c Min unsat cost LB: 31836 ... c Min unsat cost LB: 31996 ... c Min unsat cost LB: 32088 ... c Min unsat cost LB: 32460 ... c Min unsat cost LB: 32636 ... c Min unsat cost LB: 32982 ... c Min unsat cost LB: 33005 ... c Min unsat cost LB: 33822 ... c Min unsat cost LB: 33829 ... c Min unsat cost LB: 34048 ... c Min unsat cost LB: 34074 ... c Min unsat cost LB: 34179 ... c Min unsat cost LB: 34558 ... c Min unsat cost LB: 35048 ... c Min unsat cost LB: 35049 ... c Min unsat cost LB: 35218 ... c Min unsat cost LB: 35225 ... c Min unsat cost LB: 36080 ... c Min unsat cost LB: 36232 ... c Min unsat cost LB: 36507 ... c Min unsat cost LB: 37281 ... c Min unsat cost LB: 37490 ... c Min unsat cost LB: 37552 ... c Min unsat cost LB: 38506 ... c Min unsat cost LB: 38900 ... c Min unsat cost LB: 39920 ... c Min unsat cost LB: 40128 ... c Min unsat cost LB: 40361 ... c Min unsat cost LB: 40739 ... c Min unsat cost LB: 41116 ... c Min unsat cost LB: 41187 ... c Min unsat cost LB: 41239 ... c Min unsat cost LB: 41887 ... c Min unsat cost LB: 42070 ... c Min unsat cost LB: 42146 ... c Min unsat cost LB: 42732 ... c Min unsat cost LB: 43094 ... c Min unsat cost LB: 43149 ... c Min unsat cost LB: 43253 ... c Min unsat cost LB: 43307 ... c Min unsat cost LB: 43348 ... c Min unsat cost LB: 43700 ... c Min unsat cost LB: 43894 ... c Min unsat cost LB: 44184 ... c Min unsat cost LB: 44468 ... c Min unsat cost LB: 44478 ... c Min unsat cost LB: 44684 ... c Min unsat cost LB: 45187 ... c Min unsat cost LB: 45349 ... c Min unsat cost LB: 45497 ... c Min unsat cost LB: 45859 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46458 ... c Min unsat cost LB: 46527 ... c Min unsat cost LB: 46529 ... c Min unsat cost LB: 46737 ... c Min unsat cost LB: 46758 ... c Min unsat cost LB: 46948 ... c Min unsat cost LB: 46965 ... c Min unsat cost LB: 47002 ... c Min unsat cost LB: 47580 ... c Min unsat cost LB: 48587 ... c Min unsat cost LB: 48824 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 51055 ... c Min unsat cost LB: 51137 ... c Min unsat cost LB: 51246 ... c Min unsat cost LB: 51362 ... c Min unsat cost LB: 52339 ... c Min unsat cost LB: 52440 ... c Min unsat cost LB: 52460 ... c Min unsat cost LB: 52495 ... c Min unsat cost LB: 52579 ... c Min unsat cost LB: 52717 ... c Min unsat cost LB: 52822 ... c Min unsat cost LB: 53232 ... c Min unsat cost LB: 53255 ... c Min unsat cost LB: 53266 ... c Min unsat cost LB: 53746 ... c Min unsat cost LB: 53929 ... c Min unsat cost LB: 54171 ... c Min unsat cost LB: 54282 ... c Min unsat cost LB: 54724 ... c Min unsat cost LB: 55375 ... c Min unsat cost LB: 56102 ... c Min unsat cost LB: 56212 ... c Min unsat cost LB: 56248 ... c Min unsat cost LB: 56357 ... c Min unsat cost LB: 56391 ... c Min unsat cost LB: 56723 ... c Min unsat cost LB: 56925 ... c Min unsat cost LB: 57066 ... c Min unsat cost LB: 57438 ... c Min unsat cost LB: 57600 ... c Min unsat cost LB: 57924 ... c Min unsat cost LB: 57944 ... c Min unsat cost LB: 58038 ... c Min unsat cost LB: 58894 ... c Min unsat cost LB: 59052 ... c Min unsat cost LB: 59533 ... c Min unsat cost LB: 60638 ... c Min unsat cost LB: 61239 ... c Min unsat cost LB: 61377 ... c Min unsat cost LB: 61411 ... c Min unsat cost LB: 62143 ... c Min unsat cost LB: 63719 ... c Min unsat cost LB: 63831 ... c Min unsat cost LB: 64562 ... c Min unsat cost LB: 64799 ... c Min unsat cost LB: 64975 ... c Min unsat cost LB: 64992 ... c Min unsat cost LB: 65025 ... c Min unsat cost LB: 65045 ... c Min unsat cost LB: 65050 ... c Min unsat cost LB: 65212 ... c Min unsat cost LB: 65499 ... c Min unsat cost LB: 65593 ... c Min unsat cost LB: 65755 ... c Min unsat cost LB: 65813 ... c Min unsat cost LB: 65848 ... c Min unsat cost LB: 65960 ... c Min unsat cost LB: 65968 ... c Min unsat cost LB: 65973 ... c Min unsat cost LB: 66658 ... c Min unsat cost LB: 66787 ... c Min unsat cost LB: 67056 ... c Min unsat cost LB: 67680 ... c Min unsat cost LB: 67769 ... c Min unsat cost LB: 67860 ... c Min unsat cost LB: 67946 ... c Min unsat cost LB: 68279 ... c Min unsat cost LB: 68527 ... c Min unsat cost LB: 68611 ... c Min unsat cost LB: 69415 ... c Min unsat cost LB: 69698 ... c Min unsat cost LB: 70267 ... c Min unsat cost LB: 70268 ... c Min unsat cost LB: 70411 ... c Min unsat cost LB: 70436 ... c Min unsat cost LB: 70580 ... c Min unsat cost LB: 70649 ... c Min unsat cost LB: 70798 ... c Min unsat cost LB: 71666 ... c Min unsat cost LB: 71924 ... c Min unsat cost LB: 71980 ... c Min unsat cost LB: 72034 ... c Min unsat cost LB: 72039 ... c Min unsat cost LB: 72054 ... c Min unsat cost LB: 72955 ... c Min unsat cost LB: 73179 ... c Min unsat cost LB: 73187 ... c Min unsat cost LB: 73216 ... c Min unsat cost LB: 73268 ... c Min unsat cost LB: 74029 ... c Min unsat cost LB: 74064 ... c Min unsat cost LB: 74072 ... c Min unsat cost LB: 74077 ... c Min unsat cost LB: 74110 ... c Min unsat cost LB: 74118 ... c Min unsat cost LB: 74181 ... c Min unsat cost LB: 74209 ... c Min unsat cost LB: 74221 ... c Min unsat cost LB: 74259 ... c Min unsat cost LB: 75149 ... c Min unsat cost LB: 75610 ... c Min unsat cost LB: 75737 ... c Min unsat cost LB: 75874 ... c Min unsat cost LB: 76003 ... c Min unsat cost LB: 76604 ... c Min unsat cost LB: 76855 ... c Min unsat cost LB: 77430 ... c Min unsat cost LB: 77740 ... c Min unsat cost LB: 77946 ... c Min unsat cost LB: 78310 ... c Min unsat cost LB: 78372 ... c Min unsat cost LB: 78500 ... c Min unsat cost LB: 78516 ... c Min unsat cost LB: 78537 ... c Min unsat cost LB: 78652 ... c Min unsat cost LB: 78662 ... c Min unsat cost LB: 78684 ... c Min unsat cost LB: 78911 ... c Min unsat cost LB: 78928 ... c Min unsat cost LB: 79143 ... c Min unsat cost LB: 80139 ... c Min unsat cost LB: 80144 ... c Min unsat cost LB: 80421 ... c Min unsat cost LB: 80622 ... c Min unsat cost LB: 80965 ... c Min unsat cost LB: 81024 ... c Min unsat cost LB: 81034 ... c Min unsat cost LB: 81070 ... c Min unsat cost LB: 81086 ... c Min unsat cost LB: 81093 ... c Min unsat cost LB: 81120 ... c Min unsat cost LB: 81133 ... c Min unsat cost LB: 81155 ... c Min unsat cost LB: 81159 ... c Min unsat cost LB: 81160 ... c Min unsat cost LB: 81166 ... c Min unsat cost LB: 81170 ... c Min unsat cost LB: 81176 ... c Min unsat cost LB: 81189 ... c Min unsat cost LB: 81197 ... c Min unsat cost LB: 81204 ... c Min unsat cost LB: 81207 ... c Min unsat cost LB: 81220 ... c Min unsat cost LB: 81225 ... c Min unsat cost LB: 81974 ... c Min unsat cost LB: 82018 ... c Min unsat cost LB: 82435 ... c Min unsat cost LB: 82518 ... c Min unsat cost LB: 82729 ... c Min unsat cost LB: 82915 ... c Min unsat cost LB: 83300 ... c Min unsat cost LB: 83310 ... c Min unsat cost LB: 83316 ... c Min unsat cost LB: 84067 ... c Min unsat cost LB: 84174 ... c Min unsat cost LB: 84179 ... c Min unsat cost LB: 84450 ... c Min unsat cost LB: 84543 ... c Min unsat cost LB: 84679 ... c Min unsat cost LB: 85619 ... c Min unsat cost LB: 85648 ... c Min unsat cost LB: 85840 ... c Min unsat cost LB: 85846 ... c Min unsat cost LB: 85862 ... c Min unsat cost LB: 85868 ... c Min unsat cost LB: 85922 ... c Min unsat cost LB: 86092 ... c Min unsat cost LB: 86107 ... c Min unsat cost LB: 86123 ... c Min unsat cost LB: 86200 ... c Min unsat cost LB: 86665 ... c Min unsat cost LB: 86748 ... c Min unsat cost LB: 87222 ... c Min unsat cost LB: 87925 ... c Min unsat cost LB: 88141 ... c Min unsat cost LB: 88349 ... c Min unsat cost LB: 88355 ... c Min unsat cost LB: 88878 ... c Min unsat cost LB: 89216 ... c Min unsat cost LB: 89283 ... c Min unsat cost LB: 89335 ... c Min unsat cost LB: 89356 ... c Min unsat cost LB: 89366 ... c Min unsat cost LB: 89369 ... c Min unsat cost LB: 89371 ... c Min unsat cost LB: 89418 ... c Min unsat cost LB: 89632 ... c Min unsat cost LB: 89842 ... c Min unsat cost LB: 90765 ... c Min unsat cost LB: 90877 ... c Min unsat cost LB: 91396 ... c Min unsat cost LB: 91721 ... c Min unsat cost LB: 92894 ... c Min unsat cost LB: 93171 ... c Min unsat cost LB: 93237 ... c Min unsat cost LB: 93283 ... c Min unsat cost LB: 93877 ... c Min unsat cost LB: 94857 ... c Min unsat cost LB: 94931 ... c Min unsat cost LB: 95105 ... c Min unsat cost LB: 95358 ... c Min unsat cost LB: 95376 ... c Min unsat cost LB: 95522 ... c Min unsat cost LB: 95696 ... c Min unsat cost LB: 95770 ... c Min unsat cost LB: 95773 ... c Min unsat cost LB: 95828 ... c Min unsat cost LB: 95994 ... c Min unsat cost LB: 96280 ... c Min unsat cost LB: 96424 ... c Min unsat cost LB: 96453 ... c Min unsat cost LB: 96608 ... c Min unsat cost LB: 96813 ... c Min unsat cost LB: 97103 ... c Min unsat cost LB: 97406 ... o 97406 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 c CPU Time: 6.37803 6.388u 0.030s 0:06.42 99.8% 0+0k 0+0io 0pf+0w