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