solutions: 5
nodes: 9  modelTime: 128  solveTime: 59  totalTime: 368  modelSize: 15489  readTime: 180