Developer Desktop Machine Status
Laboratory for Computer Science Research

All Developer desktop machines are configured the same way. If you have access to one, you have access to all of them. Some machines have different specs. Please consult tables below to find less crowded machines to use.
HP Z210
Make/Model: HP Z210 | Jun 2012 | CPUMark: 8,268
OS: CentOS: 7.6 | CPU: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz - 8 vCores | Memory: 16GB
HP EliteOne G1
Make/Model: HP EliteOne G1 | Aug 2013 | CPUMark: 6621
OS: CentOS: 7.6 | CPU: Intel(R) Core(TM) i5-4570S CPU @ 2.90GHz - 4 cores | Memory: 16GB
HP Z420
Make/Model: HP Z420 | Aug 2013 | CPUMark: 9069
OS: CentOS: 7.6 | CPU: Intel(R) Xeon E5-1620 CPU @ 3.60GHz - 8 vCores | Memory: 16GB