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