solutions: 0 nodes: 3 modelTime: 1183 solveTime: 840 totalTime: 2302 modelSize: 92842 readTime: 278