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