(1,18) (2,12) (3,17) (4,13) (5,19) (6,16) (7,15) (8,20) (9,14) (10,11) 
nodes: 130  conflicts: 0  modelTime: 692  solveTime: 512  totalTime: 1207  modelSize: 20646  readTime: 3 size: 10