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