Unix3 reboot

Unix3 is being rebooted to fix an issue in next 10 minutes.

Server has been rebooted and it is up now.
We regret for the short outage notice, but some incorrect kernel options caused heavy load on the server.