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