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