(1,14) (3,18) (4,28) (5,19) (6,24) (7,12) (9,23) (11,15) (13,22) (16,20) (21,29) (25,27) 
nodes: 1751  conflicts: 113  modelTime: 949  solveTime: 4960  totalTime: 5939  modelSize: 72262  readTime: 30 size: 12