(1,18) (2,11) (3,20) (5,15) (6,19) (7,12) (8,14) (9,17) (10,13) 
nodes: 189  conflicts: 25  modelTime: 813  solveTime: 573  totalTime: 1391  modelSize: 20658  readTime: 5 size: 9