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