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