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