if I understand random restart, then I have random restart done.