(1,19) (2,16) (3,12) (4,17) (6,15) (7,13) (10,14) 
nodes: 162  conflicts: 25  modelTime: 820  solveTime: 579  totalTime: 1405  modelSize: 20646  readTime: 5 size: 7