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