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