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