(2,17) (3,11) (4,19) (5,14) (6,12) (7,18) (8,16) (9,20) (10,13) 
nodes: 326  conflicts: 20  modelTime: 688  solveTime: 450  totalTime: 1143  modelSize: 20658  readTime: 5 size: 9