Mix time into the pool to avoid repetition of the Android duplicated PID problem.