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