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