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