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