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