solutions: 0 nodes: 3 modelTime: 1333 solveTime: 3834 totalTime: 5338 modelSize: 92858 readTime: 171