(2,24) (3,30) (4,21) (5,26) (6,17) (7,23) (9,28) (11,19) (13,25) (14,29) (15,16) 
nodes: 1380  conflicts: 77  modelTime: 666  solveTime: 988  totalTime: 1661  modelSize: 41300  readTime: 7 size: 11