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