Branch and bound seems working to verify
caca.mps change to a binary pb