(2,25) (3,21) (5,29) (7,28) (9,30) (11,22) (12,26) (13,19) (14,27) (15,16) 
nodes: 291  conflicts: 82  modelTime: 665  solveTime: 514  totalTime: 1186  modelSize: 41300  readTime: 7 size: 10