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