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