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