solutions: 0 nodes: 3 modelTime: 1031 solveTime: 4621 totalTime: 5852 modelSize: 92842 readTime: 200