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