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