(2,19) (3,11) (5,14) (6,18) (7,15) (8,20) (9,13) (10,12) 
nodes: 251  conflicts: 32  modelTime: 769  solveTime: 346  totalTime: 1120  modelSize: 20646  readTime: 5 size: 8