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_s3v80c1000-3.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-3.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 66
o 65
o 63
o 62
o 61
o 60
o 59
o 58
o 57
o 56
o 55
o 54
o 53
o 52
o 51
o 50
o 49
o 47
o 45
o 43
o 42
o 41
o 39
c 715766 branches 3268 propagates
c total generalized unit propagation = 1433917, success = 49.91%
s OPTIMUM FOUND
c Optimal Solution = 39
v 76 -9 24 23 17 -11 -73 3 -27 -66 -6 -5 -48 -64 58 -52 61 25 43 -37 -7 -40 42 -12 28 67 -53 55 -49 41 56 29 14 -30 39 70 -16 -63 71 -72 -69 -54 -44 13 38 10 -19 59 -21 -75 35 32 36 4 80 77 -18 -47 -22 79 -20 -57 78 -51 -31 -1 -68 62 -50 -26 8 -60 34 -46 45 -74 65 15 -33 -2
505.899u 0.002s 8:26.40 99.8%	0+0k 0+0io 0pf+0w