solutions: 0 nodes: 3 modelTime: 1372 solveTime: 5899 totalTime: 7483 modelSize: 116090 readTime: 212