solutions: 0
nodes: 7  modelTime: 41219  solveTime: 54582  totalTime: 96526  modelSize: 3100452