solutions: 3
nodes: 6  modelTime: 871  solveTime: 340  totalTime: 1398  modelSize: 30940  readTime: 187