Mysql optimizer different results between servers