(1,30) (2,15) (3,29) (4,5) (6,19) (7,22) (8,9) (10,13) (11,21) (12,18) (14,28) (17,27) (20,26) (24,25) 
nodes: 52171  conflicts: 64  modelTime: 1722  solveTime: 173286  totalTime: 175028  modelSize: 72265  readTime: 20 size: 14