(1,15) (2,17) (3,19) (4,12) (5,11) (6,18) (7,14) (8,16) (10,20) 
nodes: 216  conflicts: 3  modelTime: 811  solveTime: 594  totalTime: 1409  modelSize: 20646  readTime: 4 size: 9