(1,11) (2,12) (3,15) (4,20) (6,16) (7,17) (8,14) (9,19) (10,13) 
nodes: 268  conflicts: 7  modelTime: 811  solveTime: 817  totalTime: 1632  modelSize: 20646  readTime: 4 size: 9