solutions: 0 nodes: 3 modelTime: 1102 solveTime: 3860 totalTime: 5168 modelSize: 92847 readTime: 206