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