solutions: 4
nodes: 8  modelTime: 989  solveTime: 1496  totalTime: 2629  modelSize: 54178  readTime: 144