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