solutions: 4
nodes: 13  modelTime: 1054  solveTime: 3689  totalTime: 4952  modelSize: 92835  readTime: 209