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