(1,24) (2,22) (3,25) (4,17) (5,21) (6,20) (7,26) (8,29) (9,18) (10,19) (12,27) (14,23) (15,28) 
nodes: 6495  conflicts: 31  modelTime: 659  solveTime: 9661  totalTime: 10326  modelSize: 41293  readTime: 6 size: 13