solutions: 7
nodes: 15  modelTime: 140  solveTime: 65  totalTime: 398  modelSize: 15489  readTime: 193