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