Looks like v6.7.1 of or-tools has been released. We're currently only linking against 6.0 (from May, 2017). We should update, and see if there are new knobs we can expose.