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