In the man page it is written that
core dump on SIGXCPU
can fail
. That is probably the reason why it is not logged.