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