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