// we need to consume the results to completely answer the query
ResultSetMem resultMem = new ResultSetMem( queryResults );
int count = resultMem.size();
t.stop();
double queryTime = t.getLast() / 1000.0;
if( printQueryResults )
ResultSetFormatter.out( resultMem, model );