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