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