solutions: 8
nodes: 18  modelTime: 1065  solveTime: 983  totalTime: 2237  modelSize: 92843  readTime: 189