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