solutions: 5
nodes: 11  modelTime: 1035  solveTime: 5400  totalTime: 6595  modelSize: 116049  readTime: 160