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