solutions: 9
nodes: 18  modelTime: 833  solveTime: 1889  totalTime: 2880  modelSize: 54155  readTime: 158