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