PseudoRandomSolver + usage collection statistics