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_s3v70c1200-10.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1200-10.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 89
o 88
o 87
o 86
o 85
o 84
o 82
o 81
o 80
o 79
o 77
o 76
o 75
o 74
o 73
o 72
o 70
o 69
o 68
o 67
o 66
o 64
o 63
c 1014561 branches 739 propagates
c total generalized unit propagation = 2029801, success = 49.98%
s OPTIMUM FOUND
c Optimal Solution = 63
v -52 -31 -64 28 40 -12 -50 54 -45 32 -53 -15 1 17 -16 27 42 39 -33 21 -48 44 69 -11 24 66 -3 -30 60 -26 68 -43 58 37 -5 -20 -56 -34 -41 -59 -9 65 -67 51 -62 25 -70 -49 22 -38 -6 14 13 -2 10 -19 55 7 29 63 -35 18 4 -23 61 47 -8 46 57 -36
921.076u 0.000s 15:27.53 99.3%	0+0k 0+0io 0pf+0w