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