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