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_s2v140c1400-9.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1400-9.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 135
o 207
o 206
o 205
o 204
o 203
o 202
o 201
o 200
o 199
o 198
o 197
o 196
o 194
o 193
o 192
o 191
o 190
o 189
o 188
o 187
o 186
o 185
c 103390 branches 24518 propagates
c total generalized unit propagation = 229660, success = 44.98%
s OPTIMUM FOUND
c Optimal Solution = 185
v 139 -74 -1 -65 91 28 -38 51 -6 94 -83 95 47 79 45 -16 80 55 114 12 22 60 34 -128 -8 103 -138 -67 44 -140 -96 -30 70 -52 -106 113 110 -108 111 27 -26 -132 50 62 -88 -18 -49 129 75 82 43 29 105 -77 122 -100 31 3 -11 -59 -125 -25 133 48 78 -33 -53 -2 102 -24 -46 17 -61 -9 -90 99 -136 20 -86 -97 4 -56 -36 -35 -7 -37 -116 98 112 -121 -58 76 85 13 -39 57 21 -66 19 115 119 64 109 101 68 120 -41 130 23 -137 126 -14 134 -92 10 72 -15 -131 -69 -81 107 -89 5 118 42 -40 -32 -71 -104 124 123 -135 -127 -117 -93 -84 -73 54 -87 -63
144.184u 0.014s 2:24.92 99.4%	0+0k 0+0io 0pf+0w