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