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