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