solutions: 6
nodes: 12  modelTime: 94  solveTime: 60  totalTime: 323  modelSize: 15489  readTime: 169