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