solutions: 15
nodes: 30  modelTime: 249  solveTime: 134  totalTime: 427  modelSize: 10323  readTime: 44