solutions: 4
nodes: 9  modelTime: 532  solveTime: 381  totalTime: 1015  modelSize: 23205  readTime: 102