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