solutions: 4
nodes: 7  modelTime: 1025  solveTime: 2669  totalTime: 3890  modelSize: 69637  readTime: 196