feat(coordinator): assign static prover first and avoid reassigning failed task to same prover

feat(coordinator): assign static prover first and avoid reassigning failed task to same prover #3464