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