server error during long NOV16

codechef is down for long time…

//