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