(1,14) (2,16) (3,19) (4,11) (6,13) (7,12) (8,17) (9,20) (10,18) 
nodes: 443  conflicts: 14  modelTime: 697  solveTime: 596  totalTime: 1298  modelSize: 20658  readTime: 5 size: 9