(1,28) (3,27) (4,22) (5,23) (6,24) (7,26) (10,18) (11,16) (15,21) 
nodes: 565  conflicts: 88  modelTime: 666  solveTime: 920  totalTime: 1594  modelSize: 41300  readTime: 8 size: 9