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