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