(2,11) (3,18) (4,20) (5,17) (6,15) (7,12) (8,14) (10,16) 
nodes: 237  conflicts: 26  modelTime: 812  solveTime: 546  totalTime: 1364  modelSize: 20646  readTime: 6 size: 8