(1,19) (2,15) (3,17) (4,14) (6,20) (7,12) (8,18) (9,16) (10,13) 
nodes: 434  conflicts: 14  modelTime: 817  solveTime: 718  totalTime: 1540  modelSize: 20658  readTime: 5 size: 9