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