adjust sleep time

a process can be scheduled within 0.05 seconds or with 0.10 seconds. To avoid
random failures we sleep for 0.10 seconds, which always seems to be enough.
raise if scheduling on a dead pool
add comment