(1,23) (2,6) (3,21) (4,30) (5,22) (7,29) (8,19) (10,26) (12,20) (14,24) (15,16) (18,27) (25,28) 
nodes: 11677  conflicts: 84  modelTime: 1170  solveTime: 51445  totalTime: 52627  modelSize: 72262  readTime: 12 size: 13