times up message

[roncking]

when I run GramMi with ./grami -f mico.lg -s 9340 -t 0 -p 1 -approxA 0.002 -approxB=0, sometimes it displays time's up! .

What is it doing? I see code like this:

timer.schedule(new StopTask(), 5*1000);

What's it doing?

[alejandragza]

I believe the "Time's up!" message is related to GraMi's search mechanism.
According to the research paper, GraMi will prioritize fast searches, and slow searches will be postponed. Thus, if a subgraph count reaches the minimum support threshold through fast searches, GraMi can stop looking for instances for that subgraph and move on to the next candidate. However, if GraMi already looked through the fast searches and the minimum support threshold has not been reached, it will have to go through those postponed slow searches. In my understanding, that's where the message comes from.
So, yeah, it looks like this is part of the performance decision for GraMi. Please correct me if I am wrong.
Here is the research paper for GraMi: https://www.vldb.org/pvldb/vol7/p517-elseidy.pdf. What I described is based on the algorithm isFrequent, presented under the 3.3 Optimizing Frequency Evaluation.