solutions: 6
nodes: 13  modelTime: 140  solveTime: 69  totalTime: 397  modelSize: 15489  readTime: 188