solutions: 4
nodes: 7  modelTime: 1155  solveTime: 615  totalTime: 1960  modelSize: 92835  readTime: 190