solutions: 8
nodes: 16  modelTime: 94  solveTime: 42  totalTime: 286  modelSize: 15489  readTime: 150