(1,12) (2,13) (3,11) (5,17) (6,18) (7,14) (8,15) (9,20) (10,16) 
nodes: 456  conflicts: 2  modelTime: 665  solveTime: 674  totalTime: 1343  modelSize: 20646  readTime: 4 size: 9