(4,13) (5,17) (6,19) (7,11) (8,14) (9,16) (10,15) 
nodes: 276  conflicts: 28  modelTime: 740  solveTime: 653  totalTime: 1398  modelSize: 20646  readTime: 5 size: 7