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