(1,16) (2,15) (3,17) (4,13) (5,11) (6,19) (7,18) (8,20) (10,14) 
nodes: 595  conflicts: 14  modelTime: 813  solveTime: 1338  totalTime: 2155  modelSize: 20646  readTime: 4 size: 9