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