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