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
o 205
o 204
o 203
o 202
o 201
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 180
o 179
o 178
o 177
o 176
o 175
o 174
o 172
o 171
o 170
o 168
o 167
o 166
o 165
o 164
c 154489 branches 22880 propagates
c total generalized unit propagation = 331732, success = 46.53%
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
245.784u 0.053s 4:06.15 99.8%	0+0k 0+0io 0pf+0w