(1,16) (2,14) (5,15) (6,20) (7,13) (8,19) (10,11) 
nodes: 104  conflicts: 26  modelTime: 671  solveTime: 171  totalTime: 849  modelSize: 20646  readTime: 6 size: 7