(1,28) (2,8) (3,4) (5,18) (6,22) (7,27) (9,11) (10,17) (12,25) (13,14) (15,26) (16,24) (19,30) (20,21) (23,29) 
nodes: 2298374  conflicts: 34  modelTime: 960  solveTime: 11579426  totalTime: 11580397  modelSize: 72296  readTime: 11 size: 15