Timo Berthold - MIP Solving: Branching