(1,15) (2,19) (4,12) (5,16) (8,20) (9,18) 
nodes: 487  conflicts: 50  modelTime: 725  solveTime: 667  totalTime: 1398  modelSize: 20646  readTime: 6 size: 6