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