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