(1,11) (2,12) (3,19) (4,15) (5,17) (7,20) (8,18) (9,14) (10,13) 
nodes: 471  conflicts: 5  modelTime: 663  solveTime: 665  totalTime: 1331  modelSize: 20646  readTime: 3 size: 9