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