(2,15) (4,18) (5,13) (6,17) (7,19) (8,14) (9,16) (10,20) 
nodes: 237  conflicts: 30  modelTime: 672  solveTime: 330  totalTime: 1007  modelSize: 20646  readTime: 5 size: 8