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