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