solutions: 6
nodes: 16  modelTime: 909  solveTime: 1689  totalTime: 2781  modelSize: 54155  readTime: 183