(1,17) (2,19) (3,15) (4,14) (5,16) (6,11) (7,13) (8,20) (9,12) (10,18) 
nodes: 467  conflicts: 11  modelTime: 720  solveTime: 956  totalTime: 1681  modelSize: 20658  readTime: 5 size: 10