(2,20) (3,12) (4,16) (5,17) (6,14) (7,18) (8,15) (9,11) (10,19) 
nodes: 565  conflicts: 22  modelTime: 678  solveTime: 572  totalTime: 1256  modelSize: 20658  readTime: 6 size: 9