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