For an idea of their HPs, I randomly killed 10 of these from all over the zone. One on one, strictly melee damage, went as follows:
1 - 928
2 - 941
3 - 930
4 - 907
5 - 923
6 - 980
7 - 957
8 - 975
9 - 966
10 - 971
So they have on average 950 HPs, give or take depending upon level and buffs.