We must be following different auctions. These seem to be auctioned at Great Domains or what-have-you, where bidders look for existing traffic etc. Read my blog about why I am glad 360.org didn't sell at TRAFFIC
From the ones you quoted, only truematch.com stirred my interest.
At the same time, amphibious.com for under $3k at NameJet looks like a bargain surely?
Many more as well, single-word, aged, keyword domains are being grabbed by seasoned domainers for less than $10k.