(1,25) (2,23) (3,27) (4,28) (5,16) (6,24) (7,20) (10,26) (11,29) (14,21) (15,17) 
nodes: 751  conflicts: 70  modelTime: 665  solveTime: 662  totalTime: 1334  modelSize: 41300  readTime: 7 size: 11