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