}
if (basicVertex.isHalted()) {
partitionStats.incrFinishedVertexCount();
}
partitionStats.incrVertexCount();
partitionStats.addEdgeCount(basicVertex.getNumOutEdges());
}
partitionStatsList.add(partitionStats);
}
} while (!serviceWorker.finishSuperstep(partitionStatsList));
if (LOG.isInfoEnabled()) {