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