solutions: 12
nodes: 23  modelTime: 856  solveTime: 1900  totalTime: 2890  modelSize: 54154  readTime: 134