Question: How does CBC deal with multiple bounds for 1 variable?

[PI-31415-PI]

Hi CBC team,

Thanks for CBC. I have a question about how multiple bounds in a LP file are handled.

In the bounds section I set two bounds on the same variable:
kk_bb_1_04 >= 1000
0 <= kk_bb_1_04 <= 1000

My expectation would that the CBC should take the intersection, so kk_bb_1_04 is effectively fixed at 1000.
However, when I solve, the .sol file show kk_bb_1_04 below 1000 (0)

Question:

1. does CBC indeed intersect multiple bounds on the same variable or does it override the last one?
2. To overcome this problem should I convert one of my bounds into a constraint?

attached fyi the .lp and .sol file.
q1sol.txt
q1.txt

Thanks