(1,19) (2,20) (3,17) (4,14) (6,18) (8,12) (9,11) (10,15) 
nodes: 214  conflicts: 25  modelTime: 655  solveTime: 307  totalTime: 968  modelSize: 20646  readTime: 6 size: 8