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