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