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