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