Exact same file has been taking more than 35 minutes to sort already, so it's slower without splitting. Edit: it finished! real 35m28.370s user 40m17.1

Exact same file has been taking more than 35 minutes to sort already, so it's slower without splitting. Edit: it finished! real 35m28.370s user 40m17.129s sys 4m31.081s