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