solutions: 0 nodes: 3 modelTime: 1062 solveTime: 3742 totalTime: 5032 modelSize: 92858 readTime: 228