solutions: 18
nodes: 32  modelTime: 248  solveTime: 140  totalTime: 430  modelSize: 10323  readTime: 42