A couple things I have learned about the ADC, first, each channel is capable of the full speed stated in the manual and you do not need to interleave the samples in order to get that speed. In order to actually retrieve the data that fast you will have to use DMA, even an ISR based driver isn't going to be fast enough.
Second, in order to get that full speed you need to have an 18 MHz clock driving the ADC, that means your system has to be running at a multiple of 18 MHz (i.e. 72 MHz). I can't remember if there is an option for an external clock, but that might be an option to run the system at 100MHz and still have the full speed of the ADC.
Using a custom ADC driver with MQX the sample rate of my system is about 700ksps with the limiting factor being the clock driving the ADC (my system is running at 96MHz).
-Jeremy