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