Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_crafted-_home_maxsat_benchmarks_ms_crafted_bipartite_maxcut-140-630-0.8_maxcut-140-630-0.8-44.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/bipartite/maxcut-140-630-0.8/maxcut-140-630-0.8-44.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 123
o 214
o 213
o 212
o 211
o 209
o 208
o 207
o 206
o 205
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 189
o 188
o 186
o 184
o 183
o 182
o 181
o 180
o 178
o 177
o 176
o 174
o 172
o 171
o 169
o 168
o 167
o 166
o 165
o 164
o 163
o 162
o 161
o 160
c 15895 branches 7516 propagates
c total generalized unit propagation = 35797, success = 43.65%
s OPTIMUM FOUND
c Optimal Solution = 160
v 51 -71 28 140 103 -128 136 -68 124 -10 64 -134 -24 114 -16 -74 133 -62 110 -42 83 -125 1 -8 112 -116 -61 99 -13 -105 43 -88 -5 132 -38 -39 113 -65 115 37 -60 -130 -27 127 -79 -6 18 120 -32 57 20 94 -98 -95 -126 -121 -100 92 7 -21 -23 73 -9 77 -109 31 -129 -48 49 -104 135 -90 -107 3 -17 -47 67 -86 122 54 -81 -35 -40 59 -118 63 76 -117 -11 123 96 -15 25 -131 44 -137 29 -72 -12 69 91 -58 34 -19 45 -41 -108 2 -14 78 139 101 -87 -89 -33 46 -53 -4 -50 -26 -52 97 -55 84 -66 80 93 56 102 -119 138 -111 75 -106 70 22 85 -36 30 -82
23.671u 0.004s 0:23.75 99.6%	0+0k 0+0io 0pf+0w