solutions: 4
nodes: 10  modelTime: 1060  solveTime: 6366  totalTime: 7592  modelSize: 116092  readTime: 165