solutions: 3
nodes: 6  modelTime: 138  solveTime: 59  totalTime: 369  modelSize: 15489  readTime: 172