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