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