(1,14) (2,19) (3,17) (4,12) (5,16) (6,13) (7,11) (9,15) (10,20) 
nodes: 309  conflicts: 11  modelTime: 815  solveTime: 741  totalTime: 1561  modelSize: 20658  readTime: 5 size: 9