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