it takes 51s to merge 8000 times two lists of 256 ranks
it takes 51s to merge 8000 times two lists of 256 ranks