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