Palle,
> Indeed, setting random_page_cost does the trick. Thanks!
>
> It seems to make sense to set random_page_cost to this value. Are there any
> drawbacks?
Only if your server was heavily multi-tasking, and as a result had little
RAM+CPU available. Then you'd want to raise the value again.
--
Josh Berkus
Aglio Database Solutions
San Francisco