(1,29) (2,13) (4,15) (5,27) (6,14) (8,19) (9,21) (11,16) (12,26) (17,23) (18,25) (20,24) (22,28) 
nodes: 11546  conflicts: 51  modelTime: 1585  solveTime: 37917  totalTime: 39604  modelSize: 72262  readTime: 102 size: 13