(1,12) (2,11) (3,19) (5,15) (6,16) (7,14) (8,18) (9,13) (10,20) 
nodes: 384  conflicts: 8  modelTime: 673  solveTime: 511  totalTime: 1188  modelSize: 20646  readTime: 4 size: 9