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.7_maxcut-140-630-0.7-28.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/bipartite/maxcut-140-630-0.7/maxcut-140-630-0.7-28.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 221
o 220
o 219
o 218
o 217
o 216
o 215
o 214
o 213
o 212
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
o 186
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
c 97349 branches 29575 propagates
c total generalized unit propagation = 224090, success = 43.36%
s OPTIMUM FOUND
c Optimal Solution = 167
v 52 -111 -45 -43 -93 108 68 20 90 -132 -121 17 -28 -9 58 46 -89 -94 -11 97 81 39 -131 -14 -61 10 -31 -74 117 98 -109 -140 54 -95 -19 59 116 -102 -8 63 -53 32 92 -30 -23 -106 34 -62 138 -130 99 -114 118 -91 78 42 -49 72 82 71 44 -65 -57 -119 128 113 120 -16 -105 75 -86 3 -136 -27 18 -60 -2 -51 -13 135 29 -21 -6 85 -77 36 -112 137 -40 -129 -124 -83 7 47 -104 -1 100 -96 -48 33 -103 -50 115 133 -67 87 64 -70 37 84 -107 -26 56 88 -5 79 73 76 -4 123 134 110 125 -55 101 -38 -80 122 -66 -139 25 -41 -35 126 22 12 24 127 -15 -69
149.469u 0.012s 2:30.44 99.3%	0+0k 0+0io 0pf+0w