solutions: 6
nodes: 12  modelTime: 134  solveTime: 47  totalTime: 329  modelSize: 7735  readTime: 148