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