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