title: Read a small random sample from a big CSV file into a Python data frame
body: <p>The CSV file that I want to read does not fit into main memory. How can I read a few (~10K) random lines of it and do some simple statistics on the selected data frame?</p>