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