The tick speed is altered by the randomTickSpeed gamerule. This can be changed with the /gamerule randomTickSpeed <integer> command; however, if that isn't the case, it could be altered by plugins, Skripts and/or the server's config.
I'm not sure if it's a bug or not, haven't checked. These are just some recommendations, they may not fix it.