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