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