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