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