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