solutions: 4
nodes: 7  modelTime: 906  solveTime: 483  totalTime: 1519  modelSize: 54147  readTime: 130