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