solutions: 3
nodes: 6  modelTime: 1004  solveTime: 406  totalTime: 1548  modelSize: 54145  readTime: 138