[Minotaur-dev] [minotaur-solver/minotaur] 587d91: Added functions to report time in CPLEX MILPEngine.

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 587d91357a186beda2f6caa2da23342746262987
      https://github.com/minotaur-solver/minotaur/commit/587d91357a186beda2f6caa2da23342746262987
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-10-30 (Wed, 30 Oct 2019)

  Changed paths:
    M src/engines/Cplex/CplexMILPEngine.cpp

  Log Message:
  -----------
  Added functions to report time in CPLEX MILPEngine.

MINOTAUR's timer->query() may not report the correct wall clock time for
CPLEX MILP solves when using multiple threads, so using CPXXgettime() to
obtain time stamps before and after CPXXmipopt() and adding their
difference to MINOTAUR's stats_->time.