(1,16) (2,15) (3,12) (4,20) (5,18) (6,17) (7,11) (8,19) (9,13) (10,14) 
nodes: 667  conflicts: 14  modelTime: 670  solveTime: 934  totalTime: 1608  modelSize: 20658  readTime: 4 size: 10