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