solutions: 4
nodes: 8  modelTime: 989  solveTime: 689  totalTime: 1934  modelSize: 54146  readTime: 256