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