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