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