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