solutions: 6
nodes: 16  modelTime: 155858  solveTime: 157123  totalTime: 314297  modelSize: 6386642  readTime: 1316