A Parallel, Backjumping Subgraph Isomorphism Algorithm using Supplemental Graphs