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