First of all, why are you mixing down to mp3? Do you want your tunes to be compressed? Why don't you mixdown to .wav like the rest of the audio comunity, then convert to mp3 when you need to?
Have you considered the manual?
32bit float/96k is a pretty high setting. Your computer must be...