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