(1,23) (2,5) (3,10) (4,25) (6,15) (7,22) (8,12) (9,28) (11,13) (14,27) (16,21) (17,26) (19,20) (29,30) 
nodes: 34569  conflicts: 35  modelTime: 1724  solveTime: 171753  totalTime: 173496  modelSize: 72262  readTime: 19 size: 14