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
c first lower bound: 0
o 90
o 89
o 88
o 87
o 84
o 83
o 82
o 81
o 79
o 78
o 77
o 76
o 75
o 74
o 73
o 72
o 71
o 70
o 69
o 68
o 67
o 66
o 65
o 64
o 63
c 1740884 branches 1368 propagates
c total generalized unit propagation = 3482481, success = 49.99%
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
1363.199u 0.034s 22:49.76 99.5%	0+0k 0+0io 0pf+0w