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