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