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
c first lower bound: 123
o 195
o 194
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
c 202824 branches 28559 propagates
c total generalized unit propagation = 431924, success = 46.93%
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
273.015u 0.025s 4:34.37 99.5%	0+0k 0+0io 0pf+0w