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