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