Judge Server #0 (2004-2008)

Machine	we have migrated
Operating System	Linux (coLinux) on Windows XP
Processor	Pentium (R) M 1.30 GHz
Memory	1024 Mbyte
Software	Perl, C++
Compiler	gcc/g++: version 3.4.2 20041017 (Red Hat 3.4.2-6.fc3)

Judge Server #1 (2009-2012)

Machine	Dell PowerEdge R300
Operating System	Linux
Processor	Dual Core Intel(R) Xeon(R) E3113 3GHz
Memory	1 GB
Software	closed
Compiler	gcc/g++: version 4.3.0 20080428 (Red Hat 4.3.0-8)

Judge Server #2 (2009-2012)

Machine	Dell PowerEdge R300
Operating System	Linux
Processor	Dual Core Intel(R) Xeon(R) E3113 3GHz
Memory	1 GB
Software	closed
Compiler	java: version "1.6.0"

Judge Server #3 (2012-)

Machine	Dell PowerEdge R210
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1270 3.40 GHz
Memory	2 GB
Software	closed
Compiler	gcc 4.6.3 20120306 (Red Hat 4.6.3-2) (GCC) C# mono 2.10.5 DMD64 D Compiler v2.059 Ruby 2.0.0 Python 2.7.2 PHP 5.3.14 node.js 0.8.16

Judge Server #4 (2012-)

Machine	Dell PowerEdge R210 II
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1270 3.40 GHz
Memory	4 GB
Software	closed
Compiler	gcc 4.6.3 20120306 (Red Hat 4.6.3-2) (GCC)

Judge Server #5 (2013-)

Machine	Dell PowerEdge R210 II
Operating System	Linux
Processor	Intel(R) Xeon(R) Processor E3-1240v2 3.40 GHz
Memory	8 GB
Software	closed
Compiler	gcc 4.6.3 20120306 (Red Hat 4.6.3-2) (GCC) java: version "1.6.0_24" C# mono 2.10.5 DMD64 D Compiler v2.060 Ruby 1.8.7 Python 2.7 PHP 5.3.19 node.js 0.8.16

Web Server (2011.4-)

Machine	Dell PowerEdge
Service	Database, Judge Queue, etc.

Web Service Server #1

Machine	Dell PowerEdge
Service	BBS, Tags, Statistics, Ranking, etc.

Web Service Server #2

Machine	Dell PowerEdge
Service	Virtual Arena, etc.