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