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