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
c first lower bound: 125
o 209
o 208
o 207
o 206
o 205
o 204
o 203
o 202
o 200
o 198
o 197
o 196
o 195
o 194
o 193
o 192
o 191
o 190
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 95887 branches 25637 propagates
c total generalized unit propagation = 214467, success = 44.63%
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
134.731u 0.024s 2:15.26 99.6%	0+0k 0+0io 0pf+0w