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_140v_s2v140c1200-9.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1200-9.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 103
o 182
o 181
o 180
o 179
o 178
o 177
o 175
o 174
o 173
o 172
o 171
o 170
o 169
o 168
o 167
o 166
o 165
o 163
o 162
o 161
o 160
o 159
o 158
o 157
o 156
o 155
o 154
o 153
o 152
o 151
c 152467 branches 52678 propagates
c total generalized unit propagation = 355570, success = 42.85%
s OPTIMUM FOUND
c Optimal Solution = 151
v -26 -139 -18 68 -65 2 -57 -42 123 -63 -101 114 115 -47 -5 109 -31 -89 127 -16 129 11 -78 12 125 44 19 15 25 -113 43 29 -69 -1 37 -17 13 -84 -75 98 -10 34 35 -122 77 50 -64 45 33 -110 -81 -30 91 70 51 40 -133 -83 72 -9 82 -111 -119 137 3 -36 76 7 -85 132 -73 59 -108 95 -107 104 117 22 140 -86 80 -71 121 126 -32 14 -6 136 -130 106 92 116 -87 118 8 97 124 -93 41 90 131 120 52 -94 -28 -62 -103 138 112 39 -49 -134 67 20 128 -88 -38 48 -4 -27 99 21 -53 -55 -79 105 24 60 102 46 135 -56 -61 58 100 -54 66 -23 -74 96
191.401u 0.002s 3:11.63 99.8%	0+0k 0+0io 0pf+0w