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