solutions: 3
nodes: 6  modelTime: 1132  solveTime: 5130  totalTime: 6464  modelSize: 92845  readTime: 201