(1,28) (2,17) (3,24) (4,21) (5,22) (6,27) (7,23) (8,29) (10,16) (11,20) (12,18) (13,25) (14,26) (15,19) 
nodes: 11917  conflicts: 34  modelTime: 662  solveTime: 20733  totalTime: 21401  modelSize: 41292  readTime: 6 size: 14