benchmark

Migrate optimizer userbenchmarks to linux.aws.100 (for real)

#2557

Closed