solutions: 4
nodes: 8  modelTime: 107  solveTime: 133  totalTime: 493  modelSize: 38676