Danke für die Hilfe. Solche Infos sind wichtig, und ich habe das gestern mal für mich auf die Spitze getrieben und eine Datei mit über 45000 Zeilen eingelesen, ... Meine Zeit von 20 Sekunden hierfür war jeweils deutlich ausreichend.
Zu solchen Infos kann man auch selber kommen.
// Zeitmessung am Anfang
list($usec, $sec) = explode(" ", microtime());
$zeit_start = ((float)$usec + (float)$sec);
//
...
// Zeitmessung am Ende
list($usec, $sec) = explode(" ", microtime());
$zeitdauer = ((float)$usec + (float)$sec) - $time_start;
echo 'Dauer: '.$zeitdauer.' s';
//
Und mit Zwischenzeiten kann man eingrenzen, wo es sich lohnt nach Einsparpotential zu suchen.