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