(2,19) (3,11) (4,15) (5,13) (6,17) (7,12) (8,18) (9,16) (10,20) 
nodes: 453  conflicts: 16  modelTime: 688  solveTime: 765  totalTime: 1458  modelSize: 20658  readTime: 5 size: 9