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