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