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