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