Some experiments with Google OR tools