(3,13) (4,17) (5,14) (6,12) (8,18) (10,15) 
nodes: 109  conflicts: 37  modelTime: 769  solveTime: 287  totalTime: 1062  modelSize: 20646  readTime: 6 size: 6