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