**Describe the bug** B&B violates time limit on the following instances on a 600s time limit. `k1mushroom 649.10 splice1k1 644` **Expected behavior** The solver exists at 600s mark.