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