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