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