Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_min3sat_c70v350l3_clq1-c2mv70c350l3g11.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min3sat/c70v350l3/clq1-c2mv70c350l3g11.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 50
o 50
c first lower bound: 19
o 49
o 48
c 76876 branches 1581019 propagates
c total generalized unit propagation = 154395, success = 49.78%
s OPTIMUM FOUND
c Optimal Solution = 48
v -76 331 65 -113 -174 281 -282 -107 343 -43 -212 215 -229 261 -266 -347 180 -184 -195 -207 -269 34 -55 -140 -150 198 -219 225 -63 268 287 -320 -1 -254 -341 7 -124 -125 47 -214 189 -233 -278 232 -342 -53 275 -348 176 -277 -245 294 -45 302 8 -234 29 -67 136 -177 -293 -98 151 147 -173 178 -298 -126 208 -235 127 -280 22 -155 -262 40 -153 -42 166 -52 -97 330 60 -91 -160 349 109 -301 128 -142 -221 -131 162 -260 -24 187 -257 -35 -114 311 -96 -200 350 -202 238 -159 -181 265 -115 284 -328 16 -263 -307 -3 54 -317 143 -319 -122 -167 201 -186 211 -321 -226 279 -338 -92 292 171 -308 -19 36 -27 41 -139 -163 -56 85 -14 100 -283 -144 -231 324 -80 175 -84 323 -117 185 -17 334 -70 191 10 -12 -89 23 -199 102 -206 132 -237 -253 -48 138 -112 -168 193 13 -240 -285 -86 -318 -74 -83 312 77 -249 -313 -9 130 -38 135 -146 264 -123 -145 152 182 -252 -286 346 -99 327 -51 169 -239 -270 -300 -26 -156 194 -4 -71 329 33 -61 -242 106 -297 -69 183 -271 39 -105 -314 -336 246 -291 -30 133 -46 148 -218 -325 118 -192 -274 288 -305 -59 188 -228 -165 -213 -322 -75 -172 273 6 -50 72 -227 -134 -223 -20 -276 -108 -137 -28 -289 -295 -25 -104 -158 -316 -57 -256 -337 -157 -205 -220 -250 -58 -224 -31 -37 -111 -236 -251 -32 -296 -11 -44 -217 -164 -204 -95 -203 -335 -66 -94 -103 -259 -5 -82 -149 -196 -15 -258 68 -110 -141 -81 -290 -304 -326 -49 -161 -21 -129 -154 -241 2 -272 -299 -64 -101 -79 -170 243 -303 -309 -344 -179 -267 -116 -244 -119 -247 230 -310 -121 -315 -93 197 -18 -209 -340 -62 -333 -190 -345 -78 -306 -255 -339 73 -222 -248 -88 -332 -120 -216 -90 -210 -87
127.576u 0.015s 2:07.62 99.9%	0+0k 0+0io 0pf+0w