I have last core version with Ubuntu 12.04.3
From 2 months, sometime, if one host is reporting down and is not comming back after 10-15 minutes, ping on OS, only for that host is not working, for rest is ok.
That host is reported down forever and is comming back only after restart Ubuntu.
Nothing on log.
Someone had this problem?