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