n = sum(1 for line in open(filename)) - 1
s = 10000
skip = sorted(random.sample(range(1, n + 1), n - s))
df = pandas.read_csv(filename, skiprows=skip)
Считайте небольшую случайную выборку из большого CSV-файла во фрейм данных Python.