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