long timeSinceLastQuery = -System.currentTimeMillis();
int found = 0;
int cumQTime = 0;
while (sched.hasNext()) {
found++;
binding = sched.moveNext();
//if (!sched.isAllParallel()) continue;
long qTime = timeSinceLastQuery + System.currentTimeMillis();
cumQTime += qTime;