5 ms·

If you can figure out how to effectively utilize this much parallelism for constraint solving, you are likely going to get a Turing award.