solutions: 4
nodes: 9  modelTime: 828  solveTime: 625  totalTime: 1609  modelSize: 69627  readTime: 156