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