6.2. Watcher

The watcher starts the solver with the choosen configuration. It also monitor the consuming resources and if a solver exceed a limit the watcher stop the solver.