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