(1,7) (2,21) (3,13) (4,8) (5,17) (6,22) (9,28) (10,25) (11,12) (14,15) (16,29) (18,20) (19,26) (24,30) 
nodes: 317520  conflicts: 42  modelTime: 970  solveTime: 1453121  totalTime: 1454102  modelSize: 72266  readTime: 11 size: 14