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