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