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