Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-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_ls/akmaxsat_ls
c initialized bestCost to 49
o 49
c first lower bound: 18
o 48
o 47
o 46
o 45
c 80677 branches 1652746 propagates
c total generalized unit propagation = 162772, success = 49.50%
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
132.593u 0.017s 2:13.02 99.6%	0+0k 0+0io 0pf+0w