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 - 1158
2 - 1219
3 - 1097
4 - 1124
5 - 1099
6 - 1096
7 - 1111
8 - 1185
9 - 1193
10 - 1154
So they have on average 1140 HPs, give or take depending upon level and buffs.