I am using Gurobi to solve a problem. My goal is to compare the number of explored nodes in different instances. But, for this purpose, the exact number of explored nodes is