solutions: 6
nodes: 12  modelTime: 135  solveTime: 42  totalTime: 374  modelSize: 15489  readTime: 196