We are investigating this problem at the moment. We can confirm that your UDP symbols (776 of them) are safely stored in the cloud, the problem is with the synchronize.
Was this a new install on your laptop, or perhaps there were not many UDP symbols in the library on the laptop before the synchronize? We are looking into the possibility that the synchronize timed out because of the number of symbols being downloaded.
Regards
Dave Strawbridge.