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_max2sat_120v_s2v120c1200-8.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1200-8.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 177
o 176
o 175
o 174
o 173
o 171
o 170
o 169
o 168
o 167
o 166
o 165
c 85716 branches 10764 propagates
c total generalized unit propagation = 182176, success = 47.04%
s OPTIMUM FOUND
c Optimal Solution = 165
v 110 -63 20 58 23 21 -112 -39 43 108 -12 -26 -59 4 75 45 34 55 113 -24 -77 111 -116 -98 91 -115 103 54 32 66 107 -87 16 -119 92 -52 -22 76 -71 -89 -36 67 -82 -106 -105 100 -1 -120 65 -101 38 -57 80 109 -42 -9 102 -5 19 -79 -118 7 -84 61 44 104 14 -64 -56 78 40 -25 47 -96 30 -18 11 -62 -93 -68 -28 -6 -33 74 -8 -95 -37 53 -49 114 86 -83 35 85 15 -41 -72 13 97 -27 90 17 -60 117 -46 -99 3 -81 -50 29 2 31 51 -69 10 73 70 48 -94 -88
101.193u 0.005s 1:41.79 99.4%	0+0k 0+0io 0pf+0w