GRMIBENCHMARKINTERVAL

g_RMIBenchmarkInterval

RMI benchmark interval (milliseconds)