solutions: 4
nodes: 12  modelTime: 138  solveTime: 51  totalTime: 401  modelSize: 15470  readTime: 212