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