minor
new, better invariants for Manager and a bunch of changes for SGE