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