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