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