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