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