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