You should fill out a bug report regardless of the server problems. Those are hardware related and are probably not affecting the development team tremendously (the operations team has to deal with that). Bugs should be reported as normal.