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