solutions: 6
nodes: 12  modelTime: 1492  solveTime: 2777  totalTime: 4472  modelSize: 69647  readTime: 203