(1,29) (2,18) (4,27) (5,17) (6,19) (7,28) (8,16) (9,22) (10,23) (11,26) (12,21) (13,25) (14,30) (15,24) 
nodes: 5384  conflicts: 32  modelTime: 659  solveTime: 9109  totalTime: 9774  modelSize: 41293  readTime: 6 size: 14