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