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