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