On Thu, 1 Dec 2005, Robert wrote:
> } -----Original Message-----
> } From: centos-bounces@xxxxxxxxxx [mailto:centos-bounces@xxxxxxxxxx] On
> } Behalf Of Paul Heinlein
> } Sent: Thursday, December 01, 2005 11:05 AM
> }
> } I've got a Tyan S2882-D with two dual-core Opteron 270s running
> } CentOS 4 just fine -- but it's got the AMD-8111 chipset, not the
> } nVidia CK804.
>
> other specs in that box?
4 GB RAM, generic SATA HD. Otherwise, it's headless and is used mostly
for ACL2 proofs.
> is it a screamer?
>
> benchmarks?
Our developers like it. :-)
One guy (who's leaving us to go work for the Beast in Redmond ...
grumble, grumble) said that their most intense model took
* several hours on his G4 laptop
* a couple hours on a dual G5 Xserve
* 75 minutes on an older, single-processor Opteron
* 15 minutes on the machine outlined above
--
Paul Heinlein <> heinlein@xxxxxxxxxx <> www.madboa.com
