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