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