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.
 | |
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 | |
 | |
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 | |
 | |
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 | |
 | |
Make/Model: Dell Precision T7500 | July 2009 | CPUMark: 10079 OS: CentOS: 7.6 | CPU:2 x Intel(R) W5580 CPU @ 3.20GHz - 16 vCores | Memory: 48/72 GB | |