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