(2,28) (3,23) (4,20) (5,22) (6,26) (8,16) (9,25) (11,18) (12,19) (13,29) (14,17) (15,24) 
nodes: 5169  conflicts: 60  modelTime: 672  solveTime: 7285  totalTime: 7963  modelSize: 41293  readTime: 6 size: 12