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