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