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