zinc15 restarted Weds Aug 23 9am SF time due to overload

Dear ZINC15 fans

ZINC15 has been slow recently, perhaps after my talk at ACS. I just restarted the server. I hope it is now faster. Please write us on twitter or elsewhere if you are having persistent performance problems.