(1,17) (2,11) (3,18) (5,13) (6,12) (7,19) (8,20) (9,14) (10,15) 
nodes: 338  conflicts: 15  modelTime: 683  solveTime: 453  totalTime: 1141  modelSize: 20646  readTime: 5 size: 9