solutions: 54
nodes: 96  modelTime: 248  solveTime: 158  totalTime: 448  modelSize: 10323  readTime: 42