solutions: 0
nodes: 5  modelTime: 4925  solveTime: 6257  totalTime: 11511  modelSize: 454226