solutions: 6
nodes: 12  modelTime: 1030  solveTime: 733  totalTime: 1927  modelSize: 116053  readTime: 164