(1,17) (3,19) (4,14) (5,12) (6,18) (7,11) (8,16) (9,13) (10,20) 
nodes: 265  conflicts: 14  modelTime: 673  solveTime: 410  totalTime: 1088  modelSize: 20658  readTime: 5 size: 9