(1,11) (2,19) (3,15) (5,20) (8,12) (9,17) (10,18) 
nodes: 113  conflicts: 19  modelTime: 644  solveTime: 307  totalTime: 956  modelSize: 20646  readTime: 5 size: 7