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