Re: [MonetDB-users] What is optimizer_stats()