头

当您解决一个模型时，结果日志的第一部分包含关于您正在解决的模型和正在解决它的机器的基本信息。你首先会看到这样一行:

线程数:4个物理核，8个逻辑处理器，使用多达8个线程

这显示了机器中的物理核和逻辑处理器的数量。由于同步多线程(Simultaneous Multi Threading, SMT)允许一个物理内核作为多个逻辑处理器出现，因此后者可能比前者更大。此日志行还显示了该求解器将在此实例中使用的最大线程数。手机万博登录这取决于机器中(逻辑)处理器的数量，但也取决于请求的数量(通过线程参数)，对于某些license类型，请使用您的license启用的号码。

接下来，您将看到您正在解决的模型的概要信息:

模型指纹:0x22935346变量类型:0连续，2756整数(0二进制)

第一行显示了模型的大小。第二张显示了模型指纹，它是一个哈希值，考虑模型所有组件的所有属性的值。这样做的目的是，无论以何种方式不同的模型，大多数都会有不同的指纹。上面的最后一条日志线提供了关于可变完整性(MIP模型)的额外信息。

报头的最后一部分包含了约束矩阵的统计信息:

系数统计:矩阵范围[1e+00, 1e+04]客观范围[1e+00, 1e+04]界限范围[1e+00, 1e+00] RHS范围[1e+00, 1e+04]

这些信息提供了一个非常粗略的指示，说明在解决模型时是否会出现数值问题。请查阅数值的指导方针章节以了解更多信息。

其余日志的格式取决于被调用的算法(单纯形，障碍，筛选，branch-and-cut,或IIS．现在我们描述每个日志的内容。