(2,17) (3,15) (4,19) (7,13) (8,18) (9,14) (10,11) 
nodes: 110  conflicts: 25  modelTime: 672  solveTime: 308  totalTime: 985  modelSize: 20646  readTime: 5 size: 7