137 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRuns",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
139 return scip->stat->nruns;
164 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNReoptRuns",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
166 return scip->stat->nreoptruns;
190 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPaddNNodes",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
218 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNNodes",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
220 return scip->stat->nnodes;
245 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNTotalNodes",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
247 return scip->stat->ntotalnodes;
272 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNFeasibleLeaves",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
274 return scip->stat->nfeasleaves;
299 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNInfeasibleLeaves",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
301 return scip->stat->ninfeasleaves;
326 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNObjlimLeaves",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
328 return scip->stat->nobjleaves;
353 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRootboundChgs",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
355 return scip->stat->nrootboundchgs;
380 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRootboundChgsRun",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
382 return scip->stat->nrootboundchgsrun;
407 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRootIntFixingsRun",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
409 return scip->stat->nrootintfixingsrun;
434 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNDelayedCutoffs",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
436 return scip->stat->ndelayedcutoffs;
461 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNLPs",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
463 return scip->stat->nlps;
488 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNExactLPs",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
490 return scip->stat->nexlpinf +
scip->stat->nexlp;
507 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
509 return scip->stat->nlpiterations;
533 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNNZs",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
535 return scip->stat->nnz;
551 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRootLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
553 return scip->stat->nrootlpiterations;
570 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRootFirstLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
572 return scip->stat->nrootfirstlpiterations;
588 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPrimalLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
590 return scip->stat->nprimallps;
606 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPrimalLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
608 return scip->stat->nprimallpiterations;
624 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNDualLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
626 return scip->stat->nduallps;
642 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNDualLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
644 return scip->stat->nduallpiterations;
660 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNBarrierLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
662 return scip->stat->nbarrierlps;
678 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNBarrierLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
680 return scip->stat->nbarrierlpiterations;
696 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNResolveLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
698 return scip->stat->nprimalresolvelps +
scip->stat->ndualresolvelps;
716 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNResolveLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
718 return scip->stat->nprimalresolvelpiterations +
scip->stat->ndualresolvelpiterations;
734 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPrimalResolveLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
736 return scip->stat->nprimalresolvelps;
754 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPrimalResolveLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
756 return scip->stat->nprimalresolvelpiterations;
772 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNDualResolveLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
774 return scip->stat->ndualresolvelps;
792 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNDualResolveLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
794 return scip->stat->ndualresolvelpiterations;
810 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNNodeLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
812 return scip->stat->nnodelps;
828 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNNodeZeroIterationLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
830 return scip->stat->nnodezeroitlps;
846 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNNodeLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
848 return scip->stat->nnodelpiterations;
864 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNNodeInitLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
866 return scip->stat->ninitlps;
882 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNNodeInitLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
884 return scip->stat->ninitlpiterations;
900 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNDivingLPs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
902 return scip->stat->ndivinglps;
918 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNDivingLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
920 return scip->stat->ndivinglpiterations;
936 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNStrongbranchs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
938 return scip->stat->nstrongbranchs;
954 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNStrongbranchLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
956 return scip->stat->nsblpiterations;
972 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRootStrongbranchs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
974 return scip->stat->nrootstrongbranchs;
990 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNRootStrongbranchLPIterations",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
992 return scip->stat->nrootsblpiterations;
1006 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPriceRounds",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1008 return scip->stat->npricerounds;
1024 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPricevars",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1042 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPricevarsFound",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1060 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNPricevarsApplied",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1076 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNSepaRounds",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1078 return scip->stat->nseparounds;
1094 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNCutsFound",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1112 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNCutsFoundRound",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1130 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNCutsApplied",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1154 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNConflictConssFound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1190 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNConflictConssFoundNode",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1214 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNConflictConssApplied",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1238 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNResConflictConssApplied",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1261 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNConflictDualproofsApplied",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1286 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetMaxDepth",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1288 return scip->stat->maxdepth;
1310 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetMaxTotalDepth",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1312 return scip->stat->maxtotaldepth;
1334 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNBacktracks",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1336 return scip->stat->nbacktracks;
1354 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNActiveConss",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1356 return scip->stat->nactiveconss;
1371 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNEnabledConss",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1373 return scip->stat->nenabledconss;
1389 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgDualbound",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1408 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgLowerbound",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1432 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetDualbound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1436 return scip->transprob->dualbound;
1462 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetDualboundExact",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1495 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetLowerbound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1524 if( treelowerbound < scip->primal->upperbound)
1525 return treelowerbound;
1527 return scip->primal->upperbound;
1548 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetLowerboundExact",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1570 ? treelowerbound :
scip->primal->upperboundexact);
1590 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetDualboundRoot",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1611 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetLowerboundRoot",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1613 return scip->stat->rootlowerbound;
1632 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetFirstLPDualboundRoot",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1634 return scip->stat->firstlpdualbound;
1653 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetFirstLPLowerboundRoot",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1669 return scip->stat->firstprimalbound;
1691 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetPrimalbound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1714 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetPrimalboundExact",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1738 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetUpperbound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1743 return scip->primal->upperbound;
1764 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetUpperboundExact",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1794 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetCutoffbound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1796 return scip->primal->cutoffbound;
1821 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetCutoffboundExact",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1823 return scip->primal->cutoffboundexact;
1850 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPupdateCutoffbound",
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1881 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPisPrimalboundSol",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1904 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetGap",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1938 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetTransGap",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
1976 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNSolsFound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1978 return scip->primal->nsolsfound;
2006 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNLimSolsFound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
2008 return scip->primal->nlimsolsfound;
2030 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNBestSolsFound",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
2032 return scip->primal->nbestsolsfound;
2048 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgPseudocost",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2068 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgPseudocostCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2086 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgPseudocostCount",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2089 /
MAX(
scip->transprob->nbinvars +
scip->transprob->nintvars, 1);
2107 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgPseudocostCountCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2110 /
MAX(
scip->transprob->nbinvars +
scip->transprob->nintvars, 1);
2128 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgPseudocostScore",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2155 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgDPseudocostScore",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2161 pscostdown /= (1 + discountfac);
2162 pscostup /= (1 + discountfac);
2184 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetPseudocostVariance",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2186 history = (onlycurrentrun ?
scip->stat->glbhistorycrun :
scip->stat->glbhistory);
2209 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetPseudocostCount",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2211 history = (onlycurrentrun ?
scip->stat->glbhistorycrun :
scip->stat->glbhistory);
2233 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgPseudocostScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2257 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgConflictScore",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2259 scale =
scip->transprob->nvars *
scip->stat->vsidsweight;
2282 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgConflictScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2284 scale =
scip->transprob->nvars *
scip->stat->vsidsweight;
2306 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgConflictlengthScore",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2331 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgConflictlengthScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2352 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgInferences",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2372 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgInferencesCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2392 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgInferenceScore",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2417 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgInferenceScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2438 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgCutoffs",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2458 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgCutoffsCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2478 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgCutoffScore",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2501 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgCutoffScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2520 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPincAvgGMIeff",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2537 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetAvgGMIeff",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2560 return 1e-6 *
scip->stat->nnz * (
2561 0.00328285264101 *
scip->stat->nprimalresolvelpiterations +
2562 0.00531625104146 *
scip->stat->ndualresolvelpiterations +
2563 0.000738719124051 *
scip->stat->nprobboundchgs +
2564 0.0011123144764 *
scip->stat->nisstoppedcalls );
2591 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintStatusStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2625 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectStatusStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2652 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintOrigProblemStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2678 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectOrigProblemStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2705 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintTransProblemStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2722 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectTransProblemStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2755 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintPresolverStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2757 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs\n");
2763 for(
i = 0;
i <
scip->set->npresols; ++
i )
2766 presol =
scip->set->presols[
i];
2786 for(
i = 0;
i <
scip->set->nprops; ++
i )
2789 prop =
scip->set->props[
i];
2810 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
2813 int maxnactiveconss;
2815 conshdlr =
scip->set->conshdlrs[
i];
2849 scip->stat->nrootintfixings,
scip->stat->nrootboundchgs);
2865 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectPresolverStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2873 for(
i = 0;
i <
scip->set->npresols; ++
i )
2899 for(
i = 0;
i <
scip->set->nprops; ++
i )
2924 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
2979 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConstraintStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2982 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children\n");
2984 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
2987 int startnactiveconss;
2988 int maxnactiveconss;
2990 conshdlr =
scip->set->conshdlrs[
i];
2998 maxnactiveconss > startnactiveconss ?
'+' :
' ',
3029 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConstraintStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3034 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
3083 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConstraintTimingStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3085 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop\n");
3087 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
3090 int maxnactiveconss;
3092 conshdlr =
scip->set->conshdlrs[
i];
3108 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" %10.2f %10.2f %10.2f %10.2f %10.2f %10.2f %10.2f %10.2f %10.2f %10.2f\n",
3135 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConstraintTimingStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3140 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
3190 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintPropagatorStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3197 for(
i = 0;
i <
scip->set->nprops; ++
i )
3200 prop =
scip->set->props[
i];
3210 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop\n");
3212 for(
i = 0;
i <
scip->set->nprops; ++
i )
3217 prop =
scip->set->props[
i];
3244 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectPropagatorStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3252 for(
i = 0;
i <
scip->set->nprops; ++
i )
3302 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConflictStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3304 if(
scip->set->conf_maxstoresize == 0 )
3328 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [%s,%s])\n", initstoresize, maxstoresize);
3415 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Gen. Resolution CA : Time Calls Success Conflicts LargeCoef LongConfs Length\n");
3441 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConflictStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3444 if(
scip->set->conf_maxstoresize == 0 )
3446 initstoresize = INT_MAX;
3447 maxstoresize = INT_MAX;
3456 if( maxstoresize >= 0 )
3514 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintSeparatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3516 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss\n");
3528 for(
i = 0;
i <
scip->set->nsepas; ++
i )
3532 sepa =
scip->set->sepas[
i];
3560 for( k = 0; k <
scip->set->nsepas; ++k )
3566 if( parentsepa != sepa )
3595 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectSeparatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3614 for(
i = 0;
i <
scip->set->nsepas; ++
i )
3645 for( k = 0; k <
scip->set->nsepas; ++k )
3651 if( parentsepa != sepa )
3698 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintCutselectorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3700 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt \n");
3705 for(
i = 0;
i <
scip->set->ncutsels; ++
i )
3735 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectCutselectorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3744 for(
i = 0;
i <
scip->set->ncutsels; ++
i )
3783 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintPricerStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3794 for(
i = 0;
i <
scip->set->nactivepricers; ++
i )
3818 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectPricerStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3834 for(
i = 0;
i <
scip->set->nactivepricers; ++
i )
3866 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintBranchruleStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3868 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children\n");
3873 for(
i = 0;
i <
scip->set->nbranchrules; ++
i )
3903 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPcollectBranchruleStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3910 for(
i = 0;
i <
scip->set->nbranchrules; ++
i )
3953 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintHeuristicStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3958 scip->stat->nlpsolsfound,
scip->stat->nlpbestsolsfound);
3961 scip->stat->nrelaxsolsfound,
scip->stat->nrelaxbestsolsfound);
3964 scip->stat->npssolsfound,
scip->stat->npsbestsolsfound);
3967 scip->stat->nsbsolsfound,
scip->stat->nsbbestsolsfound);
3972 for(
i = 0;
i <
scip->set->nheurs; ++
i )
3987 scip->stat->nexternalsolsfound);
3989 if ( ndivesets > 0 &&
scip->set->misc_showdivingstats )
3995 for(
c = 0;
c < 3; ++
c )
4002 "Diving %-12s: Calls Nodes LP Iters Backtracks Conflicts MinDepth MaxDepth AvgDepth RoundSols NLeafSols MinSolDpt MaxSolDpt AvgSolDpt\n",
"(single)");
4007 "Diving %-12s: Calls Nodes LP Iters Backtracks Conflicts MinDepth MaxDepth AvgDepth RoundSols NLeafSols MinSolDpt MaxSolDpt AvgSolDpt\n",
4011 for(
i = 0;
i <
scip->set->nheurs; ++
i )
4077 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectHeuristicStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4109 for(
int i = 0;
i <
scip->set->nheurs; ++
i )
4127 if(
scip->set->misc_showdivingstats )
4134 for(
int c = 0;
c < 3; ++
c )
4141 scip->set->nheurs) );
4143 for(
int i = 0;
i <
scip->set->nheurs; ++
i )
4146 for(
int s = 0; s < ndivesets; ++s )
4184 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintCompressionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4187 if( !
scip->set->reopt_enable )
4195 for(
i = 0;
i <
scip->set->ncomprs; ++
i )
4218 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectCompressionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4221 if( !
scip->set->reopt_enable )
4231 for(
i = 0;
i <
scip->set->ncomprs; ++
i )
4263 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4269 scip->stat->nprimallps +
scip->stat->nprimalzeroitlps,
4270 scip->stat->nprimallpiterations,
4277 scip->stat->primalzeroittime,
4278 scip->stat->nprimalzeroitlps);
4282 scip->stat->nduallps +
scip->stat->ndualzeroitlps,
4283 scip->stat->nduallpiterations,
4290 scip->stat->dualzeroittime,
4291 scip->stat->ndualzeroitlps);
4295 scip->stat->nlexduallps,
4296 scip->stat->nlexduallpiterations,
4305 scip->stat->nbarrierlps,
4306 scip->stat->nbarrierlpiterations,
4313 scip->stat->barrierzeroittime,
4314 scip->stat->nbarrierzeroitlps);
4318 scip->stat->nresolveinstablelps,
4319 scip->stat->nresolveinstablelpiters,
4328 scip->stat->ndivinglps,
4329 scip->stat->ndivinglpiterations,
4338 scip->stat->nstrongbranchs,
4339 scip->stat->nsblpiterations,
4348 scip->stat->nrootstrongbranchs,
4349 scip->stat->nrootsblpiterations,
4350 scip->stat->nrootstrongbranchs > 0
4355 scip->stat->nconflictlps,
4356 scip->stat->nconflictlpiterations,
4363 if(
scip->set->exact_enable )
4365 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Safe Bounding : Time Calls Iterations Iter/call Iter/sec Nfails AvgError NObjlim NObjlimF \n");
4369 scip->stat->niterationsexlp,
4375 scip->stat->nfailexlp,
scip->stat->boundingerrorexlp/
scip->stat->nexlp);
4381 scip->stat->timefailexlp,
scip->stat->nfailexlp);
4385 scip->stat->nexlpinf,
4386 scip->stat->niterationsexlpinf,
4394 scip->stat->timefailexlpinf,
scip->stat->nfailexlpinf);
4398 scip->stat->nboundshift,
4399 scip->stat->nfailboundshift,
4400 scip->stat->boundingerrorbs/
scip->stat->nboundshift,
4401 scip->stat->nboundshiftobjlim,
4402 scip->stat->nboundshiftobjlimfail);
4406 scip->stat->nboundshiftinf,
4407 scip->stat->nfailboundshiftinf);
4411 scip->stat->nprojshift,
4412 scip->stat->nfailprojshift,
4413 scip->stat->nprojshift > 0 ?
scip->stat->boundingerrorps/
scip->stat->nprojshift : 0,
4414 scip->stat->nprojshiftobjlim,
4415 scip->stat->nprojshiftobjlimfail);
4419 scip->stat->nprojshiftinf,
4420 scip->stat->nfailprojshiftinf);
4443 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4450 if(
scip->stat->nprimallps > 0 )
4460 if(
scip->stat->nduallps > 0 )
4470 if(
scip->stat->nbarrierlps > 0 )
4480 if(
scip->stat->nlexduallps > 0 )
4494 if(
scip->stat->nresolveinstablelps > 0 )
4508 if(
scip->stat->nstrongbranchs > 0 )
4521 if(
scip->stat->nrootstrongbranchs > 0 )
4531 if(
scip->stat->nconflictlps > 0 )
4555 int nnlrowconvexineq;
4556 int nnlrownonconvexineq;
4557 int nnlrownonlineareq;
4562 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintNLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4574 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" convexity : %10s (%d linear rows, %d convex ineq., %d nonconvex ineq., %d nonlinear eq. or two-sided ineq.)\n",
4575 (nnlrownonconvexineq == 0 && nnlrownonlineareq == 0) ?
"convex" :
"nonconvex",
4576 nnlrowlinear, nnlrowconvexineq, nnlrownonconvexineq, nnlrownonlineareq);
4586 int nnlrowconvexineq;
4587 int nnlrownonconvexineq;
4588 int nnlrownonlineareq;
4594 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectNLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4606 (nnlrownonconvexineq == 0 && nnlrownonlineareq == 0) ?
"convex" :
"nonconvex") );
4631 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintRelaxatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4633 if(
scip->set->nrelaxs == 0 )
4636 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss\n");
4641 for(
i = 0;
i <
scip->set->nrelaxs; ++
i )
4669 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectRelaxatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4671 if(
scip->set->nrelaxs == 0 )
4681 for(
i = 0;
i <
scip->set->nrelaxs; ++
i )
4716 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintTreeStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4722 scip->stat->nnodes,
scip->stat->ninternalnodes,
scip->stat->nnodes -
scip->stat->ninternalnodes );
4728 scip->stat->ntotalnodes,
scip->stat->ntotalinternalnodes,
scip->stat->ntotalnodes -
scip->stat->ntotalinternalnodes);
4741 scip->stat->nreprops,
scip->stat->nrepropboundchgs,
scip->stat->nrepropcutoffs);
4743 scip->stat->nnodes > 0
4765 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectTreeStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4837 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintSolutionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4847 objlimitreached =
FALSE;
4850 objlimitreached =
TRUE;
4852 if(
scip->primal->nsolsfound !=
scip->primal->nlimsolsfound )
4855 limsolstring[0] =
'\0';
4859 scip->primal->nsolsfound,
scip->primal->nbestsolsfound, limsolstring);
4865 if(
scip->primal->nlimsolsfound == 0 )
4869 assert(!objlimitreached);
4875 if( objlimitreached )
4883 assert(!objlimitreached);
4893 if(
scip->primal->nlimsolsfound == 0 )
4898 if(
scip->primal->nsolsfound > 0 )
4910 firstprimalbound =
scip->stat->firstprimalbound;
4914 scip->stat->nrunsbeforefirst,
4915 scip->stat->nnodesbeforefirst,
4916 scip->stat->firstprimaltime,
4917 scip->stat->firstprimaldepth,
4918 (
scip->stat->firstprimalheur !=
NULL )
4920 : ((
scip->stat->nrunsbeforefirst == 0 ) ?
"initial" :
"relaxation"));
4972 if(
scip->set->misc_calcintegral )
4975 const char* names[] = {
4983 for( s = 0; s < 3; ++s )
4986 names[s],
"-",
"-");
5012 for( s = 0; s < 3; ++s )
5046 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectSolutionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5068 SCIPwarningMessage(
scip,
"string encoding of exact primal bound too long: printing \"unknown\" into JSON\n");
5073 SCIPwarningMessage(
scip,
"string encoding of exact dual bound too long: printing \"unknown\" into JSON\n");
5085 firstprimalbound =
scip->stat->firstprimalbound;
5118 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConcsolverStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5127 if( nconcsolvers > 0 )
5129 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Concurrent Solvers : SolvingTime SyncTime Nodes LP Iters SolsShared SolsRecvd TighterBnds TighterIntBnds\n");
5130 for(
i = 0;
i < nconcsolvers; ++
i )
5133 winner ==
i ?
'*' :
' ',
5164 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConcsolverStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5173 if( nconcsolvers == 0 )
5179 for(
i = 0;
i < nconcsolvers; ++
i )
5213 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintBendersStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5221 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Benders Decomp : ExecTime SetupTime Calls Found Transfer StrCalls StrFails StrCuts\n");
5222 for(
i = 0;
i < nbenders; ++
i )
5244 for( j = 0; j < nbenderscuts; j++ )
5271 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectBendersStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5282 for(
i = 0;
i < nbenders; ++
i )
5303 for(
int j = 0; j < nbenderscuts; ++j )
5341 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintRootStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5347 if( firstlptime > 0.0 )
5348 firstlpspeed = (
SCIP_Real)
scip->stat->nrootfirstlpiterations/firstlptime;
5357 if( firstlpspeed > 0.0 )
5359 scip->stat->nrootfirstlpiterations,
5396 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectRootStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5402 if( firstlptime > 0.0 )
5403 firstlpspeed = (
SCIP_Real)
scip->stat->nrootfirstlpiterations / firstlptime;
5444 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintTimingStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5460 if(
scip->set->time_reading )
5461 totaltime = solvingtime;
5463 totaltime = solvingtime + readingtime;
5468 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" reading : %10.2f%s\n", readingtime,
scip->set->time_reading ?
" (included in solving)" :
"");
5470 if(
scip->stat->ncopies > 0 )
5476 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" copying : %10.2f (%d #copies) (minimal %.2f, maximal %.2f, average %.2f)\n",
5477 copytime,
scip->stat->ncopies,
scip->stat->mincopytime,
scip->stat->maxcopytime, copytime /
scip->stat->ncopies);
5523 if(
scip->set->time_reading )
5524 totaltime = solvingtime;
5526 totaltime = solvingtime + readingtime;
5532 if(
scip->stat->ncopies > 0 )
5567 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintExpressionHandlerStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5569 for(
i = 0;
i <
scip->set->nexprhdlrs; ++
i )
5578 if( !headerprinted )
5581 "Expressions : %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s\n",
5582 "#IntEval",
"IntEvalTi",
"#RevProp",
"RevPropTi",
"DomReds",
"Cutoffs",
"#Estimate",
"EstimTime",
"Branching",
"#Simplify",
"SimplifyTi",
"Simplified");
5583 headerprinted =
TRUE;
5615 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectExpressionHandlerStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5620 for(
i = 0;
i <
scip->set->nexprhdlrs; ++
i )
5673 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintNLPIStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5675 for(
i = 0;
i <
scip->set->nnlpis; ++
i )
5683 nlpi =
scip->set->nlpis[
i];
5690 if( !printedheader )
5693 "NLP Solvers : %10s %10s %10s %10s %s%10s %10s"
5694 " %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s"
5695 " %10s %10s %10s %10s %10s %10s %10s\n",
5696 "#Problems",
"ProblemTi",
"#Solves",
"SolveTime",
5697 scip->set->time_nlpieval ?
" EvalTime%" :
"",
5698 "#Iter",
"Time/Iter",
5699 "#Okay",
"#TimeLimit",
"#IterLimit",
"#LObjLimit",
"#Interrupt",
"#NumError",
"#EvalError",
"#OutOfMem",
"#LicenseEr",
"#OtherTerm",
5700 "#GlobOpt",
"#LocOpt",
"#Feasible",
"#LocInfeas",
"#GlobInfea",
"#Unbounded",
"#Unknown"
5702 printedheader =
TRUE;
5706 if(
scip->set->time_nlpieval )
5715 if(
scip->set->time_nlpieval )
5748 default:
return "unknown";
5767 default:
return "invalid";
5783 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectNLPIStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5785 if(
scip->set->nnlpis == 0 )
5791 for(
i = 0;
i <
scip->set->nnlpis; ++
i )
5816 if(
scip->set->time_nlpieval )
5877 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintStatisticsJson",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5883 if( !
scip->set->tablessorted )
5885 SCIPsortPtr((
void**)tables, tablePosComp, ntables);
5891 for(
i = 0;
i < ntables; ++
i )
5939 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5945 if( !
scip->set->tablessorted )
5947 SCIPsortPtr((
void**)tables, tablePosComp, ntables);
5952 for(
i = 0;
i < ntables; ++
i )
5989 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintReoptStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5994 if( !
scip->set->reopt_enable )
6015 if(
scip->stat->nreoptruns > 0 )
6032 if(
scip->stat->nreoptruns > 0 )
6067 int totalnstrongbranchs;
6070 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintBranchingStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
6072 switch(
scip->set->stage )
6087 for( v = 0; v <
scip->transprob->nvars; ++v )
6092 var =
scip->transprob->vars[v];
6098 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" locks branchings inferences cutoffs LP gain pscostcount gain variance \n");
6099 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"variable prio factor down up depth down up sb down up down up down up down up down up\n");
6101 totalnstrongbranchs = 0;
6102 for( v = 0; v <
scip->transprob->nvars; ++v )
6111 totalnstrongbranchs += nstrongbranchs;
6138 totalnstrongbranchs,
6222 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectBranchingStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
6224 switch(
scip->set->stage )
6241 int totalnstrongbranchs = 0;
6247 for( v = 0; v <
scip->transprob->nvars; ++v )
6260 for( v = 0; v <
scip->transprob->nvars; ++v )
6269 totalnstrongbranchs += nstrongbranchs;
6346 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintDisplayLine",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6373 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNImplications",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
6375 return scip->stat->nimplications;
6385 if(
scip->primal->nsols == 1 )
6386 scip->stat->firstsolgap =
scip->stat->lastsolgap;
6388 if(
scip->set->misc_calcintegral )
6392 if( upperbound < scip->stat->lastupperbound )
SCIP_Real SCIPbranchGetScore(SCIP_SET *set, SCIP_VAR *var, SCIP_Real downgain, SCIP_Real upgain)
internal methods for branching rules and branching candidate storage
SCIP_Real SCIPclockGetTime(SCIP_CLOCK *clck)
internal methods for clocks and timing issues
SCIP_Longint SCIPconcsolverGetNNodes(SCIP_CONCSOLVER *concsolver)
SCIP_Longint SCIPconcsolverGetNSolsRecvd(SCIP_CONCSOLVER *concsolver)
SCIP_Real SCIPconcsolverGetSyncTime(SCIP_CONCSOLVER *concsolver)
SCIP_Longint SCIPconcsolverGetNTighterIntBnds(SCIP_CONCSOLVER *concsolver)
SCIP_Real SCIPconcsolverGetSolvingTime(SCIP_CONCSOLVER *concsolver)
SCIP_Longint SCIPconcsolverGetNTighterBnds(SCIP_CONCSOLVER *concsolver)
SCIP_Longint SCIPconcsolverGetNLPIterations(SCIP_CONCSOLVER *concsolver)
char * SCIPconcsolverGetName(SCIP_CONCSOLVER *concsolver)
SCIP_Longint SCIPconcsolverGetNSolsShared(SCIP_CONCSOLVER *concsolver)
data structures for concurrent solvers
SCIP_CONCSOLVER ** SCIPgetConcurrentSolvers(SCIP *scip)
int SCIPgetNConcurrentSolvers(SCIP *scip)
helper functions for concurrent scip solvers
internal methods for conflict analysis
int SCIPconflictGetNConflicts(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNAppliedGlobalConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsInfLocal(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNAppliedLocalLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNResConflictVars(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPropCalls(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsInfNonzeros(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNStrongbranchIterations(SCIP_CONFLICT *conflict)
SCIP_Real SCIPconflictGetInfeasibleLPTime(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNInfeasibleLPCalls(SCIP_CONFLICT *conflict)
SCIP_Real SCIPconflictGetGlobalApplTime(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNInfeasibleLPSuccess(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNBoundexceedingLPReconvergenceConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNGlobalChgBds(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPropConflictLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNAppliedConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNInfeasibleLPConflictConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNBoundexceedingLPConflictConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNBoundexceedingLPSuccess(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNStrongbranchCalls(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNInfeasibleLPReconvergenceLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPropReconvergenceConss(SCIP_CONFLICT *conflict)
SCIP_Real SCIPconflictGetBoundexceedingLPTime(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNStrongbranchReconvergenceLiterals(SCIP_CONFLICT *conflict)
SCIP_Real SCIPconflictGetPseudoTime(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPseudoReconvergenceLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPropReconvergenceLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNInfeasibleLPReconvergenceConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNAppliedLocalConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNStrongbranchReconvergenceConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNBoundexceedingLPConflictLiterals(SCIP_CONFLICT *conflict)
SCIP_Real SCIPconflictGetStrongbranchTime(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPseudoSuccess(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNInfeasibleLPConflictLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPseudoConflictLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNLocalChgBds(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsBndSuccess(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPropSuccess(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsInfSuccess(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNBoundexceedingLPCalls(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPropConflictConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNStrongbranchSuccess(SCIP_CONFLICT *conflict)
SCIP_Real SCIPconflictGetResTime(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsBndGlobal(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPseudoReconvergenceConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNAppliedGlobalLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsBndLocal(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPseudoCalls(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNAppliedResConss(SCIP_CONFLICT *conflict)
SCIP_Real SCIPconflictGetPropTime(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNBoundexceedingLPIterations(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNStrongbranchConflictLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNPseudoConflictConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsBndNonzeros(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNDualproofsInfGlobal(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNBoundexceedingLPReconvergenceLiterals(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNStrongbranchConflictConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNInfeasibleLPIterations(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNResConflictConss(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNResLargeCoefs(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNResSuccess(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNResCalls(SCIP_CONFLICT *conflict)
SCIP_Longint SCIPconflictGetNResLongConflicts(SCIP_CONFLICT *conflict)
int SCIPconflictstoreGetMaxPoolSize(SCIP_CONFLICTSTORE *conflictstore)
int SCIPconflictstoreGetInitPoolSize(SCIP_CONFLICTSTORE *conflictstore)
internal methods for storing conflicts
#define SCIPcheckStage(scip, method, init, problem, transforming, transformed, initpresolve, presolving, exitpresolve, presolved, initsolve, solving, solved, exitsolve, freetrans, freescip)
#define SCIP_CALL_ABORT(x)
#define SCIP_LONGINT_FORMAT
SCIP_RETCODE SCIPdispPrintLine(SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, FILE *file, SCIP_Bool forcedisplay, SCIP_Bool endline)
internal methods for displaying runtime statistics
SCIP_RETCODE SCIPprintStage(SCIP *scip, FILE *file)
const char * SCIPstatusName(SCIP_STATUS status)
SCIP_STATUS SCIPgetStatus(SCIP *scip)
SCIP_STAGE SCIPgetStage(SCIP *scip)
void SCIPwarningMessage(SCIP *scip, const char *formatstr,...)
SCIP_Real SCIPcomputeGap(SCIP_Real eps, SCIP_Real inf, SCIP_Real primalbound, SCIP_Real dualbound)
int SCIPgetNActiveBenders(SCIP *scip)
SCIP_Real SCIPbendersGetSetupTime(SCIP_BENDERS *benders)
int SCIPbendersGetNTransferredCuts(SCIP_BENDERS *benders)
int SCIPbendersGetNStrengthenFails(SCIP_BENDERS *benders)
SCIP_BENDERS ** SCIPgetBenders(SCIP *scip)
int SCIPgetNBenders(SCIP *scip)
const char * SCIPbendersGetDesc(SCIP_BENDERS *benders)
int SCIPbendersGetNStrengthenCalls(SCIP_BENDERS *benders)
int SCIPbendersGetNBenderscuts(SCIP_BENDERS *benders)
SCIP_Bool SCIPbendersIsActive(SCIP_BENDERS *benders)
const char * SCIPbendersGetName(SCIP_BENDERS *benders)
int SCIPbendersGetNStrengthenCutsFound(SCIP_BENDERS *benders)
int SCIPbendersGetNCalls(SCIP_BENDERS *benders)
int SCIPbendersGetNCutsFound(SCIP_BENDERS *benders)
SCIP_Real SCIPbendersGetTime(SCIP_BENDERS *benders)
SCIP_BENDERSCUT ** SCIPbendersGetBenderscuts(SCIP_BENDERS *benders)
const char * SCIPbenderscutGetDesc(SCIP_BENDERSCUT *benderscut)
const char * SCIPbenderscutGetName(SCIP_BENDERSCUT *benderscut)
SCIP_Longint SCIPbenderscutGetNCalls(SCIP_BENDERSCUT *benderscut)
SCIP_Real SCIPbenderscutGetTime(SCIP_BENDERSCUT *benderscut)
SCIP_Real SCIPbenderscutGetSetupTime(SCIP_BENDERSCUT *benderscut)
SCIP_Longint SCIPbenderscutGetNFound(SCIP_BENDERSCUT *benderscut)
SCIP_Longint SCIPbranchruleGetNDomredsFound(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNPseudoCalls(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNConssFound(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNLPCalls(SCIP_BRANCHRULE *branchrule)
const char * SCIPbranchruleGetName(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNChildren(SCIP_BRANCHRULE *branchrule)
SCIP_Real SCIPbranchruleGetTime(SCIP_BRANCHRULE *branchrule)
SCIP_Real SCIPbranchruleGetSetupTime(SCIP_BRANCHRULE *branchrule)
const char * SCIPbranchruleGetDesc(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNCutoffs(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNExternCalls(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNCutsFound(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPcomprGetNCalls(SCIP_COMPR *compr)
SCIP_Longint SCIPcomprGetNFound(SCIP_COMPR *compr)
const char * SCIPcomprGetName(SCIP_COMPR *compr)
SCIP_Real SCIPcomprGetSetupTime(SCIP_COMPR *compr)
SCIP_Real SCIPcomprGetTime(SCIP_COMPR *compr)
const char * SCIPcomprGetDesc(SCIP_COMPR *compr)
int SCIPconshdlrGetMaxNActiveConss(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetCheckTime(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNCheckCalls(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNChgSides(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetPresolTime(SCIP_CONSHDLR *conshdlr)
SCIP_Bool SCIPconshdlrDoesPresolve(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNFixedVars(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetEnfoLPTime(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNPresolCalls(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNDomredsFound(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNCutsApplied(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNChgCoefs(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetStrongBranchPropTime(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNCutsFound(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetPropTime(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetEnfoPSTime(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNCutoffs(SCIP_CONSHDLR *conshdlr)
const char * SCIPconshdlrGetName(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNSepaCalls(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNDelConss(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNChildren(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetEnfoRelaxTime(SCIP_CONSHDLR *conshdlr)
SCIP_Bool SCIPconshdlrNeedsCons(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNAggrVars(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNEnfoPSCalls(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNAddHoles(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNUpgdConss(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetStartNActiveConss(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNAddConss(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNChgBds(SCIP_CONSHDLR *conshdlr)
const char * SCIPconshdlrGetDesc(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNConssFound(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNPropCalls(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNEnfoLPCalls(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetSetupTime(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNRespropCalls(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetSepaTime(SCIP_CONSHDLR *conshdlr)
int SCIPconshdlrGetNChgVarTypes(SCIP_CONSHDLR *conshdlr)
SCIP_Real SCIPconshdlrGetRespropTime(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPconshdlrGetNEnfoRelaxCalls(SCIP_CONSHDLR *conshdlr)
SCIP_Longint SCIPcutpoolGetNRootCalls(SCIP_CUTPOOL *cutpool)
SCIP_Longint SCIPcutpoolGetNCutsFound(SCIP_CUTPOOL *cutpool)
SCIP_Real SCIPcutpoolGetTime(SCIP_CUTPOOL *cutpool)
SCIP_Longint SCIPcutpoolGetMaxNCuts(SCIP_CUTPOOL *cutpool)
SCIP_Longint SCIPcutpoolGetNCalls(SCIP_CUTPOOL *cutpool)
SCIP_Longint SCIPcutpoolGetNCutsAdded(SCIP_CUTPOOL *cutpool)
SCIP_Longint SCIPcutselGetNLocalCuts(SCIP_CUTSEL *cutsel)
SCIP_Longint SCIPcutselGetNLocalCutsFiltered(SCIP_CUTSEL *cutsel)
SCIP_Longint SCIPcutselGetNRootCuts(SCIP_CUTSEL *cutsel)
SCIP_Longint SCIPcutselGetNRootForcedCuts(SCIP_CUTSEL *cutsel)
SCIP_Longint SCIPcutselGetNCalls(SCIP_CUTSEL *cutsel)
const char * SCIPcutselGetDesc(SCIP_CUTSEL *cutsel)
SCIP_Real SCIPcutselGetTime(SCIP_CUTSEL *cutsel)
const char * SCIPcutselGetName(SCIP_CUTSEL *cutsel)
SCIP_Longint SCIPcutselGetNRootCutsFiltered(SCIP_CUTSEL *cutsel)
SCIP_Real SCIPcutselGetSetupTime(SCIP_CUTSEL *cutsel)
SCIP_Longint SCIPcutselGetNLocalForcedCuts(SCIP_CUTSEL *cutsel)
SCIP_Longint SCIPcutselGetNRootCalls(SCIP_CUTSEL *cutsel)
void SCIPfreeDatatree(SCIP *scip, SCIP_DATATREE **datatree)
SCIP_RETCODE SCIPcreateDatatreeInTree(SCIP *scip, SCIP_DATATREE *datatree, SCIP_DATATREE **newtree, const char *name, int capacity)
SCIP_RETCODE SCIPinsertDatatreeString(SCIP *scip, SCIP_DATATREE *datatree, const char *name, const char *value)
SCIP_RETCODE SCIPinsertDatatreeBool(SCIP *scip, SCIP_DATATREE *datatree, const char *name, SCIP_Bool value)
SCIP_RETCODE SCIPcreateDatatree(SCIP *scip, SCIP_DATATREE **datatree, int capacity)
SCIP_RETCODE SCIPinsertDatatreeInt(SCIP *scip, SCIP_DATATREE *datatree, const char *name, int value)
SCIP_RETCODE SCIPinsertDatatreeLong(SCIP *scip, SCIP_DATATREE *datatree, const char *name, SCIP_Longint value)
SCIP_RETCODE SCIPwriteDatatreeJson(SCIP *scip, FILE *file, SCIP_DATATREE *datatree)
SCIP_RETCODE SCIPinsertDatatreeReal(SCIP *scip, SCIP_DATATREE *datatree, const char *name, SCIP_Real value)
SCIP_Longint SCIPdivesetGetNBacktracks(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
SCIP_Longint SCIPdivesetGetNSols(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
int SCIPdivesetGetMaxSolutionDepth(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
SCIP_Longint SCIPdivesetGetNConflicts(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
SCIP_Real SCIPdivesetGetAvgSolutionDepth(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
int SCIPdivesetGetMaxDepth(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
int SCIPdivesetGetMinDepth(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
SCIP_Real SCIPdivesetGetAvgDepth(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
SCIP_Longint SCIPdivesetGetNLPIterations(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
int SCIPdivesetGetMinSolutionDepth(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
const char * SCIPdivesetGetName(SCIP_DIVESET *diveset)
int SCIPdivesetGetNCalls(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
SCIP_Longint SCIPdivesetGetNProbingNodes(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
int SCIPdivesetGetNSolutionCalls(SCIP_DIVESET *diveset, SCIP_DIVECONTEXT divecontext)
SCIP_Bool SCIPisExact(SCIP *scip)
const char * SCIPexprhdlrGetName(SCIP_EXPRHDLR *exprhdlr)
SCIP_Real SCIPexprhdlrGetEstimateTime(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNDomainReductions(SCIP_EXPRHDLR *exprhdlr)
SCIP_Real SCIPexprhdlrGetReversepropTime(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNReversepropCalls(SCIP_EXPRHDLR *exprhdlr)
const char * SCIPexprhdlrGetDescription(SCIP_EXPRHDLR *exprhdlr)
unsigned int SCIPexprhdlrGetNCreated(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNBranchings(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNSimplifyCalls(SCIP_EXPRHDLR *exprhdlr)
SCIP_Real SCIPexprhdlrGetIntevalTime(SCIP_EXPRHDLR *exprhdlr)
SCIP_Real SCIPexprhdlrGetSimplifyTime(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNIntevalCalls(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNSimplifications(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNCutoffs(SCIP_EXPRHDLR *exprhdlr)
SCIP_Longint SCIPexprhdlrGetNEstimateCalls(SCIP_EXPRHDLR *exprhdlr)
const char * SCIPheurGetDesc(SCIP_HEUR *heur)
SCIP_Longint SCIPheurGetNSolsFound(SCIP_HEUR *heur)
SCIP_Longint SCIPheurGetNBestSolsFound(SCIP_HEUR *heur)
SCIP_Longint SCIPheurGetNCalls(SCIP_HEUR *heur)
SCIP_Real SCIPheurGetSetupTime(SCIP_HEUR *heur)
int SCIPheurGetNDivesets(SCIP_HEUR *heur)
SCIP_Real SCIPheurGetTime(SCIP_HEUR *heur)
const char * SCIPheurGetName(SCIP_HEUR *heur)
SCIP_DIVESET ** SCIPheurGetDivesets(SCIP_HEUR *heur)
BMS_BUFMEM * SCIPbuffer(SCIP *scip)
#define SCIPallocBufferArray(scip, ptr, num)
#define SCIPfreeBufferArray(scip, ptr)
int SCIPnlpiGetNSolves(SCIP_NLPI *nlpi)
SCIP_Real SCIPnlpiGetProblemTime(SCIP_NLPI *nlpi)
SCIP_Real SCIPnlpiGetSolveTime(SCIP_NLPI *nlpi)
int SCIPnlpiGetNTermStat(SCIP_NLPI *nlpi, SCIP_NLPTERMSTAT termstatus)
SCIP_Longint SCIPnlpiGetNIterations(SCIP_NLPI *nlpi)
int SCIPnlpiGetNProblems(SCIP_NLPI *nlpi)
const char * SCIPnlpiGetDesc(SCIP_NLPI *nlpi)
int SCIPnlpiGetNSolStat(SCIP_NLPI *nlpi, SCIP_NLPSOLSTAT solstatus)
const char * SCIPnlpiGetName(SCIP_NLPI *nlpi)
SCIP_Real SCIPnlpiGetEvalTime(SCIP_NLPI *nlpi)
SCIP_RETCODE SCIPgetNLPNlRowsStat(SCIP *scip, int *nlinear, int *nconvexineq, int *nnonconvexineq, int *nnonlineareq)
SCIP_Real SCIPpresolGetSetupTime(SCIP_PRESOL *presol)
int SCIPpresolGetNAggrVars(SCIP_PRESOL *presol)
int SCIPpresolGetNCalls(SCIP_PRESOL *presol)
int SCIPpresolGetNDelConss(SCIP_PRESOL *presol)
int SCIPpresolGetNChgCoefs(SCIP_PRESOL *presol)
int SCIPpresolGetNAddHoles(SCIP_PRESOL *presol)
SCIP_Real SCIPpresolGetTime(SCIP_PRESOL *presol)
int SCIPpresolGetNChgVarTypes(SCIP_PRESOL *presol)
int SCIPpresolGetNChgSides(SCIP_PRESOL *presol)
int SCIPpresolGetNFixedVars(SCIP_PRESOL *presol)
const char * SCIPpresolGetDesc(SCIP_PRESOL *presol)
int SCIPpresolGetNChgBds(SCIP_PRESOL *presol)
int SCIPpresolGetNAddConss(SCIP_PRESOL *presol)
const char * SCIPpresolGetName(SCIP_PRESOL *presol)
int SCIPpricerGetNVarsFound(SCIP_PRICER *pricer)
const char * SCIPpricerGetName(SCIP_PRICER *pricer)
SCIP_Real SCIPpricerGetSetupTime(SCIP_PRICER *pricer)
SCIP_Real SCIPpricerGetTime(SCIP_PRICER *pricer)
int SCIPpricerGetNCalls(SCIP_PRICER *pricer)
SCIP_Bool SCIPpropDoesPresolve(SCIP_PROP *prop)
SCIP_Real SCIPpropGetRespropTime(SCIP_PROP *prop)
SCIP_Real SCIPpropGetPresolTime(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNCutoffs(SCIP_PROP *prop)
SCIP_Real SCIPpropGetSetupTime(SCIP_PROP *prop)
int SCIPpropGetNAddHoles(SCIP_PROP *prop)
int SCIPpropGetNChgBds(SCIP_PROP *prop)
int SCIPpropGetNChgSides(SCIP_PROP *prop)
int SCIPpropGetNPresolCalls(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNRespropCalls(SCIP_PROP *prop)
SCIP_Real SCIPpropGetStrongBranchPropTime(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNDomredsFound(SCIP_PROP *prop)
int SCIPpropGetNChgCoefs(SCIP_PROP *prop)
int SCIPpropGetNAggrVars(SCIP_PROP *prop)
const char * SCIPpropGetDesc(SCIP_PROP *prop)
int SCIPpropGetNFixedVars(SCIP_PROP *prop)
const char * SCIPpropGetName(SCIP_PROP *prop)
int SCIPpropGetNAddConss(SCIP_PROP *prop)
SCIP_Real SCIPpropGetTime(SCIP_PROP *prop)
int SCIPpropGetNChgVarTypes(SCIP_PROP *prop)
SCIP_Longint SCIPpropGetNCalls(SCIP_PROP *prop)
int SCIPpropGetNDelConss(SCIP_PROP *prop)
int SCIPrationalToString(SCIP_RATIONAL *rational, char *str, int strlen)
void SCIPrationalSetReal(SCIP_RATIONAL *res, SCIP_Real real)
void SCIPrationalFreeBuffer(BMS_BUFMEM *bufmem, SCIP_RATIONAL **rational)
SCIP_RETCODE SCIPrationalCreateBuffer(BMS_BUFMEM *bufmem, SCIP_RATIONAL **rational)
void SCIPrationalSetRational(SCIP_RATIONAL *res, SCIP_RATIONAL *src)
void SCIPrationalMessage(SCIP_MESSAGEHDLR *msg, FILE *file, SCIP_RATIONAL *rational)
void SCIPrationalSetNegInfinity(SCIP_RATIONAL *res)
SCIP_Bool SCIPrationalIsLE(SCIP_RATIONAL *rat1, SCIP_RATIONAL *rat2)
SCIP_Longint SCIPrelaxGetNAddedConss(SCIP_RELAX *relax)
SCIP_Real SCIPrelaxGetTime(SCIP_RELAX *relax)
const char * SCIPrelaxGetName(SCIP_RELAX *relax)
SCIP_Longint SCIPrelaxGetNCutoffs(SCIP_RELAX *relax)
SCIP_Longint SCIPrelaxGetNSeparatedCuts(SCIP_RELAX *relax)
SCIP_Longint SCIPrelaxGetNReducedDomains(SCIP_RELAX *relax)
SCIP_Real SCIPrelaxGetImprovedLowerboundTime(SCIP_RELAX *relax)
SCIP_Longint SCIPrelaxGetNImprovedLowerbound(SCIP_RELAX *relax)
SCIP_Longint SCIPrelaxGetNCalls(SCIP_RELAX *relax)
SCIP_Longint SCIPsepaGetNCutsApplied(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNCutoffs(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNCutsAppliedViaPool(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNCutsAppliedDirect(SCIP_SEPA *sepa)
const char * SCIPsepaGetName(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNDomredsFound(SCIP_SEPA *sepa)
SCIP_Bool SCIPsepaIsParentsepa(SCIP_SEPA *sepa)
const char * SCIPsepaGetDesc(SCIP_SEPA *sepa)
SCIP_Real SCIPsepaGetTime(SCIP_SEPA *sepa)
SCIP_SEPA * SCIPsepaGetParentsepa(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNCutsAddedViaPool(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNConssFound(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNRootCalls(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNCutsAddedDirect(SCIP_SEPA *sepa)
SCIP_Real SCIPsepaGetSetupTime(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNCutsFound(SCIP_SEPA *sepa)
SCIP_Longint SCIPsepaGetNCalls(SCIP_SEPA *sepa)
SCIP_Real SCIPsolGetTime(SCIP_SOL *sol)
SCIP_Longint SCIPsolGetNodenum(SCIP_SOL *sol)
SCIP_HEUR * SCIPsolGetHeur(SCIP_SOL *sol)
int SCIPsolGetDepth(SCIP_SOL *sol)
int SCIPsolGetRunnum(SCIP_SOL *sol)
SCIP_Real SCIPretransformObj(SCIP *scip, SCIP_Real obj)
void SCIPprintPropagatorStatistics(SCIP *scip, FILE *file)
void SCIPprintTreeStatistics(SCIP *scip, FILE *file)
void SCIPprintStatusStatistics(SCIP *scip, FILE *file)
SCIP_Real SCIPgetAvgConflictScoreCurrentRun(SCIP *scip)
SCIP_RETCODE SCIPcollectTimingStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_RATIONAL * SCIPgetCutoffboundExact(SCIP *scip)
void SCIPprintCompressionStatistics(SCIP *scip, FILE *file)
SCIP_Real SCIPgetAvgCutoffsCurrentRun(SCIP *scip, SCIP_BRANCHDIR dir)
void SCIPprintRootStatistics(SCIP *scip, FILE *file)
SCIP_Bool SCIPisPrimalboundSol(SCIP *scip)
SCIP_RETCODE SCIPcollectRelaxatorStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Longint SCIPgetNConflictDualproofsApplied(SCIP *scip)
int SCIPgetNImplications(SCIP *scip)
void SCIPprintConstraintTimingStatistics(SCIP *scip, FILE *file)
void SCIPaddNNodes(SCIP *scip, SCIP_Longint nnodes)
void SCIPincAvgGMIeff(SCIP *scip, SCIP_Real gmieff)
SCIP_RETCODE SCIPcollectCutselectorStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetDeterministicTime(SCIP *scip)
SCIP_Longint SCIPgetNSolsFound(SCIP *scip)
SCIP_Real SCIPgetPrimalbound(SCIP *scip)
int SCIPgetMaxDepth(SCIP *scip)
SCIP_RETCODE SCIPcollectNLPIStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_RETCODE SCIPupdateCutoffbound(SCIP *scip, SCIP_Real cutoffbound)
SCIP_Longint SCIPgetNBarrierLPIterations(SCIP *scip)
void SCIPgetUpperboundExact(SCIP *scip, SCIP_RATIONAL *result)
SCIP_Real SCIPgetAvgInferenceScore(SCIP *scip)
SCIP_RETCODE SCIPcollectStatusStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Longint SCIPgetNDivingLPIterations(SCIP *scip)
SCIP_Real SCIPgetAvgPseudocostScoreCurrentRun(SCIP *scip)
SCIP_RETCODE SCIPcollectConstraintStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_RETCODE SCIPcollectHeuristicStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetUpperbound(SCIP *scip)
SCIP_Real SCIPgetLowerboundRoot(SCIP *scip)
SCIP_Real SCIPgetAvgConflictlengthScore(SCIP *scip)
void SCIPprintSolutionStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPcollectBendersStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetAvgPseudocostCount(SCIP *scip, SCIP_BRANCHDIR dir)
SCIP_Longint SCIPgetNInfeasibleLeaves(SCIP *scip)
void SCIPprintRelaxatorStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPcollectNLPStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetGap(SCIP *scip)
SCIP_Longint SCIPgetNResolveLPIterations(SCIP *scip)
void SCIPprintOrigProblemStatistics(SCIP *scip, FILE *file)
SCIP_Longint SCIPgetNNodeZeroIterationLPs(SCIP *scip)
SCIP_Longint SCIPgetNNodes(SCIP *scip)
SCIP_Longint SCIPgetNFeasibleLeaves(SCIP *scip)
SCIP_Longint SCIPgetNNodeInitLPs(SCIP *scip)
int SCIPgetMaxTotalDepth(SCIP *scip)
SCIP_RETCODE SCIPcollectConflictStatistics(SCIP *scip, SCIP_DATATREE *datatree)
int SCIPgetNPricevars(SCIP *scip)
SCIP_Longint SCIPgetNResConflictConssApplied(SCIP *scip)
int SCIPgetNRootboundChgsRun(SCIP *scip)
SCIP_Real SCIPgetDualbound(SCIP *scip)
SCIP_RETCODE SCIPcollectSeparatorStatistics(SCIP *scip, SCIP_DATATREE *datatree)
void SCIPprintLPStatistics(SCIP *scip, FILE *file)
SCIP_Longint SCIPgetNRootStrongbranchs(SCIP *scip)
int SCIPgetNEnabledConss(SCIP *scip)
int SCIPgetNSepaRounds(SCIP *scip)
int SCIPgetNCutsFoundRound(SCIP *scip)
SCIP_RETCODE SCIPprintStatisticsJson(SCIP *scip, FILE *file)
void SCIPprintNLPStatistics(SCIP *scip, FILE *file)
int SCIPgetNRootboundChgs(SCIP *scip)
SCIP_Real SCIPgetFirstPrimalBound(SCIP *scip)
void SCIPgetDualboundExact(SCIP *scip, SCIP_RATIONAL *result)
SCIP_Longint SCIPgetNStrongbranchLPIterations(SCIP *scip)
int SCIPgetNPricevarsApplied(SCIP *scip)
SCIP_RETCODE SCIPcollectTreeStatistics(SCIP *scip, SCIP_DATATREE *datatree)
int SCIPgetNCutsApplied(SCIP *scip)
void SCIPprintPricerStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPprintStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPcollectOrigProblemStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetLowerbound(SCIP *scip)
SCIP_Real SCIPgetAvgLowerbound(SCIP *scip)
SCIP_RETCODE SCIPcollectBranchruleStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_RETCODE SCIPcollectPricerStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_RETCODE SCIPprintBranchingStatistics(SCIP *scip, FILE *file)
SCIP_Longint SCIPgetNTotalNodes(SCIP *scip)
void SCIPprintSeparatorStatistics(SCIP *scip, FILE *file)
void SCIPprintConcsolverStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPcollectRootStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Longint SCIPgetNResolveLPs(SCIP *scip)
void SCIPgetPrimalboundExact(SCIP *scip, SCIP_RATIONAL *result)
int SCIPgetNRuns(SCIP *scip)
void SCIPprintNLPIStatistics(SCIP *scip, FILE *file)
SCIP_Longint SCIPgetNNodeLPIterations(SCIP *scip)
SCIP_Longint SCIPgetNDualLPIterations(SCIP *scip)
void SCIPprintBranchruleStatistics(SCIP *scip, FILE *file)
int SCIPgetNActiveConss(SCIP *scip)
void SCIPprintConflictStatistics(SCIP *scip, FILE *file)
SCIP_Real SCIPgetDualboundRoot(SCIP *scip)
SCIP_Longint SCIPgetNDualLPs(SCIP *scip)
SCIP_Real SCIPgetAvgCutoffScoreCurrentRun(SCIP *scip)
SCIP_Real SCIPgetAvgGMIeff(SCIP *scip)
void SCIPprintExpressionHandlerStatistics(SCIP *scip, FILE *file)
int SCIPgetNPriceRounds(SCIP *scip)
SCIP_Longint SCIPgetNLPs(SCIP *scip)
int SCIPgetNReoptRuns(SCIP *scip)
SCIP_Real SCIPgetAvgDualbound(SCIP *scip)
void SCIPprintBendersStatistics(SCIP *scip, FILE *file)
void SCIPprintTimingStatistics(SCIP *scip, FILE *file)
SCIP_Longint SCIPgetNRootLPIterations(SCIP *scip)
SCIP_Longint SCIPgetNPrimalResolveLPIterations(SCIP *scip)
SCIP_Real SCIPgetAvgInferenceScoreCurrentRun(SCIP *scip)
void SCIPprintCutselectorStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPcollectExpressionHandlerStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetAvgConflictScore(SCIP *scip)
SCIP_Longint SCIPgetNLimSolsFound(SCIP *scip)
void SCIPstoreSolutionGap(SCIP *scip)
SCIP_Real SCIPgetAvgPseudocost(SCIP *scip, SCIP_Real solvaldelta)
int SCIPgetNRootIntFixingsRun(SCIP *scip)
SCIP_RETCODE SCIPcollectCompressionStatistics(SCIP *scip, SCIP_DATATREE *datatree)
void SCIPprintConstraintStatistics(SCIP *scip, FILE *file)
SCIP_Longint SCIPgetNBacktracks(SCIP *scip)
SCIP_RETCODE SCIPprintReoptStatistics(SCIP *scip, FILE *file)
SCIP_Longint SCIPgetNBarrierLPs(SCIP *scip)
SCIP_Longint SCIPgetNDualResolveLPIterations(SCIP *scip)
SCIP_Real SCIPgetTransGap(SCIP *scip)
SCIP_Longint SCIPgetNBestSolsFound(SCIP *scip)
SCIP_Real SCIPgetAvgPseudocostScore(SCIP *scip)
SCIP_Real SCIPgetPseudocostCount(SCIP *scip, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun)
SCIP_Real SCIPgetCutoffbound(SCIP *scip)
SCIP_Real SCIPgetFirstLPLowerboundRoot(SCIP *scip)
SCIP_Real SCIPgetAvgPseudocostCountCurrentRun(SCIP *scip, SCIP_BRANCHDIR dir)
SCIP_Longint SCIPgetNExactLPs(SCIP *scip)
SCIP_Longint SCIPgetNConflictConssApplied(SCIP *scip)
SCIP_Longint SCIPgetNObjlimLeaves(SCIP *scip)
SCIP_RETCODE SCIPcollectPropagatorStatistics(SCIP *scip, SCIP_DATATREE *datatree)
int SCIPgetNCutsFound(SCIP *scip)
void SCIPprintPresolverStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPcollectPresolverStatistics(SCIP *scip, SCIP_DATATREE *datatree)
void SCIPprintTransProblemStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPprintDisplayLine(SCIP *scip, FILE *file, SCIP_VERBLEVEL verblevel, SCIP_Bool endline)
SCIP_Longint SCIPgetNDivingLPs(SCIP *scip)
SCIP_Longint SCIPgetNNodeLPs(SCIP *scip)
SCIP_Real SCIPgetFirstLPDualboundRoot(SCIP *scip)
SCIP_Real SCIPgetAvgConflictlengthScoreCurrentRun(SCIP *scip)
SCIP_Longint SCIPgetNRootFirstLPIterations(SCIP *scip)
int SCIPgetNPricevarsFound(SCIP *scip)
void SCIPgetLowerboundExact(SCIP *scip, SCIP_RATIONAL *result)
SCIP_Longint SCIPgetNNodeInitLPIterations(SCIP *scip)
SCIP_Longint SCIPgetNNZs(SCIP *scip)
SCIP_Longint SCIPgetNDelayedCutoffs(SCIP *scip)
SCIP_Longint SCIPgetNPrimalResolveLPs(SCIP *scip)
SCIP_Longint SCIPgetNConflictConssFound(SCIP *scip)
SCIP_Real SCIPgetAvgDPseudocostScore(SCIP *scip, SCIP_Real discountfac)
SCIP_Real SCIPgetAvgPseudocostCurrentRun(SCIP *scip, SCIP_Real solvaldelta)
SCIP_Real SCIPgetAvgInferences(SCIP *scip, SCIP_BRANCHDIR dir)
SCIP_Longint SCIPgetNPrimalLPIterations(SCIP *scip)
SCIP_Longint SCIPgetNStrongbranchs(SCIP *scip)
SCIP_RETCODE SCIPcollectLPStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_RETCODE SCIPcollectConcsolverStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_RETCODE SCIPcollectBranchingStatistics(SCIP *scip, SCIP_DATATREE *datatree)
int SCIPgetNConflictConssFoundNode(SCIP *scip)
SCIP_Longint SCIPgetNLPIterations(SCIP *scip)
SCIP_RETCODE SCIPcollectConstraintTimingStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetAvgInferencesCurrentRun(SCIP *scip, SCIP_BRANCHDIR dir)
SCIP_Longint SCIPgetNDualResolveLPs(SCIP *scip)
void SCIPprintHeuristicStatistics(SCIP *scip, FILE *file)
SCIP_Real SCIPgetPseudocostVariance(SCIP *scip, SCIP_BRANCHDIR branchdir, SCIP_Bool onlycurrentrun)
SCIP_Real SCIPgetPrimalDualIntegral(SCIP *scip)
SCIP_RETCODE SCIPcollectTransProblemStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Longint SCIPgetNPrimalLPs(SCIP *scip)
SCIP_Real SCIPgetAvgCutoffs(SCIP *scip, SCIP_BRANCHDIR dir)
SCIP_Longint SCIPgetNRootStrongbranchLPIterations(SCIP *scip)
SCIP_RETCODE SCIPcollectSolutionStatistics(SCIP *scip, SCIP_DATATREE *datatree)
SCIP_Real SCIPgetAvgCutoffScore(SCIP *scip)
int SCIPtableGetPosition(SCIP_TABLE *table)
SCIP_TABLE ** SCIPgetTables(SCIP *scip)
int SCIPgetNTables(SCIP *scip)
const char * SCIPtableGetName(SCIP_TABLE *table)
SCIP_STAGE SCIPtableGetEarliestStage(SCIP_TABLE *table)
SCIP_Bool SCIPtableIsActive(SCIP_TABLE *table)
SCIP_Real SCIPgetFirstLPTime(SCIP *scip)
SCIP_Real SCIPgetSolvingTime(SCIP *scip)
SCIP_Real SCIPgetReadingTime(SCIP *scip)
SCIP_Real SCIPinfinity(SCIP *scip)
SCIP_Bool SCIPisLE(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPisFeasZero(SCIP *scip, SCIP_Real val)
SCIP_Bool SCIPisInfinity(SCIP *scip, SCIP_Real val)
SCIP_Real SCIPvarGetAvgBranchdepth(SCIP_VAR *var, SCIP_BRANCHDIR dir)
int SCIPvarGetNLocksUpType(SCIP_VAR *var, SCIP_LOCKTYPE locktype)
const char * SCIPvarGetName(SCIP_VAR *var)
SCIP_Real SCIPvarGetBranchFactor(SCIP_VAR *var)
SCIP_Longint SCIPvarGetNBranchings(SCIP_VAR *var, SCIP_BRANCHDIR dir)
int SCIPvarGetBranchPriority(SCIP_VAR *var)
int SCIPgetVarNStrongbranchs(SCIP *scip, SCIP_VAR *var)
int SCIPvarGetNLocksDownType(SCIP_VAR *var, SCIP_LOCKTYPE locktype)
void SCIPsortPtr(void **ptrarray, SCIP_DECL_SORTPTRCOMP((*ptrcomp)), int len)
int SCIPsnprintf(char *t, int len, const char *s,...)
static SCIP_DIVESET * diveset
assert(minobj< SCIPgetCutoffbound(scip))
SCIP_Real SCIPhistoryGetPseudocost(SCIP_HISTORY *history, SCIP_Real solvaldelta)
SCIP_Real SCIPhistoryGetAvgInferences(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_Longint SCIPhistoryGetNBranchings(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_Real SCIPhistoryGetAvgConflictlength(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_Real SCIPhistoryGetAvgCutoffs(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_Real SCIPhistoryGetAncPseudocost(SCIP_HISTORY *history, SCIP_Real solvaldelta)
SCIP_Real SCIPhistoryGetCutoffSum(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_Real SCIPhistoryGetPseudocostCount(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_Real SCIPhistoryGetPseudocostVariance(SCIP_HISTORY *history, SCIP_BRANCHDIR direction)
SCIP_Real SCIPhistoryGetVSIDS(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
SCIP_Real SCIPhistoryGetAvgGMIeff(SCIP_HISTORY *history)
SCIP_Real SCIPhistoryGetInferenceSum(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
void SCIPhistoryIncGMIeffSum(SCIP_HISTORY *history, SCIP_Real gmieff)
internal methods for branching and inference history
SCIP_Longint SCIPcliquetableGetNEntries(SCIP_CLIQUETABLE *cliquetable)
methods for implications, variable bounds, and cliques
static SCIP_RETCODE strongbranch(SCIP_LPI *lpi, int col_index, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
memory allocation routines
#define BMSclearMemoryArray(ptr, num)
void SCIPmessageFPrintInfo(SCIP_MESSAGEHDLR *messagehdlr, FILE *file, const char *formatstr,...)
int SCIPpricestoreGetNVars(SCIP_PRICESTORE *pricestore)
int SCIPpricestoreGetNVarsApplied(SCIP_PRICESTORE *pricestore)
SCIP_Real SCIPpricestoreGetProbPricingTime(SCIP_PRICESTORE *pricestore)
int SCIPpricestoreGetNVarsFound(SCIP_PRICESTORE *pricestore)
int SCIPpricestoreGetNProbvarsFound(SCIP_PRICESTORE *pricestore)
int SCIPpricestoreGetNProbPricings(SCIP_PRICESTORE *pricestore)
internal methods for storing priced variables
SCIP_Bool SCIPprimalUpperboundIsSol(SCIP_PRIMAL *primal, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob)
SCIP_RETCODE SCIPprimalSetCutoffbound(SCIP_PRIMAL *primal, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_Real cutoffbound, SCIP_Bool useforobjlimit)
internal methods for collecting primal CIP solutions and primal informations
void SCIPprobPrintStatistics(SCIP_PROB *prob, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, FILE *file)
SCIP_RETCODE SCIPprobCollectStatistics(SCIP_PROB *prob, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_DATATREE *datatree)
SCIP_Real SCIPprobExternObjval(SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_SET *set, SCIP_Real objval)
void SCIPprobExternObjvalExact(SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_SET *set, SCIP_RATIONAL *objval, SCIP_RATIONAL *objvalext)
SCIP_Real SCIPprobInternObjval(SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_SET *set, SCIP_Real objval)
internal methods for storing and manipulating the main problem
public methods for Benders' decomposition
public methods for Benders' decomposition cuts
public methods for branching rules
public methods for tree compressions
public methods for managing constraints
public methods for storing cuts in a cut pool
public methods for cut selectors
public functions to work with algebraic expressions
public methods for primal heuristics
public methods for branching and inference history structure
public methods for message output
public data structures and miscellaneous methods
methods for sorting joint arrays of various types
public methods for NLP solver interfaces
public methods for presolvers
public methods for variable pricers
public methods for propagators
public methods for input file readers
public methods for relaxation handlers
public methods for reoptimization
int SCIPreoptGetNTotalPrunedNodes(SCIP_REOPT *reopt)
int SCIPreoptGetNTotalFeasNodes(SCIP_REOPT *reopt)
int SCIPreoptGetFirstRestarts(SCIP_REOPT *reopt)
int SCIPreoptGetNTotalRestartsLocal(SCIP_REOPT *reopt)
int SCIPreoptGetLastRestarts(SCIP_REOPT *reopt)
int SCIPreoptGetNTotalCutoffReoptnodes(SCIP_REOPT *reopt)
int SCIPreoptGetNTotalInfNodes(SCIP_REOPT *reopt)
int SCIPreoptGetNRestartsGlobal(SCIP_REOPT *reopt)
public methods for separators
public methods for primal CIP solutions
public methods for displaying statistic tables
public methods for problem variables
internal methods for input file readers
SCIP_Real SCIPreoptGetSavingtime(SCIP_REOPT *reopt)
data structures and methods for collecting reoptimization information
public methods for Benders decomposition
public methods for data tree structure
public methods for exact solving
public methods for memory management
public methods for message handling
public methods for nonlinear relaxation
public methods for numerical tolerances
public methods for solutions
static const char * nlptermstatToString(SCIP_NLPTERMSTAT termstat)
static const char * nlpsolstatToString(SCIP_NLPSOLSTAT solstat)
public methods for querying solving statistics
public methods for statistics table plugins
public methods for timing
public methods for SCIP variables
int SCIPsepastoreGetNCutsFoundRound(SCIP_SEPASTORE *sepastore)
int SCIPsepastoreGetNCutsApplied(SCIP_SEPASTORE *sepastore)
int SCIPsepastoreGetNCutsAdded(SCIP_SEPASTORE *sepastore)
internal methods for storing separated cuts
void SCIPsetSortCutsels(SCIP_SET *set)
void SCIPsetSortBranchrulesName(SCIP_SET *set)
void SCIPsetSortPresolsName(SCIP_SET *set)
void SCIPsetSortRelaxsName(SCIP_SET *set)
void SCIPsetSortPropsName(SCIP_SET *set)
SCIP_Real SCIPsetEpsilon(SCIP_SET *set)
void SCIPsetSortComprsName(SCIP_SET *set)
void SCIPsetSortPricersName(SCIP_SET *set)
SCIP_Real SCIPsetInfinity(SCIP_SET *set)
SCIP_Bool SCIPsetIsInfinity(SCIP_SET *set, SCIP_Real val)
void SCIPsetSortHeursName(SCIP_SET *set)
void SCIPsetSortSepasName(SCIP_SET *set)
internal methods for global SCIP settings
SCIP_Real SCIPsolGetObj(SCIP_SOL *sol, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob)
internal methods for storing primal CIP solutions
void SCIPstatUpdatePrimalDualIntegrals(SCIP_STAT *stat, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_Real upperbound, SCIP_Real lowerbound)
SCIP_Real SCIPstatGetPrimalReferenceIntegral(SCIP_STAT *stat, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_Bool update)
SCIP_Real SCIPstatGetDualReferenceIntegral(SCIP_STAT *stat, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_Bool update)
SCIP_Real SCIPstatGetPrimalDualIntegral(SCIP_STAT *stat, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_Bool update)
internal methods for problem statistics
datastructures for block memory pools and memory buffers
datastructures for collecting primal CIP solutions and primal informations
datastructures for storing and manipulating the main problem
SCIP main data structure.
datastructures for global SCIP settings
datastructures for problem statistics
int SCIPsyncstoreGetWinner(SCIP_SYNCSTORE *syncstore)
SCIP_Bool SCIPsyncstoreIsInitialized(SCIP_SYNCSTORE *syncstore)
the function declarations for the synchronization store
SCIP_RETCODE SCIPtableOutput(SCIP_TABLE *table, BMS_BLKMEM *blkmem, SCIP_SET *set, FILE *file)
SCIP_RETCODE SCIPtableCollect(SCIP_TABLE *table, SCIP_SET *set, SCIP_DATATREE *datatree)
internal methods for displaying statistics tables
SCIP_Real SCIPtreeGetAvgLowerbound(SCIP_TREE *tree, SCIP_Real cutoffbound)
SCIP_RATIONAL * SCIPtreeGetLowerboundExact(SCIP_TREE *tree, SCIP_SET *set)
SCIP_Real SCIPtreeGetLowerbound(SCIP_TREE *tree, SCIP_SET *set)
int SCIPtreeGetNNodes(SCIP_TREE *tree)
internal methods for branch and bound tree
struct SCIP_Benders SCIP_BENDERS
struct SCIP_Benderscut SCIP_BENDERSCUT
struct SCIP_Compr SCIP_COMPR
struct SCIP_ConcSolver SCIP_CONCSOLVER
struct SCIP_Conshdlr SCIP_CONSHDLR
struct SCIP_Cutsel SCIP_CUTSEL
struct SCIP_Datatree SCIP_DATATREE
struct SCIP_Exprhdlr SCIP_EXPRHDLR
enum SCIP_DiveContext SCIP_DIVECONTEXT
struct SCIP_Diveset SCIP_DIVESET
@ SCIP_DIVECONTEXT_SINGLE
@ SCIP_DIVECONTEXT_ADAPTIVE
@ SCIP_DIVECONTEXT_SCHEDULER
struct SCIP_History SCIP_HISTORY
@ SCIP_BRANCHDIR_DOWNWARDS
enum SCIP_BranchDir SCIP_BRANCHDIR
enum SCIP_VerbLevel SCIP_VERBLEVEL
#define SCIP_DECL_SORTPTRCOMP(x)
struct SCIP_Nlpi SCIP_NLPI
enum SCIP_NlpSolStat SCIP_NLPSOLSTAT
@ SCIP_NLPTERMSTAT_TIMELIMIT
@ SCIP_NLPTERMSTAT_NUMERICERROR
@ SCIP_NLPTERMSTAT_EVALERROR
@ SCIP_NLPTERMSTAT_LICENSEERROR
@ SCIP_NLPTERMSTAT_LOBJLIMIT
@ SCIP_NLPTERMSTAT_ITERLIMIT
@ SCIP_NLPTERMSTAT_OUTOFMEMORY
@ SCIP_NLPTERMSTAT_INTERRUPT
@ SCIP_NLPSOLSTAT_UNBOUNDED
@ SCIP_NLPSOLSTAT_GLOBINFEASIBLE
@ SCIP_NLPSOLSTAT_LOCINFEASIBLE
@ SCIP_NLPSOLSTAT_FEASIBLE
@ SCIP_NLPSOLSTAT_GLOBOPT
@ SCIP_NLPSOLSTAT_UNKNOWN
enum SCIP_NlpTermStat SCIP_NLPTERMSTAT
struct SCIP_Presol SCIP_PRESOL
struct SCIP_Pricer SCIP_PRICER
struct SCIP_Prop SCIP_PROP
struct SCIP_Rational SCIP_RATIONAL
struct SCIP_Relax SCIP_RELAX
enum SCIP_Retcode SCIP_RETCODE
struct SCIP_Sepa SCIP_SEPA
@ SCIP_STAGE_INITPRESOLVE
@ SCIP_STAGE_EXITPRESOLVE
struct SCIP_Table SCIP_TABLE
SCIP_Real SCIPvarGetPseudocost(SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real solvaldelta)
SCIP_Real SCIPvarGetPseudocostCount(SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real SCIPvarGetPseudocostVariance(SCIP_VAR *var, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun)
SCIP_Real SCIPvarGetAvgCutoffs(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_Real SCIPvarGetAvgInferences(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
internal methods for problem variables