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