solutions: 4
nodes: 8  modelTime: 805  solveTime: 429  totalTime: 1361  modelSize: 38675  readTime: 127