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