solutions: 0 nodes: 3 modelTime: 794 solveTime: 331 totalTime: 1283 modelSize: 30940 readTime: 158