Hi Andreas,
To use cuts that are really defining the problem you need to both use cut callbacks and lazycut callbacks; if you do that, everything will be fine.... now, which strategy is best for adding cuts... well, that is an open question.
Mos people will add a bunch of `diverse` cuts that are as `deep` as possible.... but that is not the only approach possible.
Best regards,
Daniel