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) );
2870 if(
scip->set->npresols > 0 ||
scip->set->nprops > 0 ||
scip->set->nconshdlrs > 0 )
2876 for(
i = 0;
i <
scip->set->npresols; ++
i )
2902 for(
i = 0;
i <
scip->set->nprops; ++
i )
2927 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
2982 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConstraintStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2985 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children\n");
2987 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
2990 int startnactiveconss;
2991 int maxnactiveconss;
2993 conshdlr =
scip->set->conshdlrs[
i];
3001 maxnactiveconss > startnactiveconss ?
'+' :
' ',
3032 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConstraintStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3034 if(
scip->set->nconshdlrs == 0 )
3040 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
3089 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConstraintTimingStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3091 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop\n");
3093 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
3096 int maxnactiveconss;
3098 conshdlr =
scip->set->conshdlrs[
i];
3114 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",
3141 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConstraintTimingStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3143 if(
scip->set->nconshdlrs == 0 )
3149 for(
i = 0;
i <
scip->set->nconshdlrs; ++
i )
3199 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintPropagatorStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3206 for(
i = 0;
i <
scip->set->nprops; ++
i )
3209 prop =
scip->set->props[
i];
3219 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop\n");
3221 for(
i = 0;
i <
scip->set->nprops; ++
i )
3226 prop =
scip->set->props[
i];
3253 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectPropagatorStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3255 if(
scip->set->nprops == 0 )
3264 for(
i = 0;
i <
scip->set->nprops; ++
i )
3314 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConflictStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3316 if(
scip->set->conf_maxstoresize == 0 )
3340 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);
3427 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Gen. Resolution CA : Time Calls Success Conflicts LargeCoef LongConfs Length\n");
3453 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConflictStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3456 if(
scip->set->conf_maxstoresize == 0 )
3458 initstoresize = INT_MAX;
3459 maxstoresize = INT_MAX;
3468 if( maxstoresize >= 0 )
3526 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintSeparatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3528 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss\n");
3540 for(
i = 0;
i <
scip->set->nsepas; ++
i )
3544 sepa =
scip->set->sepas[
i];
3572 for( k = 0; k <
scip->set->nsepas; ++k )
3578 if( parentsepa != sepa )
3607 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectSeparatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3626 for(
i = 0;
i <
scip->set->nsepas; ++
i )
3657 for( k = 0; k <
scip->set->nsepas; ++k )
3663 if( parentsepa != sepa )
3710 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintCutselectorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3712 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt \n");
3717 for(
i = 0;
i <
scip->set->ncutsels; ++
i )
3747 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectCutselectorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3749 if(
scip->set->ncutsels == 0 )
3759 for(
i = 0;
i <
scip->set->ncutsels; ++
i )
3798 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintPricerStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3809 for(
i = 0;
i <
scip->set->nactivepricers; ++
i )
3833 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectPricerStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3849 for(
i = 0;
i <
scip->set->nactivepricers; ++
i )
3881 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintBranchruleStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3883 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children\n");
3888 for(
i = 0;
i <
scip->set->nbranchrules; ++
i )
3918 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPcollectBranchruleStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3920 if(
scip->set->nbranchrules == 0 )
3928 for(
i = 0;
i <
scip->set->nbranchrules; ++
i )
3971 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintHeuristicStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
3976 scip->stat->nlpsolsfound,
scip->stat->nlpbestsolsfound);
3979 scip->stat->nrelaxsolsfound,
scip->stat->nrelaxbestsolsfound);
3982 scip->stat->npssolsfound,
scip->stat->npsbestsolsfound);
3985 scip->stat->nsbsolsfound,
scip->stat->nsbbestsolsfound);
3990 for(
i = 0;
i <
scip->set->nheurs; ++
i )
4005 scip->stat->nexternalsolsfound);
4007 if ( ndivesets > 0 &&
scip->set->misc_showdivingstats )
4013 for(
c = 0;
c < 3; ++
c )
4020 "Diving %-12s: Calls Nodes LP Iters Backtracks Conflicts MinDepth MaxDepth AvgDepth RoundSols NLeafSols MinSolDpt MaxSolDpt AvgSolDpt\n",
"(single)");
4025 "Diving %-12s: Calls Nodes LP Iters Backtracks Conflicts MinDepth MaxDepth AvgDepth RoundSols NLeafSols MinSolDpt MaxSolDpt AvgSolDpt\n",
4029 for(
i = 0;
i <
scip->set->nheurs; ++
i )
4095 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectHeuristicStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4127 for(
int i = 0;
i <
scip->set->nheurs; ++
i )
4145 if(
scip->set->misc_showdivingstats )
4152 for(
int c = 0;
c < 3; ++
c )
4159 scip->set->nheurs) );
4161 for(
int i = 0;
i <
scip->set->nheurs; ++
i )
4164 for(
int s = 0; s < ndivesets; ++s )
4202 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintCompressionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4205 if( !
scip->set->reopt_enable )
4213 for(
i = 0;
i <
scip->set->ncomprs; ++
i )
4236 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectCompressionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4239 if( !
scip->set->reopt_enable )
4242 if(
scip->set->ncomprs == 0 )
4252 for(
i = 0;
i <
scip->set->ncomprs; ++
i )
4284 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4290 scip->stat->nprimallps +
scip->stat->nprimalzeroitlps,
4291 scip->stat->nprimallpiterations,
4298 scip->stat->primalzeroittime,
4299 scip->stat->nprimalzeroitlps);
4303 scip->stat->nduallps +
scip->stat->ndualzeroitlps,
4304 scip->stat->nduallpiterations,
4311 scip->stat->dualzeroittime,
4312 scip->stat->ndualzeroitlps);
4316 scip->stat->nlexduallps,
4317 scip->stat->nlexduallpiterations,
4326 scip->stat->nbarrierlps,
4327 scip->stat->nbarrierlpiterations,
4334 scip->stat->barrierzeroittime,
4335 scip->stat->nbarrierzeroitlps);
4339 scip->stat->nresolveinstablelps,
4340 scip->stat->nresolveinstablelpiters,
4349 scip->stat->ndivinglps,
4350 scip->stat->ndivinglpiterations,
4359 scip->stat->nstrongbranchs,
4360 scip->stat->nsblpiterations,
4369 scip->stat->nrootstrongbranchs,
4370 scip->stat->nrootsblpiterations,
4371 scip->stat->nrootstrongbranchs > 0
4376 scip->stat->nconflictlps,
4377 scip->stat->nconflictlpiterations,
4384 if(
scip->set->exact_enable )
4386 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Safe Bounding : Time Calls Iterations Iter/call Iter/sec Nfails AvgError NObjlim NObjlimF \n");
4390 scip->stat->niterationsexlp,
4396 scip->stat->nfailexlp,
scip->stat->boundingerrorexlp/
scip->stat->nexlp);
4402 scip->stat->timefailexlp,
scip->stat->nfailexlp);
4406 scip->stat->nexlpinf,
4407 scip->stat->niterationsexlpinf,
4415 scip->stat->timefailexlpinf,
scip->stat->nfailexlpinf);
4419 scip->stat->nboundshift,
4420 scip->stat->nfailboundshift,
4421 scip->stat->boundingerrorbs/
scip->stat->nboundshift,
4422 scip->stat->nboundshiftobjlim,
4423 scip->stat->nboundshiftobjlimfail);
4427 scip->stat->nboundshiftinf,
4428 scip->stat->nfailboundshiftinf);
4432 scip->stat->nprojshift,
4433 scip->stat->nfailprojshift,
4434 scip->stat->nprojshift > 0 ?
scip->stat->boundingerrorps/
scip->stat->nprojshift : 0,
4435 scip->stat->nprojshiftobjlim,
4436 scip->stat->nprojshiftobjlimfail);
4440 scip->stat->nprojshiftinf,
4441 scip->stat->nfailprojshiftinf);
4464 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4471 if(
scip->stat->nprimallps > 0 )
4481 if(
scip->stat->nduallps > 0 )
4491 if(
scip->stat->nbarrierlps > 0 )
4501 if(
scip->stat->nlexduallps > 0 )
4515 if(
scip->stat->nresolveinstablelps > 0 )
4529 if(
scip->stat->nstrongbranchs > 0 )
4542 if(
scip->stat->nrootstrongbranchs > 0 )
4552 if(
scip->stat->nconflictlps > 0 )
4576 int nnlrowconvexineq;
4577 int nnlrownonconvexineq;
4578 int nnlrownonlineareq;
4583 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintNLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4595 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" convexity : %10s (%d linear rows, %d convex ineq., %d nonconvex ineq., %d nonlinear eq. or two-sided ineq.)\n",
4596 (nnlrownonconvexineq == 0 && nnlrownonlineareq == 0) ?
"convex" :
"nonconvex",
4597 nnlrowlinear, nnlrowconvexineq, nnlrownonconvexineq, nnlrownonlineareq);
4607 int nnlrowconvexineq;
4608 int nnlrownonconvexineq;
4609 int nnlrownonlineareq;
4615 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectNLPStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4627 (nnlrownonconvexineq == 0 && nnlrownonlineareq == 0) ?
"convex" :
"nonconvex") );
4652 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintRelaxatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4654 if(
scip->set->nrelaxs == 0 )
4657 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss\n");
4662 for(
i = 0;
i <
scip->set->nrelaxs; ++
i )
4690 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectRelaxatorStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4692 if(
scip->set->nrelaxs == 0 )
4702 for(
i = 0;
i <
scip->set->nrelaxs; ++
i )
4737 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintTreeStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4743 scip->stat->nnodes,
scip->stat->ninternalnodes,
scip->stat->nnodes -
scip->stat->ninternalnodes );
4749 scip->stat->ntotalnodes,
scip->stat->ntotalinternalnodes,
scip->stat->ntotalnodes -
scip->stat->ntotalinternalnodes);
4762 scip->stat->nreprops,
scip->stat->nrepropboundchgs,
scip->stat->nrepropcutoffs);
4764 scip->stat->nnodes > 0
4786 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectTreeStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4858 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintSolutionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4868 objlimitreached =
FALSE;
4871 objlimitreached =
TRUE;
4873 if(
scip->primal->nsolsfound !=
scip->primal->nlimsolsfound )
4876 limsolstring[0] =
'\0';
4880 scip->primal->nsolsfound,
scip->primal->nbestsolsfound, limsolstring);
4886 if(
scip->primal->nlimsolsfound == 0 )
4890 assert(!objlimitreached);
4896 if( objlimitreached )
4904 assert(!objlimitreached);
4914 if(
scip->primal->nlimsolsfound == 0 )
4919 if(
scip->primal->nsolsfound > 0 )
4931 firstprimalbound =
scip->stat->firstprimalbound;
4935 scip->stat->nrunsbeforefirst,
4936 scip->stat->nnodesbeforefirst,
4937 scip->stat->firstprimaltime,
4938 scip->stat->firstprimaldepth,
4939 (
scip->stat->firstprimalheur !=
NULL )
4941 : ((
scip->stat->nrunsbeforefirst == 0 ) ?
"initial" :
"relaxation"));
4993 if(
scip->set->misc_calcintegral )
4996 const char* names[] = {
5004 for( s = 0; s < 3; ++s )
5007 names[s],
"-",
"-");
5033 for( s = 0; s < 3; ++s )
5067 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectSolutionStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5089 SCIPwarningMessage(
scip,
"string encoding of exact primal bound too long: printing \"unknown\" into JSON\n");
5094 SCIPwarningMessage(
scip,
"string encoding of exact dual bound too long: printing \"unknown\" into JSON\n");
5106 firstprimalbound =
scip->stat->firstprimalbound;
5139 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintConcsolverStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5148 if( nconcsolvers > 0 )
5150 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Concurrent Solvers : SolvingTime SyncTime Nodes LP Iters SolsShared SolsRecvd TighterBnds TighterIntBnds\n");
5151 for(
i = 0;
i < nconcsolvers; ++
i )
5154 winner ==
i ?
'*' :
' ',
5185 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectConcsolverStatistics",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5194 if( nconcsolvers == 0 )
5200 for(
i = 0;
i < nconcsolvers; ++
i )
5234 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintBendersStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5242 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"Benders Decomp : ExecTime SetupTime Calls Found Transfer StrCalls StrFails StrCuts\n");
5243 for(
i = 0;
i < nbenders; ++
i )
5265 for( j = 0; j < nbenderscuts; j++ )
5292 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectBendersStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5303 for(
i = 0;
i < nbenders; ++
i )
5324 for(
int j = 0; j < nbenderscuts; ++j )
5362 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintRootStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5368 if( firstlptime > 0.0 )
5369 firstlpspeed = (
SCIP_Real)
scip->stat->nrootfirstlpiterations/firstlptime;
5378 if( firstlpspeed > 0.0 )
5380 scip->stat->nrootfirstlpiterations,
5417 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectRootStatistics",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5423 if( firstlptime > 0.0 )
5424 firstlpspeed = (
SCIP_Real)
scip->stat->nrootfirstlpiterations / firstlptime;
5465 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintTimingStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5481 if(
scip->set->time_reading )
5482 totaltime = solvingtime;
5484 totaltime = solvingtime + readingtime;
5489 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" reading : %10.2f%s\n", readingtime,
scip->set->time_reading ?
" (included in solving)" :
"");
5491 if(
scip->stat->ncopies > 0 )
5497 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" copying : %10.2f (%d #copies) (minimal %.2f, maximal %.2f, average %.2f)\n",
5498 copytime,
scip->stat->ncopies,
scip->stat->mincopytime,
scip->stat->maxcopytime, copytime /
scip->stat->ncopies);
5544 if(
scip->set->time_reading )
5545 totaltime = solvingtime;
5547 totaltime = solvingtime + readingtime;
5553 if(
scip->stat->ncopies > 0 )
5588 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintExpressionHandlerStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5590 for(
i = 0;
i <
scip->set->nexprhdlrs; ++
i )
5599 if( !headerprinted )
5602 "Expressions : %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s\n",
5603 "#IntEval",
"IntEvalTi",
"#RevProp",
"RevPropTi",
"DomReds",
"Cutoffs",
"#Estimate",
"EstimTime",
"Branching",
"#Simplify",
"SimplifyTi",
"Simplified");
5604 headerprinted =
TRUE;
5636 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectExpressionHandlerStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5638 if(
scip->set->nexprhdlrs == 0 )
5644 for(
i = 0;
i <
scip->set->nexprhdlrs; ++
i )
5697 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPprintNLPIStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5699 for(
i = 0;
i <
scip->set->nnlpis; ++
i )
5707 nlpi =
scip->set->nlpis[
i];
5714 if( !printedheader )
5717 "NLP Solvers : %10s %10s %10s %10s %s%10s %10s"
5718 " %10s %10s %10s %10s %10s %10s %10s %10s %10s %10s"
5719 " %10s %10s %10s %10s %10s %10s %10s\n",
5720 "#Problems",
"ProblemTi",
"#Solves",
"SolveTime",
5721 scip->set->time_nlpieval ?
" EvalTime%" :
"",
5722 "#Iter",
"Time/Iter",
5723 "#Okay",
"#TimeLimit",
"#IterLimit",
"#LObjLimit",
"#Interrupt",
"#NumError",
"#EvalError",
"#OutOfMem",
"#LicenseEr",
"#OtherTerm",
5724 "#GlobOpt",
"#LocOpt",
"#Feasible",
"#LocInfeas",
"#GlobInfea",
"#Unbounded",
"#Unknown"
5726 printedheader =
TRUE;
5730 if(
scip->set->time_nlpieval )
5739 if(
scip->set->time_nlpieval )
5772 default:
return "unknown";
5791 default:
return "invalid";
5807 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectNLPIStatistics",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5809 if(
scip->set->nnlpis == 0 )
5815 for(
i = 0;
i <
scip->set->nnlpis; ++
i )
5840 if(
scip->set->time_nlpieval )
5901 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintStatisticsJson",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5907 if( !
scip->set->tablessorted )
5909 SCIPsortPtr((
void**)tables, tablePosComp, ntables);
5915 for(
i = 0;
i < ntables; ++
i )
5963 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
5969 if( !
scip->set->tablessorted )
5971 SCIPsortPtr((
void**)tables, tablePosComp, ntables);
5976 for(
i = 0;
i < ntables; ++
i )
6013 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintReoptStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
6018 if( !
scip->set->reopt_enable )
6039 if(
scip->stat->nreoptruns > 0 )
6056 if(
scip->stat->nreoptruns > 0 )
6091 int totalnstrongbranchs;
6094 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintBranchingStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
6096 switch(
scip->set->stage )
6111 for( v = 0; v <
scip->transprob->nvars; ++v )
6116 var =
scip->transprob->vars[v];
6122 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
" locks branchings inferences cutoffs LP gain pscostcount gain variance \n");
6123 SCIPmessageFPrintInfo(
scip->messagehdlr, file,
"variable prio factor down up depth down up sb down up down up down up down up down up\n");
6125 totalnstrongbranchs = 0;
6126 for( v = 0; v <
scip->transprob->nvars; ++v )
6135 totalnstrongbranchs += nstrongbranchs;
6162 totalnstrongbranchs,
6246 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcollectBranchingStatistics",
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
6248 switch(
scip->set->stage )
6265 int totalnstrongbranchs = 0;
6271 for( v = 0; v <
scip->transprob->nvars; ++v )
6284 for( v = 0; v <
scip->transprob->nvars; ++v )
6293 totalnstrongbranchs += nstrongbranchs;
6370 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintDisplayLine",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6397 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNImplications",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
6399 return scip->stat->nimplications;
6409 if(
scip->primal->nsols == 1 )
6410 scip->stat->firstsolgap =
scip->stat->lastsolgap;
6412 if(
scip->set->misc_calcintegral )
6416 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