(1,17) (3,19) (5,11) (6,15) (7,16) (10,13) 
nodes: 402  conflicts: 35  modelTime: 768  solveTime: 449  totalTime: 1223  modelSize: 20646  readTime: 6 size: 6