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