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