If an heuristic needs a solver, the solver has to be passed to the constructor.
Add gprof.