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