(1,23) (2,17) (3,26) (4,20) (5,28) (6,25) (7,29) (8,27) (9,21) (11,18) (13,16) (14,24) (15,22) 
nodes: 3561  conflicts: 37  modelTime: 660  solveTime: 5786  totalTime: 6452  modelSize: 41293  readTime: 6 size: 13