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