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