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