Dipende dal numero di mail che vengono inviate e dal numero di utenti, ma credo che quel cron.php non sia poi cosi' leggero ed eseguirlo ogni minuto carica un po' troppo il server.
Io con 593 utenze (in crescita costante) distribuite su una decina di corsi mi trovo discretamente bene con un maxeditingtime di 5 minuti e il cron ogni 10.