expected downtime Friday Feb 27

It looks like we are going to need to take the system down this Friday for a few hours for some db work. We need to reorganize our filesystem on the head node a bit because the db has grown pretty big (40GB?). We also have a big schema change we need to apply, in preparation for a new feature we are working on rolling out, called solver pipelines (where one can chain together executables, for example a solver and then a proof checker). I know some people have been running experiments for CADE submissions on StarExec. By Friday, though, I expect those should be complete, since the deadline is tomorrow. Let me know if downtime of several hours Friday during the day will be a problem for your work.
Aaron