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