make sure --check-cluster works when some agents are busy - fixes #215