I just noticed that some tools allow the user to specify the computational resources for that specific job. So i tried running a Lastz mapping selecting the Stampede cluster at TACC, instead of the Galaxy cluster. The problem is the job won't complete and an error showed up saying that the Lastz tool was not found.
Is this cluster running Galaxy's tools already? Is it much faster than Galaxy's default cluster?