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