(1,17) (2,20) (3,16) (4,11) (5,14) (6,12) (7,13) (8,19) (9,18) (10,15) 
nodes: 468  conflicts: 3  modelTime: 762  solveTime: 615  totalTime: 1381  modelSize: 20646  readTime: 4 size: 10