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