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