[Minotaur-dev] [minotaur-solver/minotaur] d7fd41: A race condition corrected in parallel search.

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: d7fd41aaade4bdf387ea3f0d6a3b164cbe4f184b
      https://github.com/minotaur-solver/minotaur/commit/d7fd41aaade4bdf387ea3f0d6a3b164cbe4f184b
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-11-29 (Fri, 29 Nov 2019)

  Changed paths:
    M src/base/ParBranchAndBound.cpp
    M src/base/ParQGBranchAndBound.cpp

  Log Message:
  -----------
  A race condition corrected in parallel search.

In parsolve() functions in ParBranchAndBound and ParQGBranchAndBound,
lower bound was being queried from nodes which could possibly be
pruned. This logic has been corrected now by breaking the parallel
for loop into two parts.