Google or-toolsopen source library
13. Under the hood
13.8. SearchMonitors
13.10. Meta-heuristics and SearchMonitors