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