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