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