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