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