Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c600-4.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c600-4.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 24
o 23
o 22
o 21
o 20
o 19
o 18
o 17
o 16
o 15
o 14
o 13
c 28061 branches 1694 propagates
c total generalized unit propagation = 57335, success = 48.85%
s OPTIMUM FOUND
c Optimal Solution = 13
v 70 -7 62 -35 -21 6 -73 67 -22 -39 48 -27 8 12 37 2 55 31 53 44 80 40 78 43 -19 77 -74 -58 64 -28 -1 33 -16 -41 23 -66 -38 -25 -5 -71 -10 -63 -29 32 68 -52 9 36 -72 46 -54 76 -75 -13 51 50 56 61 14 59 42 30 -57 -65 18 24 -79 49 34 -26 69 -47 -11 17 -15 -20 -45 -4 -60 -3
12.832u 0.001s 0:12.83 100.0%	0+0k 0+0io 0pf+0w