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