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