solutions: 0 nodes: 3 modelTime: 429 solveTime: 219 totalTime: 724 modelSize: 15470 readTime: 76