(1,25) (2,21) (3,20) (4,29) (5,17) (6,22) (7,26) (8,27) (9,16) (11,18) (12,30) (13,23) (14,24) (15,28) 
nodes: 14417  conflicts: 17  modelTime: 657  solveTime: 30173  totalTime: 30835  modelSize: 41292  readTime: 5 size: 14