I have a preprint https://arxiv.org/abs/math/0312342 with divisibility conditions on $n$ that guarantee existence of a nontrivial $p$-subgroup in any group of order $n$.