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
o 57
o 56
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
c 431879 branches 10950 propagates
c total generalized unit propagation = 874650, success = 49.37%
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
324.143u 0.005s 5:26.07 99.4%	0+0k 0+0io 0pf+0w