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