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