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