solutions: 51
nodes: 97  modelTime: 246  solveTime: 185  totalTime: 473  modelSize: 10323  readTime: 42