(2,17) (3,22) (5,24) (6,21) (7,28) (8,19) (9,18) (10,26) (12,20) (13,16) (14,27) (15,29) 
nodes: 2574  conflicts: 50  modelTime: 662  solveTime: 4100  totalTime: 4769  modelSize: 41293  readTime: 7 size: 12