(1,15) (3,16) (4,14) (5,17) (8,13) 
nodes: 209  conflicts: 45  modelTime: 673  solveTime: 579  totalTime: 1258  modelSize: 20646  readTime: 6 size: 5