[gecode-users] node count

[kellen at cretin.net]

> I don't really see what you are doing. 


My code is basically:

    Search::Options so;
    so.stop = CombinedStop::create(0, 0, 120000, true);
    CombinedStop::installCtrlHandler(true);
    DFS<BenchmarkBase> e(s, so);
    Search::Statistics stat = e.statistics();
    BenchmarkBase* ex = e.next();
    while(ex != NULL) {
        ex->print(out);
        delete ex;
        ex = e.next();
    }
    std::cerr
      << "\tpropagations: " << stat.propagate << std::endl
      << "\tnodes:        " << stat.node << std::endl
      << "\tfailures:     " << stat.fail << std::endl
      << "\trestarts:     " << stat.restart << std::endl
      << "\tno-goods:     " << stat.nogood << std::endl
      << "\tpeak depth:   " << stat.depth << std::endl
      << std::endl;


In which my benchmarking model (a class derived from BenchmarkBase) uses my
custom brancher and value selection. When the val() method of my value
selection class is called, I am printing out some debugging information, so I
can see that it is making a value choice. 

I would have expected that `stat.node` would be increased each time the value 
selection function is called, but it always returns `0`.

Is that clearer?

> But anyway: have you tried Gist to see what search does?

I haven't tried gist as I'm running my code on a server without X installed.
I guess that's the next step if I can't figure out what's going on.

Cheers,
Kellen