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-c2mv70c350l3g26.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min3sat/c70v350l3/clq1-c2mv70c350l3g26.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 53
o 53
c first lower bound: 21
o 52
o 51
o 50
c 41835 branches 844476 propagates
c total generalized unit propagation = 84142, success = 49.68%
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
73.370u 0.010s 1:13.86 99.3%	0+0k 0+0io 0pf+0w