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