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