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