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