solutions: 31
nodes: 60  modelTime: 246  solveTime: 165  totalTime: 451  modelSize: 10323  readTime: 40