Verbosity check in branch-and-bound