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