solutions: 9
nodes: 18  modelTime: 762  solveTime: 609  totalTime: 1499  modelSize: 54147  readTime: 128