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