solutions: 0 nodes: 3 modelTime: 1001 solveTime: 5686 totalTime: 6852 modelSize: 116152 readTime: 165