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