(1,13) (2,19) (3,11) (4,15) (6,14) (7,16) (10,17) 
nodes: 499  conflicts: 32  modelTime: 817  solveTime: 669  totalTime: 1492  modelSize: 20646  readTime: 6 size: 7