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