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