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