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