(1,16) (2,17) (3,11) (4,12) (5,13) (6,14) (7,20) (8,19) (9,18) (10,15) 
nodes: 110  conflicts: 3  modelTime: 583  solveTime: 275  totalTime: 863  modelSize: 20646  readTime: 5 size: 10