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