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