(1,20) (2,18) (3,17) (4,14) (6,12) (7,19) (8,15) (9,13) (10,16) 
nodes: 507  conflicts: 13  modelTime: 670  solveTime: 561  totalTime: 1237  modelSize: 20646  readTime: 5 size: 9