subgraph enumeration: write intermediate results to disk w/ shelve (saves RAM)