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