solutions: 9
nodes: 17  modelTime: 120  solveTime: 137  totalTime: 538  modelSize: 38676