(1,11) (2,14) (4,20) (5,19) (6,16) (7,17) (8,13) (9,18) (10,15) 
nodes: 219  conflicts: 19  modelTime: 672  solveTime: 592  totalTime: 1270  modelSize: 20646  readTime: 6 size: 9