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