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