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