5 ms·

Thanks for the details. I appreciate you taking the time to give the feedback. We will use this to help to improve SCIP and the indexers.