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