solutions: 6
nodes: 13  modelTime: 108  solveTime: 68  totalTime: 438  modelSize: 15473  readTime: 262