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