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
c first lower bound: 16
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 106796 branches 2117891 propagates
c total generalized unit propagation = 214979, success = 49.56%
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
171.835u 0.008s 2:51.95 99.9%	0+0k 0+0io 0pf+0w