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