Likewise, for the same reason, populate does not generate all possible solutions for unbounded MIP models. As soon as the proof of unboundness is obtained, populate stops.