solutions: 3
nodes: 5  modelTime: 840  solveTime: 1503  totalTime: 2468  modelSize: 54155  readTime: 124