Hallo TS,
Klar, bei 1000 Elementen und einer sortierten Datei Datei mit festem Satzaufbau auf einem SSD-Datenträger wird sich das umkopieren ins RAM vermutlich gar nicht lohnen.
Gerade bei so kleinen Zahlen würde ich davon ausgehen, dass seek()en viel teurer ist. Das sind im worst case 9+9 system calls (lseek und read) vs. ein system call (read).
LG,
CK