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-c2mv70c350l3g16.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min3sat/c70v350l3/clq1-c2mv70c350l3g16.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 57
o 57
o 56
o 55
o 54
o 53
o 52
o 51
c 116376 branches 286388 propagates
c total generalized unit propagation = 519077, success = 22.41%
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
596.710u 0.011s 10:00.48 99.3%	0+0k 0+0io 0pf+0w