shorter timeouts in synchronizer, so that it terminates properly