(1,29) (2,28) (3,30) (4,23) (5,26) (6,20) (7,19) (8,17) (9,18) (10,27) (11,25) (12,21) (13,22) (14,16) (15,24) 
nodes: 8444  conflicts: 12  modelTime: 1189  solveTime: 29134  totalTime: 30333  modelSize: 41293  readTime: 10 size: 15