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