solutions: 3
nodes: 5  modelTime: 1095  solveTime: 2317  totalTime: 3562  modelSize: 69637  readTime: 150