Partac: don't kill when no progress
Partac: don't kill when no progress

Fix #16735

SkySkimmer/coq,coq/coq,coq/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq