(1,23) (2,16) (3,22) (4,19) (5,27) (6,17) (8,24) (11,20) (12,18) (13,21) (14,29) (15,25) 
nodes: 6781  conflicts: 34  modelTime: 656  solveTime: 11856  totalTime: 12518  modelSize: 41292  readTime: 6 size: 12