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