(6,11) (8,13) (10,19) 
nodes: 249  conflicts: 59  modelTime: 590  solveTime: 364  totalTime: 960  modelSize: 20646  readTime: 6 size: 3