[galaxy-user] slow Galaxy server