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