COIN-OR:在CBC求解的优化过程中，有界正整数变量取什么值？

Question

我试着用PuLP和CBC来解决一个MILP问题。

除了问题的其余部分，我还面临着一组正整数变量的问题。我有一个带有松弛的约束，这意味着由于约束，正整数变量中的一些变量不会固定到某个特定的值。

因此，换句话说，在一组正整数约束中，一些变量由于约束而获得值，但当同样的约束放松时(大M松弛)，其余的变量不必获得某个值。

这取决于CBC给它们赋值。他们中的大多数到了0，但也有一些得到了变量的上界的值，即1440。为什么会这样呢？CBC是否只将这些值赋给这些变量？搜索者有什么遵循的规则吗？

如果你不明白什么，请让我知道，以便我可以添加信息或重新措辞，我对此是新的。谢谢。