Merge remote-tracking branch 'origin/v10-minor'

Author: scip-ci

src/scip/tree.c

@@ -2130,6 +2130,17 @@ SCIP_RETCODE SCIPnodeAddBoundinfer(
 
       assert(!node->active || SCIPnodeGetType(node) == SCIP_NODETYPE_PROBINGNODE);
 
+      /* compute the child's new lower bound */
+      newpseudoobjval = SCIPlpGetModifiedPseudoObjval(lp, set, transprob, var, oldbound, newbound, boundtype);
+
+      if( SCIPsetIsInfinity(set, newpseudoobjval) )
+      {
+         SCIPmessageFPrintWarning(set->scip->messagehdlr, "Cutting off node with pseudo objective bound %g larger than numerics/infinity (%g)\n", newpseudoobjval, SCIPsetInfinity(set));
+         SCIP_CALL( SCIPnodeCutoff(node, set, stat, eventfilter, tree, transprob, origprob, reopt, lp, blkmem) );
+
+         return SCIP_OKAY;
+      }
+
       /* get the solution value of variable in last solved LP on the active path:
        *  - if the LP was solved at the current node, the LP values of the columns are valid
        *  - if the last solved LP was the one in the current lpstatefork, the LP value in the columns are still valid
@@ -2150,9 +2161,6 @@ SCIP_RETCODE SCIPnodeAddBoundinfer(
       if( SCIPnodeGetType(node) != SCIP_NODETYPE_PROBINGNODE )
          SCIPdomchgAddCurrentCertificateIndex(node->domchg, stat->certificate);
 
-      /* update the child's lower bound */
-      newpseudoobjval = SCIPlpGetModifiedPseudoObjval(lp, set, transprob, var, oldbound, newbound, boundtype);
-
       /* print bound to certificate */
       if( set->exact_enable && SCIPisCertified(set->scip)
          && !SCIPtreeProbing(tree) && newpseudoobjval > SCIPnodeGetLowerbound(node) )
@@ -2169,6 +2177,7 @@ SCIP_RETCODE SCIPnodeAddBoundinfer(
          SCIPrationalSetReal(bound, oldbound);
       }
 
+      /* update the child's lower bound */
       SCIP_CALL( SCIPnodeUpdateLowerbound(node, stat, set, eventfilter, tree, transprob, origprob, newpseudoobjval, NULL) );
    }
    else