Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-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_ls/akmaxsat_ls
c initialized bestCost to 63
o 63
c 809016 branches 24 propagates
c total generalized unit propagation = 1618057, success = 50.00%
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
758.850u 0.013s 12:42.82 99.4%	0+0k 0+0io 0pf+0w