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