solutions: 30
nodes: 55  modelTime: 136  solveTime: 81  totalTime: 242  modelSize: 10323  readTime: 25