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