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