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