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