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