On Thu, 1 Dec 2005, Robert wrote: > } -----Original Message----- > } From: centos-bounces at centos.org [mailto:centos-bounces at centos.org] 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 at madboa.com <> www.madboa.com