solutions: 3
nodes: 7  modelTime: 729  solveTime: 1081  totalTime: 1956  modelSize: 38675  readTime: 146