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