(1,17) (3,18) (4,20) (5,14) (6,13) (7,11) (8,12) (9,19) (10,15) 
nodes: 381  conflicts: 17  modelTime: 488  solveTime: 433  totalTime: 926  modelSize: 20658  readTime: 5 size: 9