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