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