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