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