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