#                                         vertexID varID    creation(s)  retirement(s) state PEnum     lowerBound     upperBound  rnds   stg1Start(s)     stg1End(s)    stg2Send(s)    stg2Recv(s)            etc
# Key for final State UNBORN=600 ACTIVE=601 PARENT=602 PRUNED=603 INFEASIBLE=604 INCUMBENT=605