solutions: 9
nodes: 18  modelTime: 773  solveTime: 692  totalTime: 1592  modelSize: 54147  readTime: 127