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