Thanks again, unSpawn.
1) I copied Raw Audit Messages into /tmp/avcs and ran (as root, in /tmp) "audit2allow -M local < /tmp/avcs" and "semodule -i local.pp" (local.pp looked fine). That didn't help. Then I tried "audit2allow -m local -l -i /var/log/audit/audit.log > local.te", made sure local.te file looks fine, ran "checkmodule -M -m -o local.mod local.te", "semodule_package -o local.pp -m local.mod" and "semodule -i local.pp". Before rebooting I dropped this file "touch /.autorelabel". Did not help either.
2) grep "avc:.*denied" /var/log/audit/audit.log|audit2allow
#============= hotplug_t ==============
allow hotplug_t proc_net_t:dir search;
allow hotplug_t self

rocess ptrace;
allow hotplug_t sysctl_net_t:file write;
And here is what /tmp/local.te contains:
#============= hotplug_t ==============
allow hotplug_t self

rocess ptrace;
allow hotplug_t sysctl_net_t:file write;
As you see, "allow hotplug_t proc_net_t:dir search;" is not in /tmp/local.te .
3) 'semodule -l' does not show local policy.
4) "awk '/sealert -l/ {print $NF}' /var/log/messages |uniq|wc -l" results in 6438 alerts (not sure how to post them elsewhere)