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