Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_80v_s3v80c1000-2.cnf
Job file: /home/maxsat/benchmarks/ms_random/max3sat/80v/s3v80c1000-2.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 53
o 52
o 51
o 50
o 49
o 48
o 47
o 46
o 45
o 44
o 43
c 1076102 branches 3364 propagates
c total generalized unit propagation = 2155542, success = 49.92%
s OPTIMUM FOUND
c Optimal Solution = 43
v 46 -3 29 -44 -14 -77 27 10 -68 -55 47 -12 -50 24 69 22 13 -73 16 -23 67 52 -32 57 -61 18 -28 62 -49 -48 -56 -31 51 -1 8 -64 66 -19 74 65 42 6 -80 -60 4 54 -33 20 63 -11 7 -76 40 58 2 45 -21 35 -43 -25 -9 17 -38 -36 -37 -78 -75 59 -34 30 39 70 -53 -26 5 71 41 -79 15 72
871.650u 0.023s 14:32.62 99.8%	0+0k 0+0io 0pf+0w