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