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