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