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