solutions: 9
nodes: 18  modelTime: 802  solveTime: 1200  totalTime: 2171  modelSize: 54146  readTime: 169