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