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