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