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