solutions: 20
nodes: 38  modelTime: 286  solveTime: 136  totalTime: 464  modelSize: 10323  readTime: 42