solutions: 0
nodes: 3  modelTime: 1038  solveTime: 4421  totalTime: 5666  modelSize: 92843  readTime: 207