solutions: 6
nodes: 12  modelTime: 991  solveTime: 4819  totalTime: 5964  modelSize: 92849  readTime: 154