(1,25) (4,21) (5,27) (6,17) (7,30) (8,22) (9,24) (10,26) (11,23) (12,28) (13,20) (14,29) (15,16) 
nodes: 7116  conflicts: 45  modelTime: 670  solveTime: 9798  totalTime: 10474  modelSize: 41293  readTime: 6 size: 13