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