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