For what concerns the loading group, Pool reports the size of the pool of the feasible and infeasible loading constraints kept in memory, and NBB gives the total number of times algorithm Check-2L was called by the Separation Procedure 4 of Section 3.2