<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Hi there,<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I'm adding a node pruning function -- a selected node (not cutoff) may be optionally pruned. Where is the best place to do this? Currently I'm thinking of adding the piece of code in SCIPnodeFocus and the pruned node will be treated the same as a cutoff node, i.e., freed. <br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Is this the best way to do this? Do I need take care of other things regarding the whole cutoff business? Thank you very much in advance!!<br><br>He<br></div></div>