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