Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-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_ls/akmaxsat_ls
c initialized bestCost to 55
o 55
c first lower bound: 19
o 54
o 53
o 52
o 51
o 50
c 172313 branches 3420225 propagates
c total generalized unit propagation = 346211, success = 49.72%
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
260.640u 0.023s 4:22.09 99.4%	0+0k 0+0io 0pf+0w