Reboot with redundant hosts
$gracetime = 30s
Step 1: Find first Proxy and second Proxy
Step 2: Allocate all IPs to the first Proxy
Step 3: Wait for $gracetime
Step 4: Reboot all Proxy but first one
Step 5: Wait for all Proxies to come back
Step 6: Allocate all IPs to the second Proxy
Step 7: Wait for $gracetime
Step 8: Reboot first Proxy
Step 9: Wait for first Proxy to come back
Step 10: Allocate all IPs to the first Proxy