solutions: 4
nodes: 9  modelTime: 1391  solveTime: 719  totalTime: 2276  modelSize: 116111  readTime: 166