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