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