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