solutions: 13
nodes: 24  modelTime: 246  solveTime: 137  totalTime: 424  modelSize: 10323  readTime: 41