(1,11) (2,13) (3,14) (4,15) (5,16) (6,12) (7,18) (8,19) (9,20) (10,17) 
nodes: 189  conflicts: 0  modelTime: 578  solveTime: 448  totalTime: 1030  modelSize: 20646  readTime: 4 size: 10